Definition mittels Wahrscheinlichkeitsmaß

Gegeben sei ein Wahrscheinlichkeitsmaß${\displaystyle P}$ auf dem Ereignisraum der reellen Zahlen, d. h., jede reelle Zahl kann als mögliches Ergebnis aufgefasst werden. Dann heißt die Funktion

${\displaystyle F_{P}\colon \mathbb {R} \to [0,1]}$

definiert durch:

${\displaystyle F_{P}(x)=P((-\infty ,x])}$

die Verteilungsfunktion von${\displaystyle P}$. Mit anderen Worten: Die Funktion gibt an der Stelle${\displaystyle x}$ an, mit welcher Wahrscheinlichkeit ein Ergebnis aus der Menge${\displaystyle (-\infty ,x]}$ (alle reellen Zahlen kleiner oder gleich${\displaystyle x}$) eintritt.

Definition mittels Zufallsvariable

Ist${\displaystyle X}$ eine reelle Zufallsvariable, so nennt man die Funktion

${\displaystyle F_{X}(x)=P(X\leq x)}$

die Verteilungsfunktion von${\displaystyle X}$. Dabei bezeichnet${\displaystyle P(X\leq x)}$ die Wahrscheinlichkeit, dass${\displaystyle X}$ einen Wert kleiner oder gleich${\displaystyle x}$ annimmt.

Somit ist die Verteilungsfunktion einer Zufallsvariable genau die Verteilungsfunktion ihrer Verteilung.

Wahrscheinlichkeitsmaße mit Dichten

Besitzt das Wahrscheinlichkeitsmaß${\displaystyle P}$ eine Wahrscheinlichkeitsdichte${\displaystyle f_{P}}$, so gilt

${\displaystyle P((a,b])=\int _{a}^{b}f_{P}(x)\,\mathrm {d} x}$.

Somit hat in diesem Fall die Verteilungsfunktion die Darstellung

${\displaystyle F_{P}(x)=\int _{-\infty }^{x}f_{P}(t)\,\mathrm {d} t}$.

Beispielsweise hat die Exponentialverteilung die Dichte

${\displaystyle f_{\lambda }(x)={\begin{cases}\displaystyle \lambda {\rm {e}}^{-\lambda x}&x\geq 0\\0&x<0\end{cases}}}$.

Ist also die Zufallsvariable${\displaystyle X}$ exponentialverteilt, also${\displaystyle X\sim \operatorname {Exp} (\lambda )}$, so ist

${\displaystyle F_{X}(x)=\int _{-\infty }^{x}f_{\lambda }(t)\,\mathrm {d} t={\begin{cases}1-\mathrm {e} ^{-\lambda x}&x\geq 0,\\0&x<0.\end{cases}}}$.

Dieses Vorgehen ist jedoch nicht allgemein gangbar. Erstens besitzen nicht alle Wahrscheinlichkeitsmaße auf den reellen Zahlen eine Dichtefunktion (beispielsweise diskrete Verteilungen, aufgefasst als Verteilungen in${\displaystyle \mathbb {R} }$), zweitens muss selbst bei der Existenz einer Dichtefunktion nicht notwendigerweise eine Stammfunktion mit geschlossener Darstellung existieren (wie beispielsweise bei der Normalverteilung).

Diskrete Wahrscheinlichkeitsmaße

Betrachtet man zu einem Parameter${\displaystyle p\in (0,1)}$ eine Bernoulli-verteilte Zufallsvariable${\displaystyle X}$, so ist

${\displaystyle P(X=0)=1-p{\text{ und }}P(X=1)=p}$

und für die Verteilungsfunktion folgt dann

${\displaystyle F_{X}(x)={\begin{cases}0&{\text{ falls }}x<0\\1-p&{\text{ falls }}0\leq x<1\\1&{\text{ falls }}x\geq 1\end{cases}}}$

Ist allgemeiner${\displaystyle X}$ eine Zufallsvariable mit Werten in den nichtnegativen ganzen Zahlen${\displaystyle \mathbb {N} _{0}}$, dann gilt

${\displaystyle F_{X}(x)=\sum _{k=0}^{\lfloor x\rfloor }P(X=k)}$.

Dabei bezeichnet${\displaystyle \lfloor \cdot \rfloor }$ die Abrundungsfunktion, das heißt${\displaystyle \lfloor x\rfloor }$ ist größte ganze Zahl, die kleiner oder gleich${\displaystyle x}$ ist.

Jede Verteilungsfunktion${\displaystyle F\colon \mathbb {R} \rightarrow [0,1]}$ hat folgende Eigenschaften:

1. ${\displaystyle F}$ ist monoton steigend.
2. ${\displaystyle F}$ ist rechtsseitig stetig.
3. ${\displaystyle \lim _{x\to -\infty }F(x)=0}$ und${\displaystyle \lim _{x\to \infty }F(x)=1}$.

Darüber hinaus ist jede Funktion${\displaystyle F\colon \mathbb {R} \rightarrow [0,1]}$, die die Eigenschaften 1, 2 und 3 erfüllt, eine Verteilungsfunktion. Folglich ist eine Charakterisierung der Verteilungsfunktion mit Hilfe der drei Eigenschaften möglich. So gibt es zu jeder Verteilungsfunktion${\displaystyle F\colon \mathbb {R} \rightarrow [0,1]}$ genau solch ein Wahrscheinlichkeitsmaß${\displaystyle P_{F}\colon {\mathcal {B}}(\mathbb {R} )\to [0,1]}$, dass für alle${\displaystyle x\in \mathbb {R} }$ gilt:

${\displaystyle P_{F}\left(]-\infty ,x]\right)=F(x)}$

Umgekehrt gibt es zu jedem Wahrscheinlichkeitsmaß${\displaystyle P\colon {\mathcal {B}}(\mathbb {R} )\to [0,1]}$ eine Verteilungsfunktion${\displaystyle F_{P}\colon \mathbb {R} \rightarrow [0,1]}$ derart, dass für alle${\displaystyle x\in \mathbb {R} }$ gilt:

${\displaystyle P\left(]-\infty ,x]\right)=F_{P}(x)}$

Daraus folgt die Korrespondenz von${\displaystyle P_{(F_{P})}=P}$ und${\displaystyle F_{(P_{F})}=F}$. Dieser Sachverhalt wird in der Literatur auch Korrespondenzsatz genannt.

Jede Verteilungsfunktion besitzt höchstens abzählbar viele Sprungstellen.

Da jede Verteilungsfunktion rechtsstetig ist, existiert auch der rechtsseitige Grenzwert und es gilt für alle${\displaystyle x\in \mathbb {R} }$:

${\displaystyle P_{F}\left(\{x\}\right)=F(x)-\lim _{\varepsilon \to 0+}F(x-\varepsilon )}$

Deswegen ist${\displaystyle F}$ genau dann stetig, wenn${\displaystyle P(\{x\})=0}$ für alle${\displaystyle x\in \mathbb {R} }$ gilt.

Ist eine Verteilungsfunktion${\displaystyle F}$ gegeben, so kann man wie folgt die Wahrscheinlichkeiten bestimmen:

${\displaystyle P(X\leq a)=F(a)}$ sowie${\displaystyle P(X>a)=1-F(a)}$ bzw.

${\displaystyle P((-\infty ;a])=F(a)}$ sowie${\displaystyle P((a;+\infty ))=1-F(a)}$.

Daraus folgt dann auch

${\displaystyle P(a<X\leq b)=F(b)-F(a)}$ und${\displaystyle P((a;b])=F(b)-F(a)}$

für${\displaystyle a\leq b}$.

Im Allgemeinen kann hier die Art der Ungleichheitszeichen (${\displaystyle <}$ oder${\displaystyle \leq }$) beziehungsweise die Art der Intervallgrenzen (offen, abgeschlossen, links/rechts halboffen) nicht vernachlässigt werden. Dies führt bei diskreten Wahrscheinlichkeitsverteilungen zu Fehlern, da sich dort auch auf einzelnen Punkten eine Wahrscheinlichkeit befinden kann, die dann fälschlicherweise dazugezählt oder nicht berücksichtigt wird.

Bei stetigen Wahrscheinlichkeitsverteilungen, also insbesondere auch bei solchen, die über eine Wahrscheinlichkeitsdichtefunktion definiert werden (Absolutstetige Wahrscheinlichkeitsverteilungen), führt eine Abänderung der Ungleichheitszeichen oder Intervallgrenzen nicht zu Fehlern.

Beispiel

Beim Würfeln errechnet sich die Wahrscheinlichkeit, eine Zahl zwischen 2 (exklusive) und einschließlich 5 zu würfeln, zu

${\displaystyle P(2<X\leq 5)=F(5)-F(2)={5 \over 6}-{2 \over 6}={3 \over 6}={1 \over 2}}$.

Definition

Eine Folge von Verteilungsfunktionen${\displaystyle (F_{n})_{n\in \mathbb {N} }}$ heißt schwach konvergent gegen die Verteilungsfunktion${\displaystyle F}$, wenn

${\displaystyle \lim _{n\to \infty }F_{n}(x)=F(x)}$ gilt für alle${\displaystyle x\in \mathbb {R} }$, an denen${\displaystyle F}$ stetig ist.

Für Verteilungsfunktionen von Zufallsvariablen finden sich auch die Bezeichnungen konvergent in Verteilung oder stochastisch konvergent.

Eigenschaften

Über die schwache Konvergenz der Verteilungsfunktionen lässt sich mit dem Satz von Helly-Bray eine Brücke zur schwachen Konvergenz von Maßen schlagen. Denn eine Folge von Wahrscheinlichkeitsmaßen ist genau dann schwach konvergent, wenn die Folge ihrer Verteilungsfunktionen schwach konvergiert. Analog ist eine Folge von Zufallsvariablen genau denn Konvergent in Verteilung, wenn die Folge ihrer Verteilungsfunktionen schwach konvergiert.

Einige Autoren nutzen diese Äquivalenz zur Definition der Konvergenz in Verteilung, da sie leichter zugänglich ist als die schwache Konvergenz der Wahrscheinlichkeitsmaße. Teilweise findet sich die Aussage des Satzes von Helly-Bray auch im Portmanteau-Theorem.

Für Verteilungsfunktionen im Sinne der Maßtheorie ist die oben angegebene Definition nicht korrekt, sondern entspricht der vagen Konvergenz von Verteilungsfunktionen (im Sinne der Maßtheorie). Diese fällt aber für Wahrscheinlichkeitsmaßen mit der schwachen Konvergenz von Verteilungsfunktionen zusammen. Die schwache Konvergenz von Verteilungsfunktionen wird von dem Lévy-Abstand metrisiert.

Wahrscheinlichkeitsverteilungen, deren Verteilungsfunktion stetig ist, werden stetige Wahrscheinlichkeitsverteilungen genannt. Sie lassen sich noch weiter unterteilen in

• Absolutstetige Wahrscheinlichkeitsverteilungen, für die eine Wahrscheinlichkeitsdichtefunktion existiert. Typische Beispiele hierfür wäre die Normalverteilung oder die Exponentialverteilung.
• Stetigsinguläre Wahrscheinlichkeitsverteilungen, die keine Wahrscheinlichkeitsdichtefunktion besitzen. Beispiel hierfür wäre die Cantor-Verteilung.

Für absolutstetige Wahrscheinlichkeitsverteilungen entspricht die Ableitung der Verteilungsfunktion der Wahrscheinlichkeitsdichtefunktion. Zwar sind auch stetigsinguläre Wahrscheinlichkeitsverteilungen fast überall differenzierbar, ihre Ableitung ist aber fast überall gleich null.

Verteilungsfunktionen von diskreten Wahrscheinlichkeitsverteilungen zeichnen sich durch ihre Sprünge zwischen den Bereichen mit konstanten Funktionswerten aus. Bei ihnen handelt es sich um Sprungfunktionen.

Linksseitig stetige Verteilungsfunktionen

Im Einflussbereich der Tradition Kolmogorows, namentlich der mathematischen Literatur des ehem. „Ostblocks“, findet sich parallel zur heute vorherrschenden „Kleiner-gleich“-Konvention der Verteilungsfunktion bis in die jüngere Vergangenheit eine weitere, die statt des Kleiner-gleich-Zeichens das Echt-kleiner-Zeichen verwendet, also

${\displaystyle F(x)=P(X<x),\quad x\in \mathbb {R} }$

Bei stetigen Wahrscheinlichkeitsverteilungen stimmen beide Definitionen überein, bei diskreten Verteilungen dagegen unterscheiden sie sich darin, dass die Verteilungsfunktion im Fall der „Echt-kleiner“-Konvention an den Sprungstellen nicht rechtsseitig, sondern linksseitig stetig ist.

Beispiel

Es ergibt sich beispielsweise für die Binomialverteilung bei der heute üblichen „Kleiner-gleich“-Konvention eine Verteilungsfunktion der Form

${\displaystyle F(x)=P(X\leq x)=\sum _{k=0}^{\lfloor x\rfloor }{n \choose k}p^{k}(1-p)^{n-k}}$,

bei der „Echt-kleiner“-Konvention dagegen die Schreibweise

${\displaystyle F(x)=P(X<x)=\sum _{k=0}^{\lceil x-1\rceil }{n \choose k}p^{k}(1-p)^{n-k}}$.

Speziell für${\displaystyle m\in \mathbb {N} }$ gilt im zweiten Fall also

${\displaystyle F(m)=\sum _{k=0}^{m-1}P(X=k)}$.

Empirische Verteilungsfunktion

Die empirische Verteilungsfunktion einer Stichprobe${\displaystyle (x_{1},\dots ,x_{n})}$ spielt eine wichtige Rolle in der Statistik. Formal entspricht sie der Verteilungsfunktion einer diskreten Gleichverteilung auf den Punkten${\displaystyle (x_{1},\dots ,x_{n})}$. Ihre Bedeutung hat sie daher, dass nach dem Satz von Gliwenko-Cantelli die empirische Verteilungsfunktion einer unabhängigen Stichprobe von Zufallszahlen gegen die Verteilungsfunktion der Wahrscheinlichkeitsverteilung konvergiert, mittels der die Zufallszahlen erzeugt wurden.

Gemeinsame Verteilungsfunktion und Rand-Verteilungsfunktionen

Die Gemeinsame Verteilungsfunktion verallgemeinert das Konzept einer Verteilungsfunktion von der Verteilung einer Zufallsvariablen auf die Gemeinsame Verteilung von Zufallsvariablen. Ebenso lässt sich das Konzept von der Randverteilung zur Rand-Verteilungsfunktion übertragen. Diese Verteilungsfunktionen haben gemeinsam, dass ihr Definitionsbereich der${\displaystyle \mathbb {R} ^{k}}$ ist für${\displaystyle k\geq 1}$

Verallgemeinerte Inverse Verteilungsfunktion

Die Verallgemeinerte inverse Verteilungsfunktion bildet unter Umständen eine Umkehrfunktion zur Verteilungsfunktion und ist wichtig zur Bestimmung von Quantilen.

Verteilungsfunktion im Sinne der Maßtheorie

Verteilungsfunktionen können nicht nur für Wahrscheinlichkeitsmaße definiert werden, sondern für beliebige endliche Maße auf den reellen Zahlen. In diesen Verteilungsfunktionen (im Sinne der Maßtheorie) spiegeln sich dann wichtige Eigenschaften der Maße wider. Sie bilden eine Verallgemeinerung der hier besprochenen Verteilungsfunktionen.

Überlebensfunktion

Die Überlebensfunktion gibt im Gegensatz zu einer Verteilungsfunktion an, wie groß die Wahrscheinlichkeit ist, einen gewissen Wert zu Überschreiten. Sie tritt beispielsweise bei der Modellierung von Lebensdauern auf und gibt dort an, wie groß die Wahrscheinlichkeit ist, einen gewissen Zeitpunkt zu „überleben“.

Multivariate und mehrdimensionale Verteilungsfunktion

Die Multivariate Verteilungsfunktion ist die Verteilungsfunktion, die multivariaten Wahrscheinlichkeitsverteilungen zugeordnet wird. Als mehrdimensionale Verteilungsfunktion wird hingegen meist das höherdimensionale Pendant der Verteilungsfunktion im Sinne der Maßtheorie bezeichnet.

Mischverteilung

Eine Mischverteilung beschreibt Mischungen von Zufallsgrößen, die unterschiedlichen Verteilungen folgen.

• Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2., durchgesehene Auflage. Springer-Verlag, Heidelberg / Dordrecht / London / New York 2011, ISBN 978-3-642-21025-9, doi:10.1007/978-3-642-21026-6.
• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin / Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3.
• Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. Eine Einführung. 2., überarbeitete und erweiterte Auflage. Springer-Verlag, Berlin / Heidelberg 2014, ISBN 978-3-642-45386-1, doi:10.1007/978-3-642-45387-8.

1. Schmidt: Maß- und Wahrscheinlichkeit. 2011, S. 246.
2. Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. 2014, S. 62.
3. N. Schmitz: Vorlesungen über Wahrscheinlichkeitstheorie. Teubner, 1996.
4. Schmidt: Maß- und Wahrscheinlichkeit. 2011, S. 396.
5. Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. 2014, S. 287.
6. Alexandr Alexejewitsch Borowkow: Rachunek prawdopodobieństwa. Państwowe Wydawnictwo Naukowe, Warszawa 1977, S. 36 ff.
7. Marek Fisz: Wahrscheinlichkeitsrechnung und mathematische Statistik. VEB Deutscher Verlag der Wissenschaften, Elfte Auflage, Berlin 1989, Definition 2.2.1, S. 51.
8. W. Gellert, H. Küstner, M. Hellwich, H. Kästner (Hrsg.): Kleine Enzyklopädie Mathematik. VEB Verlag Enzyklopädie Leipzig 1970, OCLC 174754758, S. 659–660.