Maßtheorie/Fortsetzungssatz/Präring/Fakt

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

Es sei eine Menge, ein Präring auf ,

ein Prämaß auf und die Fortsetzung von auf die von erzeugte -Algebra .

Dann ist ein Maß auf .

Wenn -endlich ist, so ist die einzige Fortsetzung von zu einem Maß auf .