# Diskrete Wahrscheinlichkeitsverteilung

Eine diskrete (Wahrscheinlichkeits-)Verteilung bzw. ein diskretes Wahrscheinlichkeitsmaß ist ein spezielles Wahrscheinlichkeitsmaß in der Stochastik. Im Gegensatz zu den allgemeinen Wahrscheinlichkeitsmaßen sind die diskreten Wahrscheinlichkeitsverteilungen leicht zu handhaben, da sie nur auf mathematisch „kleinen“ Mengen definiert sind. Dies verhindert einerseits das Auftreten von Paradoxien, wie sie der Satz von Vitali zeigt, und die damit verbundene Verwendung von komplexeren Mengensystemen wie der Borelschen σ-Algebra, andererseits kann dadurch auch auf die Verwendung von Integralen zugunsten der Verwendung von (endlichen oder unendlichen) Summen verzichtet werden.
Einfachstes Beispiel einer diskreten Wahrscheinlichkeitsverteilung wäre ein Wurf mit einer möglicherweise gezinkten Münze: Die Wahrscheinlichkeitsverteilung ordnet dem Ereignis „Die Münze zeigt Kopf“ eine Zahl zu, die der Wahrscheinlichkeit entspricht, dass die Münze Kopf zeigt. Ebenso ordnet sie dem Ergebnis „Die Münze zeigt Zahl“ eine Zahl zu, die der Wahrscheinlichkeit entspricht, dass die Münze Zahl zeigt. Dem intuitiven Verständnis von Wahrscheinlichkeit entsprechend summieren sich diese Zahlen zu eins auf.
Dieser Artikel behandelt Eigenschaften von diskreten Wahrscheinlichkeitsverteilungen, welche für ebendiese charakteristisch sind. Für die allgemeinen Eigenschaften von Wahrscheinlichkeitsmaßen, die auch für diskrete Wahrscheinlichkeitsverteilungen gelten, siehe den Hauptartikel zu den Wahrscheinlichkeitsmaßen.

## Definition

Eine Wahrscheinlichkeitsverteilung heißt eine diskrete Wahrscheinlichkeitsverteilung, wenn einer der folgenden drei Fälle gilt:
* Sie ist auf einer endlichen Menge definiert (meist $\{0,1,2,\dots ,n\}$).
* Sie ist auf einer abzählbar unendlichen Menge definiert (meist die natürlichen Zahlen $\mathbb {N}$).
* Sie ist auf einer beliebigen Menge definiert, nimmt aber nur auf höchstens abzählbar vielen Elementen dieser Menge einen positiven Wert an. Das bedeutet, es existiert eine höchstens abzählbare Menge $M$ mit $P(M)=1$ (meist die natürlichen Zahlen, eingebettet in die reellen Zahlen).
Zufallsvariablen, deren Verteilung eine diskrete Wahrscheinlichkeitsverteilung ist, werden auch als diskrete Zufallsvariablen bezeichnet.

## Beispiele

Beispiel für die Definition auf einer endlichen Menge ist das eingangs genannte Beispiel mit dem Münzwurf. Dieses wird auf der Menge $\{\operatorname {Kopf} ,\operatorname {Zahl} \}$ definiert und ist im fairen Fall durch
    $P(\{\operatorname {Kopf} \})={\frac {1}{2}}=P(\{\operatorname {Zahl} \})$
gegeben.
Häufig werden die Seiten der Münze auch kodiert, wie Kopf $=1$, Zahl $=0$ oder Kopf $=\operatorname {K}$, Zahl $=\operatorname {Z}$. Die Kodierung ändert dabei nichts an der Eigenschaft der Verteilung, diskret zu sein.
Typisches Beispiel einer Wahrscheinlichkeitsverteilung auf einer abzählbar unendlichen Menge, genauer auf $\mathbb {N} _{0}$, ist die Poisson-Verteilung. Sie wird für einen reellen Parameter $\lambda >0$ durch
    $P_{\lambda }(\{k\})={\frac {\lambda ^{k}}{k!}}\,\mathrm {e} ^{-\lambda }\,{\text{ für }}\,k\in \mathbb {N} _{0}$
definiert.
Die Normiertheit einer Wahrscheinlichkeitsverteilung folgt hier aus der Definition der Exponentialfunktion über die Potenzreihe.
Beide obigen Beispiele können auch als diskrete Wahrscheinlichkeitsverteilungen auf dem Grundraum $\mathbb {R}$ aufgefasst werden. Dies ermöglicht beispielsweise das Definieren einer Verteilungsfunktion und erlaubt die Faltung der Wahrscheinlichkeitsverteilungen mit weiteren, eventuell stetigen Wahrscheinlichkeitsverteilungen.

## Konstruktion

Diskrete Wahrscheinlichkeitsverteilungen werden meist mittels Wahrscheinlichkeitsfunktionen definiert. Im Falle des Grundraumes $\mathbb {N} _{0}$ sind dies Funktionen $f$, die jeder natürlichen Zahl $k$ eine positive, reelle Zahl zwischen null und eins zuordnen. Alle diese reellen Zahlen müssen sich zu eins aufsummieren. Dann setzt man
    $P(\{k\})=f(k)$.
Im obigen Beispiel der Poisson-Verteilung wäre zum Beispiel
    $f(k)={\frac {\lambda ^{k}}{k!}}\,\mathrm {e} ^{-\lambda }$.
Dieses Verfahren lässt sich für beliebige diskrete Wahrscheinlichkeitsverteilungen verwenden. Tatsächlich sind die diskreten Wahrscheinlichkeitsverteilungen genau diejenigen Verteilungen, die sich über eine Wahrscheinlichkeitsfunktion definieren lassen. Die Zuordnung diskrete Wahrscheinlichkeitsverteilung – Wahrscheinlichkeitsfunktion ist also bijektiv.

## Eigenschaften
### Verteilungsfunktion

Bettet man diskrete Verteilungen auf $\mathbb {N}$ (oder einer beliebigen höchstens abzählbaren Teilmenge der reellen Zahlen) in die reellen Zahlen $\mathbb {R}$ ein, so kann der Verteilung eine Verteilungsfunktion
    $F(x)=P((-\infty ,x])\quad {\text{für }}x\in \mathbb {R}$
zugeordnet werden. Jede Stelle $i$ mit $P(\{i\})>0$ ist eine Sprungstelle der Verteilungsfunktion, die dort um den Wert
    $P(\{i\})=F(i)-\lim _{x\to i^{-}}F(x)$
springt. Die Verteilungsfunktion einer diskreten Wahrscheinlichkeitsverteilung ist konstant zwischen zwei Sprungstellen, zwischen denen nicht eine weitere Sprungstelle liegt. In Spezialfällen, bei denen die Sprungstellen dicht liegen, hat die Verteilungsfunktion keine konstanten Teilstücke.

### Wahrscheinlichkeitserzeugende Funktion

Diskreten Wahrscheinlichkeitsverteilungen auf $\mathbb {N} _{0}$ kann zusätzlich zu den klassischen erzeugenden Funktionen (momenterzeugende Funktion, kumulantenerzeugende Funktion und charakteristische Funktion) noch eine wahrscheinlichkeitserzeugende Funktion zugeordnet werden. Dabei handelt es sich um ein Polynom oder um eine Potenzreihe, die jeder Wahrscheinlichkeitsverteilung eindeutig zugeordnet werden kann. Wahrscheinlichkeitserzeugende Funktionen erleichtern beispielsweise das Berechnen der Momente wie Erwartungswert oder Varianz oder liefern einfache Faltungsidentitäten.

## Spezielle diskrete Wahrscheinlichkeitsverteilungen

Folgend sind einige wichtige diskrete Wahrscheinlichkeitsverteilungen und ihre Konstruktion aufgezählt. Die Einteilung ist dabei nicht zwingend, manche Verteilungen können auch auf mehrere Arten konstruiert werden.

### Aus der Bernoulli-Verteilung abgeleitet

Ein Ausgangspunkt der Modellierung ist die Bernoulli-Verteilung. Sie modelliert den Wurf einer Münze, wobei „Kopf“ mit 1 codiert wird und „Zahl“ mit 0. Die Wahrscheinlichkeit für „Kopf“ wird durch eine Zahl $p\in [0,1]$ gegeben. Somit handelt es sich um eine diskrete Wahrscheinlichkeitsverteilung auf $\{0,1\}$.
Aus dieser Verteilung lassen sich direkt ableiten:
* Die Binomialverteilung: Sie gibt die Wahrscheinlichkeit an, bei n unabhängigen Würfen mit derselben Münze k Erfolge zu erhalten. Ihre multivariate Entsprechung ist die Multinomialverteilung.
* Die verallgemeinerte Binomialverteilung: Sie gibt die Wahrscheinlichkeit an, bei n unabhängigen Würfen mit unterschiedlichen Münzen k Erfolge zu erhalten.
* Die geometrische Verteilung: Sie gibt die Wahrscheinlichkeit für die Wartezeit auf den ersten Erfolg beim sukzessiven, unabhängigen Werfen einer Münze an.
* Die negative Binomialverteilung: Sie gibt die Wahrscheinlichkeit für die Wartezeit auf den r-ten Erfolg beim sukzessiven, unabhängigen Werfen einer Münze an.
Dabei werden geometrische und negative Binomialverteilung auch in verschiedenen Varianten definiert. Weitere ableitbare Wahrscheinlichkeitsverteilungen sind die Beta-Binomialverteilung (die Erfolgswahrscheinlichkeit der Münze selbst wird als betaverteilt angenommen) sowie die Rademacher-Verteilung und die Zweipunktverteilung (Bernoulli-Verteilungen auf speziellen Werten) und die Dirac-Verteilung (degenerierter Grenzfall einer Münze, die immer dasselbe Ergebnis zeigt).

### Aus dem Urnenmodell abgeleitet

Ein weiterer Ausgangspunkt der Modellierung ist das Urnenmodell, das auf der diskreten Gleichverteilung basiert. Dabei werden insgesamt $N$ Kugeln in mehrere Gruppen geteilt (gefärbt, nummeriert etc.), in eine Urne gelegt. Aus dieser wird dann gezogen, entweder mit zurücklegen oder ohne. Dabei soll (entsprechend der Gleichverteilung) jede Kugel gleich wahrscheinlich sein. So lassen sich beispielsweise konstruieren:
* die hypergeometrische Verteilung: Sie gibt die Wahrscheinlichkeit an, bei n-maligem Ziehen ohne Zurücklegen aus einer Urne mit zwei Sorten Kugeln genau $k$ Kugeln einer Sorte zu erhalten.
* ihr multivariates Pendant, die multivariate hypergeometrische Verteilung.