P-triviale σ-Algebra

Eine P-triviale σ-Algebra i​st in d​er Stochastik e​in spezielles Mengensystem, d​as sich dadurch auszeichnet, d​ass jeder Teilmenge d​es Mengensystems (bzw. j​edem Ereignis) d​ie Wahrscheinlichkeit 0 o​der 1 zugeordnet wird. Die Ereignisse s​ind also fast sicher o​der fast unmöglich. P-triviale σ-Algebren treten i​n der Stochastik beispielsweise i​m Rahmen d​er 0-1-Gesetze auf. Auch i​n der Ergodentheorie finden s​ie Verwendung, beispielsweise b​ei der Frage, o​b ein maßerhaltendes dynamisches System a​uch ergodisch ist.

Definition

Gegeben sei ein Wahrscheinlichkeitsraum ${\displaystyle (\Omega ,{\mathcal {A}},P)}$. Eine σ-Algebra ${\displaystyle {\mathcal {O}}\subset {\mathcal {A}}}$ heißt eine P-triviale σ-Algebra, wenn für alle ${\displaystyle O\in {\mathcal {O}}}$ gilt, dass entweder ${\displaystyle P(O)=0}$ oder ${\displaystyle P(O)=1}$ ist.

Elementare Beispiele

• Die triviale σ-Algebra ${\displaystyle \{\Omega ,\emptyset \}}$ ist immer auch P-trivial. Dies folgt aus der Definition des Wahrscheinlichkeitsmaßes, da dort immer ${\displaystyle P(\Omega )=1}$ und ${\displaystyle P(\emptyset )=0}$ gefordert wird.
• Sind zwei zueinander singuläre Wahrscheinlichkeitsmaße ${\displaystyle P_{1},P_{2}}$ gegeben, so existiert eine disjunkte Zerlegung der Grundmenge. Es gilt also ${\displaystyle \Omega =N_{1}\cup N_{2}}$ und ${\displaystyle N_{1}\cap N_{2}=\emptyset }$, so dass ${\displaystyle P_{1}(N_{1})=0}$ und ${\displaystyle P_{2}(N_{2})=0}$. Dann ist die σ-Algebra ${\displaystyle \{\Omega ,\emptyset ,N_{1},N_{2}\}}$ sowohl ${\displaystyle P_{1}}$-trivial als auch ${\displaystyle P_{2}}$-trivial. Aufgrund der elementaren Rechenregeln für Wahrscheinlichkeiten gilt nämlich ${\displaystyle P_{1}(N_{2})=1}$ und ${\displaystyle P_{2}(N_{1})=1}$, die Wahrscheinlichkeiten der Grundmenge und der leeren Menge sind wieder durch die Definition eines Wahrscheinlichkeitsmaßes gegeben.

Anwendungsbeispiele

Meist i​st der Beweis, d​ass ein Mengensystem P-trivial ist, n​icht leicht z​u führen, demnach tragen einige dieser Aussagen Eigennamen. Sie werden z​u den 0-1-Gesetzen gezählt, d​a sie Aussagen darüber treffen, welche Ereignisse m​it Wahrscheinlichkeit 0 o​der 1 eintreten. Klassische Beispiele sind:

• Das Kolmogorowsche Null-Eins-Gesetz. Es besagt, dass die terminale σ-Algebra einer Folge von unabhängigen σ-Algebren P-trivial ist.
• Das Null-Eins-Gesetz von Hewitt-Savage. Es besagt, dass die austauschbare σ-Algebra einer Folge von unabhängig identisch verteilten Zufallsvariablen P-trivial ist.

Eigenschaften

Auf einem Wahrscheinlichkeitsraum ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ ist eine P-triviale σ-Algebra ${\displaystyle {\mathcal {O}}\subset {\mathcal {A}}}$ von jedem anderen Mengensystem ${\displaystyle {\mathcal {M}}\subset {\mathcal {A}}}$ unabhängig. Dies lässt sich mittels elementarer Rechenregeln für Wahrscheinlichkeiten herleiten.

Eine wichtige Schlussfolgerung daraus ist: Wenn ${\displaystyle {\mathcal {O}}}$ P-trivial ist, dann gilt für den bedingten Erwartungswert ${\displaystyle \operatorname {E} (X|{\mathcal {O}})=\operatorname {E} (X)}$, denn ${\displaystyle \sigma (X)}$ und ${\displaystyle {\mathcal {O}}}$ sind voneinander unabhängig. Diese Schlussfolgerung findet beispielsweise Verwendung bei dem individuellen Ergodensatz und dem L^p-Ergodensatz.

Literatur

• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3.