Stetigkeit in einem Punkt/R/Charakterisierung/Fakt/Beweis/Aufgabe/Lösung

Es bezeichne (1) die Stetigkeit von ${}f$ im Punkt ${}x$ und (2) die Eigenschaft, dass für jede gegen ${}x$ konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ gegen ${}f(x)$ konvergiert. Wir müssen die Äquivalenz von (1) und (2) zeigen.

Es sei (1) erfüllt und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}\mathbb {R}$, die gegen ${}x$ konvergiert. Wir müssen zeigen, dass

${}\lim _{n\rightarrow \infty }f(x_{n})=f(x)\,$

ist. Dazu sei  ${}\epsilon >0$  vorgegeben. Wegen (1) gibt es ein  ${}\delta >0$  mit der angegebenen Abschätzungseigenschaft und wegen der Konvergenz von ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gegen ${}x$ gibt es eine natürliche Zahl ${}n_{0}$ derart, dass für alle  ${}n\geq n_{0}$  die Abschätzung

${}d(x_{n},x)\leq \delta \,$

gilt. Nach der Wahl von ${}\delta$ ist dann

$d(f(x_{n}),f(x))\leq \epsilon {\text{ für alle }}n\geq n_{0},$

sodass die Bildfolge gegen ${}f(x)$ konvergiert.
Es sei (2) erfüllt.  Wir nehmen an, dass ${}f$ nicht stetig ist. Dann gibt es ein  ${}\epsilon >0$  derart, dass es für alle  ${}\delta >0$  Elemente  ${}z\in \mathbb {R}$  gibt, deren Abstand zu ${}x$ maximal gleich ${}\delta$ ist, deren Wert ${}f(z)$ unter der Abbildung aber zu ${}f(x)$ einen Abstand besitzt, der größer als ${}\epsilon$ ist. Dies gilt dann insbesondere für die Stammbrüche ${}\delta =1/n$, ${}n\in \mathbb {N} _{+}$. D.h. für jede natürliche Zahl  ${}n\in \mathbb {N} _{+}$  gibt es ein  ${}x_{n}\in \mathbb {R}$  mit

$d(x_{n},x)\leq {\frac {1}{n}}{\text{ und mit }}d(f(x_{n}),f(x))>\epsilon .$

Diese so konstruierte Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ konvergiert gegen ${}x$, aber die Bildfolge konvergiert nicht gegen ${}f(x)$, da der Abstand der Bildfolgenglieder zu ${}f(x)$ zumindest ${}\epsilon$ ist. Dies ist ein Widerspruch zu (2).

Zur gelösten Aufgabe