Problem 25 - Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus

Question

3-25. Use induction on \(n\) to show that \(\left[a_{1}, b_{1}\right] \times \times\left[a_{n}, b_{n}\right]\) is not a set of measure 0 (or content 0\()\) if \(a_{i}

Step-by-Step Solution

Answer

By induction, \( [a_{1}, b_{1}] \times \, \cdots \, \times [a_{n}, b_{n}] \) is not of measure 0 if \( a_{i} < b_{i} \) for each \( i \).

Step 1: Base Case

Consider the base case where \( n = 1 \). We need to show that \( [a_{1}, b_{1}] \) is not a set of measure 0 if \( a_{1} < b_{1} \). A set consisting of a single interval \( [a_{1}, b_{1}] \) has measure \( b_{1} - a_{1} \) which is positive because \( a_{1} < b_{1} \). Thus, for \( n = 1 \), the set \( [a_{1}, b_{1}] \) is not of measure 0.

Step 2: Inductive Step

Assume that the statement is true for \( n = k \). This means that the product set \( [a_{1}, b_{1}] \times [a_{2}, b_{2}] \times \, \cdots \, \times [a_{k}, b_{k}] \) is not of measure 0 if \( a_{i} < b_{i} \) for each \( i \) from \( 1 \) to \( k \).

Step 3: Consider \( n = k+1 \)

We need to show that the set \( [a_{1}, b_{1}] \times [a_{2}, b_{2}] \times \, \cdots \, \times [a_{k}, b_{k}] \times [a_{k+1}, b_{k+1}] \) is not of measure 0 if \( a_{i} < b_{i} \) for each \( i \) from \( 1 \) to \( k+1 \).

Step 4: Compute the Measure

The measure of the product set \( [a_{1}, b_{1}] \times [a_{2}, b_{2}] \times \, \cdots \, \times [a_{k}, b_{k}] \times [a_{k+1}, b_{k+1}] \) is the product of the lengths of each interval: \[ (b_{1} - a_{1}) \times (b_{2} - a_{2}) \times \, \cdots \, \times (b_{k} - a_{k}) \times (b_{k+1} - a_{k+1}) \] Since each \( b_{i} - a_{i} > 0 \), the product is also greater than 0, indicating that the set is not of measure 0.

Step 5: Complete the Induction

By the principle of mathematical induction, since the base case \( n = 1 \) is true and the inductive step \( n = k \rightarrow n = k+1 \) holds, the statement is true for all \( n \geq 1 \). Therefore, \( [a_{1}, b_{1}] \times [a_{2}, b_{2}] \times \, \cdots \, \times [a_{n}, b_{n}] \) is not a set of measure 0 if \( a_{i} < b_{i} \) for each \( i \).

Key Concepts

Measure Theory

Measure theory is a mathematical framework aimed at generalizing and extending the concept of length, area, and volume. It deals with the quantification of size or measure of sets in a rigorous way. This is essential for many advanced topics in analysis and probability. When working with measure theory:

• Measurable Sets: Not all sets are measurable. Only certain sets qualify under the rules of measure theory.
• Measure Functions: Measures assign a non-negative value to a set, representing its size. Examples include counting measures, Lebesgue measures, and probability measures.

In simpler terms, measure theory helps us talk about the size of possibly very complex sets in a precise manner.

Lebesgue Measure

Lebesgue measure is a specific type of measure in measure theory used to generalize the concept of length, area, and volume to more complex sets. It's a core concept in real analysis and its properties include inclusivity and comprehensiveness.
Unlike other measures that may only work well with simpler sets (like intervals), the Lebesgue measure applies to a larger variety, including disjoint unions and more intricate constructs.
Important Features:

• Additivity: If you have non-overlapping sets, the total measure is the sum of individual measures.
• Translation Invariance: Lebesgue measure doesn't change even if you move the set throughout your space.

Understanding Lebesgue measure helps in interpreting how 'big' or 'small' sets are under transformations and data manipulations.

Cartesian Product

The Cartesian product is a mathematical operation that returns a set from multiple sets. It can be visualized as combining elements from each set into ordered pairs or tuples.
For example, if you have two sets, A and B, the Cartesian product, denoted as A × B, will be the set of all ordered pairs \( (a, b) \) you can form where \( a \) is from A and \( b \) is from B.
Critical Points to Note:

• Order Matters: In a Cartesian product, the pairs are ordered, meaning \( (a, b) \) is different from \( (b, a) \).
• Higher Dimensions: Cartesian products can be extended to multiple sets, forming triplets, quadruplets, and beyond.

In measure theory, the Cartesian product helps in defining multi-dimensional spaces and sets. This enables us to calculate measures across multiple dimensions, as shown in the induction exercise.