24.01.2013 Aufrufe

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

2.1 Unabhängigkeit von Ereignissen 53<br />

Da im obigen Satz, zumindest im Falle unabhängiger Ereignisse, nur die Wahrscheinlichkeiten<br />

P[A∗ ]=0und P[A∗ ]=1auftreten können, zählt das Lemma<br />

von Borel-Cantelli zu den so genannten 0-1 Gesetzen. Wir werden später weitere<br />

0-1 Gesetze kennen lernen (siehe beispielsweise Satz 2.37).<br />

Wir wollen jetzt den Begriff der Unabhängigkeit von Familien von Ereignissen auf<br />

Familien von Ereignissystemen ausdehnen.<br />

Definition 2.11 (Unabhängigkeit von Mengensystemen). Sei I eine beliebige<br />

Indexmenge und Ei ⊂A für jedes i ∈ I. Die Familie (Ei)i∈I heißt unabhängig,<br />

falls für jede endliche Teilmenge J ⊂ I und für jede Wahl von Ej ∈Ej, j ∈ J,<br />

gilt, dass<br />

�<br />

�<br />

�<br />

P = �<br />

P[Ej]. (2.6)<br />

j∈J<br />

Ej<br />

Beispiel 2.12. Sei (Ω,A, P) wie in Beispiel 2.4 der Produktraum der unendlichen<br />

Wiederholung des Experiments mit Ausgängen in der endlichen Menge E mit<br />

Wahrscheinlichkeitsvektor p =(pe)e∈E. Setze für i ∈ N<br />

j∈J<br />

Ei = � {ω ∈ Ω : ωi ∈ A} : A ⊂ E � .<br />

Dann ist für jede Wahl von Ai ∈Ei, i ∈ N, die Familie (Ai)i∈N unabhängig, also<br />

ist (Ei)i∈N unabhängig. ✸<br />

Satz 2.13. (i) Sei I endlich, und für jedes i ∈ I sei Ei ⊂Amit Ω ∈Ei. Dann<br />

gilt<br />

(Ei)i∈I ist unabhängig ⇐⇒ (2.6) gilt für J = I.<br />

(ii) (Ei)i∈I ist unabh. ⇐⇒ � (Ej)j∈J ist unabh. für alle endlichen J ⊂ I � .<br />

(iii) Ist (Ei ∪ {∅}) ∩-stabil, dann gilt<br />

(Ei)i∈I ist unabhängig ⇐⇒ (σ(Ei))i∈I ist unabhängig.<br />

(iv) Sei K eine beliebige Menge und (Ik)k∈K paarweise � �<br />

disjunkte Teilmengen<br />

von I.Ist(Ei)i∈Iunabhängig, dann ist auch i∈Ik Ei<br />

�<br />

k∈K unabhängig.<br />

Beweis. (i) ” =⇒ “ Dies ist trivial.<br />

(i) ” ⇐= “ Für J ⊂ I und j ∈ I \ J wähle Ej = Ω.<br />

(ii) Dies ist trivial.<br />

(iii) ” ⇐= “ Dies ist trivial.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!