Lecture 6: The Dynkin Pi-Lambda Theorem
by Ambar N. Sengupta · Louisiana State University (Math 7360)
Six-page graduate lecture stating and fully proving Dynkin's pi-lambda theorem, then applying it to show that any translation-invariant Borel measure on R^d assigning finite measure to the unit cube is a constant multiple of Lebesgue measure.
More resources on Sigma-Algebras
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
A First Look at Rigorous Probability Theory (2nd Edition)
Graduate textbook that constructs probability triples (Omega, F, P) from scratch, proving the extension theorem guaranteeing such spaces exist. About 275 exercises with full proofs. Readers finish able to state and verify the Kolmogorov axioms on uncountable sample spaces.
Measure Theory (Graduate Texts in Mathematics 18)
Classic graduate text whose opening chapters develop rings, sigma-rings, sigma-algebras, generated classes, the monotone class lemma, outer measures and the extension theorem at a level of detail modern books compress, before measurable functions and integration are reached. Chapters I-III (Sets and Classes, Measures and Outer Measures, Extension of Measures) are the fullest classical treatment of exactly what this topic covers.
Measure Theory (The Bright Side of Mathematics)
TThe entry point most learners actually need for this topic: video 1 is 'Sigma Algebras', video 2 'Borel Sigma Algebras', video 4 'Not everything is Lebesgue measurable', video 12 'Caratheodory's Extension Theorem', videos 20-23 'Outer measures' parts 1-3 plus the full Caratheodory proof. That is more weight on the measurable-space side than most video series give. Twenty-three short hand-written videos; the opening pair and the closing block cover sigma-algebras, Borel sigma-algebras, sets that are not Lebesgue measurable, outer measures across three parts, and two separate passes at Caratheodory's extension theorem.
Measure Theory (UC Davis Lecture Notes)
Ninety-page graduate notes whose first three chapters build outer measures, sigma-algebras, Caratheodory measurability, Borel sets, Borel regularity and measurable functions before any integral is defined, giving a compact self-contained treatment of measurable structure on R^n.