Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 20

Ein metrischer Raum ist dadurch ausgezeichnet, dass es in ihm eine Abstandsfunktion gibt, und dass dadurch zwei Punkte „näher“ zueinander liegen können als zwei andere Punkte. Bei einer Abbildung

$f\colon L\longrightarrow M$

zwischen zwei metrischen Räumen kann man sich fragen, inwiefern der Abstand im Werteraum ${}M$ durch den Abstand im Definitionsraum ${}L$ kontrollierbar ist. Sei ${}x\in L$ und ${}y=f(x)$ der Bildpunkt. Man möchte, dass für Punkte ${}x'$, die „nahe“ an ${}x$ sind, auch die Bildpunkte ${}f(x')$ nahe an ${}f(x)$ sind. Um diese intuitive Vorstellung zu präzisieren, sei ein ${}\epsilon >0$ vorgegeben. Dieses ${}\epsilon$ repräsentiert eine „gewünschte Zielgenauigkeit“. Die Frage ist dann, ob man ein ${}\delta >0$ finden kann (eine „Startgenauigkeit“) mit der Eigenschaft, dass für alle ${}x'$ mit ${}d{\left(x,x'\right)}\leq \delta$ die Beziehung ${}d{\left(f(x),f(x')\right)}\leq \epsilon$ gilt. Dies führt zum Begriff der stetigen Abbildung.

Stetige Abbildungen zwischen metrischen Räumen

Definition (Stetigkeit für Abbildungen metrischer Räume)

Es seien ${}(L,d_{1})$ und ${}(M,d_{2})$ metrische Räume,

$f\colon L\longrightarrow M$

eine Abbildung und ${}x\in L$. Die Abbildung ${}f$ heißt stetig in ${}x$, wenn für jedes ${}\epsilon >0$ ein ${}\delta >0$ derart existiert, dass

${}f{\left(B\left(x,\delta \right)\right)}\subseteq B\left(f(x),\epsilon \right)\,$

gilt. Die Abbildung ${}f$ heißt stetig, wenn sie stetig in ${}x$ für jedes ${}x\in L$ ist.

Statt mit den offenen Ballumgebungen könnte man hier genauso gut mit den abgeschlossenen Ballumgebungen arbeiten. Die einfachsten Beispiele für stetige Abbildungen sind konstante Abbildungen, die Identität eines metrischen Raumes und die Inklusion ${}T\subseteq M$ einer mit der induzierten Metrik versehenen Teilmenge eines metrischen Raumes. Siehe dazu die Aufgaben.

Lemma

Es sei

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

eine Abbildung zwischen den metrischen Räumen ${}L$ und ${}M$ und sei ${}x\in L$ ein Punkt. Dann sind folgende Aussagen äquivalent.

1. ${}f$ ist stetig im Punkt ${}x$.
2. Für 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.

3. Für 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)$.

Beweis

Die Äquivalenz von (1) und (2) ist klar.
Es sei nun (2) erfüllt und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}L$, die gegen ${}x$ konvergiert. Wir müssen zeigen, dass ${}\lim _{n\rightarrow \infty }f(x_{n})=f(x)$ ist. Dazu sei ${}\epsilon >0$ gegeben. Wegen (2) gibt es ein ${}\delta$ mit der angegebenen Eigenschaft 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 (3) erfüllt und ${}\epsilon >0$ vorgegeben.  Wir nehmen an, dass es für alle ${}\delta >0$ Elemente ${}z\in L$ gibt, deren Abstand zu ${}x$ maximal gleich ${}\delta$ ist, deren Wert ${}f(z)$ unter der Abbildung aber zu ${}f(x)$ einen Abstand größer als ${}\epsilon$ besitzt. 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$ gibt es ein ${}x_{n}\in L$ 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 Bildfolgenwerte zu ${}f(x)$ zumindest ${}\epsilon$ ist. Dies ist ein Widerspruch zu (3).

$\Box$

Satz

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.

1. ${}f$ ist stetig in jedem Punkt ${}x\in L$.
2. 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.
3. 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)$.
4. Für jede offene Menge ${}V\subseteq M$ ist auch das Urbild ${}f^{-1}(V)$ offen.

Beweis

Die Äquivalenz der ersten drei Formulierungen folgt direkt aus Lemma 20.2.
Es sei (1) erfüllt und eine offene Menge ${}V\subseteq M$ gegeben mit dem Urbild ${}U:=f^{-1}(V)$. Sei ${}x\in U$ ein Punkt mit dem Bildpunkt ${}y=f(x)\in V$. Da ${}V$ offen ist, gibt es nach Definition ein ${}\epsilon >0$ mit ${}U{\left(y,\epsilon \right)}\subseteq V$. Nach (2) gibt es ein ${}\delta >0$ mit ${}f(U(x,\delta ))\subseteq U{\left(y,\epsilon \right)}$. Daher ist

${}x\in U{\left(x,\delta \right)}\subseteq U\,$

und wir haben eine offene Ballumgebung von ${}x$ innerhalb des Urbilds gefunden. Deshalb ist ${}U$ offen.
Es sei (4) erfüllt und ${}x\in L$ mit ${}y=f(x)$ und ${}\epsilon >0$ vorgegeben. Da der offene Ball ${}U{\left(y,\epsilon \right)}$ offen ist, ist wegen (4) auch das Urbild ${}f^{-1}(U{\left(y,\epsilon \right)})$ offen. Da ${}x$ zu dieser Menge gehört, gibt es ein ${}\delta >0$ mit

${}U{\left(x,\delta \right)}\subseteq f^{-1}(U{\left(y,\epsilon \right)})\,,$

sodass (1) erfüllt ist.

$\Box$

Lemma

Es seien ${}L,M,N$ metrische Räume und seien

$f:L\longrightarrow M\,\,{\text{ und }}\,\,g:M\longrightarrow N$

stetige Abbildungen.

Dann ist auch die Hintereinanderschaltung

$g\circ f\colon L\longrightarrow N,\,x\longmapsto g(f(x)),$

stetig.

Beweis

Dies folgt am einfachsten aus der Charakterisierung von stetig mit offenen Mengen, siehe Satz 20.3.

$\Box$

Verknüpfungen und stetige Abbildungen

Lemma

Die Negation

${\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto -x,$

und die Inversenbildung

${\mathbb {K} }\setminus \{0\}\longrightarrow {\mathbb {K} }\setminus \{0\},\,x\longmapsto x^{-1},$

sind stetig.

Beweis

Die erste Aussage folgt direkt aus

${}\vert {-x-(-y)}\vert =\vert {-x+y}\vert \,.$

Zur zweiten Aussage sei ${}x\neq 0$ und ${}\epsilon >0$ vorgegeben. Es sei ${}b=\vert {x}\vert >0$. Wir setzen ${}\delta ={\min {\left({\frac {b^{2}\epsilon }{2}},{\frac {b}{2}}\right)}}$. Dann gilt für jedes ${}y$ mit ${}\vert {x-y}\vert \leq \delta$ die Abschätzung (wegen ${}\vert {y}\vert \geq b/2$)

${}\vert {x^{-1}-y^{-1}}\vert =\vert {\frac {y-x}{xy}}\vert ={\frac {\vert {y-x}\vert }{\vert {x}\vert \cdot \vert {y}\vert }}\leq {\frac {b^{2}\epsilon /2}{b^{2}/2}}=\epsilon \,.$

$\Box$

Lemma

Die Addition

${\mathbb {K} }\times {\mathbb {K} }\longrightarrow {\mathbb {K} },\,(x,y)\longmapsto x+y,$

und die Multiplikation

${\mathbb {K} }\times {\mathbb {K} }\longrightarrow {\mathbb {K} },\,(x,y)\longmapsto x\cdot y,$

sind stetig.

Beweis

Siehe Aufgabe 20.6.

$\Box$

Lemma

Es sei ${}(M,d)$ ein metrischer Raum und seien Funktionen

$f_{i}\colon M\longrightarrow {\mathbb {K} }$

(für $i=1,\ldots ,m$) gegeben mit der zusammengesetzten Abbildung

$f\colon M\longrightarrow {\mathbb {K} }^{m},\,x\longmapsto {\left(f_{1}(x),\ldots ,f_{m}(x)\right)}.$

Dann ist ${}f$ genau dann stetig, wenn alle Komponentenfunktionen ${}f_{i}$ stetig sind.

Beweis

Es genügt, diese Aussage für ${}{\mathbb {K} }=\mathbb {R}$ zu zeigen. Dafür folgt sie direkt aus Lemma 19.13 unter Verwendung von Lemma 20.2.

$\Box$

Lemma

Seien

$f,g\colon {\mathbb {K} }\longrightarrow {\mathbb {K} }$

stetige Funktionen.

Dann sind auch die Funktionen

$f+g\colon {\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto f(x)+g(x),$

$f-g\colon {\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto f(x)-g(x),$

$f\cdot g\colon {\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto f(x)\cdot g(x),$

stetig. Für eine Teilmenge ${}U\subseteq {\mathbb {K} }$, auf der ${}g$ keine Nullstelle besitzt, ist auch die Funktion

$f/g\colon U\longrightarrow {\mathbb {K} },\,x\longmapsto f(x)/g(x),$

stetig.

Beweis

Wir betrachten Abbildungsdiagramme der Form

${\mathbb {K} }{\stackrel {f,g}{\longrightarrow }}{\mathbb {K} }\times {\mathbb {K} }{\stackrel {+}{\longrightarrow }}{\mathbb {K} }.$

Die Abbildung links ist stetig aufgrund von Lemma 20.7. Die rechte Abbildung ist stetig aufgrund von Lemma 20.6. Daher ist wegen Lemma 20.4 auch die Gesamtabbildung stetig. Die Gesamtabbildung ist aber die Addition der beiden Funktionen. Für die Multiplikation verläuft der Beweis gleich, für die Negation und die Division muss man zusätzlich Lemma 20.5 heranziehen und (für die Division) das Diagramm

$U{\stackrel {f,g^{-1}}{\longrightarrow }}{\mathbb {K} }\times {\mathbb {K} }{\stackrel {\cdot }{\longrightarrow }}{\mathbb {K} }$

betrachten.

$\Box$

Korollar

Polynomfunktionen

${\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto P(x),$

sind stetig.

Beweis

Aufgrund von Lemma 20.6 sind für jedes ${}n\in \mathbb {N}$ die Potenzen

${\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto x^{n},$

stetig. Daher sind dann auch für jedes ${}a\in {\mathbb {K} }$ die Abbildungen

${\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto ax^{n},$

stetig und wiederum aufgrund von

Lemma 20.6 sind dann auch alle Funktionen

${\mathbb {K} }\longrightarrow {\mathbb {K} },\,x\longmapsto a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0},$

stetig.

$\Box$

Rationale Funktionen sind auf ihrer Definitionsmenge stetig.

Korollar

Es seien ${}P,Q\in {\mathbb {K} }[X]$ zwei Polynome und es sei ${}U={\left\{x\in {\mathbb {K} }\mid Q(x)\neq 0\right\}}$.

Dann ist die rationale Funktion

$U\longrightarrow {\mathbb {K} },\,x\longmapsto {\frac {P(x)}{Q(x)}},$

stetig.

Beweis

Dies folgt direkt aus Korollar 20.9 und aus Lemma 20.8.

$\Box$

Satz

Es sei ${}{\mathbb {K} }^{n}$ mit der euklidischen Metrik versehen und sei

$\varphi \colon {\mathbb {K} }^{n}\longrightarrow {\mathbb {K} }^{m}$

eine lineare Abbildung.

Dann ist ${}\varphi$ stetig.

Beweis

Eine komplex-lineare Abbildung ist auch reell-linear, und die euklidische Metrik hängt nur von der reellen Struktur ab. Wir können also ${}{\mathbb {K} }=\mathbb {R}$ annehmen. Aufgrund von Lemma 20.7 können wir ${}m=1$ annehmen. Die Abbildung sei durch

$\varphi \colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ,\,{\left(x_{1},\ldots ,x_{n}\right)}\longmapsto \sum _{i=1}^{n}a_{i}x_{i},$

mit ${}a_{i}\in \mathbb {R}$ gegeben. Die Nullabbildung ist konstant und daher stetig, also sei ${}a={\max {\left(\vert {a_{i}}\vert ,i=1,\ldots ,n\right)}}>0$. Es sei ${}x\in \mathbb {R} ^{n}$ und ein ${}\epsilon >0$ vorgegeben. Für alle ${}y\in \mathbb {R} ^{n}$ mit ${}d{\left(x,y\right)}\leq {\frac {\epsilon }{na}}$ ist insbesondere ${}\vert {x_{i}-y_{i}}\vert \leq {\frac {\epsilon }{na}}$ für alle ${}i$ und daher ist

${}{\begin{aligned}d{\left(\varphi (x),\varphi (y)\right)}&=\vert {\sum _{i=1}^{n}a_{i}x_{i}-\sum _{i=1}^{n}a_{i}y_{i}}\vert \\&=\vert {\sum _{i=1}^{n}a_{i}(x_{i}-y_{i})}\vert \\&\leq \sum _{i=1}^{n}\vert {a_{i}(x_{i}-y_{i})}\vert \\&\leq na\vert {x_{i}-y_{i}}\vert \\&\leq \epsilon .\end{aligned}}$

$\Box$

<< | Kurs:Mathematik (Osnabrück 2009-2011)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)