Kolmogorowsches Null-Eins-Gesetz

Das Kolmogorowsche Null-Eins-Gesetz, auch Null-Eins-Gesetz von Kolmogorow genannt und auch in den alternativen Schreibungen Kolmogoroff oder Kolmogorov in der Literatur vertreten, ist ein mathematischer Satz der Wahrscheinlichkeitstheorie über die möglichen Wahrscheinlichkeiten von Grenzwerten. Es gehört zu den Null-Eins-Gesetzen und beschreibt somit eine Klasse von Ereignissen, die entweder fast sicher sind (also mit Wahrscheinlichkeit eins eintreten) oder fast unmöglich sind (also mit Wahrscheinlichkeit 0 eintreten).

Das Gesetz ist nach Andrei Nikolajewitsch Kolmogorow benannt.

Formulierung

Gegeben sei ein Wahrscheinlichkeitsraum $(\mathrm{\Omega },𝒜,P)$ sowie eine Folge $({𝒜}_n{)}_{n\in \mathbb{N}}$ von σ-Algebren in $𝒜$, also ${𝒜}_n\subseteq 𝒜$ für alle $n\in \mathbb{N}$. Sind die σ-Algebren ${𝒜}_n$ alle stochastisch unabhängig voneinander, so gilt:

Die terminale σ-Algebra $𝒯$ der Folge $({𝒜}_n{)}_{n\in \mathbb{N}}$ ist P-trivial, das heißt für jedes terminale Ereignis $T\in 𝒯$ ist entweder $P(T)=0$ oder $P(T)=1$.

Dieselbe Aussage gilt ebenso für die terminale σ-Algebra einer Folge von stochastisch unabhängigen Zufallsvariablen wie auch für die terminale σ-Algebra einer Folge von stochastisch unabhängigen Ereignissen.

Implikationen

Seien $(X_n{)}_{n\in \mathbb{N}}$ unabhängige Zufallsvariable und $𝒯$ die zu $({𝒜}_n{)}_{n\in \mathbb{N}}$ mit ${𝒜}_n=\sigma (X_n)$ gehörige terminale $\sigma$-Algebra. Man zeigt leicht, dass $\{\omega \mid X_n(\omega )\text{konvergiert für}n\to \mathrm{\infty }\}\in 𝒯$ gilt. Die Folge $(X_n{)}_{n\in \mathbb{N}}$ konvergiert oder divergiert also fast sicher. Bezeichnet im ersten Fall $X$ den Limes, so lässt sich weiter zeigen, dass $X$ eine $\sigma (𝒯)$-messbare Zufallsvariable ist. Da $\sigma (𝒯)$ trivial ist, muss $X$ notwendig konstant sein.

Außerdem lässt sich mittels des Kolmogorowschen Null-Eins-Gesetzes das Null-Eins-Gesetz von Hewitt-Savage herleiten.

Beweisskizze

Definiert man

${𝒦}_n:=\sigma \left(\bigcup _{i=1}^n{𝒜}_i\right)\text{ und }{ℒ}_n:=\sigma \left(\bigcup _{i=n+1}^{\mathrm{\infty }}{𝒜}_i\right)$,

so gilt:

${𝒦}_n$ ist unabhängig von ${ℒ}_n$.

Des Weiteren ist $𝒯$ in ${ℒ}_n$ enthalten, also gilt

${𝒦}_n$ ist unabhängig von $𝒯$ für alle $n$.

Dann ist auch $\bigcup _{i=1}^{\mathrm{\infty }}{𝒦}_i$ unabhängig von $𝒯$ und aufgrund der Schnittstabilität folgt

${𝒦}_{\mathrm{\infty }}:=\sigma \left(\bigcup _{i=1}^{\mathrm{\infty }}{𝒦}_i\right)$ ist unabhängig von $𝒯$

Da allerdings $𝒯$ in ${𝒦}_{\mathrm{\infty }}$ enthalten ist, folgt

$𝒯$ ist unabhängig von $𝒯$,

woraus direkt folgt, dass $𝒯$ P-trivial ist.

Der Beweis für Folgen von Ereignissen oder Zufallsvariablen folgt analog, da die terminale σ-Algebra von Ereignissen und Zufallsvariablen als die terminale σ-Algebra der erzeugten σ-Algebren definiert ist.

Verallgemeinerungen

Das Kolmogorowsche Null-Eins-Gesetz wird in der Literatur auf die folgenden Arten allgemeiner formuliert:

• Es wird nicht für Folgen von unabhängigen σ-Algebren und deren terminale σ-Algebra formuliert, sondern allgemeiner für beliebige Mengensysteme. Für die Gültigkeit der Aussage muss dabei aber neben der Unabhängigkeit noch zusätzlich die Schnittstabilität der Mengensysteme gefordert werden. Ansonsten bleibt die Aussage unverändert.
• Es wird eine bedingte Version formuliert mit Rückgriff auf die bedingte Unabhängigkeit und die bedingte Wahrscheinlichkeit, wie sie über den bedingten Erwartungswert definiert wird. Dies bedeutet, man setzt

$P(A|𝒢):=\mathrm{E}({\mathrm{𝟏}}_A|𝒢)$

Dann lautet das Kolmogorowsche Null-Eins-Gesetz:

Ist eine Folge von bedingt unabhängigen, schnittstabilen Mengensystemen gegeben und ist $𝒯$ die zugehörige terminale σ-Algebra, so gilt:

• Es ist $P(T_1|𝒢)P(T_2|𝒢)=P(T_1\cap T_2|𝒢)$ für alle $T_1,T_2\in 𝒯$
• Zu jeder terminalen numerischen Zufallsvariable $X$ existiert eine $𝒢$-messbare Zufallsvariable $Y$, so dass $X=Y$ gilt.
• Für jedes terminale Ereignis $T$ gilt $P(T|𝒢)={\mathrm{𝟏}}_T$ und es existiert ein $G\in 𝒢$, so dass ${\mathrm{𝟏}}_T={\mathrm{𝟏}}_G$ ist.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur