Typen:Konstrukte:Generalisierungen:Eigenschaften:Charakterisierungen:- Unabhängigkeit von Zufallsvariablen und gemeinsame Verteilungsfunktion
 - Unabhängigkeit und gemeinsame Verteilung (@henze2019, S. 58)
 
Involvierte Definitionen:Veranstaltung: EiSReferenz: @henze2019
⠀
Definition: Stochastische Unabhängigkeit von (endlich vielen) Zufallsvariablen
Sei
ein Wahrscheinlichkeitsraum. 
Seien(wobei ) Messräume. 
SeienZufallsvariablen mit . Die Zufallsvariablen
heißen stochastisch unabhängig, falls: 
sind stochastisch unabhängig. Das ist genau der Fall, wenn: 
Definition: Stochastische Unabhängigkeit einer Folge von Zufallsvariablen
Sei
ein Wahrscheinlichkeitsraum. 
Seieine Folge von Messräumen. 
Seieine Folge von Zufallsvariablen mit . Die Zufallsvariablen
heißen stochastisch unabhängig, wenn für alle endlichen Teilmengen gilt: 
sind stochastisch unabhängig. 
Anmerkung
Kann eine Folge unabhängiger Zufallsvariablen
existieren? Die Existenz der Folge unabhängiger Zufallsvariablen
ist durch das Theorem Existenz von Folgen unabhängiger Zufallsvariablen gegeben. 
Unabhängigkeit von Zufallsvariable und
-Algebra? Sei
ein Wahrscheinlichkeitsraum. 
Seieine Zufallsvariable mit . 
Seieine -Algebra. Wir bezeichnen
und als stochastisch unabhängig, wenn 
Herleitung der Formel
Wir beginnen mit der Definition der stochastischen Unabhängigkeit von Mengensystemen. Nach dieser sind die 
Nach Definition der erzeugten Sigma-Algebra einer Zufallsvariablen (und da 
Da 
Unter Zuhilfenahme der Mengenschreibweise bei Zufallsvariablen gilt weiter:
Damit können wir Gleichung 
In Gleichung 
Wählen wir in diesem Fall 
Nutzen wir nun noch die Schreibweise für den Schnitt von Zufallsvariablen aus den Mengenschreibweisen bei Zufallsvariablen, so erhalten wir:
was herzuleiten war.