< Metrische Räume < Stetige Abbildung < Charakterisierung < Fakt
Beweis

Die Äquivalenz der ersten drei Formulierungen folgt direkt aus Fakt.
Sei (1) erfüllt und eine offene Menge gegeben mit dem Urbild . Sei ein Punkt mit dem Bildpunkt . Da offen ist, gibt es nach Definition ein mit . Nach (2) gibt es ein mit . Daher ist

und wir haben eine offene Ballumgebung von innerhalb des Urbilds gefunden. Deshalb ist offen.
Sei (4) erfüllt und mit und vorgegeben. Da der offene Ball offen ist, ist wegen (4) auch das Urbild offen. Da zu dieser Menge gehört, gibt es ein mit

so dass (1) erfüllt ist.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.