Beweis
Die Existenz der Abbildung ist klar, dem
-Algebrahomomorphismus
-
wird einfach die Hintereinanderschaltung
-
zugeordnet. Das Urbild der offenen Menge
ist dabei

Daher sind generell Urbilder von offenen Mengen wieder offen und die Abbildung ist stetig.