Reelle Zahlen/Borel-Lebesgue-Maß/Existenz und Eindeutigkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei die -Algebra der Borel-Mengen auf .

Dann gibt es genau ein (-endliches) Maß auf , das für jedes halboffene Intervall den Wert besitzt.

Statt halboffene Intervalle kann man auch offene oder abgeschlossene Intervalle nehmen.