[Verse 1] We start with intervals, their length seems clear A to B, subtract and measure's here But what about the wild and scattered sets? The ones that twist through gaps like fishing nets? Vitali proved our dream cannot come true No measure works for every subset's due The Axiom of Choice unveils the curse Some sets defy all measurement, perverse [Chorus] Outer measure first, covers from above Infimum of intervals, that's what we love Carathéodory's test splits clean and neat Measurable sets make the theory complete Sigma-algebra born from chaos tamed The Lebesgue measure properly named [Verse 2] Start generous with outer approximation Cover every set with interval summation Take the greatest lower bound of all those sums Now the clever part, here's how it comes A set is good if it divides with grace Every other set in measure space Split left and right, the parts must add precisely This criterion works quite nicely [Chorus] Outer measure first, covers from above Infimum of intervals, that's what we love Carathéodory's test splits clean and neat Measurable sets make the theory complete Sigma-algebra born from chaos tamed The Lebesgue measure properly named [Bridge] Open sets and closed sets pass the test Countable unions join the blessed Complements flip but stay within the fold The pathological stays out in the cold Top-down construction, elegant and wise The sweet spot between truth and lies [Verse 3] In practice every set you'll ever write Falls within this measurable sight The monsters hiding in choice's maze Never appear in normal days This pattern echoes through the field Where outer bounds and inner structure yield [Outro] From Hausdorff dimension to probability's crown This framework never lets us down Not everything fits, but what we need Lives here in this measured creed
← Constructing the Real Numbers (Dedekind Cuts) | Dual Vector Spaces →