5.2.1.1: Endlicher Wahrscheinlichkeitsraum

Sei G eine endliche Menge und P(G) die Potenzmenge, d. h. die Menge der Teilmengen von G . Eine Funktion

p:P(G)->[0,1]

heißt Wahrscheinlichkeitsfunktion, wenn die beiden folgenden Bedingungen erfüllt sind:

p(G)=1

p(X₁...X_m)=p(X₁)+...+p(X_m)

für alle paarweise disjunkten Teilmengen X₁,...,X_mG

G heißt Grundraum und jede Teilmenge XG ein Ereignis. Das Paar (G,p) heisst (endlicher) Wahrscheinlichkeitsraum. Die einelementigen Teilmengen heißen elementare Ereignisse oder Elementarereignisse. Die Menge X^-=X^c=G\X heißt zu X komplementäres Ereignis.