Maßerweiterungssatz von Carathéodory

Der Maßerweiterungssatz von Carathéodory, {{Modul:Vorlage:lang}} Modul:Vorlage:lang:103: attempt to index field 'wikibase' (a nil value), oder auch Satz von Carathéodory über Fortsetzung von Maßen, ist ein Satz aus dem mathematischen Teilgebiet der Maßtheorie. Dieser Satz dient dazu, Prämaße, die auf Mengenringen definiert sind, zu Maßen auf σ-Algebren fortzusetzen. Mit dieser auf Constantin Carathéodory zurückgehenden Methode kann insbesondere das Lebesguemaß auf die Längenbestimmung von Intervallen zurückgeführt werden.

Formulierung des Satzes

Es sei <math>\mu</math> ein Prämaß auf einem Mengenring <math>\mathcal{R}</math> von Mengen aus einer Grundmenge <math>X</math>. Dann gibt es eine <math>\mathcal{R}</math> umfassende σ-Algebra <math>\mathcal{A}</math> auf <math>X</math> und eine Erweiterung <math>\tilde{\mu}</math> von <math>\mu</math> zu einem Maß auf <math>\mathcal{A}</math>, so dass <math>(X,\mathcal{A},\tilde{\mu})</math> ein vollständiger Maßraum ist.<ref>Ludger Rüschendorf: Wahrscheinlichkeitstheorie, Springer-Verlag (2016), ISBN 978-3-662-48937-6, Satz 1.2.29</ref>

Konstruktion

Man definiert mittels des auf dem Ring gegebenen Prämaßes ein auf der gesamten Potenzmenge <math>\mathcal{P}(X)</math> definiertes äußeres Maß und daraus mittels einer geeigneten Einschränkung ein Maß auf einer σ-Algebra. Diese Konstruktion wird nun im Einzelnen beschrieben und parallel auf die Konstruktion des Lebesguemaßes angewandt.

Maße auf Ringen

Ein Mengenring enthält die leere Menge und ist bezüglich endlicher Vereinigungen und Bildung von Differenzmengen abgeschlossen. Ein Prämaß auf einem solchen Mengenring ist eine Funktion <math>\mu\colon\mathcal{R} \rightarrow [0,\infty]</math> mit <math>\mu(\emptyset)=0</math> und <math>\textstyle \mu(\bigcup_nA_n) = \sum_n\mu(A_n)</Math>, falls <math>A_1,A_2,\ldots</math> abzählbar viele paarweise disjunkte Mengen aus <math>\mathcal{R}</math> sind, deren Vereinigung wieder in <math>\mathcal{R}</math> liegt.<ref>Ernst Henze: Einführung in die Maßtheorie (BI-Hochschultaschenbücher. Bd. 505). Bibliographisches Institut, Mannheim u. a. 1971, ISBN 3-411-00505-X, Kap. 2.</ref> Das Standardbeispiel ist die Menge <math>\mathcal{R}^1</math> aller endlichen Vereinigungen halboffener Intervalle <math>I=[a,b)</math> in <math>X=\R</math>, wobei stets <math>a\le b</math> sei. (Für <math>a=b</math> ergibt sich die leere Menge). Derartige Vereinigungen können immer auch als disjunkte Vereinigung <math>I_1\cup\ldots\cup I_k</math> solcher Intervalle geschrieben werden, und die Festsetzung <math>\mu(I_1\cup\ldots\cup I_k) = \ell(I_1)+\ldots + \ell(I_k)</math>, wobei <math>\ell([a,b)) =b-a</math> die Länge eines solchen Intervalls sei, definiert ein Prämaß auf <math>\mathcal{R}^1</math>, das sogenannte Lebesguesche Prämaß.

Dies verallgemeinert sich leicht auf <math>n</math> Dimensionen, wenn man auf <math>X=\R^n</math> den Mengenring <math>\mathcal{R}^n</math> aller endlichen Vereinigungen n-dimensionaler Intervalle (Quader) <math>Q=[a_1,b_1)\times\ldots \times [a_n,b_n)</math> betrachtet, wobei stets <math>a_i\le b_i</math> sei. Auch hier kann man sich auf disjunkte Vereinigungen beschränken und in einem solchen Fall

<math>\mu(Q_1\cup\ldots\cup Q_k) = vol(Q_1)+\ldots + vol(Q_k)</math>

definieren, wobei <math>vol([a_1,b_1)\times\ldots \times [a_n,b_n)) = (b_1-a_1)\cdot\ldots\cdot (b_n-a_n)</math> das übliche elementargeometrische Volumen eines Quaders sei. Man nennt auch dieses Beispiel das n-dimensionale lebesguesche Prämaß.<ref>Heinz Bauer: Wahrscheinlichkeitstheorie. 4., völlig überarbeitete und neugestaltete Auflage. de Gruyter, Berlin 1991, ISBN 3-11-012191-3, Kap. I, § 4.</ref>

Konstruktion des äußeren Maßes

Es sei ein Inhalt <math>\mu</math> auf einem Mengenring <math>\mathcal{R}</math> von Mengen aus einer Grundmenge <math>X</math> gegeben. Für jede Teilmenge <math>Y\subset X</math> sei

<math>\mu^*(Y):=\inf \left\{\sum_{k=1}^\infty \mu(A_k);\, A_1,A_2, \ldots \in \mathcal{R}, Y\subset \bigcup_{k=1}^\infty A_k \right\}</math>

wobei <math>\inf(\emptyset) := \infty</math>. Dann ist <math>\mu^*</math> ein äußeres Maß auf <math>\mathcal{P}(X)</math>. Man kann zeigen, dass

<math>\mu^*(A) = \mu(A)</math>
<math>\mu^*(Q) = \mu^*(Q\cap A)+\mu^*(Q\cap (X\setminus A))</math>

für alle <math>Q\subset X</math> und <math>A\in \mathcal{R}</math>. Die erste Eigenschaft besagt, dass <math>\mu^*</math> das vorgegebene Maß fortsetzt, die zweite, dass jede Menge des Grundraums durch jede Menge des vorgegebenen Ringes in zwei Teile zerlegt wird, die sich bzgl. <math>\mu^*</math> additiv verhalten.<ref>Heinz Bauer: Wahrscheinlichkeitstheorie. 4., völlig überarbeitete und neugestaltete Auflage. de Gruyter, Berlin 1991, ISBN 3-11-012191-3, Kap. I, Satz 5.2.</ref>

Übergang zu messbaren Mengen

Der Kern in Carathéodorys Konstruktion ist die Definition von

<math>\mathcal{A} := \{A\subset X; \mu^*(Q) = \mu^*(Q\cap A)+\mu^*(Q\cap (X\setminus A)) \text{ für alle } Q\subset X\}</math>,

der Nachweis, dass dies eine σ-Algebra definiert, die sogenannte σ-Algebra der Carathéodory-messbaren Mengen, und dass die Einschränkung <math>\tilde{\mu} := \mu^*|_\mathcal{A}</math> ein Maß ist. Wegen obiger zweiter Eigenschaft des äußeren Maßes ist <math>\mathcal{R}\subset \mathcal{A}</math> und wegen der ersten ist <math>\tilde{\mu}</math> eine Fortsetzung von <math>\mu</math>.<ref>Heinz Bauer: Wahrscheinlichkeitstheorie. 4., völlig überarbeitete und neugestaltete Auflage. de Gruyter, Berlin 1991, ISBN 3-11-012191-3, Kap. I, Satz 5.4.</ref> Schließlich zeigt man, dass <math>\mathcal{A}</math> jede Menge mit äußerem Maß 0 enthält, woraus sich dann die Vollständigkeit des Maßraums <math>(X,\mathcal{A},\tilde{\mu})</math> ergibt.

Wendet man diese Konstruktion auf unser Beispiel des lebesgueschen Prämaßes an, so erhält man das Lebesguemaß auf der lebesgueschen σ-Algebra. In diesem Fall kann man zeigen, dass die lebesguesche σ-Algebra echt größer ist als die von <math>\mathcal{R}^n</math> erzeugte σ-Algebra, die mit der borelschen σ-Algebra zusammenfällt.<ref>Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA u. a. 1980, ISBN 3-7643-3003-1, Satz 2.1.9.</ref> Allerdings ist der Unterschied nicht zu groß, denn jede Menge der lebesgueschen σ-Algebra unterscheidet sich nur um eine <math>\mu^*</math>-Nullmenge von einer Borelmenge, das heißt die lebesguesche σ-Algebra ist die Vervollständigung der borelschen.<ref>Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA u. a. 1980, ISBN 3-7643-3003-1, Satz 1.5.2</ref>

Bemerkungen

Eindeutigkeit

Als Folgerung aus obigem Satz erhält man, dass sich jedes Prämaß auf einem Ring zu einem Maß auf der vom Ring erzeugten σ-Algebra fortsetzen lässt. Man erhält hier aus dem Eindeutigkeitssatz eine Eindeutigkeitsaussage, wenn man zusätzlich voraussetzt, dass <math>X</math> als abzählbare Vereinigung von Ringmengen endlichen Prämaßes geschrieben werden kann, das Prämaß also <math> \sigma </math>-endlich ist.

Größe der Fortsetzung

Es lässt sich zeigen, dass wenn das zur Konstruktion verwendete äußere Maß ein metrisches äußeres Maß ist, dass dann die σ-Algebra der messbaren Mengen die Borelsche σ-Algebra enthält. Dies ist eine weitere Erklärung dafür, dass lebesguesche σ-Algebra echt größer ist als die borelsche σ-Algebra.

Halbringe

Statt von Mengenringen kann man auch vom allgemeineren Begriff des Halbrings ausgehen. Ein Maß bzw. Prämaß auf einem Halbring <math>\mathcal{H}</math> wird wie auf Ringen definiert, das heißt, es handelt sich um eine Mengenfunktion <math>\mu\colon\mathcal{H}\rightarrow [0,\infty]</math>, so dass <math>\mu(\emptyset)=0</math> und <math>\textstyle \mu(\bigcup_nA_n) = \sum_n\mu(A_n)</Math>, falls <math>A_1,A_2,\ldots</math> paarweise disjunkte Mengen aus <math>\mathcal{H}</math> sind, deren Vereinigung wieder in <math>\mathcal{H}</math> liegt.<ref>Ernst Henze: Einführung in die Maßtheorie (BI-Hochschultaschenbücher. Bd. 505). Bibliographisches Institut, Mannheim u. a. 1971, ISBN 3-411-00505-X, Kap. 2.</ref>

Um in dieser Situation zu einer Maßerweiterung zu kommen, bildet man zunächst den von <math>\mathcal{H}</math> erzeugten Ring <math>\mathcal{R}_\mathcal{H}</math>, der gleich der Menge aller endlichen, disjunkten Vereinigungen von Mengen aus <math>\mathcal{H}</math> ist.<ref>Ernst Henze: Einführung in die Maßtheorie (BI-Hochschultaschenbücher. Bd. 505). Bibliographisches Institut, Mannheim u. a. 1971, ISBN 3-411-00505-X, Kap. 1.5, Satz 6.</ref> Ist <math>C_1\cup\ldots\cup C_k</math> eine solche disjunkte Vereinigung, so wird durch die Festsetzung <math>\hat{\mu}(C_1\cup\ldots\cup C_k):= \mu(C_1)+\ldots + \mu(C_k)</math> ein Prämaß <math>\hat{\mu}</math> auf dem Mengenring <math>\mathcal{R}_\mathcal{H}</math> erklärt.<ref>Ernst Henze: Einführung in die Maßtheorie (BI-Hochschultaschenbücher. Bd. 505). Bibliographisches Institut, Mannheim u. a. 1971, ISBN 3-411-00505-X, Kap. 2.3, Satz 2.</ref> Darauf kann dann die oben beschriebene Konstruktion angewendet werden.

Das Standardbeispiel ist der Halbring <math>\mathcal{H}^n</math> aller halboffenen n-dimensionalen Intervalle (Quader)

<math>[a,b):= \{X=(x_1,\ldots,x_n);\, a_i\le x_i < b_i\text{ für alle }i=1,\ldots,n\}</math>

mit <math>a=(a_1,\ldots, a_n), b=(b_1,\ldots, b_n)\in \R^n</math> und das darauf erklärte Maß des elementargeometrischen Inhalts. Die hier vorgestellte Konstruktion führt also direkt von der Definition des Quadervolumens als Produkt der Seitenlängen zum Lebesguemaß. Sie kann direkt auf allgemeine Produktmaße verallgemeinert werden.

Verallgemeinerungen

Allgemeiner lässt sich zeigen, dass wenn <math> \mathcal{H} </math> ein Halbring ist und <math> \mu </math> eine additive, <math> \sigma </math>-subadditive und <math> \sigma </math>-endliche Mengenfunktion, eine eindeutige Fortsetzung von <math> \mu </math> auf <math> \sigma (\mathcal{H}) </math> existiert, die ein Maß ist und auf jeder Menge des Halbrings mit der Mengenfunktion übereinstimmt. Diese Formulierung enthält die obige als Spezialfall.

Weblinks

Einzelnachweise