Sei ein Wahrscheinlichkeitsraum und Zufallsvariablen die jeweils in messbare Räume und abbilden. Weiters sei eine sub--algebra mit und wir nehmen an das und unabhängig sind. Letzlich sei Lebesgues-integrierbar.
Gilt fast sicher?
Aufgrund von ist bereits messbar, daher reicht es zu zeigen dass, für alle ,
wobei die standard Indikator Funktion ist. Jetzt wenden wir (1, Example 4.1.9) an und erhalten
,
wobei . Weiters
,
aber hier komme ich nicht mehr weiter. Meine Idee wäre in einen "messbaren" (bzgl ) und einen "unabhängigen" (von ) Teil aufzuspalten, und dann über die jeweiligen Marginales integrieren. Das könnte man z.B. mit und probieren, aber die sind leider nicht unabhängig.
Wäre über jede Hilfe sehr dankbar.
(1) R. Durrett. Probability: Theory and Examples. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, 5 edition, 2019.
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |