Measure Theory | Mathematics - Wyatt's Notes

sources:

• text: Spivak - Calculus

1. Sigma-Algebras and Measurable Spaces
2. Measures
3. Lebesgue Outer Measure and Caratheodory Extension
4. Lebesgue Measurable Sets and Non-Measurable Sets
5. Measurable Functions
6. Lebesgue Integration
7. $L^p$ Spaces
8. Fubini and Tonelli Theorems
9. Radon-Nikodym Derivative and Lebesgue Decomposition
10. Summary of Key Results

University-level measure theory notes covering sigma-algebras, measures, and Lebesgue integration.

• Sigma-Algebras and Measures: Definitions, properties, measurable spaces
• Lebesgue Measure: Outer measure, Caratheodory extension, non-measurable sets
• Lebesgue Integration: Convergence theorems, Fatou”s lemma, dominated convergence
• Lp Spaces: Norms, completeness, dual spaces

• Real analysis (sequences, series, continuity, differentiation)
• Basic topology (open sets, compactness)
• Mathematical proofs and logic

Start with sigma-algebras and measures to build foundational knowledge, then progress to Lebesgue integration and Lp spaces. Each section includes worked examples and practice problems.

Use the sidebar to browse topics, or start with the introductory pages linked from the sidebar.

Each section includes:

• Detailed explanations of key concepts
• Worked examples with step-by-step solutions
• Practice problems with answers
• Common pitfalls and how to avoid them
• Connections to other areas of mathematics

Measure theory provides the rigorous foundation for integration and probability. A measure assigns sizes to sets, generalising length, area, and volume. Sigma-algebras specify which sets can be measured: they are collections closed under complements and countable unions, large enough to contain all open sets yet small enough to avoid paradoxical constructions. Lebesgue measure extends the intuitive notion of length to a vast class of subsets of the real line. The power of measure theory lies in its convergence theorems: the monotone convergence theorem and dominated convergence theorem justify passing limits inside integrals, operations that fail spectacularly for the Riemann integral. Measure theory thus transforms integration from a computational tool into a flexible framework for analysis.

1. Master the definitions: Measure theory requires precise understanding of sigma-algebras and measures
2. Practise proofs: Learn to write clear, rigorous proofs
3. Draw diagrams: Visualise measurable sets and functions
4. Learn standard examples: Know the properties of Lebesgue measure and integration
5. Connect to analysis: Relate measure theory to real analysis and probability

Mistake 1: Assuming every subset of $\mathbb{R}$ is Lebesgue measurable Not all subsets of $\mathbb{R}$ are measurable. The Vitali construction produces a non-measurable set using the axiom of choice. Students sometimes assume that any set they can define is automatically measurable, which leads to paradoxes when computing outer measures or applying the Lebesgue differentiation theorem.

Mistake 2: Confusing the Borel sigma-algebra with the Lebesgue sigma-algebra The Borel sigma-algebra is generated by open sets, while the Lebesgue sigma-algebra is its completion with respect to Lebesgue measure. The Lebesgue sigma-algebra is strictly larger: it contains all subsets of Borel null sets. Students often assume these are the same, which matters when discussing completeness of measure spaces.

Mistake 3: Assuming that pointwise convergence of measurable functions implies $L^p$ convergence Pointwise convergence does not imply convergence in $L^p$ without a dominating function (Dominated Convergence Theorem) or monotonicity (Monotone Convergence Theorem). The sequence $f_n = n\chi_{(0,1/n)}$ converges pointwise to $0$ but $\int f_n = 1$ for all $n$.

• Real Analysis: Foundational analysis concepts extended by measure theory.

• Functional Analysis: L^p spaces and operator theory built on measure.

• Probability and Statistics: Measure-theoretic probability foundations.

• Classical Mechanics

• Electromagnetism

• Statistical Learning

• Statistical Mechanics