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

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