24.01.2013 Aufrufe

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

6 1 Grundlagen der Maßtheorie<br />

Satz 1.15 (Schnitt von Mengensystemen). Ist I eine beliebige Indexmenge und Ai<br />

eine σ-Algebra für jedes i ∈ I,soist<br />

AI := � A ⊂ Ω : A ∈Ai für jedes i ∈ I � = �<br />

eine σ-Algebra. Dies gilt analog für: Ringe, σ-Ringe, Algebren und Dynkin-Systeme;<br />

nicht aber für Semiringe.<br />

Beweis. Wir führen den Beweis hier nur für σ-Algebren durch. Wir prüfen für A<br />

die Punkte (i)-(iii) aus Definition 1.2.<br />

(i) Für jedes i ∈ I ist Ω ∈Ai.AlsoistΩ ∈A.<br />

(ii) Sei A ∈A.DannistA ∈Ai für jedes i ∈ I. Also ist auch A c ∈Ai für jedes<br />

i ∈ I. Mithin ist A c ∈A.<br />

(iii) Seien A1,A2,...∈A.DannistAn ∈Ai für jedes n ∈ N und jedes i ∈ I.Also<br />

ist auch A := � ∞<br />

n=1 An ∈Ai für jedes i ∈ I und damit A ∈A.<br />

Gegenbeispiel für Semiringe: Seien Ω = {1, 2, 3, 4}, A1 = {∅,Ω,{1}, {2, 3}, {4}}<br />

und A2 = {∅,Ω,{1}, {2}, {3, 4}}. Dann sind A1 und A2 Semiringe, aber A1 ∩<br />

A2 = {∅,Ω,{1}} ist keiner. ✷<br />

Satz 1.16 (Erzeugte σ-Algebra). Sei E ⊂ 2Ω Algebra σ(E) mit E⊂σ(E):<br />

. Dann existiert eine kleinste σ-<br />

�<br />

σ(E) :=<br />

A.<br />

A⊂2 Ω ist σ-Algebra<br />

A⊃E<br />

σ(E) heißt die von E erzeugte σ-Algebra. E heißt Erzeuger von σ(E). Analog wird<br />

das von E erzeugte Dynkin-System δ(E) definiert.<br />

Beweis. A =2 Ω ist eine σ-Algebra mit E⊂A. Also ist der Schnitt nicht leer. Nach<br />

Satz 1.15 ist σ(E) eine σ-Algebra, und dies ist offenbar die kleinste σ-Algebra, die<br />

E enthält. Für Dynkin-Systeme geht der Beweis genauso. ✷<br />

Bemerkung 1.17. Es gelten die folgenden einfachen Aussagen.<br />

(i) E⊂σ(E).<br />

(ii) Gilt E1 ⊂E2,soistσ(E1) ⊂ σ(E2).<br />

(iii) A ist genau dann σ-Algebra, wenn σ(A) =A.<br />

Die analogen Aussagen gelten für Dynkin-Systeme. Ferner ist stets δ(E) ⊂ σ(E).✸<br />

i∈I<br />

Ai

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!