Verteilungsfunktion

Die Verteilungsfunktion ist eine spezielle reelle Funktion in der Stochastik und ein zentrales Konzept bei der Untersuchung von Wahrscheinlichkeitsverteilungen auf den reellen Zahlen. Jeder Wahrscheinlichkeitsverteilung und jeder reellwertigen Zufallsvariable kann eine Verteilungsfunktion zugeordnet werden. Anschaulich entspricht dabei der Wert der Verteilungsfunktion an der Stelle der Wahrscheinlichkeit, dass die zugehörige Zufallsvariable einen Wert kleiner oder gleich annimmt. Ist beispielsweise die Verteilung der Schuhgrößen in Europa gegeben, so entspricht der Wert der entsprechenden Verteilungsfunktion bei 45 der Wahrscheinlichkeit, dass ein beliebiger Europäer die Schuhgröße 45 oder kleiner besitzt.

Ihre Bedeutung erhält die Verteilungsfunktion durch den Korrespondenzsatz, der besagt, dass jeder Verteilungsfunktion eine Wahrscheinlichkeitsverteilung auf den reellen Zahlen zugeordnet werden kann und umgekehrt. Die Zuordnung ist bijektiv. Dies ermöglicht es, anstelle der Untersuchung von Wahrscheinlichkeitsverteilungen als Mengenfunktionen auf einem komplexen Mengensystem mit Methoden der Maßtheorie die entsprechenden Verteilungsfunktionen zu untersuchen. Diese sind reelle Funktionen und somit über die Methoden der reellen Analysis leichter zugänglich.

Als alternative Bezeichnungen finden sich unter anderem kumulierte Verteilungsfunktion, da sie die Wahrscheinlichkeiten kleiner als zu sein anhäuft, siehe auch kumulierte Häufigkeit. Des Weiteren wird sie zur besseren Abgrenzung von ihrem höherdimensionalen Pendant, der multivariaten Verteilungsfunktion, auch als univariate Verteilungsfunktion bezeichnet. In Abgrenzung zum allgemeineren Maßtheoretischen Konzept einer Verteilungsfunktion finden sich die Bezeichnungen als wahrscheinlichkeitstheoretische Verteilungsfunktion oder als Verteilungsfunktion im engeren Sinn.

Die Entsprechung der Verteilungsfunktion in der deskriptiven Statistik ist die empirische Verteilungs- oder Summenhäufigkeitsfunktion.

Definition

Definition mittels Wahrscheinlichkeitsmaß

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

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

definiert durch

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

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

Definition mittels Zufallsvariable

Ist eine reelle Zufallsvariable, so nennt man die Funktion

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

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

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

Beispiele

Wahrscheinlichkeitsmaße mit Dichten

Besitzt das Wahrscheinlichkeitsmaß eine Wahrscheinlichkeitsdichte f_P , so gilt

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

Somit hat in diesem Fall die Verteilungsfunktion die Darstellung

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

Beispielsweise hat die Exponentialverteilung die Dichte

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

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

$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 $\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 $p\in (0,1)$ eine Bernoulli-verteilte Zufallsvariable , so ist

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

und für die Verteilungsfunktion folgt dann

$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 eine Zufallsvariable mit Werten in den nichtnegativen ganzen Zahlen $\mathbb {N} _{0}$ , dann gilt

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

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

Eigenschaften und Zusammenhang zur Verteilung

Verteilungsfunktionen einer diskreten, einer stetigen und einer gemischten Zufallsvariable.

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

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

Darüber hinaus ist jede Funktion $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 $F\colon {\mathbb {R}}\rightarrow [0,1]$ genau solch ein Wahrscheinlichkeitsmaß $P_{F}\colon {\mathcal {B}}(\mathbb {R} )\to [0,1]$ , dass für alle $x\in\mathbb{R}$ gilt:

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

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

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

Daraus folgt die Korrespondenz von $P_{(F_{P})}=P$ und $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 $x\in\mathbb{R}$ :

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

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

Rechnen mit Verteilungsfunktionen

Ist eine Verteilungsfunktion gegeben, so kann man wie folgt die Wahrscheinlichkeiten bestimmen:

$P(X\leq a)=F(a)$ sowie $P(a<X)=1-F(a)$ bzw.

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

Daraus folgt dann auch

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

für $a\leq b$ .

Im Allgemeinen kann hier die Art der Ungleichheitszeichen ( oder $\leq$ ) beziehungsweise die Art der Intervallgrenzen (offen, abgeschlossen, links/rechts halboffen) nicht vernachlässigt werden. Dies führt besonders bei diskreten Wahrscheinlichkeitsverteilungen zu Fehlern, da sich dort auch auf einzelnen Punkten eine Wahrscheinlichkeit befinden kann, die dann versehentlich dazugezählt oder vergessen 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

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

Konvergenz

Definition

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

$\lim _{{n\to \infty }}F_{n}(x)=F(x)$ gilt für alle $x\in \mathbb {R}$ , an denen 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.

Klassifikation von Wahrscheinlichkeitsverteilungen über Verteilungsfunktionen

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 absolutstetige 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.

Alternative Definition

Linksseitig stetige Verteilungsfunktionen

Im Einflussbereich der Tradition Andrei Nikolajewitsch 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

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

Bei stetigen Wahrscheinlichkeitsverteilungen stimmen beide Definitionen praktisch ü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

$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

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

beziehungsweise

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

Im Prinzip sind dabei beide Konventionen, solange man sich konsequent auf dem Boden nur der einen oder anderen bewegt, gleichwertig – Vorsicht dagegen ist dann geboten, wenn mit verschiedenen Quellen gearbeitet wird, weil sich Formeln der einen Konvention vielfach nicht ohne weiteres in die andere übernehmen lassen.

Verteilungsfunktion

Definition

Definition mittels Wahrscheinlichkeitsmaß

Definition mittels Zufallsvariable

Beispiele

Wahrscheinlichkeitsmaße mit Dichten

Diskrete Wahrscheinlichkeitsmaße

Eigenschaften und Zusammenhang zur Verteilung

Rechnen mit Verteilungsfunktionen

Konvergenz

Definition

Eigenschaften

Klassifikation von Wahrscheinlichkeitsverteilungen über Verteilungsfunktionen

Alternative Definition

Linksseitig stetige Verteilungsfunktionen

Beispiel

Verwandte Konzepte

Empirische Verteilungsfunktion

Gemeinsame Verteilungsfunktion und Rand-Verteilungsfunktionen>

Verallgemeinerte Inverse Verteilungsfunktion

Verteilungsfunktion im Sinne der Maßtheorie

Überlebensfunktion

Multivariate und mehrdimensionale Verteilungsfunktion