Messbare Funktionen/Folge/Supremum und Infimum/Fakt/Beweis

Aus Wikiversity
Beweis

Für jedes ist

Diese Menge ist als abzählbarer Durchschnitt von abzählbaren Vereinigungen von nach Voraussetzung messbaren Mengen wieder messbar. Nach Fakt folgt dadurch die Messbarkeit der Supremumsabbildung. Die Messbarkeit der Infimumsabbildung beweist man ähnlich oder führt sie durch Betrachten der negativen Funktionen auf die Messbarkeit der Supremumsabbildung zurück.