Stetige Abbildungen/Borel-messbar/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Nach Definition bedeutet die Stetigkeit, dass das Urbild von jeder offenen Menge offen in ist. Nach Definition ist das Mengensystem der offenen Mengen einer Topologie ein Erzeugendensystem für die -Algebra der Borelmengen. Nach Fakt ist somit messbar.