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.