Endlicher Wahrscheinlichkeitsraum/Produkt/Vollständige Unabhängigkeit/Fakt/Name/Inhalt

Es seien ${}(M_{1},P_{1}),\ldots ,(M_{n},P_{n})$ endliche Wahrscheinlichkeitsräume und

${}M=M_{1}\times \cdots \times M_{n}\,$

der Produktraum. Es seien Ereignisse ${}E_{1}\subseteq M_{1}$, ${}E_{2}\subseteq M_{2}$, ... , ${}E_{n}\subseteq M_{n}$ gegeben und es seien ${}{\tilde {E_{i}}}$ die zugehörigen Zylindermengen im Produktraum, also

${}{\tilde {E_{i}}}=M_{1}\times \cdots \times M_{i-1}\times E_{i}\times M_{i+1}\times \cdots \times M_{n}=p_{i}^{-1}(E_{i})\,.$

Dann sind die Ereignisse ${}{\tilde {E_{1}}},\ldots ,{\tilde {E_{n}}}$ vollständig unabhängig.