Kurs:Analysis (Osnabrück 2013-2015)/Teil II/Vorlesung 35

Der Abschluss in einem metrischen Raum

Definition

Es sei ${}(M,d)$ ein metrischer Raum und  ${}T\subseteq M$  eine Teilmenge. Ein Punkt  ${}a\in M$  heißt Berührpunkt von ${}T$, wenn zu jedem  ${}\epsilon >0$  der Durchschnitt

${}T\cap U{\left(a,\epsilon \right)}\neq \emptyset \,.$

Definition

Es sei ${}(M,d)$ ein metrischer Raum und  ${}T\subseteq M$  eine Teilmenge. Die Menge aller Berührpunkte von ${}T$ heißt der Abschluss von ${}T$. Er wird mit ${}{\overline {T}}$ bezeichnet.

Der Abschluss ist eine abgeschlossene Menge, und zwar die kleinste abgeschlossene Menge, die ${}T$ umfasst, siehe Aufgabe 35.1.

Grenzwerte von Abbildungen

Definition

Es sei ${}(M,d)$ ein metrischer Raum, sei  ${}T\subseteq M$  eine Teilmenge und sei  ${}a\in M$  ein Berührpunkt von ${}T$. Es sei

$f\colon T\longrightarrow L$

eine Abbildung in einen weiteren metrischen Raum ${}L$. Dann heißt  ${}b\in L$  der Grenzwert (oder Limes) von ${}f$ in ${}a$, wenn es für jedes  ${}\epsilon >0$  ein  ${}\delta >0$  gibt mit der folgenden Eigenschaft: Für jedes  ${}x\in B\left(a,\delta \right)\cap T$  ist  ${}f(x)\in B\left(b,\epsilon \right)$.  In diesem Fall schreibt man

${}\operatorname {lim} _{x\rightarrow a}\,f(x)=b\,.$

Wenn der Grenzwert existiert, so ist er eindeutig bestimmt.

Notation

In der Situation von Definition 35.3 wird der Grenzwert, falls er existiert, mit

$\operatorname {lim} _{x\in T,\,x\rightarrow a}\,f(x){\text{ bzw. mit }}\operatorname {lim} _{x\rightarrow a}\,f(x)$

bezeichnet.

Beispiel

Es sei

${}M={\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}\cup \{0\}\,,$

(mit der von ${}\mathbb {R}$ induzierten Metrik),

${}T={\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}\,$

und  ${}a=0$,  der ein Berührpunkt von ${}T$ ist. Eine Abbildung

$f\colon T\longrightarrow L$

in einen metrischen Raum ${}L$ ist dasselbe wie eine Folge in ${}L$, da ja einfach jedem  ${}n\in \mathbb {N} _{+}$  ein Element  ${}x_{n}=f({\frac {1}{n}})\in L$  zugeordnet wird. Sei  ${}b\in L$.  Dann besitzt die Abbildung ${}f$ in ${}0$ den Grenzwert ${}b$ genau dann, wenn die Folge gegen ${}b$ konvergiert.

Lemma

Es sei ${}(M,d)$ ein metrischer Raum, sei  ${}T\subseteq M$  eine Teilmenge und sei  ${}a\in M$  ein Berührpunkt von ${}T$. Es sei

$f\colon T\longrightarrow L$

eine Abbildung in einen weiteren metrischen Raum ${}L$ und sei  ${}b\in L$.  Dann sind folgende Aussagen äquivalent.

1. Die Abbildung ${}f$ besitzt in ${}a$ den Grenzwert ${}b$.
2. Zu jeder offenen Menge  ${}V\subseteq L$  mit  ${}b\in V$  gibt es eine offene Menge  ${}U\subseteq M$  mit  ${}a\in U$  und mit  ${}f(U\cap T)\subseteq V$. 
3. Für jede Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}T$, die gegen ${}a$ konvergiert, konvergiert die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ gegen ${}b$.

Beweis

${}(1)\Rightarrow (2)$. Da ${}V$ offen ist gibt es ein  ${}\epsilon >0$  mit  ${}U{\left(b,\epsilon \right)}\subseteq V$.  Aufgrund von (1) gibt es ein  ${}\delta >0$  mit

${}f(T\cap U{\left(a,\delta \right)})\subseteq U{\left(b,\epsilon \right)}\,$

und wir können  ${}U=T\cap U{\left(a,\delta \right)}$  nehmen.
${}(2)\Rightarrow (3)$. Es sei eine gegen ${}a$ konvergente Folge  ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }\in T$  und ein  ${}\epsilon >0$  gegeben. Für die offene Menge  ${}V=U{\left(b,\epsilon \right)}$  gibt es nach (2) eine offene Menge  ${}U\subseteq M$  mit  ${}a\in U$  und  ${}f(U\cap T)\subseteq V$.  Wegen der Offenheit von ${}U$ gibt es auch ein  ${}\delta >0$  mit  ${}U{\left(a,\delta \right)}\cap T\subseteq U\cap T$.  Da die Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gegen ${}a$ konvergiert, gibt es ein  ${}N\in \mathbb {N}$  mit  ${}x_{n}\in U{\left(a,\delta \right)}$  für alle  ${}n\geq N$.  Für diese ${}n$ ist dann  ${}f(x_{n})\in U{\left(b,\epsilon \right)}$,  d.h. die Bildfolge konvergiert gegen ${}b$.
${}(3)\Rightarrow (1)$.  Nehmen wir an, dass ${}b$ nicht der Grenzwert ist. Dann gibt es ein  ${}\epsilon >0$  derart, dass es für alle  ${}\delta >0$  ein  ${}x\in T$  gibt mit  ${}x\in U{\left(a,\delta \right)}$  und mit  ${}f(x)\notin U{\left(b,\epsilon \right)}$.  Wir wenden diese Eigenschaft auf die Stammbrüche ${}\delta =1/n$ , ${}n\in \mathbb {N}$, an und erhalten eine Folge

$x_{n}\in U{\left(a,1/n\right)}{\text{ und }}f(x_{n})\not \in U{\left(b,\epsilon \right)}.$

Die Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ konvergiert dann gegen ${}a$, die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ aber nicht gegen ${}b$,  im Widerspruch zu (3).

$\Box$

Lemma

Es sei ${}(M,d)$ ein metrischer Raum, sei  ${}T\subseteq M$  eine Teilmenge und sei  ${}a\in M$  ein Berührpunkt von ${}T$. Es seien ${}f\colon T\rightarrow {\mathbb {K} }$ und ${}g\colon T\rightarrow {\mathbb {K} }$ Funktionen derart, dass die Grenzwerte ${}\operatorname {lim} _{x\rightarrow a}\,f(x)$ und ${}\operatorname {lim} _{x\rightarrow a}\,g(x)$ existieren.

Dann gelten folgende Beziehungen.

1. Die Summe ${}f+g$ besitzt einen Grenzwert in ${}a$, und zwar ist

   ${}\operatorname {lim} _{x\rightarrow a}\,(f(x)+g(x))=\operatorname {lim} _{x\rightarrow a}\,f(x)+\operatorname {lim} _{x\rightarrow a}\,g(x)\,.$

2. Das Produkt ${}f\cdot g$ besitzt einen Grenzwert in ${}a$, und zwar ist

   ${}\operatorname {lim} _{x\rightarrow a}\,(f(x)\cdot g(x))=\operatorname {lim} _{x\rightarrow a}\,f(x)\cdot \operatorname {lim} _{x\rightarrow a}\,g(x)\,.$

3. Es sei  ${}g(x)\neq 0$  für alle  ${}x\in T$  und  ${}\operatorname {lim} _{x\rightarrow a}\,g(x)\neq 0$.  Dann besitzt der Quotient ${}f/g$ einen Grenzwert in ${}a$, und zwar ist

   ${}\operatorname {lim} _{x\rightarrow a}\,{\frac {f(x)}{g(x)}}={\frac {\operatorname {lim} _{x\rightarrow a}\,f(x)}{\operatorname {lim} _{x\rightarrow a}\,g(x)}}\,.$

Beweis

Siehe Aufgabe 35.4.

$\Box$

Zusammenhängende Räume

Die rote Menge ist zusammenhängend, die grüne Menge nicht.

Definition

Ein metrischer Raum heißt zusammenhängend, wenn es genau zwei Teilmengen von ${}X$ gibt (nämlich ${}\emptyset$ und ${}X$ selbst), die sowohl offen als auch abgeschlossen sind.

Den leeren metrischen Raum bezeichnet man gemäß dieser Definition als nicht zusammenhängend (oder unzusammenhängend). Ein nichtleerer nicht zusammenhängender Raum ${}X$ ist dadurch ausgezeichnet, dass man ${}X=A\cup B$ als disjunkte Vereinigung schreiben kann, wobei ${}A$ und ${}B$ beide nichtleer und in ${}X$ abgeschlossen (und damit auch beide offen) sind.

Das Tierchen Trichoplax adhaerens hat merkwürdige Zusammenhangseigenschaften. Es ist ein zusammenhängender Vielzeller. Wenn man es durch ein Sieb drückt, so dass die einzelnen Zellen voneinander getrennt werden, entstehen unzusammenhängende Zellen. Diese finden dann aber wieder zueinander und es entsteht erneut ein zusammenhängendes lebendiges Tierchen.

In der folgenden Aussage verstehen wir unter Intervalle auch die (einseitig oder beidseitig) unbeschränkten Intervalle, wie z.B. ${}[a,+\infty ]$.

Satz

Es sei  ${}T\subseteq \mathbb {R}$  eine Teilmenge der reellen Zahlen.

Dann ist ${}T$ genau dann zusammenhängend, wenn ${}T$ ein (nichtleeres) Intervall ist.

Beweis

Es sei zuerst ${}T$ kein Intervall. Wenn ${}T$ leer ist, so ist ${}T$ nach Definition nicht zusammenhängend. Es sei also  ${}T\neq \emptyset$,  aber kein Intervall. Dann gibt es nach Aufgabe 6.10  ${}x,z\in T$  und  ${}y\notin T$  mit

${}x<y<z\,.$

Dann ist die Menge

${}A=T\cap {]{-\infty },y[}=T\cap {]{-\infty },y]}\,$

sowohl offen als auch abgeschlossen in ${}T$, da man ${}A$ sowohl als Durchschnitt von ${}T$ mit einem offenen Intervall als auch als Durchschnitt mit einem abgeschlossenen Intervall schreiben kann. Wegen ${}x\in A$ und ${}z\notin A$ ist sie weder ${}\emptyset$ noch ${}T$, also ist ${}T$ nicht zusammenhängend.
Es sei nun ${}T$ ein nichtleeres Intervall und  sei angenommen, dass es eine Teilmenge  ${}A\subseteq T$  mit  ${}A\neq \emptyset ,T$  gibt, die in ${}T$ sowohl offen als auch abgeschlossen sei. Es sei  ${}x\in A$  und ${}y\in T$ , ${}y\not \in A$. Wir betrachten das (abgeschlossene und beschränkte) Intervall  ${}I=[x,y]\subseteq T$  (ohne Einschränkung sei ${}x<y$) und setzen  ${}A'=A\cap [x,y]$.  Dies ist eine in ${}I$ offene und abgeschlossene Teilmenge von ${}I$, die wegen  ${}x\in A'$  nicht leer ist und wegen  ${}y\notin A'$  nicht ganz ${}I$ ist. D.h., es genügt, die Behauptung für ein abgeschlossenes und beschränktes Intervall  ${}I=[x,y]$  zu zeigen und können davon ausgehen, dass es eine offene und abgeschlossene Teilmenge ${}A$ mit  ${}x\in A$  und  ${}y\notin A$  gibt. Wir betrachten die reelle Zahl  ${}s={\operatorname {sup} \,{\left(A\right)}}$,  die wegen Satz 7.5 existiert. Da ein abgeschlossenes Intervall vorliegt, gehört ${}s$ zu ${}I$ und aufgrund von Korollar 33.17 ist  ${}s\in A$.  Da ${}A$ aber auch offen in ${}T$ ist, gibt es ein  ${}\delta >0$  mit  ${}[s-\delta ,s+\delta ]\cap I\subseteq A$.  Da ${}s$ das Supremum von ${}A$ ist, folgt  ${}s=y$.  Dies ist ein Widerspruch zu  ${}y\notin A$. 

$\Box$

Insbesondere sind also die reellen Zahlen ${}\mathbb {R}$ zusammenhängend. Dies gilt auch für die komplexen Zahlen ${}{\mathbb {C} }$ und für ${}\mathbb {R} ^{n}$ (siehe weiter unten). Für die rationalen Zahlen ${}\mathbb {Q}$ gilt die vorstehende Aussage nicht, dort sind nämlich nur die einpunktigen Intervalle zusammenhängend, alle anderen Intervalle sind in ${}\mathbb {Q}$ unzusammenhängend, da es zwischen zwei rationalen Zahlen stets irrationale Zahlen gibt, mit deren Hilfe man Teilmenge definieren kann, die zugleich offen als auch abgeschlossen sind.

Zusammenhängende Räume und stetige Abbildungen

Satz

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

$f\colon L\longrightarrow M$

eine stetige Abbildung. Es sei  ${}S\subseteq L$  eine zusammenhängende Teilmenge.

Dann ist auch das Bild

$f(S)$

zusammenhängend.

Beweis

 Es sei  ${}f(S)=T$  und  ${}A\subseteq T$  eine offene und abgeschlossene Teilmenge, die weder leer noch ganz ${}T$ sei. Die eingeschränkte Abbildung

$f\colon S\longrightarrow T$

ist ebenfalls stetig, und sie ist auch surjektiv. Daher ist ${}f^{-1}(A)$ eine offene und abgeschlossene Teilmenge in ${}S$, die ebenfalls weder leer noch ganz ${}S$ ist, im Widerspruch zur Voraussetzung, dass ${}S$ zusammenhängend ist.

$\Box$

Daraus ergibt sich auch ein neuer Beweis für den Zwischenwertsatz aus Analysis I.

Wegzusammenhängende Räume

Definition

Ein nichtleerer metrischer Raum ${}X$ heißt wegzusammenhängend, wenn es zu je zwei Punkten  ${}x,y\in X$  eine stetige Abbildung

$\gamma \colon [a,b]\longrightarrow X$

mit ${}\gamma (a)=x$ und ${}\gamma (b)=y$ gibt.

Lemma

Ein wegzusammenhängender metrischer Raum

ist zusammenhängend.

Beweis

Nehmen wir an, es gebe eine Zerlegung  ${}X=U_{1}\uplus U_{2}$  in zwei nichtleere offene Teilmenge ${}U_{1}$ und ${}U_{2}$. Sei ${}x_{1}\in U_{1}$ und ${}x_{2}\in U_{2}$. Nach Voraussetzung gibt es eine stetige Abbildung

$\gamma \colon [a,b]\longrightarrow X$

mit ${}\gamma (a)=x_{1}$ und ${}\gamma (b)=x_{2}$. Dann ist

${}[a,b]=\gamma ^{-1}(U_{1})\uplus \gamma ^{-1}(U_{2})\,$

eine disjunkte Zerlegung eines Intervalls in zwei nichtleere offene Mengen im Widerspruch zu Satz 35.9.

$\Box$

Mit dieser Aussage lässt sich häufig zeigen, dass gewisse Teilmengen des ${}\mathbb {R} ^{n}$ zusamenhängend sind. Beispielsweise ist der ${}\mathbb {R} ^{n}$ selbst sowie die offenen und abgeschlossenen Kugeln darin zusammenhängend, siehe Aufgabe 35.13.

Satz

Es sei  ${}U\subseteq \mathbb {R} ^{n}$  eine offene Teilmenge.

Dann ist ${}U$ genau dann zusammenhängend, wenn ${}U$ wegzusammenhängend ist.

Beweis

Die eine Richtung folgt aus Lemma 35.12. Für die andere Richtung sei ${}U$ zusammenhängend. Zu einem Punkt  ${}x\in U$  betrachten wir die Menge

$Z(x)={\left\{y\in U\mid {\text{ Es gibt einen stetigen Weg von }}x{\text{ nach }}y\right\}}\,.$

Diese Menge ist offen, da offene Bälle wegzusammenhängend sind und man stetige Wege aneinander legen kann. Aus diesem Grund ist für zwei Punkte  ${}x_{1},x_{2}\in U$  entweder  ${}Z(x_{1})=Z(x_{2})$  oder aber  ${}Z(x_{1})\cap Z(x_{2})=\emptyset$.  Wenn ${}U$ nicht wegzusammenhängend wäre, so wäre  ${}U\neq Z(x)$  und es gäbe eine Zerlegung

${}U=Z(x)\uplus \bigcup _{y\notin Z(x)}Z(y)\,$

in nichtleere offene Teilmengen im Widerspruch zum Zusammenhang.

$\Box$

Für nicht offene Teilmengen des ${}\mathbb {R} ^{n}$ gilt die vorstehende Äquivalenz nicht, siehe Aufgabe 35.16.

<< | Kurs:Analysis (Osnabrück 2013-2015)/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)