Dynkinscher π-λ-Satz

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Der Dynkinsche π-λ-Satz (nach Eugene Dynkin) ist ein Satz aus der Maßtheorie, einem Teilgebiet der Mathematik. Er trifft eine Aussagen darüber, unter welchen Bedingungen zwei Mengensysteme übereinstimmen. Er dient beispielsweise beim Prinzip der guten Mengen als Hilfsmittel.

Sei ein Mengensystem sowie die von dem Mengensystem erzeugte σ-Algebra und das von dem Mengensystem erzeugte Dynkin-System.

Die Aussage lautet nun: Ist ein durchschnittsstabiles Mengensystem, so stimmen die von ihm erzeugte σ-Algebra und das von ihm erzeugte Dynkin-System überein. Es gilt dann also

.

Die Benennung des Satzes folgt daraus, dass Dynkin-Systeme auch λ-Systeme genannt werden und durchschnittsstabile Mengensysteme auch π-Systeme heißen. Somit lässt sich der Satz auch wie folgend formulieren: Die erzeugte σ-Algebra eines π-Systems ist gleich dem erzeugten λ-System des π-Systems.

Es ist , da jede σ-Algebra ein Dynkin-System ist und das kleinste Dynkin-System, das enthält.

Es ist dann noch zu zeigen, dass . Dazu zeigt man, dass das Dynkin-System eine σ-Algebra ist. Dann enthält das Dynkin-System die σ-Algebra, da das Dynkin-System den Erzeuger enthält und die kleinste σ-Algebra ist, die den Erzeuger enthält.

Ein Dynkin-System ist aber genau dann eine σ-Algebra, wenn es durchschnittsstabil ist. Also ist die Durchschnittsstabilität zu zeigen. Dazu definiert man das Hilfsmengensystem

,

da ein durchschnittsstabiles Mengensystem ist. Nun kann man zeigen, dass auch ein Dynkin-System ist. Da aber ist und gilt, ist dann .

Nun bildet man das zweite Hilfsmengensystem der durchschnittstabilen Mengen des Dynkinsystems

.

Per Definition ist dann , aber da nach der obigen Aussage auch gilt, ist . Nun lässt sich zeigen, dass auch ein Dynkin-System ist, also ist und damit auch . Da nach Definition durchschnittsstabil ist, ist auch durchschnittsstabil, also eine σ-Algebra, was zu zeigen war.