Es seien $\mathcal{E_1}$ und $\mathcal{E_2}$ Erzeugendensystme der $\sigma -Algebra ~\mathcal{A}$.
Beweise oder widerlege:
$\sigma\left( \mathcal{E_1}\cap \mathcal{E_2} \right)=\mathcal{A}$ und $\sigma\left( \mathcal{E_1}\cup \mathcal{E_2} \right)=\mathcal{A}$
Für $\sigma\left( \mathcal{E_1}\cap \mathcal{E_2} \right)=\mathcal{A}$ würde ich behaupten, dass stimmt, da ja der beliebge Schnitt von $\sigma -Algebren$ wieder eine $\sigma -Algebra$ ist. An der Mathematischen Noation dieses Arguements werde ich mich gleich auch ransetzen. Nur bräuchte ich bei
$\sigma\left(\mathcal{E_1}\cup \mathcal{E_2} \right)=\mathcal{A}$
noch Hilfe oder zumindest einen Ansatz.
real analysis - Union of two $\sigma$-algebras is not $\sigma$-algebra - Mathematics Stack ExchangeDas könnte vielleicht ein Ansatz sein, dass $\sigma\left( \mathcal{E_1}\cup \mathcal{E_2} \right)=\mathcal{A}$ nicht gilt, aber wie ich das zeigen kann, weiß ich leider nicht
Wie auch im Link ist glaube ich mich mein größtes Problem zu verstehen, wie trozt der Vereiningung, welche zu einer größeren $\sigma -Algebra$ führen sollte. Dies trotzdem nicht funktioniert.
Das unten angefügte triviale Gegenbeispiel ist aber wiederrum klar. Trotzdem bräuchte ich eine Allgemeinere Erklärung, wieso das mit der Vereinigung schief geht. Ich Danke :)
EDIT vom 24.05.2024 um 21:13:
Vielleicht ein kleiner update. Dieses angeführte Beispiel hat mir die Augen geöffnet, was die Vereinigung von $\sigma -Algebren$ angeht. Warum dies nicht unbedingt gelten muss. Hierbei gilt sogar $\mathcal{A_1}\subset\mathcal{A_2}\subset \mathcal{A_3}\subset \ldots$
$\mathcal{E_1}:=\left\{ (-\infty,a]:a\in\mathbb{R} \right\}$
$\mathcal{E_2}:=\left\{ (a,b]:a,b\in\mathbb{R},a\le b \right\}$
Argumentativ habe ich es verstanden und es macht auch schon Sinn, nur bin ich mir nicht sicher ob ich die Letzte Inklusion wirklich verstanden habe :/ ( $~\sigma\left( \mathcal{E_1}\cup \mathcal{E_2} \right)\subset \mathcal{A}~$ ) Wäre für eine kurze wörtliche Erklärung dankbar. Hoffe die Frage ist jetzt nicht zu dumm :)
─ max978 24.05.2024 um 20:34