Proposition: Für Wahrscheinlichkeitsmaße ist die leere Menge immer eine Nullmenge

Sei ein Wahrscheinlichkeitsraum.

Dann gilt:

Beweis

Da ein Wahrscheinlichkeitsmaß ist, ist auch -additiv. Es gilt also:

Sei nun .
Dann gilt:

Es gilt also insbesondere

Angenommen, .

Dann gilt aber auch

Das ist aber ein Widerspruch, denn wir hatten ja angenommen, dass also ist .

Da also zu einem Widerspruch führt, muss gelten, dass

was zu zeigen war.