Mathematik: Topologie: Stetige Abbildungen

Aus Wikibooks

[Bearbeiten] Stetige Abbildungen

In diesem Abschnitt sollen Abbildungen zwischen topologischen Räumen betrachtet werden. Von besonderem Interesse sind die "stetigen" Abbildungen. Die Stetigkeit soll die Eigenschaft ausdrücken, daß die Werte einer Abbildung direkt aneinander angrenzen und es keine abrupten Änderungen gibt. Nimmt man zum Beispiel ein Blatt Papier und zeichnet eine Kurve darauf, so bedeutet die Stetigkeit der Kurve, daß sie in einem Zug ohne den Stift abzusetzen gemalt werden kann. Um diese vage Formulierung zu präzisieren muß man erst einmal klären, was es heißt, daß die Werte einer Abbildung "direkt aneinander angrenzen" und sich nicht "abrupt ändern". Anders gesagt muß man wissen, wann Punkte nah beieinander liegen oder weit voneinander entfernt sind. Nun kann man in topologischen Räumen zwar keine Abstände messen oder berechnen, aber man kann stattdessen die Umgebungen für einen Entfernungsbegriff nutzen. Nimmt man einen festen Punkt $x$ und eine Umgebung $U$ von $x$ , so kann man sagen, daß die Punkte $y\in U$ innerhalb der Umgebung näher an $x$ sind als die Punkte $z\not\in U$ außerhalb der Umgebung $U$ . Mit Hilfe der Umgebungen kann man nun die Stetigkeit von Abbildungen definieren.

Definition: Stetigkeit

Seien

X, Y

topologische Räume und $x\in X$ ein Punkt in

X

. Eine Abbildung $f:X\to Y$ heißt stetig in $x$ , wenn für jede Umgebung

V

von

f (x)

eine Umgebung

U

von

x

existiert, so daß $f(U)\subseteq V$ .

f

heißt stetig, wenn

f

für alle $x\in X$ stetig ist.

Ist $f:X\to Y$ eine bijektive stetige Abbildung, so muß die Umkehrabbildung $f - 1$ nicht notwendig stetig sein. Falls $f - 1$ jedoch stetig ist, nennt man $f$ einen Homöomorphismus. Topologische Räume $X, Y$ heißen homöomorph, wenn es einen Homöomorphismus $f:X\to Y$ gibt.

Falls eine stetige Abbildung $f:X\to Y$ ein Homöomorphismus des topologischen Raumes $X$ auf das Bild $f(X) = \{ f(x) \in Y \mid x \in X \}$ versehen mit der Unterraumtopologie von $Y$ ist, nennt man $f$ eine Einbettung von $X$ in $Y$ .

Die Stetigkeit von Abbildungen topologischer Räume kann man auch durch die Topologie, d.h. durch die offenen bzw. abgeschlossenen Mengen charakterisieren. Es gilt folgender

Satz: Seien $X, Y$ topologische Räume und $f:X\to Y$ eine Abbildung. Die folgenden Aussagen sind äquivalent:

$f$ ist stetig,
die Urbilder offener Mengen sind offen, d.h. für jede offene Menge $O$ ist $f - 1 (O)$ offen,
die Urbilder abgeschlossener Mengen sind abgeschlossen, d.h. für jede abgeschlossene Menge $A$ ist $f - 1 (A)$ abgeschlossen,

Beweis: 1 => 2:

Sei zunächst

f

stetig und

O

offen in

Y

. Sei weiter $x\in f^{-1}(O)$ und damit $f(x)\in O$ . Nun ist

O

offen und damit eine Umgebung von

f (x)

. Wegen der Stetigkeit existiert eine Umgebung

U

von

x

mit $f(U)\subseteq O$ und daher $U\subseteq f^{-1}(O)$ .

f - 1 (O)

enthält also mit jedem Punkt noch eine Umgebung des Punktes und ist daher offen.

2 => 3:

Seien nun die Urbilder offener Mengen offen und

A

abgeschlossen in

Y

.

Y - A

ist offen und damit auch

f - 1 (Y - A)

nach Voraussetzung. Dann ist aber

f - 1 (A) = X - f - 1 (Y - A)

als Komplement der offenen Menge

f - 1 (Y - A)

abgeschlossen.

3 => 1:

Seien jetzt die Urbilder abgeschlossener Mengen abgeschlossen. Sei weiter $x\in X$ ein beliebiger Punkt von

X

und

V

eine Umgebung von

f (x)

. Nach Definition enthält

V

eine offene Menge

O

mit $f(x)\in O\subseteq V$ . Das Komplement

Y - O

ist dann abgeschlossen und nach Voraussetzung ebenso

f - 1 (Y - O)

. Dann ist wie vorher

f - 1 (O)

als Komplement der abgeschlossenen Menge

f - 1 (Y - O)

offen. Wegen der Offenheit ist

f - 1 (O)

eine Umgebung von

x

mit $f(x)\in f(f^{-1}(O))\subseteq O\subseteq V$ und das bedeutet die Stetigkeit von

f

in

x

. $\surd$

Korollar: Eine Abbildung $f:X\to Y$ ist stetig, wenn $X$ die diskrete oder $Y$ die indiskrete Topologie trägt.

Beweis: Falls $X$ die diskrete Topologie trägt, d.h. alle Teilmengen von $X$ sind offen, so sind insbesondere die Urbilder offener Mengen offen und $f$ ist stetig. Hat $Y$ die indiskrete Topologie, so sind nur $\emptyset$ und $Y$ offen. Deren Urbilder sind $\emptyset$ und $X$ , also ebenfalls offen, und $f$ ist stetig. $\surd$

Unter stetigen Abbildungen sind nach obigem Satz die Urbilder offener Mengen offen. Man kann daher auch sagen, daß die stetigen Abbildungen mit der topologischen Struktur verträglich sind. Sie sind in diesem Sinn die strukturerhaltenden Abbildungen der topologischen Räume. Als solche sind sie das Analogon zu den linearen Abbildungen der Linearen Algebra oder den Homomorphismen der Gruppen, die mit den Rechenoperationen verträglich sind.

Satz: Seien $X, Y, Z$ topologische Räume und $f:X\to Y, g:Y\to Z$ stetige Abbildungen. Dann ist $g\circ f:X\to Z$ stetig.

Beweis: Sei $V\subseteq Z$ offen in $Z$ . Wegen der Stetigkeit von $g$ ist dann $g - 1 (V)$ offen in $Y$ . Da $f$ stetig ist, ist $f - 1 (g - 1 (V))$ offen in $X$ , aber $f^{-1}(g^{-1}(V)) = (g\circ f)^{-1}(V)$ . $\ \surd$

Satz: Seien $X, Y$ topologische Räume, $f:X \to Y$ eine Abbildung und $A 1, A 2,..., A n$ $n$ abgeschlossene Teilmengen von $X$ , die den Raum $X$ überdecken, für die also $\bigcup_{i=1}^n A_i = X$ ist. Dann ist $f$ genau dann stetig, wenn die Einschränkungen $f_{\vert{}A_i}$ von $f$ auf die Teilräume $A i$ für alle $1\le i\le n$ stetig sind.

Beweis: Sei zunächst $f:X\to Y$ stetig und $1\le i\le n$ . Sei weiter $T$ irgendeine abgeschlossene Teilmenge von $Y$ . Wegen der Stetigkeit von $f$ ist $f - 1 (T)$ abgeschlossen in $X$ . $f^{-1}_{\vert{}A_i}(T) = f^{-1}(T) \cap A_i$ ist dann nach Definition der Teilraumtopologie abgeschlossen in $A i$ . Die Urbilder abgeschlossener Mengen aus $Y$ unter der Abbildung $f_{\vert{}A_i}$ sind also abgeschlossen in $A i$ , und das bedeutet, daß die Abbildung $f_{\vert{}A_i}:A_i\to Y$ stetig ist.

Jetzt seien die $f_{\vert{}A_i}:A_i\to Y$ stetig für alle $1\le i\le n$ . Sei wieder $T$ irgendeine abgeschlossene Teilmenge von $Y$ . Wegen $\bigcup_{i=1}^n A_i = X$ ist $f^{-1}(T) = X\cap f^{-1}(T) = (\bigcup_{i=1}^n A_i) \cap f^{-1}(T) = \bigcup_{i=1}^n (A_i \cap f^{-1}(T)) = \bigcup_{i=1}^n f^{-1}_{\vert{}A_i}(T)$ . Die Mengen $f^{-1}_{\vert{}A_i}(T)$ sind abgeschlossen in den Teilräumen $A i$ . Nach Definition der Teilraumtopologie gibt es in $X$ abgeschlossene Mengen $B i$ mit $f^{-1}_{\vert{}A_i}(T) = A_i\cap B_i$ . Dann ist $\bigcup_{i=1}^n f^{-1}_{\vert{}A_i}(T) = \bigcup_{i=1}^n (A_i\cap B_i)$ , und $f - 1 (T)$ ist als endliche Vereinigung in $X$ abgeschlossener Mengen selbst abgeschlossen in $X$ . Das bedeutet aber, daß $f$ stetig ist. $\ \surd$

Satz: Seien $X, Y$ topologische Räume, $f:X \to Y$ eine Abbildung und $(O_\lambda)_{\lambda\in\Lambda}$ eine Familie offener Teilmengen von $X$ , die den Raum $X$ überdecken, für die also $\bigcup_{\lambda\in\Lambda} O_\lambda = X$ ist. Dann ist $f$ genau dann stetig, wenn die Einschränkungen $f_{\vert{}O_\lambda}$ von $f$ auf die Teilräume $O λ$ für alle $\lambda\in\Lambda$ stetig sind.

Beweis: Sei zunächst $f:X\to Y$ stetig und $\lambda\in\Lambda$ . Sei weiter $T$ irgendeine offene Teilmenge von $Y$ . Wegen der Stetigkeit von $f$ ist $f - 1 (T)$ offen in $X$ . $f^{-1}_{\vert{}O_\lambda}(T) = f^{-1}(T) \cap O_\lambda$ ist dann nach Definition der Teilraumtopologie offen in $O λ$ . Die Urbilder offener Mengen aus $Y$ unter der Abbildung $f_{\vert{}O_\lambda}$ sind also offen in $O λ$ , und das bedeutet, daß die Abbildung $f_{\vert{}O_\lambda}:O_\lambda\to Y$ stetig ist.

Jetzt seien die $f_{\vert{}O_\lambda}:O_\lambda\to Y$ stetig für alle $\lambda\in\Lambda$ . Sei wieder $T$ irgendeine offene Teilmenge von $Y$ . Wegen $\bigcup_{\lambda\in\Lambda} O_\lambda = X$ ist $f^{-1}(T) = X\cap f^{-1}(T) = (\bigcup_{\lambda\in\Lambda} O_\lambda) \cap f^{-1}(T) = \bigcup_{\lambda\in\Lambda} (O_\lambda \cap f^{-1}(T)) = \bigcup_{\lambda\in\Lambda} f^{-1}_{\vert{}O_\lambda}(T)$ . Die Mengen $f^{-1}_{\vert{}O_\lambda}(T)$ sind offen in den Teilräumen $O λ$ . Nach Definition der Teilraumtopologie gibt es in $X$ offene Mengen $V λ$ mit $f^{-1}_{\vert{}O_\lambda}(T) = O_\lambda\cap V_\lambda$ . Dann ist $\bigcup_{\lambda\in\Lambda} f^{-1}_{\vert{}O_\lambda}(T) = \bigcup_{\lambda\in\Lambda} (O_\lambda\cap V_\lambda)$ , und $f - 1 (T)$ ist als Vereinigung in $X$ offener Mengen selbst offen in $X$ . Das bedeutet aber, daß $f$ stetig ist. $\ \surd$

Das Konzept der Stetigkeit kann man auch nutzen, um auf beliebigen Mengen eine Topologie zu definieren. Sei dazu $M$ irgendeine Menge. Ist $f:M\to X$ eine Abbildung in einen topologischen Raum $(X, \mathcal O)$ , so wird durch die Urbilder $f - 1 (O)$ der in $X$ offenen Mengen $O$ eine Topologie $\mathcal{O}_I$ auf $M$ definiert. Mit dieser Topologie wird die Abbildung $f:M\to X$ gerade stetig. Wenn $f:M\to X$ bezüglich irgendeiner anderen Topologie auf $M$ stetig sein soll, so muß diese Topologie mindestens die Mengen $f - 1 (O)$ enthalten. Die Topologie $\mathcal{O}_I$ ist also die gröbste Topologie auf $M$ , für die $f:M\to X$ stetig ist. Sie heißt auch das reziproke Bild der Topologie $\mathcal O$ bezüglich $f$ .

Ist andererseits eine Abbildung $g:Y\to M$ von einem topologischen Raum $(Y,\mathcal O)$ in die Menge $M$ gegeben, so bilden die Mengen $O\subseteq M$ , für die das Urbild $g - 1 (O)$ offen in $Y$ ist, ebenfalls eine Topologie $\mathcal{O}_F$ . Auch hier ist die Topologie gerade so definiert, daß die Abbildung $g$ stetig ist. Nimmt man zu dieser Topologie noch weitere offene Mengen hinzu, so geht die Stetigkeit von $g$ verloren. Die Topologie $\mathcal{O}_F$ ist also die feinste Topologie auf $M$ , für die $g :Y \to M$ stetig ist. Sie heißt auch Identifizierungstopologie bezüglich $g$ .

Diese Vorgehensweise kann man auf den Fall von ganzen Familien von Abbildungen verallgemeinern. Das führt zu der

Definition: Initial- und Finaltopologie

Sei

M

eine Menge und $(X_\lambda, \mathcal{O}_\lambda)_{\lambda\in\Lambda}$ eine Familie topologischer Räume. Seien weiter $(g_\lambda : X_\lambda\to M)_{\lambda\in\Lambda}$ und $(f_\lambda : M\to X_\lambda)_{\lambda\in\Lambda}$ Familien von Abbildungen. Die Initialtopologie auf

M

bezüglich der Familie $(X_\lambda, \mathcal{O}_\lambda, f_\lambda)_{\lambda\in\Lambda}$ ist die gröbste Topologie auf

M

, für die alle Abbildungen $(f_\lambda : M\to X_\lambda)_{\lambda\in\Lambda}$ stetig sind. Die Finaltopologie auf

M

bezüglich der Familie $(X_\lambda, \mathcal{O}_\lambda, g_\lambda)_{\lambda\in\Lambda}$ ist die feinste Topologie auf

M

, für die die Abbildungen $(g_\lambda : X_\lambda\to M)_{\lambda\in\Lambda}$ stetig sind.

Satz: Seien $\ M$ , $(X_\lambda, \mathcal{O}_\lambda)_{\lambda\in\Lambda}$ und $(f_\lambda : M\to X_\lambda)_{\lambda\in\Lambda}$ wie in obiger Definition. Die folgenden Eigenschaften sind äquivalent:

$\mathcal{O}_I$ ist die Initialtopologie auf $\ M$ bezüglich $(X_\lambda, \mathcal{O}_\lambda, f_\lambda)_{\lambda\in\Lambda}$ .
Die Urbilder $f^{-1}_\lambda(O)$ für alle $\lambda\in\Lambda$ und alle in $X_\lambda\$ offenen Mengen $O\in\mathcal{O}_\lambda$ bilden eine Subbasis der Topologie $\mathcal{O}_I$ .
Eine Abbildung $h:Y\ \to\ M$ ist genau dann stetig, wenn alle $f_\lambda\circ h : Y\to X_\lambda,\ \lambda\in\Lambda$ stetig sind.

Beweis: Zunächst wird 1 => 2 gezeigt:

Sei also $\mathcal{O}_I$ die Initialtopologie auf $\ M$ . Sei weiter $\mathcal S$ die Menge aller Urbilder $f_\lambda^{-1}(U), U$ offen in $\ X_\lambda$ . Sei weiter $\mathcal O$ die Topologie auf $\ M$ , die aus den Mengen aus $\mathcal S$ und deren endlichen Durchschnitten und beliebigen Vereinigungen gebildet wird. Bezüglich dieser Topologie sind also alle Abbildungen $f_\lambda\$ stetig. Weiter hat $\mathcal O$ die Menge $\mathcal S$ als Subbasis. Wegen der Stetigkeit der $f_\lambda\$ bezüglich der Initialtopologie müssen nun alle Mengen aus $\mathcal S$ auch in $\mathcal{O}_I$ enthalten sein. Damit gehören dann auch alle Mengen aus $\mathcal O$ zu $\mathcal{O}_I$ . Das bedeutet aber gerade, daß $\mathcal O$ gröber als $\mathcal{O}_I$ ist. Da die Initialtopologie die gröbste Topologie ist, für die die $f_\lambda\$ stetig sind, ist $\mathcal O = \mathcal{O}_I$ . Die Initialtopologie $\mathcal{O}_I$ hat also $\mathcal S$ als Subbasis. $\surd$

Jetzt 2 => 3:

Sei $h:Y\ \to\ M$ stetig und sei $U\$ offen in $\ X_\lambda$ . Da die Urbilder $f^{-1}_\lambda(O), O$ offen in $X_\lambda\$ eine Subbasis der Topologie auf $M\$ bilden, ist insbesondere auch $f^{-1}_\lambda(U)$ offen in $\ M$ . Wegen der Stetigkeit von $h\$ ist dann $h^{-1}(f^{-1}_\lambda(U))$ offen in $\ Y$ . Aber $h^{-1}(f^{-1}_\lambda(U)) = (f_\lambda\circ h)^{-1}(U)$ , und das bedeutet die Stetigkeit von $f_\lambda\circ h$ . Sei nun andererseits $f_\lambda\circ h$ stetig für alle $\lambda\in\Lambda\$ und sei $U\$ offen in $\ M$ . Nach Voraussetzung ist $U = \bigcup_{\nu\in\Theta}(\bigcap_{i_\nu = 1}^{n_\nu} f^{-1}_{\nu}(O_{i_\nu,\nu}))$ eine Vereinigung von endlichen Durchschnitten von Urbildern offener Mengen. Dann ist $h^{-1}(U) = h^{-1}(\bigcup_{\nu\in\Theta}(\bigcap_{i_\nu = 1}^{n_\nu} f^{-1}_{\nu}(O_{i_\nu,\nu}))) = \bigcup_{\nu\in\Theta}(h^-1(\bigcap_{i_\nu = 1}^{n_\nu} f^{-1}_{\nu}(O_{i_\nu,\nu}))) = \bigcup_{\nu\in\Theta}(\bigcap_{i_\nu = 1}^{n_\nu} h^{-1}(f^{-1}_{\nu}(O_{i_\nu,\nu}))) = \bigcup_{\nu\in\Theta}(\bigcap_{i_\nu = 1}^{n_\nu} (f_{\nu}\circ h)^{-1}(O_{i_\nu,\nu})))$ . Wegen der Stetigkeit der $f_\nu\circ h$ ist dann $h^{-1}(U)\$ offen in $\ Y$ , und das bedeutet gerade die Stetigkeit von $\ h$ . $\surd$

Zuletzt noch 3 => 1:

Sei nun $\mathcal T$ eine Topologie auf $\ M$ mit Eigenschaft 3. Dann sei $Y\$ der topologische Raum $\ (M, \mathcal{O}_I)$ mit der Initialtopologie und $h:Y\ \to\ M$ sei die Identität $id:(M,\mathcal{O}_I)\ \to\ (M,\mathcal T)$ . Weil $\mathcal{O}_I$ die Initialtopologie auf $M\$ ist, sind die Abbildungen $f_\lambda\circ id:(M,\mathcal{O}_I)\ \to\ X_\lambda$ stetig für alle

λ

. Wegen Eigenschaft 3 ist dann auch die Abbildung $id:(M,\mathcal{O}_I)\ \to\ (M,\mathcal T)$ stetig. Für alle in $\mathcal T$ offenen Mengen $O\$ ist dann $O = id^{-1}(O)\$ offen in $\mathcal{O}_I$ . Das bedeutet, daß $\mathcal T$ gröber ist als $\mathcal{O}_I$ . Sei nun $Y\$ der topologische Raum $\ (M,\mathcal T)$ und $h:Y\ \to\ M$ sei die Identität $id:(M,\mathcal T)\ \to\ (M,\mathcal T)$ . Jetzt ist die Identität stetig, und wegen Eigenschaft 3 ist auch $f_\lambda\circ id$ stetig. Aber $f_\lambda\circ id = f_\lambda$ , also ist $f_\lambda\$ stetig. Damit ist nun $\mathcal T$ eine Topologie, für die einerseits die Abbildungen $f_\lambda\$ stetig sind, und die andererseits gröber als die Initialtopologie ist. Nun ist aber die Initialtopologie die gröbste Topologie, für die die $f_\lambda\$ stetig sind, und das bedeutet $\ \mathcal T = \mathcal{O}_I$ . Eine Topologie mit Eigenschaft 3 ist also die Initialtopologie. $\surd$

Satz: Seien $\ M$ , $(X_\lambda, \mathcal{O}_\lambda)_{\lambda\in\Lambda}$ und $(g_\lambda : X_\lambda \to M)_{\lambda\in\Lambda}$ wie in obiger Definition. Die folgenden Eigenschaften sind äquivalent:

$\mathcal{O}_F$ ist die Finaltopologie auf $\ M$ bezüglich $(X_\lambda, \mathcal{O}_\lambda, g_\lambda)_{\lambda\in\Lambda}$ .
Eine Menge $O\$ ist genau dann offen in $\ M$ , wenn alle ihre Urbilder $g^{-1}_\lambda(O)$ in den $X_\lambda\$ offen sind.
Eine Abbildung $h:M\ \to\ Z$ ist genau dann stetig, wenn alle $h\circ g_\lambda : X_\lambda \to Z,\ \lambda\in\Lambda$ stetig sind.

Beweis: Zunächst wird 1 => 2 gezeigt:

Sei $O\$ offen in $\ M$ . Nach Voraussetzung sind die $(g_\lambda)_{\lambda\in\Lambda}$ stetig, also sind auch die Urbilder $g^{-1}_\lambda(O)$ offen in den

X λ

. Sei nun andersherum $U\subseteq X$ eine offene Menge, deren Urbilder $g^{-1}_\lambda(U)\$ offen sind. Dann definiere $\mathcal T$ als diejenige Topologie, die alle offenen Mengen der Finaltopologie $\mathcal{O}_F$ sowie alle Vereinigungen und alle endlichen Durchschnitte von Mengen aus $\mathcal{O}_F$ mit der Menge $U\$ enthält. Bezüglich der Topologie $\mathcal T$ sind die Abbildungen $g_\lambda\$ ebenfalls stetig, denn die Urbilder der Mengen aus $\mathcal{O}_F$ sowie die Urbilder von $U\$ sind nach Voraussetzung stetig, und für die endlichen Durchschnitte und beliebigen Vereinigungen gilt $g^{-1}(\bigcap_{i\in I}O_i) = \bigcap_{i\in I}g^{-1}(O_i)$ und $g^{-1}(\bigcup_{\lambda\in\Lambda}O_\lambda) = \bigcup_{\lambda\in\Lambda}g^{-1}(O_\lambda)$ . Die Urbilder dieser Durchschnitte und Vereinigungen sind also ebenfalls offen. Damit ist $\mathcal T$ eine Topologie, für die die Abbildungen $g_\lambda\$ stetig sind, und die feiner ist als $\mathcal{O}_F$ . $\mathcal T$ muß also mit $\mathcal{O}_F$ identisch sein, und das bedeutet, daß die Menge $U\in\mathcal{O}_F$ offen ist. $\surd$

Dann 2 => 3:

Sei $h:\ M \to\ Z$ stetig und $\lambda\in\Lambda$ . Sei weiter $U\$ offen in $\ Z$ . Dann ist

h - 1 (U)

offen in $\ M$ . Nach Voraussetzung ist dann aber auch $g^{-1}_\lambda(h^{-1}(U)) = (h\circ g_\lambda)^{-1}(U)$ offen in

X λ

. Das ist aber gerade die Stetigkeit von $h\circ g_\lambda$ . Sei nun andererseits $h\circ g_\lambda$ stetig für alle $\lambda\in\Lambda$ und sei $\ U$ offen in $\ Z$ . Dann ist $(h\circ g_\lambda)^{-1}(U) = g^{-1}(h^{-1}(U))$ offen in

X λ

für alle $\lambda\in\Lambda$ . Nach Voraussetzung ist dann aber auch

h - 1 (U)

offen in $\ M$ , und das ist die Stetigkeit von $h:\ M\ \to\ Z$ . $\surd$

Jetzt 3 => 1:

Sei dazu $\mathcal T$ eine Topologie auf

M

mit der Eigenschaft 3. Betrachte die Abbildung $id:(M,\mathcal T) \to (M,\mathcal{O}_F)$ anstelle der Abbildung $h\$ aus Eigenschaft 3. Da $\mathcal{O}_F$ die Finaltopologie ist, sind die Abbildungen $id\circ g_\lambda :X_\lambda \to (M,\mathcal{O}_F)$ stetig. Dann ist auch die Abbildung $id:(M,\mathcal T) \to (M,\mathcal{O}_F)$ stetig. Dann sind aber die offenen Mengen aus $\mathcal{O}_F$ offen in $\mathcal T$ , und damit ist $\mathcal T$ feiner als die Finaltopologie. Betrachte nun die stetige Abbildung $id:(M,\mathcal T)\ \to\ (M,\mathcal T)$ . Nach Eigenschaft 3 sind dann die Abbildungen $id\circ g_\lambda = g_\lambda$ stetig für alle $\lambda\in\Lambda$ . Damit ist $\mathcal T$ eine Topologie auf

M

, die feiner als die Finaltopologie ist, und für die alle

g λ

stetig sind. Da die Finaltopologie aber die feinste Topologie ist, für die die

g λ

stetig sind, muß $\mathcal T$ die Finaltopologie sein. $\surd$

Weiter mit Zusammenhang

Mathematik: Topologie: Stetige Abbildungen

Aus Wikibooks

[Bearbeiten] Stetige Abbildungen

Ansichten

Persönliche Werkzeuge

Navigation

Suche

Mitmachen

Werkzeuge

Drucken/exportieren