Prinzip der guten Mengen

Das Prinzip der guten Mengen ist eine vor allem in der Maßtheorie häufig angewendete Beweismethode. Sie kann verwendet werden, um zu beweisen, dass eine Aussage für alle Elemente einer σ-Algebra oder eines anderen Mengensystems zutrifft. Da im Allgemeinen die Elemente einer σ-Algebra, wie beispielsweise bei der borelschen σ-Algebra, nicht explizit angegeben werden können, sondern nur ein Erzeuger bekannt ist, muss für solche Beweise häufig indirekt vorgegangen werden.

Das Prinzip

Sei {\mathcal {A}} eine σ-Algebra über einer Grundmenge \Omega . Um zu zeigen, dass alle Elemente von {\mathcal {A}} eine gegebene Eigenschaft besitzen, wird die Menge \mathcal{G} aller Teilmengen von \Omega (oder aller Elemente von {\mathcal {A}}) betrachtet, für die diese Eigenschaft zutrifft, also alle „guten Mengen“. Gilt nun

  1. \mathcal{G} enthält einen Erzeuger von {\mathcal {A}} und
  2. \mathcal{G} ist eine σ-Algebra,

so folgt, dass die Eigenschaft für alle A\in {\mathcal {A}} gilt. Mit anderen Worten: Es ist nur zu zeigen, dass {\mathcal {A}} von gewissen „guten Mengen“ erzeugt wird und dass alle „guten Mengen“ eine σ-Algebra bilden.

Begründung: Wird {\mathcal {A}} erzeugt von einem Mengensystem {\mathcal {E}}, so folgt wegen der Monotonie und Idempotenz des σ-Operators aus \mathcal{E} \subseteq \mathcal{G}:

\mathcal{A} = \sigma(\mathcal{E}) \subseteq \sigma(\mathcal{G}) = \mathcal{G}.

Falls es schwierig ist, für den Punkt 2 zu zeigen, dass \mathcal{G} abgeschlossen gegenüber abzählbaren Vereinigungen beliebiger Elemente ist, kann das Prinzip aufgrund des Dynkinschen π-λ-Satzes mit einem Dynkin-System-Argument kombiniert werden. Ist der Erzeuger {\mathcal {E}} durchschnittsstabil, so genügt es zu zeigen, dass \mathcal{G} ein Dynkin-System ist, denn in diesem Fall gilt \sigma(\mathcal{E}) = \delta(\mathcal{E}) \subseteq \mathcal{G}, wobei \delta(\mathcal{E}) das von {\mathcal {E}} erzeugte Dynkin-System bezeichnet.

Beispiel

Ist f \colon \Omega \to \Omega' eine Abbildung und \mathcal{E} \subseteq \mathcal{P}(\Omega') ein Mengensystem aus Teilmengen von \Omega ', dann gilt

f^{-1}(\sigma(\mathcal{E})) = \sigma(f^{-1}(\mathcal{E}))\,,

d.h., das Urbild der von {\mathcal {E}} erzeugten σ-Algebra ist die vom Urbild von {\mathcal {E}} erzeugte σ-Algebra.

Um die Inklusion f^{-1}(\sigma(\mathcal{E})) \subseteq \sigma(f^{-1}(\mathcal{E})) zu beweisen, kann das Prinzip der guten Mengen angewendet werden, denn dazu ist zu zeigen, dass alle A \in \mathcal{A} := \sigma(\mathcal{E}) die Eigenschaft f^{-1}(A) \in \sigma(f^{-1}(\mathcal{E})) besitzen. Dazu wird also

\mathcal{G} := \{ A \subseteq \Omega' \mid f^{-1}(A) \in  \sigma(f^{-1}(\mathcal{E}))\}

als Menge der guten Mengen gewählt. Die beiden obigen Bedingungen sind damit erfüllt:

  1. Für alle E\in {\mathcal {E}} gilt f^{-1}(E) \in \sigma(f^{-1}(\mathcal{E})), also E \in \mathcal{G}.
  2. \mathcal{G} ist eine σ-Algebra: Das prüft man direkt anhand der Definition mit Hilfe der Rechenregeln für Urbilder nach.

Damit ist die Inklusion gezeigt.

Die umgekehrte Inklusion folgt hingegen mit einem einfachen Monotonieargument. Da Urbilder von σ-Algebren wieder σ-Algebren sind, gilt

\sigma(f^{-1}(\mathcal{E})) \subseteq \sigma(f^{-1}(\sigma(\mathcal{E}))) = f^{-1}(\sigma(\mathcal{E}))\,.
Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 03.04. 2021