Messbare Abbildungen/Messbarkeitskriterium/Fakt/Beweis

Beweis

Wir betrachten das Mengensystem

Da das Urbildnehmen mit sämtlichen Mengenoperationen verträglich ist, ist eine -Algebra auf . Da diese das Erzeugendensystem umfasst, ist .