Definition: Wahrscheinlichkeitsmaß

Sei eine Grundmenge.
Sei eine -Algebra über .
Sei eine Mengenfunktion.

Wir bezeichnen als Wahrscheinlichkeitsmaß auf , falls die Kolmogorov-Axiome gelten. Also:

  • ,
  • ,
  • ist -additiv.

Ergebnisse und Ereignisse

Da , weißt also Ereignissen (Mengen von Ergebnissen) eine Wahrscheinlichkeit zu.

Anmerkung

Unterschied zur Maßdefinition

Der Unterschied zur Maßdefinition besteht darin, dass zusätzlich die Forderung

hinzugekommen ist. Die Forderung folgt aus der -Additivität. Siehe hierzu auch: Wahrscheinlichkeitsmaße und Leere Menge

Wahrscheinlichkeitsmaß vs. Wahrscheinlichkeitsverteilung

Sei eine Grundmenge.
Sei eine -Algebra über .
Sei ein Wahrscheinlichkeitsmaß.

Wir nennen nur dann Wahrscheinlichkeitsverteilung, wenn ein Bildmaß ist.

Das ist zum Beispiel immer der Fall, wenn wir uns das Wahrscheinlichkeitsmaß einer Zufallsvariablen anschauen.

Über die Kanonische Konstruktion eines Wahrscheinlichkeitsraums können wir uns jedoch immer eine solche Zufallsvariable konstruieren.