Diskussion:Mathe für Nicht-Freaks: Buchanfang Maßtheorie by Richard4321/ Das Maßproblem

To-Do:

folgende Punkte abarbeiten

Skizze des grundsätzlichen Vorgehens und Begründung, warum gerade diese oder jene Eigenschaft wünschenswert ist; verbesserter Überblick über die nächsten Artikel:

• was ist das Maßproblem?
• Ziel: Messen von Mengen. D. h. wollen eine Funktion $\mu :{\mathcal {P}}(\Omega )\rightarrow \mathbb {R} _{\geq 0}\cup \{\infty \}$ (ein Maß), die Teilmengen einer Grundmenge $\Omega$ ihren Flächeninhalt/ihr Volumen/allg. eine nichtnegative reelle Zahl zuordnet
• intuitiv sollten folgende Eigenschaften erfüllt sein, damit das sinnvoll ist: Kongruenz, Normiertheit, Additivität (Eigenschaften erklären und anschaulich herleiten, warum sie sinnvoll sind)
• werden feststellen, dass der Übergang von endlicher zu abzählbarer Additivität ($\sigma$-Additivität) das Messen noch allgemeinerer Mengen ermöglichen wird -> Maßproblem.
• Def. Maß: allgemein werden wir ein Maß auf einem Mengensystem ${\mathcal {F}}\subseteq {\mathcal {P}}(\Omega )$ definieren, das wir als Sigma-Algebra bezeichnen werden. Ein Maß soll in Entsprechung zu den genannten Eigenschaften die folgenden Eigenschaften aufweisen: $\mu (\emptyset )=0$, sigma-Additivität $\mu \left(\bigsqcup _{n\in \mathbb {N} }A_{n}\right)=\sum _{n\in \mathbb {N} }\mu (A_{n})$
• doch ein Beispiel von Vitali wird zeigen, dass schon auf ${\mathcal {P}}(\mathbb {R} )$ kein Maß existieren kann, das alle genannten Eigenschaften erfüllt und einem Intervall $(a,b)$ seine Länge $b-a$ zuordnet
• werden zunächst untersuchen, was passiert, wenn wir statt $\sigma$-Additivität die schwächere Eigenschaft der endlichen Additivität (erklären) fordern
• das liefert den Begriff des Inhalts, speziell werden wir den Jordan-Inhalt betrachten
• Einen Inhalt werden wir auf einem weniger umfassenden Mengensystem als ein Maß definieren, und zwar auf einer Algebra ${\mathcal {A}}$. Analog soll es die beiden Eigenschaften aufweisen: $\mu (\emptyset )=0$, endliche Additivität (...)
• werden dennoch sehen, dass schon auf $\mathbb {R} ^{3}$ der Inhalt nicht die gewünschten Eigenschaften aufweist (Banach-Tarski-Paradoxon), das Inhaltsproblem ist unlösbar auf $\mathbb {R} ^{\geq 3}$
• deshalb: werden nicht beliebige TM zulassen, sondern eine Unterscheidung treffen zwischen "guten" und "bösen" Mengen, die wir für $\mathbb {R} ^{2}$ ausgehend von Rechtecken und ihrem elementaren Flächeninhalt charakterisieren werden. Das wird genau die genannte Algebra sein.
• (evtl. Detaillierterer Überblick zum Vorgehen: Rechtecke, Rechteckfiguren u. Eigenschaften, allgemeine Krummlinig begrenzte Flächen; Jordan-Inhalt, äußerer, innerer)
• werden feststellen, dass durch die vorher getroffene Einschränkung von sigma- auf endliche Additivität Mengen nicht Jordan-m.b. sind, denen wir aber intuitiv doch ein bestimmtes Maß zuordnen können u. wollen (z. B. $\mathbb {Q} \cap [0,1]$)
• -> wollen doch auch abzählbare Vereinigungen zulassen, $\sigma$-Additivität, und den Jordan-Inhalt auf das Lebesgue-Maß erweitern (Carathéodory)
• hier wird das schon erwähnte Beispiel von Vitali uns dazu veranlassen, nur bestimmte "gute" (m.b.) Teilmengen zuzulassen, denen wir ihr Maß zuordnen wollen. Trotz dieser Einschränkung wird das unseren Begriff der m.b. Menge erheblich erweitern, und zwar auf die erwähnte Sigma-Algebra