Sigma-Algebren und Maße

Eine Sigma-Algebra legt fest, welche Mengen messbar sind, und ein Maß weist jeder dieser Mengen eine konsistente Größe zu; zusammen bilden sie den Messraum, auf dem die gesamte Integrationstheorie aufbaut.

Definition

Eine Sigma-Algebra ist eine Menge von Teilmengen, die unter Komplementen und abzählbaren Vereinigungen abgeschlossen ist, und ein Maß ist eine abzählbar additive, nicht-negative Mengenfunktion auf einer Sigma-Algebra; das Paar bildet einen Maßraum, der Länge, Fläche, Volumen und Wahrscheinlichkeit verallgemeinert.

Scope

Dieses Thema behandelt Sigma-Algebren und die von offenen Mengen erzeugte Borel-Sigma-Algebra, messbare Funktionen, die Axiome eines Maßes mit abzählbarer Additivität, äußere Maße und die Carathéodory-Konstruktion, die Konstruktion des Lebesgue-Maßes, Vollständigkeit und Nullmengen sowie die Stetigkeit von Maßen entlang monotoner Folgen.

Core questions

• Welche Mengensammlungen können einen konsistenten Größenbegriff unterstützen?
• Wie wird das Lebesgue-Maß auf dem euklidischen Raum aus einem äußeren Maß konstruiert?
• Was trägt die abzählbare Additivität bei, was die endliche Additivität nicht kann?
• Warum kann ein Maß nicht auf absolut jeder Teilmenge definiert werden?

Key theories

Carathéodory-Erweiterungssatz

Ein äußeres Maß schränkt sich auf eine echte abzählbar additive Maßfunktion auf der Sigma-Algebra seiner messbaren Mengen ein, die Konstruktion, die das Lebesgue-Maß und Maße auf abstrakten Räumen aus einfacheren Mengenfunktionen erzeugt.

Existenz nicht-messbarer Mengen

Unter Annahme des Auswahlaxioms existieren Teilmengen der reellen Achse, denen kein translationsinvariantes abzählbar additives Maß eine Größe zuweisen kann, weshalb eine Sigma-Algebra und nicht alle Teilmengen erforderlich ist.

Clinical relevance

Maßräume sind die formale Grundlage der Wahrscheinlichkeitstheorie, wobei die Sigma-Algebra die beobachtbaren Ereignisse kodiert und das Maß die Wahrscheinlichkeitsverteilung ist; derselbe Rahmen unterstützt die Integration, die rigorose Behandlung von Zufälligkeit in Statistik und Finanzwesen sowie die Definition von Funktionenräumen in der Analysis.

History

Borel führte um 1898 die Sigma-Algebra von Mengen ein, die aus Intervallen gebildet werden, und Lebesgue definierte 1902 das Maß auf der Geraden. Carathéodorys Methode des äußeren Maßes verallgemeinerte die Konstruktion auf abstrakte Räume, und Vitalis Beispiel von 1905 zeigte eine nicht-messbare Menge.

Key figures

• Constantin Caratheodory
• Emile Borel
• Henri Lebesgue

Seminal works

• folland1999
• axler2020

Frequently asked questions

Warum nicht einfach jede Teilmenge der Geraden messen?

Mithilfe des Auswahlaxioms kann man Mengen, wie Vitali-Mengen, konstruieren, denen keine Größe zugewiesen werden kann, die mit Translationsinvarianz und abzählbarer Additivität konsistent ist, daher ist die Messung auf eine Sigma-Algebra beschränkt.

Welche Rolle spielt die abzählbare Additivität?

Die abzählbare Additivität, dass das Maß einer abzählbaren disjunkten Vereinigung die Summe der Maße ist, ermöglicht es Maßen, gut mit Grenzwerten zu interagieren und macht die Konvergenzsätze der Integration möglich.