# Subverteilungsfunktion

Eine Subverteilungsfunktion ist eine Verallgemeinerung einer Verteilungsfunktion (im Sinn der Wahrscheinlichkeitstheorie) und eine spezielle Verteilungsfunktion im maßtheoretischen Sinn. Jede Verteilungsfunktion ist auch eine Subverteilungsfunktion, aber nicht jede Subverteilungsfunktion ist eine Verteilungsfunktion. Jede Subverteilungsfunktion ist eine Verteilungsfunktion im maßtheoretischen Sinn, aber nicht jede Verteilungsfunktion im maßtheoretischen Sinn ist eine Subverteilungsfunktion. Eine Subverteilungsfunktion kann zur Charakterisierung der Verteilung einer erweiterten Zufallsvariablen verwendet werden, analog dazu, wie eine Verteilungsfunktion die Verteilung einer reellen Zufallsvariablen charakterisiert. Ein zweiter Anwendungsbereich einer Subverteilungsfunktion ist die Charakterisierung eines Sub-Wahrscheinlichkeitsmaßes.

## Definition

Eine Funktion $H\colon \mathbb {R} \to [0,1]$ heißt Subverteilungsfunktion (engl. sub distribution function) genau dann, wenn sie die folgenden drei Eigenschaften hat:
* $H$ ist monoton steigend (im Sinn von monoton nicht fallend),
* $H$ ist rechtsseitig stetig,
* $\lim _{x\to -\infty }H(x)\geq 0$ und $\lim _{x\to +\infty }H(x)\leq 1$.
Für eine erweiterte Zufallsvariable $X$ mit Werten in ${\bar {\mathbb {R} }}=\mathbb {R} \cup \{-\infty ,\infty \}$ ist durch die Funktion
    $H_{X}:\mathbb {R} \to [0,1],\quad H_{X}(x):=P(X\leq x)$
die Subverteilungsfunktion von $X$ definiert. Für die Stellen $-\infty$ und $\infty$ gilt
    $P(X=-\infty )=\lim _{x\to -\infty }H_{X}(x)\geq 0$
und
    $P(X=\infty )=1-\lim _{x\to \infty }H_{X}(x)\geq 0$.

## Beispiele
### Beispiel 1

Die erweiterte Zufallsvariable $X$ mit der durch $P(X=-\infty )=1/4$ und $P(X=\infty )=3/4$ auf ${\bar {\mathbb {R} }}$ festliegenden Wahrscheinlichkeitsverteilung hat die Subverteilungsfunktion
    $H_{X}(x)=1/4\quad {\text{für }}x\in \mathbb {R} ,$
für die
    $\lim _{x\to -\infty }H_{X}(x)=\lim _{x\to \infty }H_{X}(x)=1/4$
gilt.

### Beispiel 2

Die Subverteilungsfunktion
    $H_{X}(x)={\frac {1}{8}}+{\frac {1}{2}}F(x)\quad {\text{für }}x\in \mathbb {R}$,
wobei $F$ eine Verteilungsfunktion ist, definiert für die erweiterte Zufallsvariable $X$ die Wahrscheinlichkeiten
    $P(X=-\infty )=\lim _{x\to -\infty }H_{X}(x)=1/8$,
    $P(X=\infty )=1-\lim _{x\to \infty }H_{X}(x)=3/8$
und
    $P(a<X\leq b)=H_{X}(b)-H_{X}(a)={\frac {1}{2}}(F(b)-F(a))\quad {\text{für }}-\infty <a<b<\infty$.

## Eigenschaften

* Jede Subverteilungsfunktion kann als die Subverteilungsfunktion einer erweiterten Zufallsvariablen aufgefasst werden, deren Verteilung auf $({\bar {\mathbb {R} }},{\mathcal {B}}({\bar {\mathbb {R} }}))$ durch die Subverteilungsfunktion festliegt. Dabei bezeichnet ${\mathcal {B}}({\bar {\mathbb {R} }})$ die borelsche σ-Algebra auf den erweiterten reellen Zahlen.
* Eine Verteilungsfunktion im Sinn der Wahrscheinlichkeitstheorie verlangt anstelle der dritten Eigenschaft in der Definition einer Subverteilungsfunktion die stärkere Eigenschaft
       $\lim _{x\to -\infty }H(x)=0$ und $\lim _{x\to \infty }H(x)=1$,
    so dass jede Verteilungsfunktion eine Subverteilungsfunktion ist, während die Umkehrung der Aussage nicht gilt.
* Wenn die Subverteilungsfunktion einer erweiterte Zufallsvariablen eine Verteilungsfunktion ist, dann liegt der Spezialfall einer erweiterten Zufallsvariablen mit $P(X\in \mathbb {R} )=1$ und $P(X\in \{-\infty ,\infty \})=0$ vor. Eine solche erweiterte Zufallsvariable wird bei wahrscheinlichkeitstheoretischen Untersuchungen üblicherweise mit einer gewöhnlichen reellwertigen Zufallsvariablen identifiziert.
* Eine Verteilungsfunktion im maßtheoretischen Sinn verlangt anstelle der dritten Eigenschaft in der Definition einer Subverteilungsfunktion die schwächere Eigenschaft der Beschränktheit, also die Existenz von zwei reellen Zahlen $a$ und $b$, so dass
       $a\leq H(x)\leq b\quad {\text{für alle }}x\in \mathbb {R}$
    gilt. Da eine Subverteilungsfunktion durch 0 nach unten und durch 1 nach oben beschränkt ist, ist jede Subverteilungsfunktion eine Verteilungsfunktion im maßtheoretischen Sinn, während die Umkehrung nicht gilt.
* Durch eine Subverteilungsfunktion $H$ ist über
       $\mu _{H}((a,b])=H(b)-H(a)\quad {\text{für alle }}a,b\in \mathbb {R} {\text{ mit }}a<b$
    ein endliches Maß auf $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$ eindeutig definiert, das sogar ein Sub-Wahrscheinlichkeitsmaß ist. Dabei bezeichnet ${\mathcal {B}}(\mathbb {R} )$ die borelsche σ-Algebra auf den reellen Zahlen und gilt
       $\mu _{H}(\mathbb {R} )=\lim _{x\to \infty }H(x)-\lim _{x\to -\infty }H(x)\leq 1\;.$
* Eine Subverteilungsfunktion $H$ kann also entweder ein Wahrscheinlichkeitsmaß $P_{H}$ auf $({\bar {\mathbb {R} }},{\mathcal {B}}({\bar {\mathbb {R} }}))$ und damit den Wahrscheinlichkeitsraum $({\bar {\mathbb {R} }},{\mathcal {B}}({\bar {\mathbb {R} }}),P_{H})$ festlegen oder als Verteilungsfunktion im maßtheoretischen Sinn ein Sub-Wahrscheinlichkeitsmaß $\mu _{H}$ auf $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$ und damit den Maßraum $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ),\mu _{H})$ festlegen. Das Wahrscheinlichkeitsmaß $P_{H}$ und das Sub-Wahrscheinlichkeitsmaß $\mu _{H}$ hängen eng zusammen, da
       $P_{H}(B)=\mu _{H}(B)$ für alle $B\in {\mathcal {B}}(\mathbb {R} )$
    gilt.

## Anwendungen

* Eine Subverteilungsfunktion kann verwendet werden, um die Verteilung einer erweiterten Zufallsvariablen zu definieren oder zu beschreiben.
* Eine Subverteilungsfunktion kann verwendet werden, um die Verteilung eines Sub-Wahrscheinlichkeitsmaßes zu definieren oder zu beschreiben.
* Bei der Überlebenszeitanalyse mit zufällig zensierten Daten betrachtet man einen Zufallsvektor $(X,D)$, wobei $X\geq 0$ die zufällige Lebenszeit und $D$ eine Indikatorvariable ist, die mit $D=0$ den Fall einer zensierten und $D=1$ den Fall einer nicht zensierten Beobachtung anzeigt. Durch
       $H(t)=P(X\leq t,D=1)\quad {\text{für }}x\in \mathbb {R}$
    ist dann eine Subverteilungsfunktion $H$ mit der Eigenschaft
       $\lim _{t\to \infty }H(t)=P(D=1)\leq 1$
    definiert.
* Subverteilungsfunktionen mit der Eigenschaft $\lim _{x\to -\infty }H(x)=0$ ergeben sich bei der Lebesgue-Zerlegung einer Verteilungsfunktion. Der sogenannte Darstellungssatz für Verteilungen vermeidet Subverteilungsfunktionen, indem er anstatt mit einer Zerlegung in additive Komponenten mit einer Konvexkombination von Verteilungen arbeitet, die eine analoge Konvexkombination von Verteilungsfunktionen impliziert.
* Subverteilungsfunktionen sind ein Hilfsmittel bei Konvergenzuntersuchungen und Beweisen zur Verteilungskonvergenz, da sie ermöglichen, die schwache Konvergenz von Verteilungsfunktionen so zu erweitern, dass Folgen von Verteilungsfunktionen, die sonst nicht konvergieren – im Sinn der vagen Konvergenz – gegen eine Subverteilungsfunktion konvergieren.