Reguläre bedingte Verteilung

Die reguläre bedingte Verteilung einer Zufallsvariable ist ein Begriff aus der Wahrscheinlichkeitstheorie. Sie verallgemeinert die Verteilung einer Zufallsvariable um den Aspekt, dass eventuell schon Vorinformationen über die möglichen Ausgänge eines Zufallsexperiments bekannt sind. Damit spielt die reguläre bedingte Verteilung eine wichtige Rolle in der Bayes-Statistik und in der Theorie der stochastischen Prozesse.

Definition

Gegeben seien ein Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},P)$ und ein Messraum $(E,{\mathcal {E}})$ sowie eine Unter-σ-Algebra ${\mathcal {F}}$ von ${\mathcal {A}}$. Sei $Y$ eine Zufallsvariable von $(\Omega ,{\mathcal {A}})$ nach $(E,{\mathcal {E}})$.

Ein Markow-Kern $\kappa _{Y,{\mathcal {F}}}$ von $(\Omega ,{\mathcal {A}})$ nach $(E,{\mathcal {E}})$ heißt eine reguläre Version der bedingten Verteilung der Zufallsvariable $Y$ gegeben ${\mathcal {F}}$, wenn

$\kappa _{Y,{\mathcal {F}}}(\omega ,B)=P(Y^{-1}(B)|{\mathcal {F}})(\omega )$

für alle $B\in {\mathcal {E}}$ und für $P$-fast alle $\omega$ gilt.

Dabei ist $P(A|{\mathcal {F}})(\omega ):=\operatorname {E} (\mathbf {1} _{A}|{\mathcal {F}})(\omega )$ die bedingte Wahrscheinlichkeit, wie sie über den bedingten Erwartungswert definiert wird.

Bemerkungen

Existenz

Eine reguläre bedingte Verteilung existiert immer für reellwertige Zufallsvariablen, wenn die reellen Zahlen mit der Borelschen σ-Algebra versehen sind. Allgemeiner existiert die reguläre bedingte Verteilung immer für Zufallsvariablen mit Werten in Borel'schen Räumen, also beispielsweise für polnische Räume oder den $\mathbb {R} ^{n}$ jeweils versehen mit der Borelschen σ-Algebra.

Varianten

Analog zu den Varianten des bedingten Erwartungswertes lassen sich auch verschiedene Varianten der regulären bedingten Verteilung definieren, die sich alle auf die obige Definition zurückführen lassen.

• Ohne die Verwendung von Zufallsvariablen lässt sich die bedingte Verteilung von $P$ gegeben ${\mathcal {F}}$ definieren als der Markow-Kern mit

$\kappa (\omega ,A)=P(A|{\mathcal {F}})(\omega )$

für $P$-fast alle $\omega$ und alle $A\in {\mathcal {A}}$.

• Ist $X$ eine weitere Zufallsvariable von $(\Omega ,{\mathcal {A}})$ in einen weiteren Messraum $(E_{1},{\mathcal {E}}_{1})$, so ersetzt man die σ-Algebra ${\mathcal {F}}$ durch die von der Zufallsvariable $X$ erzeugte σ-Algebra $\sigma (X)$, um die bedingte Verteilung von $Y$ gegeben $X$ zu erhalten.

Beispiel

Gegeben seien zwei Zufallsvariablen mit gemeinsamer Dichtefunktion $f_{X,Y}(x,y)$ bezüglich des Lebesgue-Maßes. Dann ist die reguläre bedingte Verteilung von $Y$ gegeben $X$ gegeben durch die Dichte

$f_{Y|X}(y|x):={\frac {f(x,y)}{f_{X}(x)}}$.

Hierbei bezeichnet $f_{X}(x)$ die Dichte der Randverteilung. Die Tatsache, dass diese Randverteilung im Nenner Null werden kann, ist nicht weiter problematisch, da dies bloß auf einer $P_{X}$-Nullmenge passiert.

Literatur

• Ulrich Krengel: Einführung in die Wahrscheinlichkeitstheorie und Statistik. Für Studium, Berufspraxis und Lehramt. 8. Auflage. Vieweg, Wiesbaden 2005, ISBN 3-8348-0063-5. 
• Ludger Rüschendorf: Mathematische Statistik. Springer Verlag, Berlin Heidelberg 2014, ISBN 978-3-642-41996-6, doi:10.1007/978-3-642-41997-3.