Maß/Eindeutigkeitssatz/Durchschnittsstabiles Erzeugendensystem und Ausschöpfung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Eindeutigkeitssatz für Maße

Es sei ein Messraum und es sei ein durchschnittsstabiles Erzeugendensystem für . Es seien und zwei Maße auf , die auf übereinstimmen. Es gebe eine Ausschöpfung mit und mit .

Dann ist

Zum Beweis, Alternativen Beweis erstellen