Metrische Räume/Stetige Abbildung/Charakterisierung/Fakt

Es sei

f\colon L\longrightarrow M,\,x\longmapsto f(x),

eine Abbildung zwischen den metrischen Räumen ${}L$ und ${}M$ . Dann sind folgende Aussagen äquivalent.

${}f$ ist stetig in jedem Punkt ${}x\in L$ .

Für jeden Punkt ${}x\in L$ und jedes ${}\epsilon >0$ gibt es ein ${}\delta >0$ mit der Eigenschaft, dass aus ${}d(x,x')\leq \delta$ folgt, dass ${}d(f(x),f(x'))\leq \epsilon$ ist.

Für jeden Punkt ${}x\in L$ und jede konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}L$ mit ${}\lim _{n\rightarrow \infty }x_{n}=x$ ist auch die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ konvergent mit dem Grenzwert ${}f(x)$ .

Für jede offene Menge ${}V\subseteq M$ ist auch das Urbild ${}f^{-1}(V)$ offen.

Zum Beweis, Alternativen Beweis erstellen

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