Mathe für Nicht-Freaks: Ausschöpfungen, Dynkin-Systeme, Eindeutigkeitssatz

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Wir leiten Voraussetzungen her, unter denen ein Maß auf einer $\sigma$-Algebra durch die Werte auf einem Erzeuger eindeutig bestimmt ist. Wir lernen Dynkin-Systeme kennen und ihren Zusammenhang zu $\sigma$-Algebren, und beweisen den Eindeutigkeitssatz für Maße.

Problem

Das Ausgangsproblem, weshalb wir uns überhaupt mit der Fortsetzung von Mengenfunktionen zu Maßen beschäftigt haben, war das Definieren eines Maßes mit gewissen Eigenschaften. Dieses soll möglichst vielen Teilmengen einer Grundmenge $\mathrm{\Omega }$ ein Maß zuordnen. Möglicherweise sollen zusätzliche Bedingungen erfüllt sein, etwa dass den achsenparallelen Quadern des ${ℝ}^n$ ihr elementargeometrischer Inhalt zugeordnet wird. Im Allgemeinen ist zunächst aber unklar, ob ein Maß mit den gewünschten Eigenschaften überhaupt existiert. Wenn ja, bleibt zu klären, auf welcher $\sigma$-Algebra es definiert ist und wie man es "hinschreiben" kann. Unser Ansatz war deshalb, die gewünschte Funktion erst auf einem kleineren Mengensystem $𝒞$ zu definieren, sodass die gewünschten Eigenschaften gelten. Im Beispiel mit den Quadern könnte das beispielsweise bedeuten, $𝒞$ als das Mengensystem der achsenparallelen Quader zu wählen und $\mu$ als die Mengenfunktion, die jedem dieser Quader seinen elementargeometrischen Inhalt zuordnet.

Mit dem Fortsetzungssatz wissen wir nun, unter welchen Bedingungen eine Mengenfunktion $\mu :𝒞\to [0,\mathrm{\infty }]$ zu einem Maß auf der von $𝒞$ erzeugten $\sigma$-Algebra $\sigma (𝒞)$ fortgesetzt werden kann. Für den Beweis des Fortsetzungssatzes wurde mit dem äußeren Maß eine mögliche Fortsetzung explizit angegeben. Unklar ist aber noch, ob es weitere Möglichkeiten gibt, $\mu$ zu einem Maß auf $\sigma (𝒞)$ fortzusetzen. Mit anderen Worten, uns interessiert, ob ein Maß $\mu$ auf der $\sigma$-Algebra $\sigma (𝒞)$ durch die Werte auf dem kleineren Mengensystem $𝒞$ schon eindeutig bestimmt ist.

Um diese Frage mathematisch zu untersuchen, formulieren wir sie um: Seien $\mu$ und $\nu$ Maße auf der von einem Mengensystem $𝒞$ erzeugten $\sigma$-Algebra $\sigma (𝒞)$. Weiter seien $\mu$ und $\nu$ auf $𝒞$ gleich, das bedeutet $\mu (A)=\nu (A)$ für alle $A\in 𝒞$. Unter welchen Bedingungen gilt dann $\mu =\nu$ auf der ganzen $\sigma$-Algebra $\sigma (𝒞)$?

Das Prinzip der guten Mengen

Wir werden schrittweise vorgehen, um Bedingungen an den Erzeuger $𝒞$ und die beiden Maße $\mu$ und $\nu$ zu finden, unter denen Eindeutigkeit vorliegt. Dafür betrachten wir das Mengensystem

Es enthält alle "guten" Mengen, d.h. alle Mengen aus $\sigma (𝒞)$ (dem Definitionsbereich von $\mu$ und $\nu$), auf denen $\mu$ und $\nu$ übereinstimmen. Das Ziel ist es, geeignete Bedingungen an $\mu$ bzw. $\nu$ sowie $𝒞$ zu stellen, sodass $𝒢$ ganz $\sigma (𝒞)$ ist, dass also alle Mengen aus $\sigma (𝒞)$ "gut" sind: Dann sind $\mu$ und $\nu$ gleich auf ihrem gesamten Definitionsbereich. Dafür reicht es, Bedingungen zu finden, sodass $𝒢$ eine $\sigma$-Algebra ist: Da nach Annahme $\mu (C)=\nu (C)$ für alle $C\in 𝒞$ erfüllt ist, gilt $𝒞\subseteq 𝒢$. Wenn $𝒢$ eine $\sigma$-Algebra ist, folgt dann $\sigma (𝒞)\subseteq \sigma (𝒢)=𝒢$ wegen der Monotonie und Idempotenz des $\sigma$-Operators.

Diese Art von Vorgehen wird häufig benutzt, um zu zeigen, dass eine gegebene Eigenschaft für alle Mengen eines Mengensystems $ℳ$ (meist eine $\sigma$-Algebra) erfüllt ist. Es wird "Prinzip der guten Mengen" genannt und funktioniert so:

Angenommen, man kann nur Aussagen über einen Erzeuger von $ℳ$ treffen, etwa weil $ℳ$ nur über den Erzeuger charakterisiert werden kann. Ein Beispiel dafür ist die Borelsche $\sigma$-Algebra, die viel zu groß ist, um sie anders als über Erzeuger hinzuschreiben. Dann muss man indirekt vorgehen, um eine gewisse Eigenschaft für ganz $ℳ$ zu zeigen. Dafür betrachtet man das Mengensystem $𝒢=\{A\in ℳ\mid A\text{ hat die gegebene Eigenschaft}\}$ der "guten Mengen". Dann zeigt man

• $𝒢$ ist eine $\sigma$-Algebra.
• $𝒢$ enthält einen Erzeuger $𝒞$ von $ℳ$.

Dann ist $ℳ=𝒢$, d.h. alle Mengen in $ℳ$ sind "gut": Mathe für Nicht-Freaks: Vorlage:Satz

In unserem Fall enthält die Mengen der guten Mengen $𝒢=\{A\in \sigma (𝒞):\mu (A)=\nu (A)\}$ alle die Mengen $A\in \sigma (𝒞)$, auf denen die Maße $\mu$ und $\nu$ übereinstimmen. Die Gleichheit der Maße auf dem Erzeuger $𝒞$ ist bekannt, also gilt $𝒞\subseteq 𝒢$. Jetzt suchen wir noch Bedingungen, sodass $𝒢$ eine $\sigma$-Algebra wird. Wir wollen also Voraussetzungen an den Erzeuger $𝒞$ und die beiden Maße $\mu ,\nu$ finden, sodass gilt

• Die Grundmenge $\mathrm{\Omega }$ ist in $𝒢$ enthalten.
• $𝒢$ ist komplementstabil.
• $𝒢$ ist vereinigungsstabil bezüglich abzählbaren Vereinigungen.

Existenz einer Ausschöpfung

Jede $\sigma$-Algebra enthält die Grundmenge $\mathrm{\Omega }$, also sollte $\mathrm{\Omega }$ in der Menge der guten Mengen $𝒢$ liegen. Das heißt, es sollte $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ für die beiden Maße $\mu$ und $\nu$ gelten. Im Allgemeinen muss das nicht der Fall sein, selbst wenn die beiden Maße auf $𝒞$ übereinstimmen: Mathe für Nicht-Freaks: Vorlage:Beispiel

Durch welche Bedingung an den Erzeuger $𝒞$ oder die beiden Maße $\mu ,\nu$ können wir also erreichen, dass $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ gilt?

Idee und Definition der Ausschöpfung

Wir wissen, dass die Maße $\mu$ und $\nu$ auf den Mengen aus $𝒞$ übereinstimmen. Die Idee ist, die Grundmenge mit höchstens abzählbar vielen Mengen aus $E_1,E_2,\dots \in 𝒞$ zu überdecken, d.h. ihre Vereinigung soll $\bigcup _{n=1}^{\mathrm{\infty }}{E}_n=\mathrm{\Omega }$ sein. Mathe für Nicht-Freaks: Vorlage:Beispiel Nun wollen wir aus $\mu (E_n)=\nu (E_n)$ für alle $n\in \mathbb{N}$ (das gilt, da diese Mengen aus $𝒞$ sind) folgern, dass auch $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ gilt. Dafür sollten die $E_n$ entweder paarweise disjunkt oder aufsteigend ineinander enthalten sein:

• Falls die $E_n$ paarweise disjunkt sind, können wir die $\sigma$-Additivität von Maßen benutzen: $\mu (\mathrm{\Omega })=\mu \left(\underset{i=1}{\overset{\mathrm{\infty }}{⨄}}{E}_i\right)=\sum _{n=1}^{\mathrm{\infty }}\mu (E_i)=\sum _{n=1}^{\mathrm{\infty }}\nu (E_i)=\nu \left(\underset{i=1}{\overset{\mathrm{\infty }}{⨄}}{E}_i\right)=\nu (\mathrm{\Omega })$
• Falls sie aufsteigend ineinander enthalten sind (d.h. $E_1\subseteq E_2\subseteq \dots$), bilden sie eine monotone Mengenfolge mit Grenzwert $\bigcup _{i=1}^{\mathrm{\infty }}{E}_i=\mathrm{\Omega }$. Dann können wir die Stetigkeit der Maße $\mu$ und $\nu$ benutzen: $\mu (\mathrm{\Omega })=\mu (\underset{n\to \mathrm{\infty }}{\lim }{E}_n)=\underset{n\to \mathrm{\infty }}{\lim }\mu (E_i)=\underset{n\to \mathrm{\infty }}{\lim }\nu (E_i)=\nu (\underset{n\to \mathrm{\infty }}{\lim }{E}_n)=\nu (\mathrm{\Omega })$

Falls keiner der beiden Fälle vorliegt, kann man nicht mehr unbedingt $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ aus $\mu (E_n)=\nu (E_n)$ für alle $n$ folgern. Wir betrachten den Fall, wo die $E_n$ aufsteigend ineinander enthalten sind und definieren den Begriff der Ausschöpfung: Mathe für Nicht-Freaks: Vorlage:Definition Mathe für Nicht-Freaks: Vorlage:Beispiel Wegen der Stetigkeit von Maßen gilt also: Wenn $𝒞$ eine Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ von $\mathrm{\Omega }$ enthält, dann gilt $\mu (\mathrm{\Omega })=\underset{n\to \mathrm{\infty }}{\lim }\mu (E_n)=\underset{n\to \mathrm{\infty }}{\lim }\nu (E_n)=\nu (\mathrm{\Omega })$.

Zwischenresultat

Wir haben die folgende erste Bedingung an das Mengensystem $𝒞$ gefunden:

Um sicherzustellen, dass die Grundmenge in der "Menge der guten Mengen" $𝒢$ liegt, dass also $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ gilt, fordern wir, dass $𝒞$ eine Ausschöpfung von $\mathrm{\Omega }$ enthält. Mathe für Nicht-Freaks: Vorlage:Hinweis

Die Mengen der Ausschöpfung haben endliches Maß

Wir haben nun mit der Forderung, dass es eine Ausschöpfung von $\mathrm{\Omega }$ mit Mengen aus $𝒞$ geben soll, sichergestellt, dass die Grundmenge in der "Menge der guten Mengen" $𝒢=\{A\in \sigma (𝒞):\mu (A)=\nu (A)\}$ liegt. Es bleibt zu untersuchen unter welchen Bedingungen $𝒢$ abgeschlossen unter Bildung von Differenzen und abzählbaren Vereinigungen ist. Untersuchen wir dafür zunächst, unter welchen Operationen $𝒢$ mit unseren bisherigen Voraussetzungen schon abgeschlossen ist:

Untersuchung von Vereinigungen

Seien $A$ und $B$ zwei Mengen aus der Menge der guten Mengen $𝒢$. Es gilt also $\mu (A)=\nu (A)$ und genauso für $B$. Wir betrachten ihre Vereinigung. Die Sache sieht gut aus, wenn $B\subseteq A$ ist (oder umgekehrt): In diesem Fall ist $A\cup B=A$ und es ist auch $\mu (A\cup B)=\mu (A)=\nu (A)=\nu (A\cup B)$ wieder in der Menge der guten Mengen $𝒢$.

Genauso ist der Wert der Vereinigung von $A$ und $B$ eindeutig bestimmt, wenn die beiden Mengen disjunkt sind: In dem Fall muss wegen der Additivität von $\mu$ und $\nu$ Vorlage:Einrücken gelten. Die disjunkte Vereinigung ist also ebenfalls eindeutig messbar und liegt wieder in $𝒢$.

Nutzen wir zusätzlich die $\sigma$-Additivität von Maßen aus, kennen wir sogar das Maß von abzählbar unendlichen Vereinigungen von disjunkten Mengen. Für eine Folge paarweise disjunkter Mengen $A_1,A_2,\dots \in 𝒢$ gilt dann wegen der $\sigma$-Additivität der Maße $\mu$ und $\nu$ Vorlage:Einrücken

Untersuchung von Differenzenbildung

Seien wieder $A$ und $B$ zwei Mengen aus $𝒢$, d.h. es gelte $\mu (A)=\nu (A)$, $\mu (B)=\nu (B)$. Wie schon bei der Vereinigung liegt auch die Differenz der beiden Mengen wieder in $𝒢$, wenn $A$ und $B$ disjunkt sind. Dann ist nämlich $A\setminus B=A$ und es gilt $\mu (A\setminus B)=\mu (A)=\nu (A)=\nu (A\setminus B)$. (Genauso mit den Rollen von $A$ und $B$ vertauscht.)

Im Fall $A\subseteq B$ ist die Differenz von $A$ und $B$ gleich $A\setminus B=\mathrm{\varnothing }$, liegt wegen $\mu (\mathrm{\varnothing })=0=\nu (\mathrm{\varnothing })$ also wieder in $𝒢$. Außerdem gilt wegen der Additivität des Maßes $\mu$: Vorlage:Einrücken In der ersten Gleichheit haben wir benutzt, dass $A$ eine Teilmenge von $B$ ist. Dasselbe gilt für das Maß $\nu$ anstelle von $\mu$. Umstellen der obigen Formel zusammen mit $\mu (A)=\nu (A)$ und $\mu (B)=\nu (B)$ liefert

Aber hier müssen wir aufpassen! Wenn $A$ und $B$ unendliches Maß haben, erhalten wir in der Mitte der Gleichung den undefinierten Ausdruck "$\mathrm{\infty }-\mathrm{\infty }$".

Untersuchung von Mengendifferenzen von Mengen unendlichen Maßes

Ein Ausweg aus diesem Problem ist, $A$ und $B$ durch aufsteigende Folgen $(A_n{)}_{n\in \mathbb{N}},(B_n{)}_{n\in \mathbb{N}}$ von Mengen endlichen Maßes anzunähern und einen Grenzübergang zu machen. Dafür sollten die Mengen der Mengenfolge ebenfalls gute Mengen sein. Das Maß der Differenzen $A_n\setminus B_n$ könnten wir dann wie oben berechnen, da $\mu (A_n)$ und $\mu (B_n)$ beide endlich sind. Doch wir müssen aufpassen: Damit das geht, muss auch für die Mengenfolgen $(A_n{)}_{n\in \mathbb{N}},(B_n{)}_{n\in \mathbb{N}}$ die Teilmengenbeziehung $A_n\subseteq B_n$ für alle $n\in \mathbb{N}$ gelten. Wir können also die Folgen $(A_n{)}_{n\in \mathbb{N}}$ und $(B_n{)}_{n\in \mathbb{N}}$ nicht einfach irgendwie wählen. Wir brauchen, dass sie "gleich schnell" wachsen und $A$ und $B$ gleich schnell approximieren.

Erinnerung: Wir haben angenommen, dass es eine Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ der Grundmenge $\mathrm{\Omega }$ mit Mengen aus dem Mengensystem $𝒞$ gibt, also eine monoton wachsende Mengenfolge in $𝒞$ mit Grenzwert $\mathrm{\Omega }$. (Das war, um $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ zu garantieren.)

Dann bilden die Mengen $A_n:=A\cap E_n$ ebenfalls eine aufsteigende Mengenfolge mit Grenzwert

Gleiches gilt für die Folge $B_n:=B\cap E_n$. Außerdem gilt wegen $B\subseteq A$ auch $B_n=B\cap E_n\subseteq A\cap E_n=A_n$, die Teilmengenbeziehung ist also für jedes Folgenglied erfüllt. Wegen $B_n\setminus A_n=(B\cap E_n)\setminus (A\cap A_n)=(B\setminus A)\cap E_n$ ist die Folge der $(B_n\setminus A_n{)}_{n\in \mathbb{N}}$ ist ebenfalls monoton wachsend.

Wir wollen nun dieselbe Rechnung wie bei den Differenzen von Mengen endlichen Maßes benutzen Vorlage:Einrücken und dann einen Grenzübergang $n\to \mathrm{\infty }$ machen. Dafür brauchen wir:

• $\mu (A_n)=\nu (A_n)$ und $\mu (B_n)=\nu (B_n)$ für alle $n$. Das heißt, Schnitte $C\cap E_n$ von Mengen $C\in 𝒞$ mit den $E_n$ sollen in $𝒢$ liegen.
• Jede Menge der Ausschöpfung hat endliches Maß, d.h. $\mu (E_n)<\mathrm{\infty }$ für alle $n\in \mathbb{N}$. Nur dann können wir wegen der Monotonie sicher sein, dass auch $\mu (A_n)=\mu (A\cap E_n)\le \mu (E_n)<\mathrm{\infty }$ und $\mu (B_n)=\mu (B\cap E_n)\le \mu (E_n)<\mathrm{\infty }$ ist, und das war ja das Ziel.

Wenn $(A_n{)}_{n\in \mathbb{N}}$ und $(B_n{)}_{n\in \mathbb{N}}$ diese Bedingungen erfüllen, können wir die ursprüngliche Differenz $B\setminus A$ berechnen ($A\subseteq B$): Vorlage:Einrücken Beachte, dass wir Differenz und Maß nur vertauschen konnten, weil die Mengen $A_n,B_n$ endliches Maß hatten. Das konnten wir für die Mengen $A,B$ mit unendlichem Maß nicht tun. Dafür mussten wir $(A_n{)}_{n\in \mathbb{N}}=(A\cap E_n{)}_{n\in \mathbb{N}},(B_n{)}_{n\in \mathbb{N}}=(B\cap E_n{)}_{n\in \mathbb{N}}$ konstruieren.

Dass man bei der Eindeutigkeit von Maßen im Allgemeinen nicht darauf verzichten kann, das die Mengen $E_n$ der Ausschöpfung endliches Maß haben, zeigt ein Beispiel.

Zwischenresultat

Wir halten unsere bisherigen Überlegungen fest:

• Die "Menge der guten Mengen" $𝒢$ ist schon abgeschlossen unter (höchstens abzählbar unendlichen) disjunkten Vereinigungen; Vereinigungen von Mengen, die Teilmengen voneinander sind; Differenzen disjunkter Mengen; sowie Differenzen von Mengen, die Teilmengen voneinander sind und endliches Maß haben.
• Um sicherzustellen, dass die Grundmenge in $𝒢$ liegt, dass also $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ gilt, fordern wir, dass $𝒞$ eine Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ von $\mathrm{\Omega }$ enthält.
• damit auch Differenzen von Mengen mit unendlichem Maß, die Teilmengen voneinander sind, wieder in $𝒢$ liegen, fordern wir, dass die Mengen der Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ alle endliches Maß haben und dass für alle $A\in 𝒢$ Schnitte $A\cap E_n$ wieder in $𝒢$ liegen.

Außer diesen Bedingungen und $\mu {|}_{𝒞}=\nu {|}_{𝒞}$ machen wir keine Anforderungen an $\mu$, $\nu$ und $𝒞$.

Die letzte Bedingung ist etwas unbefriedigend, denn sie beinhaltet $𝒢$. Aber wir wollen Voraussetzungen finden, die sich nur auf die von vorneherein gegebenen Maße $\mu ,\nu$ bzw. den Erzeuger $𝒞$ beziehen. Wir werden noch daran arbeiten und die Bedingung später abschwächen.

Dynkin-Systeme

Wie bisher sei $𝒢=\{A\in \sigma (𝒞)\mid \mu (A)=\nu (A)\}$ das Mengensystem der guten Mengen, auf denen die beiden Maße $\mu$ und $\nu$ übereinstimmen. Setzen wir voraus, dass die Bedingungen aus dem vorherigen Zwischenresultat erfüllt sind, dann wissen wir nun, dass die beiden Maße auf den folgenden Mengen gleich sind:

• Die Grundmenge $\mathrm{\Omega }$: Das ist durch die Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}\subseteq 𝒞$ garantiert.
• Vereinigungen endlich oder abzählbar unendlich vieler, paarweise disjunkter Mengen in $𝒢$: Das gilt wegen der $\sigma$-Additivität und Stetigkeit der Maße $\mu$ und $\nu$.
• Differenzen von Mengen aus $𝒢$, von denen eine in der anderen enthalten ist: Das ist durch die Endlichkeit der Ausschöpfung garantiert und durch die Bedingung, dass Schnitte von Mengen aus $𝒢$ mit Mengen der Ausschöpfung wieder in $𝒞$ liegen.

Damit können wir das Mengensystem $𝒢$ der "guten Mengen" schon genauer charakterisieren. Es enthält die Grundmenge und ist abgeschlossen unter den Operationen disjunkte Vereinigung und Differenz ineinander enthaltener Mengen. Ein Mengensystem mit diesen Eigenschaften heißt "Dynkin-System".

Definition

Das Dynkin-System im Vergleich zu den bereits kennen gelernten Mengensystemen

Eine äquivalente Charakterisierung eines Dynkin-Systems ist die folgende. Sie wird in den meisten Skripten verwendet und ist etwas einfacher nachzuprüfen.

Mit den Voraussetzungen aus dem Zwischenresultat des vorherigen Abschnitts ist also $𝒢$ schon ein Dynkin-System. Alles, was noch zu einer $\sigma$-Algebra fehlt ist die Abgeschlossenheit unter beliebigen abzählbaren Vereinigungen.

Da die beiden Maße $\mu$ und $\nu$ auf dem Erzeuger $𝒞$ übereinstimmen, gilt außerdem $𝒞\subseteq 𝒢$. Also liegt auch das von $𝒞$ erzeugte Dynkin-System in der Menge der guten Mengen $𝒢$, welches analog zur erzeugten $\sigma$-Algebra definiert wird:

Wie schon bei der Definition der erzeugten $\sigma$-Algebra müssen wir uns davon überzeugen, dass $\delta (𝒞)$ wohldefiniert ist. Das kann man komplett analog zu dem Beweis machen, den wir schon für erzeugte $\sigma$-Algebren geführt haben.

Beispiele

Hier sind ein paar Beispiele für Dynkin-Systeme:

Umgekehrt ist aber nicht jedes Dynkin-System eine $\sigma$-Algebra:

Motivation für die Durchschnittstabilität

Wir haben uns Bedingungen überlegt, unter denen das Mengensystem $𝒢=\{A\in \sigma (𝒞)\mid \mu (A)=\nu (A)\}$ der "guten" Mengen ein Dynkin-System ist, d.h.

• es enthält die Grundmenge,
• es ist abgeschlossen unter Bildung von Komplementen,
• es ist abgeschlossen unter Bildung von (abzählbaren) disjunkten Vereinigungen.

Da wir annehmen, dass die Maße $\mu$ und $\nu$ auf dem Erzeuger $𝒞$ übereinstimmen, gilt $𝒞\subseteq 𝒢$. Da $𝒢$ selbst ein Dynkin-System ist, liegt somit auch das von $𝒞$ erzeugte Dynkin-System $\delta (𝒞)$ in $𝒢$.

Es soll $\sigma (𝒞)\subseteq 𝒢$ gelten, damit $\mu$ und $\nu$ auf ihrem gesamten Definitionsbereich übereinstimmen. Deshalb wollen wir erreichen, dass $𝒢$ nicht nur ein Dynkin-System, sondern eine $\sigma$-Algebra ist. Was ist also mit der Abgeschlossenheit unter nicht-disjunkten endlichen/abzählbar unendlichen Vereinigungen? Schauen wir zuerst endliche Vereinigungen an. Seien $A,B\in 𝒢$ gute Mengen (d.h. $\mu (A)=\nu (A)$ und $\mu (B)=\nu (B)$), nicht disjunkt und weder $A\subseteq B$ noch $B\subseteq A$.

Es gilt $\mu (A)=\nu (A)$ und $\mu (B)=\nu (B)$, aber es ist noch nicht klar, ob auch $\mu (A\cup B)=\nu (A\cup B)$ gilt. Theoretisch kommt sogar jeder Wert infrage, welcher die Monotonie von $\mu$ nicht verletzt, d. h. solange $\mu (A\cup B)\ge \mu (A)$ und $\mu (A\cup B)\ge \mu (B)$ gilt.

Welche Bedingung muss noch erfüllt sein, damit $\mu (A\cup B)=\nu (A\cup B)$ gilt? Es genügt, wenn der Schnitt $A\cap B$ wieder eine gute Menge ist, d.h. $\mu (A\cap B)=\nu (A\cap B)$: Falls $A$ und $B$ beide endliches Maß haben, gilt dann Vorlage:Einrücken Falls eine der beiden Mengen unendliches Maß hat, gilt die Gleichheit $\mu (A\cup B)=\mathrm{\infty }=\nu (A\cup B)$ sowieso. Schnitte von guten Mengen sollten also wieder gute Mengen sein.

Ein Mengensystem, das abgeschlossen unter Bildung von (endlichen) Schnitten ist, heißt durchschnittstabil: Mathe für Nicht-Freaks: Vorlage:Definition Mathe für Nicht-Freaks: Vorlage:Hinweis

Ist die Durchschnittstabilität des Systems der guten Mengen $𝒢$ zusätzlich zu unseren bisherigen Bedingungen schon genug, damit es eine $\sigma$-Algebra ist? Angenommen, $𝒢$ ist durchschnittstabil. Die vorherige Überlegung für zwei Mengen lässt sich per Induktion ausdehnen auf beliebige endliche Vereinigungen von guten Mengen: Seien $A_1,A_2,\dots ,A_n\in \sigma (𝒞)$ gute Mengen, d.h. $\mu (A_i)=\nu (A_i)$ für alle $i=1,\dots ,n$. Wir nehmen außerdem wieder an, dass alle $A_i$ endliches Maß haben, andernfalls gilt die Gleichheit sowieso. Dann gilt Vorlage:Einrücken Mithilfe der Durchschnittstabilität ist $𝒢$ also schon abgeschlossen unter beliebigen endlichen Vereinigungen.

Abzählbar unendliche Vereinigungen $\bigcup _{n\in \mathbb{N}}{A}_n$ kann man "künstlich" disjunkt machen, indem man aus jeder Menge die vorhergehenden herausnimmt: Definiere Vorlage:Einrücken dann ist $\bigcup _{n\in \mathbb{N}}{A}_n=\underset{n\in \mathbb{N}}{⨄}{B}_n$ eine disjunkte Vereinigung von Mengen. Sind die $A_n$ aus $𝒢$, dann auch die so definierten $B_n$, wenn $𝒢$ durchschnittstabil ist: Nach dem Vorherigen liegt die endliche Vereinigung $A_1\cup \dots \cup A_{n-1}$ in $𝒢$, also auch das Komplement dieser Menge ($𝒢$ ist ein Dynkin-System), und wegen der Schnittstabilität auch der Schnitt davon mit $A_n$. Und da $𝒢$ als Dynkin-System abgeschlossen unter abzählbaren disjunkten Vereinigungen ist, ist dann auch $\underset{n\in \mathbb{N}}{⨄}{B}_n=\bigcup _{n\in \mathbb{N}}{A}_n$ eine gute Menge.

Diese Überlegungen zeigen: Wenn das Dynkin-System $𝒢$ zusätzlich durchschnittstabil ist, ist es auch abgeschlossen unter beliebigen, höchstens abzählbaren Vereinigungen, also eine sigma-Algebra. Wir fassen das in einem Satz zusammen: Mathe für Nicht-Freaks: Vorlage:Satz

Zwischenresultat

Wir halten wieder unsere bisherigen Resultate fest:

• Um sicherzustellen, dass die Grundmenge in der Menge der guten Mengen $𝒢$ liegt, dass also $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ gilt, fordern wir, dass $𝒞$ eine Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ von $\mathrm{\Omega }$ enthält.
• Damit auch Differenzen von Mengen mit unendlichem Maß, die Teilmengen voneinander sind, wieder in $𝒢$ liegen, fordern wir, dass die Mengen der Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ alle endliches Maß haben und dass für alle $A\in 𝒢$ Schnitte $A\cap E_n$ wieder in $𝒢$ liegen.
• Mit diesen zwei Bedingungen ist $𝒢$ schon ein Dynkin-System. Damit es eine $\sigma$-Algebra ist, soll $𝒢$ schnittstabil sein, also Schnitte von guten Mengen wieder gut sein.

Außer diesen Bedingungen und $\mu {|}_{𝒞}=\nu {|}_{𝒞}$ machen wir keine Anforderungen an $\mu$, $\nu$ und $𝒞$.

Als nächstes überlegen wir uns, durch welche zusätzliche Bedingung an $\mu$, $\nu$ oder $𝒞$ wir erreichen können, dass $𝒢$ durchschnittstabil ist.

Durchschnittstabilität des Erzeugers

Wir haben Bedingungen an die Maße $\mu ,\nu$ und den Erzeuger $𝒞$ gefunden, mit denen die Menge der guten Mengen $𝒢=\{A\in \sigma (𝒞)\mid \mu (A)=\nu (A)\}$ ein Dynkin-System ist. Insbesondere enthält $𝒢$ damit wegen $𝒞\subseteq 𝒢$ das von $𝒞$ erzeugte Dynkin-System $\delta (𝒞)$. Wir wollen, dass auch $\sigma (𝒞)\subseteq 𝒢$ gilt. Dafür reicht es, zusätzlich Voraussetzungen zu finden, unter denen $\delta (𝒞)$ durchschnittstabil ist: Da jedes durchschnittstabile Dynkin-System eine $\sigma$-Algebra ist, folgt dann $\sigma (𝒞)=\delta (𝒞)\subseteq 𝒢\subseteq \sigma (𝒞)$, und wir sind fertig.

Unter welchen Bedingungen ist also das von $𝒞$ erzeugte Dynkin-System durchschnittstabil? Das hängt offenbar nur von den Eigenschaften des Mengensystems $𝒞$ ab, nicht von den Maßen $\mu$ oder $\nu$. Tatsächlich reicht es, wenn $𝒞$ durchschnittstabil ist. Das hat damit zu tun, dass die Schnittoperation mit den Operationen Vereinigung und Komplement eines Dynkin-Systems verträglich ist und sich die Schnittstabilität so vom Erzeuger auf das erzeugte Dynkin-System fortpflanzt. Wir zeigen das in dem folgenden Satz.

Da jedes durchschnittstabile Dynkin-System eine $\sigma$-Algebra ist, folgt direkt:

Dieser Zusammenhang von Dynkin-Systemen und $\sigma$-Algebren ist sehr nützlich und vereinfacht viele Beweise über Maße. Das liegt daran, dass man bei Dynkin-Systemen die $\sigma$-Additivität des Maßes ausnutzen kann, da nur disjunkte Vereinigungen betrachtet werden müssen. Im Beweis des Eindeutigkeitssatzes werden wir gleich ein erstes Beispiel sehen, wo es dadurch möglich wird, die gewünschte Aussage zu zeigen.

Zwischenresultat

Wir fassen die Bedingungen zusammen, die wir gefunden haben, um $\sigma (𝒞)=𝒢$, also Gleichheit von $\mu$ und $\nu$ auf ganz $\sigma (𝒞)$ zu bekommen:

• Um sicherzustellen, dass die Grundmenge in der Menge der guten Mengen $𝒢$ liegt, dass also $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })$ gilt, fordern wir, dass $𝒞$ eine Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ von $\mathrm{\Omega }$ enthält.
• Damit auch Differenzen von Mengen mit unendlichem Maß, die Teilmengen voneinander sind, wieder in $𝒢$ liegen, fordern wir, dass die Mengen der Ausschöpfung $(E_n{)}_{n\in \mathbb{N}}$ alle endliches Maß haben.
• Damit das von $𝒞$ erzeugte Dynkin-System $\delta (𝒞)$ durchschnittstabil, also eine $\sigma$-Algebra ist, fordern wir, dass der Erzeuger $𝒞$ durchschnittstabil ist.

Im Allgemeinen kann man nicht auf die Durchschnittstabilität von $𝒞$ verzichten, wenn die Maße $\mu$ und $\nu$ auch auf $\sigma (𝒞)$ übereinstimmen sollen, wie das folgende Beispiel zeigt. Mathe für Nicht-Freaks: Vorlage:Beispiel

Eindeutigkeitssatz

Wir können jetzt den Eindeutigkeitssatz formulieren und beweisen.

Wegen der Durchschnittstabilität von $𝒞$ muss die Mengenfolge der $(E_n{)}_n$, die $\mathrm{\Omega }$ ausschöpft, nicht zwingend monoton steigend sein. Es reicht zu fordern, dass es eine Folge $(A_n{)}_n\subseteq 𝒞$ gibt, sodass $\mathrm{\Omega }=\bigcup _{n=1}^{\mathrm{\infty }}{A}_n$ und $\mu (A_n)=\nu (A_n)<\mathrm{\infty }$ gilt: Wenn es eine solche Folge gibt, können wir $E_n=\bigcup _{i=1}^n{A}_i$ definieren und erhalten eine monoton wachsende Folge mit Grenzwert $\mathrm{\Omega }$. Außerdem erfüllen diese Mengen ebenfalls $\mu (E_n)=\nu (E_n)<\mathrm{\infty }$, wie wir im Abschnitt zur Durchschnittstabilität gesehen haben: Die Durchschnittstabilität sorgt dafür, dass $\mu$ und $\nu$ auch auf endlichen (möglicherweise nicht-disjunkten) Vereinigungen übereinstimmen.

Man findet deshalb manchmal auch diese Formulierung des Eindeutigkeitssatzes: Mathe für Nicht-Freaks: Vorlage:Satz

Wenn $\mu$ und $\nu$ Wahrscheinlichkeitsmaße sind, dann ist die zweite Bedingung immer automatisch erfüllt: Wegen $\mu (\mathrm{\Omega })=\nu (\mathrm{\Omega })=1<\mathrm{\infty }$ kann man ohne Einschränkung $\mathrm{\Omega }\in 𝒞$ annehmen und die konstante Folge $(\mathrm{\Omega }{)}_{n\in \mathbb{N}}$ wählen. In der Wahrscheinlichkeitstheorie findet man deshalb oft die folgende Version des Eindeutigkeitssatzes:

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}