Wahrscheinlichkeitsraum

Ein Wahrscheinlichkeitsraum, kurz W-Raum, ist ein grundlegender Begriff aus dem mathematischen Teilgebiet der Wahrscheinlichkeitstheorie. Es handelt sich um ein mathematisches Modell zur Beschreibung von Zufallsexperimenten. Hierbei werden die verschiedenen möglichen Ausgänge des Experiments zu einer Menge zusammengefasst. Teilmengen dieser Ergebnismenge können dann unter bestimmten Voraussetzungen Zahlen zwischen 0 und 1 zugeordnet werden, die als Wahrscheinlichkeiten interpretiert werden.

Der Begriff des Wahrscheinlichkeitsraums wurde in den 1930er Jahren durch den russischen Mathematiker Andrei Kolmogorow eingeführt, dem damit die Axiomatisierung der Wahrscheinlichkeitsrechnung gelang (siehe auch: Kolmogorow-Axiome).

Definition

Formale Definition

Ein Wahrscheinlichkeitsraum ist ein Maßraum $(\Omega,\Sigma,P)$ , dessen Maß ein Wahrscheinlichkeitsmaß ist.

Im Einzelnen bedeutet das:

$\Omega$ ist eine beliebige nichtleere Menge, genannt die Ergebnismenge. Ihre Elemente heißen Ergebnisse.
$\Sigma$ ist eine σ-Algebra über der Grundmenge $\Omega$ , also eine Menge bestehend aus Teilmengen von $\Omega$ , die $\Omega$ enthält und abgeschlossen gegenüber der Bildung von Komplementen und abzählbaren Vereinigungen ist. Die Elemente von $\Sigma$ heißen Ereignisse. Die σ-Algebra $\Sigma$ selbst wird auch Ereignissystem oder Ereignisalgebra genannt.
$P \colon \Sigma \to [0,1]$ ist ein Wahrscheinlichkeitsmaß, das heißt eine Mengenfunktion, die den Ereignissen Zahlen zuordnet, derart dass $P(\emptyset) = 0$ ist, $P(A_1 \cup A_2 \cup \ldots) = P(A_1) + P(A_2) + \ldots$ für paarweise disjunkte (d.h. sich gegenseitig ausschließende) Ereignisse $A_1, A_2, \dotsc$ gilt (3. Kolmogoroff-Axiom) und $P(\Omega )=1$ ist (2. Kolmogoroff-Axiom).

Der Messraum $(\Omega, \Sigma)$ wird auch Ereignisraum genannt. Ein Wahrscheinlichkeitsraum ist also ein Ereignisraum, auf dem zusätzlich ein Wahrscheinlichkeitsmaß gegeben ist.

Konkretisierung der Definition

Modellierung eines Glücksrads durch einen Wahrscheinlichkeitsraum: Die Menge der möglichen Ergebnisse ist hier $\Omega=\{1,2,3\}$ . Allen Teilmengen von $\Omega$ werden ihre Wahrscheinlichkeiten als Anteil des Winkels ihres Sektors am Vollkreis des Rades zugeordnet.

Konkret bedeutet die Definition, dass durch dieses Modell Wahrscheinlichkeit als rein axiomatisch begründetes Konstrukt (also nicht empirisch bestimmt, wie Richard von Mises es versuchte, und auch nicht subjektiv empfunden) messbar gemacht wird. Tragend ist hier unter anderem der Gedanke, die Menge aller möglichen Ausgänge des Zufallsexperiments als sich gegenseitig ausschließende Ergebnisse zu konstruieren. Am Beispiel des Glücksrades wird dies deutlich: Beim Drehen kann das Rad nur in einer einzigen Winkelstellung zu einer gedachten Null-Position stehen bleiben. In der Folge kann dem aber auch nur eine einzige der drei aufgemalten Zahlen 1, 2, 3 zugeordnet werden, das Rad kann nicht im Sektor 1 und gleichzeitig im Sektor 2 stehen bleiben. Ein Mechanismus verhindert, dass es genau auf der Grenze der beiden stehen bleibt. Damit ist das gleichzeitige Eintreffen zweier Elementarereignisse ausgeschlossen, sie sind disjunkt. Dies begründet den Übergang vom Allgemeinen Additionssatz zum speziellen Additionssatz, der dem 3. Kolmogoroffschen Axiom entspricht: Die Wahrscheinlichkeit einer Vereinigung abzählbar vieler inkompatibler (d.h. sich gegenseitig ausschließender) Ereignisse ist gleich der Summe der Wahrscheinlichkeiten der einzelnen Ereignisse.

Klassen von Wahrscheinlichkeitsräumen

Diskrete Wahrscheinlichkeitsräume

Ein Wahrscheinlichkeitsraum heißt ein diskreter Wahrscheinlichkeitsraum, wenn die Ergebnismenge $\Omega$ endlich oder abzählbar unendlich ist und die σ-Algebra die Potenzmenge ist, also $\Sigma= \mathcal P (\Omega)$ . Bei manchen Autoren wird bei Einführungen in die Thematik auf die Angabe der σ-Algebra verzichtet und stillschweigend von der Potenzmenge ausgegangen. Dann wird nur das Tupel $(\Omega, P)$ als diskreter Wahrscheinlichkeitsraum bezeichnet.

Teils werden auch Wahrscheinlichkeitsräume mit beliebiger Grundmenge $\Omega$ diskrete Wahrscheinlichkeitsräume genannt, wenn das Wahrscheinlichkeitsmaß fast sicher nur Werte in einer höchstens abzählbaren Menge annimmt, also $P(A)=1$ gilt.

Endliche Wahrscheinlichkeitsräume

Ein endlicher Wahrscheinlichkeitsraum ist ein Wahrscheinlichkeitsraum, dessen Grundmenge $\Omega$ endlich ist und dessen σ-Algebra die Potenzmenge ist. Jeder endliche Wahrscheinlichkeitsraum ist ein diskreter Wahrscheinlichkeitsraum, dementsprechend wird auch hier teils auf die Angabe der σ-Algebra verzichtet.

Ist speziell $\Omega =\{0,1\}$ , versehen mit der Bernoulli-Verteilung, also $P(\{0\})=p=1-P(\{1\})$ , so spricht man von einem Bernoulli-Raum.

Symmetrische Wahrscheinlichkeitsräume

Ein symmetrischer Wahrscheinlichkeitsraum, auch Laplacescher Wahrscheinlichkeitsraum oder einfach Laplace-Raum genannt (nach Pierre-Simon Laplace), besteht aus einer endlichen Grundmenge $\Omega= \{\omega_1, \dots, \omega_n\}$ . Als σ-Algebra dient die Potenzmenge $\Sigma= \mathcal P (\Omega)$ und die Wahrscheinlichkeitsverteilung wird durch eine Wahrscheinlichkeitsfunktion definiert als

$P(\{\omega_i\})=f(i)= \frac 1n$ .

Dies entspricht genau der diskreten Gleichverteilung. Symmetrische Wahrscheinlichkeitsräume sind immer endliche und damit auch diskrete Wahrscheinlichkeitsräume. Demnach wird auch hier gelegentlich auf die Angabe der σ-Algebra verzichtet.

Weitere Klassen

Des Weiteren existieren noch

induzierter Wahrscheinlichkeitsräume (Bildräume einer Zufallsvariable, versehen mit der Verteilung der Zufallsvariable als Wahrscheinlichkeitsmaß)
vollständige Wahrscheinlichkeitsräume (vollständige Maßräume mit einem Wahrscheinlichkeitsmaß)
Produkträume
Filtrierte Wahrscheinlichkeitsräume: Wahrscheinlichkeitsräume, zusätzlich mit einer Filtrierung versehen.

Beispiele

Diskreter Wahrscheinlichkeitsraum

Ein Beispiel eines diskreten Wahrscheinlichkeitsraumes ist

die Ergebnismenge der natürlichen Zahlen $\N= \{0,1,2, \dots \}$ . Dann ist jede natürliche Zahl ein Ergebnis.
Als Ereignissystem wählt man dann wie immer bei höchstens abzählbar unendlichen Mengen die Potenzmenge ${\mathcal P}(\mathbb{N} )$ . Dann sind alle Teilmengen der natürlichen Zahlen Ereignisse.
Als Wahrscheinlichkeitsmaß kann man beispielsweise die Poisson-Verteilung $P_{\lambda }$ wählen. Sie weist jeder Zahl $\{k \}$ die Wahrscheinlichkeit $P_\lambda (k) = \frac{\lambda^k}{k!}\, \mathrm{e}^{-\lambda}$ für einen echt positiven Parameter $\lambda$ zu

Dann ist $(\N, \mathcal P ( \N ), P_\lambda)$ ein diskreter Wahrscheinlichkeitsraum.

Reeller Wahrscheinlichkeitsraum

Ein Beispiel eines reellen Wahrscheinlichkeitsraumes ist

die Ergebnismenge der nicht-negativen reellen Zahlen $\Omega=\R_{\geq0}=[0, \infty )$ . Dann ist jede nicht-negative reelle Zahl ein Ergebnis.
Als Ereignissystem die Borelsche σ-Algebra auf den reellen Zahlen, eingeschränkt auf die nicht-negativen reellen Zahlen $\mathcal B (\R)\cap [0,\infty)=\mathcal B ([0, \infty))$ . Dann sind zum Beispiel alle abgeschlossenen, alle halboffenen und alle offenen Intervalle und deren Vereinigungen, Schnitte und Komplemente Ereignisse.
Als Wahrscheinlichkeitsmaß zum Beispiel die Exponentialverteilung. Sie weist jeder Menge in der Borelschen σ-Algebra die Wahrscheinlichkeit

$P_{\mathrm{Exp}(\lambda)}(A)=\int_A \lambda \exp(-\lambda x) \mathrm dx$

für einen Parameter $\lambda >0$ zu.

Dann ist $( [0, \infty), \mathcal B ([0, \infty)), P_{\mathrm{Exp}(\lambda)})$ ein Wahrscheinlichkeitsraum.

Basierend auf einem Artikel in:

Wikipedia.de