Erweiterte Zufallsvariable
# Erweiterte Zufallsvariable

Eine erweiterte Zufallsvariable ist eine Zufallsvariable mit Werten in den erweiterten reellen Zahlen. Eine erweiterte Zufallsvariable heißt auch numerische Zufallsvariable im Unterschied zu einer reellen Zufallsvariablen, die nur Werte in den reellen Zahlen annimmt.

## Definition und Eigenschaften

Für die erweiterten reellen Zahlen ${\bar {\mathbb {R} }}:=\mathbb {R} \cup \{+\infty ,-\infty \}$ wird $-\infty <x<\infty$ für alle $x\in \mathbb {R}$ vereinbart. ${\mathcal {B}}({\bar {\mathbb {R} }})$ bezeichne die borelsche σ-Algebra auf den erweiterten reellen Zahlen. $(\Omega ,\mathbb {A} ,P)$ sei ein Wahrscheinlichkeitsraum.

### Definition

Eine Abbildung $X:\Omega \to {\bar {\mathbb {R} }}$, die $\mathbb {A} {\text{-}}{\mathcal {B}}({\bar {\mathbb {R} }})$-messbar ist, heißt erweiterte Zufallsvariable (engl. extended random variable). Eine erweiterte Zufallsvariable heißt auch erweiterte zufällige Größe oder – analog zur Terminologie der numerischen Funktion – numerische Zufallsvariable.

### Eigenschaften

* Die $\mathbb {A} {\text{-}}{\mathcal {B}}({\bar {\mathbb {R} }})$-Messbarkeit von $X$ bedeutet, dass $X^{-1}(B)\in \mathbb {A}$ für alle $B\in {\mathcal {B}}({\bar {\mathbb {R} }})$ gilt. Dabei bezeichnet $X^{-1}(B)$ das Urbild einer Menge $B\subseteq {\bar {\mathbb {R} }}$. Somit ist die Wahrscheinlichkeit $P(X\in B)=P(X^{-1}(B))$ für alle $B\in {\mathcal {B}}({\bar {\mathbb {R} }})$ definiert.
* Insbesondere sind im Unterschied zu einer reellen Zufallsvariablen auch die beiden Wahrscheinlichkeiten $P(X=-\infty )=P(X^{-1}(\{-\infty \}))$ und $P(X=\infty )=P(X^{-1}(\{\infty \}))$ definiert und können positiv sein.
* Durch
       $P_{X}(B):=P(X\in B)$ für alle $B\in {\mathcal {B}}({\bar {\mathbb {R} }})$
    ist die Wahrscheinlichkeitsverteilung der erweiterten Zufallsvariablen $X$ auf dem Messraum $({\bar {\mathbb {R} }},{\mathcal {B}}({\bar {\mathbb {R} }}))$ definiert, so dass $({\bar {\mathbb {R} }},{\mathcal {B}}({\bar {\mathbb {R} }}),P_{X})$ ein Wahrscheinlichkeitsraum ist.
* Eine erweiterte Zufallsvariable $X$ mit der Bildmenge $X(\Omega )\subseteq \mathbb {R}$ ist eine reelle Zufallsvariable. Insofern sind reelle Zufallsvariablen spezielle erweiterte Zufallsvariablen.
* Eine erweiterte Zufallsvariable $X$ mit der speziellen Eigenschaft $P(X=-\infty )=P(X=+\infty )=0$ unterscheidet sich wahrscheinlichkeitstheoretisch nicht von der durch
       $X'(\omega ):={\begin{cases}X(\omega )&{\text{für }}\omega \in X^{-1}(\mathbb {R} )\\17&{\text{für }}\omega \in X^{-1}(\{-\infty ,\infty \})\end{cases}}$
    definierten reellen Zufallsvariable $X'$. Die Zahl 17 kann durch jede beliebige reelle Zahl ersetzt werden, da nach Konstruktion $P(X'=17)=0$ gilt. Es gilt
       $P(X\in B)=P(X'\in B)\quad {\text{für alle }}B\in {\mathcal {B}}(\mathbb {R} ),$
    wobei ${\mathcal {B}}(\mathbb {R} )$ die borelsche σ-Algebra auf $\mathbb {R}$ bezeichnet.
* Die Wahrscheinlichkeitsverteilung einer erweiterten Zufallsvariablen kann durch deren Subverteilungsfunktion $H_{X}(x):=P(X\leq x)$ für $x\in \mathbb {R}$ charakterisiert werden. Dabei gilt $P(X=-\infty )=\lim _{x\to -\infty }H_{X}(x)$ und $P(X=\infty )=1-\lim _{x\to \infty }H_{X}(x)$.
* Die Klasse der erweiterten Zufallsvariablen ist abgeschlossen bezüglich der punktweisen Konvergenz. Es gilt folgender Satz: Es sei $(X_{n})_{n\in \mathbb {N} }$ eine Folge erweiterter Zufallsvariablen auf demselben Wahrscheinlichkeitsraum mit der Ergebnismenge $\Omega$ und $X(\omega )=\lim _{n\to \infty }X_{n}(\omega )$ für alle $\omega \in \Omega$, dann ist $X$ ebenfalls eine erweiterte Zufallsvariable.

### Uneinheitliche Terminologie

Die Begriffe Zufallsvariable, reelle Zufallsvariable und numerische Zufallsvariable werden uneinheitlich verwendet. Z. B. verwendet Klaus Schmidt den Begriff 'Zufallsvariable' für eine erweiterte oder numerische Zufallsvariable mit Werten in ${\bar {\mathbb {R} }}$ im Unterschied zu einer 'reellen Zufallsvariablen' mit Werten in $\mathbb {R}$.

## Anwendungen
### Unendliche Lebensdauer mit positiver Wahrscheinlichkeit

Bei der Überlebenszeitanalyse modelliert eine nichtnegative Zufallsvariable $X$ die zufällige Lebensdauer. Dabei ist $P(X>x)$ die so genannte Überlebensfunktion. Bei biometrischen Anwendungen ist eine übliche Annahme
    $\lim _{x\to \infty }P(X>x)=0$,
bzw. dazu äquivalent
    $\lim _{x\to \infty }P(X\leq x)=1$.
Diese Annahme ist plausibel, da sie ein – mit positiver Wahrscheinlichkeit – unendlich langes Leben ausschließt. Bei physikalischen Modellen ergibt sich eine andere Situation. Wenn man das Konzept der Überlebenszeitanalyse zum Beispiel auf eine Mischung stabiler und instabiler Kohlenstoff-Isotope anwendet, so ist
    $\lim _{x\to \infty }P(X>x)>0$
und somit auch
    $\lim _{x\to \infty }P(X\leq x)<1,$
da die instabilen Isotope zerfallen und die stabilen Isotope dauerhaft überleben. Ein Modell für Überlebenszeiten kann in diesem Fall auf einer erweiterten Zufallsvariable mit der Eigenschaft $P(X=\infty )>0$ basieren.

### Zufällige Zeiten

Stoppzeiten werden typischerweise als erweiterte Zufallsvariablen mit Werten in $\mathbb {N} _{0}\cup \infty$ oder $[0,\infty ]$ modelliert. Eine Stoppzeit $T$ mit $P(T<\infty )=1$ heißt endliche Stoppzeit.

### Teststatistik als erweiterte Zufallsvariable

In der mathematischen Statistiken wird manchmal die Teststatistik (Prüfgröße) eines Tests als erweiterte Zufallsvariable $T:({\mathcal {X}},{\mathcal {B}})\to ({\bar {\mathbb {R} }},{\mathcal {B}}({\bar {\mathbb {R} }}))$ und damit als messbare Funktion vom Stichprobenraum $({\mathcal {X}},{\mathcal {B}})$ in die erweiterten reellen Zahlen definiert.

### Bedingte Erwartung als Zufallsvariable

Der Erwartungswert einer Zufallsvariablen wird teils im engeren Sinn als reelle Zahl und teils im weiteren Sinn als erweiterte reelle Zahl definiert. Entsprechend führt das allgemeinere Konzept der 'bedingten Erwartung' zur bedingen Erwartung im engeren Sinn als reelle Zufallsvariable oder zur bedingten Erwartung im erweiterten Sinn als erweiterte Zufallsvariable. Im ersten Fall werden bedingte Erwartungen gegeben eine reelle Zufallsvariable oder allgemeiner gegeben ein Ereignissystem als σ-Algebra nur für integrierbare Zufallsvariablen, im zweiten Fall allgemeiner für quasiintegrierbare Zufallsvariablen definiert.

### Limes von Folgen reeller Zufallsvariablen

Eine erweiterte Zufallsvariable $X$ kann als Limes einer Folge reeller Zufallsvariablen $(X_{n})_{n\in \mathbb {N} }$ aufgefasst werden, die im üblichen wahrscheinlichkeitstheoretischen Sinn nicht konvergiert. Es sei $(X_{n})_{n\in \mathbb {N} }$ eine Folge normalverteilter Zufallsvariablen mit Erwartungswert $0$ und Standardabweichung $n$. Eine Zufallsvariable $X_{n}$ hat dann die Verteilungsfunktion $F_{n}(x)=P(X_{n}\leq x)=\Phi (x/n)$, wobei $\Phi$ die Verteilungsfunktion der Standardnormalverteilung bezeichnet. Die Folge $(X_{n})_{n\in \mathbb {N} }$ konvergiert in den üblichen wahrscheinlichkeitstheoretischen Konvergenzkonzepten für reelle Zufallsvariablen nicht gegen eine reelle Zufallsvariable, da
    $\lim _{n\to \infty }P(X_{n}>x)={\frac {1}{2}}\quad {\text{für alle (noch so großen) }}x\in \mathbb {R}$,
    $\lim _{n\to \infty }P(X_{n}<x)={\frac {1}{2}}\quad {\text{für alle (noch so kleinen) }}x\in \mathbb {R}$
und
    $\lim _{n\to \infty }P(|X_{n}|\leq x)=0\quad {\text{für alle (noch so großen) }}x\in (0,\infty )$.
Für wachsendes $n$ weicht die Wahrscheinlichkeitsmasse auf beiden Seiten ins Unendliche aus. Offenbar kann die erweiterte Zufallsvariable $X$ mit $P(X=-\infty )=P(X=\infty )=1/2$ als Limes der Folge $(X_{n})_{n\in \mathbb {N} }$ interpretiert werden, der allerdings außerhalb der Klasse der reellen Zufallsvariablen liegt. Dieser intuitive Konvergenzbegriff deckt sich mit maßtheoretischen Konvergenzbegriffen, wenn die reellen Zufallsvariablen als Teilmenge der erweiterten Zufallsvariablen aufgefasst werden und Subverteilungsfunktionen verwendet werden. Es gilt nämlich
    $\lim _{n\to \infty }F_{n}(x)=\lim _{n\to \infty }\Phi (x/n)={\frac {1}{2}}\quad {\text{für alle }}x\in \mathbb {R}$,
wobei $H(x)=1/2$ für alle $x\in \mathbb {R}$ die Subverteilungsfunktion der erweiterten Zufallsvariablen $X$ ist. Es handelt sich bei der Konvergenz der Folge $(F_{n})_{n\in \mathbb {N} }$ gegen $H$ um die vage Konvergenz von maßtheoretischen Verteilungsfunktionen, die für Subverteilungsfunktionen, da diese beschränkt sind, mit der schwachen Konvergenz von maßtheoretischen Verteilungsfunktionen zusammenfällt.

## Rechnen mit erweiterten Zufallsvariablen

Besondere Vorsicht ist bei allen Berechnungen und Umformungen mit erweiterten Zufallsvariablen erforderlich. Wenn $X$ und $Y$ erweiterte Zufallsvariablen sind, wirft bereits die Bildung von $aX+bY$ mit reellen Koeffizienten $a$ und $b$ besondere Probleme auf.
* Wenn $X>0$ und $P(X=+\infty )>0$ gilt, dann stellt $X'=0\cdot X$ die Frage, wie das Produkt $0\cdot (+\infty )$ zu bilden ist. Mit der in der Maßtheorie üblichen Vereinbarung $0\cdot (+\infty ):=0$ gilt dann
       $X'(\omega )={\begin{cases}0\cdot X(\omega )=0&{\text{für }}X(\omega )<+\infty \\0\cdot (+\infty )=0&{\text{für }}X(\omega )=+\infty \end{cases}}$
    und somit $X'=0$.
* Wenn $X>0$ und $P(X=+\infty )>0$ gilt, dann gilt $X-X=0$, falls $(+\infty )-(+\infty )=0$ vereinbart wird. Die ist aber keine übliche Vereinbarung.
* Wenn $X>0$ und $P(X=+\infty )=p>0$ gilt, kann die reelle Zufallsvariable
       $X'(\omega )={\begin{cases}{\frac {1}{X(\omega )}}&{\text{für }}X(\omega )<+\infty \\0&{\text{für }}X(\omega )=+\infty \end{cases}}$
    mit $P(X'=0)=p$ gebildet werden. Damit dann aber die Gleichung $X\cdot X'=1$ gilt, muss an dieser Stelle $(+\infty )\cdot 0=1$ vereinbart werden.
* Wenn $X\in \{-\infty ,+\infty \}$ gilt, dann ergibt sich mit den üblichen Regeln $(+\infty )+(+\infty )=+\infty$ und $(-\infty )+(-\infty )=-\infty$ die Gleichung $X+X=X$, ohne dass $X=0$ gilt.