Kurs:Maßtheorie auf topologischen Räumen/Stetigkeit von Abbildungen in topologischen Räumen

Einführung

Als Voraussetzung zu dieser Lerneinheit sollten Sie sich zunächst mit Netzen und Konvergenz befassen, die eine Verallgemeinerung des Folgenbegriffs in $ℝ$ bzw. allgemeiner topologischen Räumen mit abzählbarer Umgebungsbasis dargestellt.

Definition - Stetigkeit in topologischen Räumen

Seien $(X,{𝒯}_{{}_X})$ und $(Y,{𝒯}_{{}_Y})$ zwei topologische Räume, $f:X\to Y$ eine Abbildung und $x_0\in X$. Die Funktion $f$ heißt stetig, wenn Urbilder offenen Mengen wieder offen sind. Formal:

$\underset{U_{{}_Y}\in {𝒯}_{{}_Y}}{\mathrm{\forall }}{f}^{-1}(U_{{}_Y})\in {𝒯}_{{}_X}$

Definition - Stetigkeit in einem Punkt in topologischen Räumen

Die Funktion $f$ heißt stetig in $x_o\in X$, wenn Urbilder offener Umgebungen $U_{{}_Y}$ von $f(x_o)\in Y$ wieder offene Umgebung von $x_o\in X$ sind. Formal

$\underset{U_{{}_Y}\in {𝔘}_{{}_Y}(f(x_o))}{\mathrm{\forall }}\underset{U_{{}_X}\in {𝔘}_{{}_X}(x_o)}{\mathrm{\exists }}f(U_{{}_X})\subseteq U_{{}_Y}$

Bemerkung - Epsilon-Delta-Kriterien

Aus der Analysis ist das Epsilon-Delta-Kriterium aus der Analysis bekannt. Es lautet für die Stetigkeit einer Funktion $f:𝔻\to ℝ$ in $x_o\in 𝔻$ mit einem offenen Definitionsbereich $𝔻\subseteq ℝ$:

$\underset{\epsilon >0}{\mathrm{\forall }}\underset{\delta >0}{\mathrm{\exists }}\underset{x\in 𝔻}{\mathrm{\forall }}|x-x_o|<\delta ⟹|f(x)-f(x_o)|<\epsilon$

Die obigen Umgebungen aus der Definition sind in diesem Fall $U_{{}_X}:=U_{\delta }:=\{x\in 𝔻:|x-x_o|<\delta \}$ und $U_{{}_Y}:=U_{\epsilon }:=\{y\in ℝ:|y-f(x_o)|<\epsilon \}$. Die Implikation aus dem Epsilon-Delta-Kriterium für topologische Räume kann man dann auch mengentheoretisch durch $f(U_{{}_X})\subseteq U_{{}_Y}$ beschreiben bzw. umgekehrt kann man die Teilmengebeziehung $f(U_{\delta })\subseteq U_{\epsilon }$ auch als Implikation $x\in U_{\delta }⟹f(x)\in U_{\epsilon }$ notieren.

Stetigkeit - Konvergenz über Netze

Seien $(X,{𝒯}_X)$ und $(Y,{𝒯}_Y)$ zwei topologische Räume, $f:X\to Y$ eine Abbildung und $x_0\in X$. Die Funktion $f$ heißt stetig in $x_o\in X$, wenn für alle Netze $(x_i{)}_{i\in I}\in X_I$, die in $X$ gegen $x_o$ konvergieren auch das Bildnetz $(f(x_i){)}_{i\in I}\in Y_I$ gegen $f(x_o)\in Y$ konvergiert:

$\begin{array}{ccc}\stackrel{{𝒯}_Y}{\underset{x_i\stackrel{{𝒯}_X}{⟶}{x}_o}{lim}}f(x_i)=f(x_0)& :⟺& {\mathrm{\forall }}_{(x_i{)}_{i\in I}\stackrel{{𝒯}_X}{⟶}{x}_0}:(f(x_i){)}_{i\in I}\stackrel{{𝒯}_Y}{⟶}f(x_0)\\ (f(x_i){)}_{i\in I}\stackrel{{𝒯}_Y}{⟶}f(x_0)& ⟺& {\mathrm{\forall }}_{U\in {𝔘}_{{𝒯}_Y}(f(x_0))}{\mathrm{\exists }}_{i_U\in I}{\mathrm{\forall }}_{i\succcurlyeq i_U}:f(x_i)\in U\end{array}$

Dabei bezeichnet "$\succcurlyeq$" in "$i\succcurlyeq i_U$" die partielle Ordnung auf der Indexmenge $I$.

Satz - Epsilon-Delta-Kriterium für topologische Räume

Seien $(X,{𝒯}_X)$ und $(Y,{𝒯}_Y)$ zwei topologische Räume, $f:X\to Y$ eine Abbildung und $x_0\in X$. Die Funktion $f$ ist genau dann stetig in $x_o\in X$, wenn gilt

${\mathrm{\forall }}_{U_{\epsilon }\in {𝔘}_{{𝒯}_Y}(f(x_o))}{\mathrm{\exists }}_{U_{\delta }\in {𝔘}_{{𝒯}_X}(x_o)}{\mathrm{\forall }}_{x\in X}:x\in U_{\delta }⟹f(x)\in U_{\epsilon }$

Bemerkung - Strukturgleichheit Epsilon-Delta-Kriterium

Diese Strukturgleichheit wird nun noch einmal vergleichend für topologische Räume betrachtet. In der obigen Formulierung des Satzes hat die Verwendung von $\delta$ und $\epsilon$ keine metrische Bedeutung, sondern diese soll lediglich die Strukturgleichheit zur Analysis und topologischen Vektorräumen herstellen.

Analysis

In der Analysis ist das

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{\delta >0}{\mathrm{\forall }}_{x\in 𝔻}:|x-x_o|<\delta ⟹|f(x)-f(x_o)|<\epsilon$

Normierte Räume

In normierten Räumen ersetzt man den Betrag durch eine Norm $\Vert \cdot {\Vert }_{𝔻}$ auf dem Definitionsbereich und eine Norm $\Vert \cdot {\Vert }_{𝕎}$ auf dem Wertebereich der Funktion

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{\delta >0}{\mathrm{\forall }}_{x\in 𝔻}:\Vert x-x_o{\Vert }_{𝔻}<\delta ⟹\Vert f(x)-f(x_o){\Vert }_{𝕎}<\epsilon$

Metrischen Räume

In metrischen Räumen kann man den Abstand zwischen zwei Elementen im Raum messen. Der Ausdruck $\Vert x-x_o{\Vert }_{𝔻}$ entspricht dem Abstand zwischen $x$ und $x_o$ und drückt diesen durch eine Metrik über $d_{𝔻}(x,x_o)$ auf dem Definitionsbereich. Mit einer weiteren Metrik $d_{𝕎}$ auf dem Wertebereich der Funktion kann man die Stetigkeit wie folgt formulieren:

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{\delta >0}{\mathrm{\forall }}_{x\in 𝔻}:d_{𝔻}(x,x_o)<\delta ⟹d_{𝕎}(f(x),f(x_o))<\epsilon$

Topologische Räume

Verallgemeinert man den Ansatz auf topologische Räume drückt man die $d_{𝔻}(x,x_o)<\delta$ dann durch $x\in U_{\delta }$ ausgedrückt, wobei $x$ in einer Umgebung $U_{\delta }$ von $x_o$ liegt. Dadurch erhält man die Aussage analog zu metrischen Räume auch auf topologischen Räumen für Umgebungen.

${\mathrm{\forall }}_{U_{\epsilon }\in {𝔘}_{{𝒯}_Y}(f(x_o))}{\mathrm{\exists }}_{U_{\delta }\in {𝔘}_{{𝒯}_X}(x_o)}{\mathrm{\forall }}_{x\in X}:x\in U_{\delta }⟹f(x)\in U_{\epsilon }$

Transfer auf die Analysis

In der Analysis ist $U_{\delta }:=\{x\in 𝔻:|x-x_0|<\delta \}$ und $U_{\epsilon }:=\{x\in 𝔻:|f(x)-f(x_0)|<v\}$ und man erhält:

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{\delta >0}:x\in U_{\delta }⟹f(x)\in U_{\epsilon }$

bzw.

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{\delta >0}:f(U_{\delta })\subseteq U_{\epsilon }$

Beweis - Epsilon-Delta-Kriterium für TR

Der Beweis gliedert sich in zwei Implikationen

• (R1) $f:X\to Y$ ist stetig in $x_o$ nach Definition, dann gilt das $\epsilon$-$\delta$-Kriterium für topologische Räume
• (R2) das $\epsilon$-$\delta$-Kriterium für topologische Räume gilt und man zeigt, dass $f:X\to Y$ stetig in $x_o$ nach Definition ist.

Beweisrichtung (R1)

Sei $f:X\to Y$ stetig in $x_o$ nach Definition. Dann gilt das $\epsilon$-$\delta$-Kriterium für topologische Räume. Unsere Indexmenge $I:={𝔘}_{{𝒯}_X}(x_o)$ mit der partiellen Ordnung:

$U_1\succcurlyeq U_2:⟺U_1\subseteq U_2$.

Ohne Einschränkung seien die Netze $(x_U{)}_{U\in I}$ so gewählt, dass $x_U\in U$. Damit konvergieren diese Netze $(x_U{)}_{U\in I}$ mit einem beliebigen $x_U\in U$ alle gegen $x_o\in X$.

Beweisschritt (R1.1)

Sei nun $U_{\epsilon }\in {𝔘}_{{𝒯}_Y}(f(x_o))$ beliebig gewählt. Da die oben definierten Netze $(x_U{)}_{U\in I}$ mit $x_U\in U$ alle gegen $x_o\in X$ konvergieren, konvergiert mit der Definition der Stetigkeit auch das Bildnetz $(f(x_U){)}_{U\in I}$ in $Y$ gegen $f(x_o)\in Y$.

Beweisschritt (R1.2)

Wegen der Konvergenz des Bildnetzes $(f(x_U){)}_{U\in I}$ in $Y$ gegen $f(x_o)\in Y$ gibt es eine Indexschranke $U_{\delta }\in I$, ab der für alle

$U\succcurlyeq U_{\delta }⟺U\subseteq U_{\delta }$

gilt:

$f(x_U)\in U_{\epsilon }$

Beweisschritt (R1.3)

Da die Elemente $x_U$ der Netze $(x_U{)}_{U\in I}$ beliebig aus $U$ gewählt werden konnten (d.h. $x_U\in U$ gilt) und für einen größeren Index $U\succcurlyeq U_{\delta }⟺U\subseteq U_{\delta }$ auch $x_U\in U\subseteq U_{\delta }$ gilt, erhält man: ${\mathrm{\forall }}_{U_{\epsilon }\in {𝔘}_{{𝒯}_Y}(f(x_o))}{\mathrm{\exists }}_{U_{\delta }\in {𝔘}_{{𝒯}_X}(x_o)}{\mathrm{\forall }}_{x\in X}:x\in U_{\delta }⟹f(x)\in U_{\epsilon }$ Damit gilt das $\epsilon$-$\delta$-Kriterium.

Beweisrichtung (R2)

Sei $(x_i{)}_{i\in I}\in X_I$ ein Netz, das in $X$ gegen $x_o$ konvergiert. Es ist nun zu zeigen, dass bei gültigem $\epsilon$-$\delta$-Kriterium für topologische Räume auch das Bildnetz $(f(x_i){)}_{i\in I}\in Y_I$ gegen $f(x_o)\in Y$ konvergiert.

Beweisschritt (R2.1)

Um die folgende Aussage

$\begin{array}{ccc}(f(x_i){)}_{i\in I}\stackrel{{𝒯}_Y}{⟶}f(x_0)& ⟺& {\mathrm{\forall }}_{U\in {𝔘}_{{𝒯}_Y}(f(x_0))}{\mathrm{\exists }}_{i_U\in I}{\mathrm{\forall }}_{i\succcurlyeq i_U}:f(x_i)\in U\end{array}$

zu zeigen, sei nun $U_{\epsilon }\in {𝔘}_{{𝒯}_Y}(f(x_0))$ beliebig gewählt.

Beweisschritt (R2.2)

Mit dem $\epsilon$-$\delta$-Kriterium für topologische Räume gibt nun ein $U_{\delta }\in {𝔘}_{{𝒯}_X}(x_0)$, sodass für alle $x\in U_{\delta }$ auch gilt, dass $f(x)\in U_{\epsilon }$.

Beweisschritt (R2.3)

Mit der Konvergenz von $(x_i{)}_{i\in I}\in X_I$ gegen $x_o$, gibt es eine Indexschranke $i_{U_{\delta }}$, sodass für alle $i\succcurlyeq i_{U_{\delta }}$ $x_i\in U_{\delta }$ erfüllt ist. Damit gilt dann auch mit ab der Indexschranke $i_{U_{\delta }}$ mit $i\succcurlyeq i_{U_{\delta }}$, dass $f(x_i)\in U_{\epsilon }$ erfüllt ist.

Beweisschritt (R2.4)

Insgesamt konvergiert mit dem $\epsilon$-$\delta$-Kriterium für topologische Räume auch das Bildnetz $(f(x_i){)}_{i\in I}$ gegen $f(x_o)$, da $U_{\epsilon }\in {𝔘}_{{𝒯}_Y}(f(x_0))$ beliebig gewählt wurde. $q.e.d.$

Bemerkung - Epsilon-Delta-Kriterium für topologische Räume

Aus der Analysis ist das $\epsilon -\delta$-Kriterium für die Stetigkeit in eine Punkt $x_0$ bekannt. Die obige Aussage ist ein Analogon dazu für topologische Räume. $\epsilon$ und $\delta$ als positive Zahlen machen in topologischen Räumen natürlich keinen Sinn. Die Bezeichnung dient lediglich dazu die analoge Struktur der Aussagen für eine in $x_o$ stetige Abbildung $f:𝔻\to ℝ$ aufzuzeigen.

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{\delta >0}{\mathrm{\forall }}_{x\in 𝔻}:|x-x_o|<\delta ⟹|f(x)-f(x_o)|<\epsilon$

Stetigkeitsatz - Urbilder offener Mengen

Seien $(X,{𝒯}_X)$ und $(Y,{𝒯}_Y)$ zwei topologische Räume, $f:X\to Y$ eine Abbildung. $f$ ist genau dann stetig in jedem Punkt $x_0\in X$, wenn die Urbilder von offenen Mengen in $(Y,{𝒯}_Y)$ wieder eine offene Menge in $(X,{𝒯}_X)$.

$f\text{ stetig }⟺{\mathrm{\forall }}_{U\in {𝒯}_Y}:f^{-1}(U)\in {𝒯}_X$

Bemerkung - Stetigkeit der Abbildung und Stetigkeit in einem Punkt

Normalerweise müsste man für die Stetigkeit der Abbildung $f:X\to Y$ die Stetigkeit von $f$ in jedem Punkt $x_o\in X$ nachweisen und Stetigkeit in einem Punkt dann durch den Nachweis der definitierende Eigenschaft überprüfen. Der obige Stetigkeitssatz reduziert den Aufwand auf die Überprüfung, dass die Stetigkeit von $f$ äquivalent zur Eigenschaft ist, dass Urbilder offener Mengen in $Y$ wieder offen in $X$ sind.

Beweis - Urbilder offener Mengen

Der Beweis gliedert sich in zwei Implikationen:

• (S1) Aus $f$ stetig im jedem Punkt $x_o\in X$ folgt, dass Urbilder offener Mengen wieder offen sind.
• (S2) Wenn Urbilder offener Mengen immer offen in $(X,{𝒯}_X)$ ist, ist $f$ stetig im jedem Punkt $x_o\in X$.

Beweisrichtung (S1)

Wir führen den Beweis für (S1) durch Widerspruch und nehmen an, dass ein Urbild $f^{-1}(\hat{U})$ einer offener Mengen $\hat{U}\in {𝒯}_Y$ exisitiert, dass nicht offen ist, aber $f$ in jedem Punkt $x_o\in X$ stetig ist.

Beweisschritt (S1.1)

Wenn $U_o:=f^{-1}(\hat{U})$ nicht offen in $(X,{𝒯}_X)$ ist, besitzt $U_o\subset X$ in $X$ Randpunkt. Sei $x_o\in U_o$ ein Randpunkt von $U_o$ (d.h. $x_o\in \partial (U_o)\cap U_o$. Wegen $x\in U_o=f^{-1}(\hat{U})$, liegt $f(x_o)\in \hat{U}$ in einer offenen Menge.

Beweisschritt (S1.2)

Für Randpunkte einer Menge gilt, dass jede Umgebung $U\in {𝔘}_{{𝒯}_X}(x_o)$ Elemente aus dem Komplement von $U_o$, denn wenn es eine Umgebung von $x\in U_o=f^{-1}(\hat{U})$ existiert, die ganz in $U_o$ liegt, wäre $x_o\in U_o$ ein innerer Punkt und kein Randpunkt von $U_o$. Nun konstruiert man ein Netz, das gegen $x_o$ konvergiert, dessen Bildnetz aber nicht gegen $f(x_o)$ konvergieren kann.

Beweisschritt (S1.3)

Als Indexmenge des Netzes verwendet man $I:={𝔘}_{{𝒯}_X}(x_o)$ mit der partiellen Ordnung:

$U_1\succcurlyeq U_2:⟺U_1\subseteq U_2$.

Für jede Umgebung $U_1\in I$ wählen wir $x_{U_1}\in (U_o^c\cap U_1)$. Dabei geht ein, dass jede Umgebung um einen Randpunkt einer Menge, Element aus dem Komplement $U_o^c:=X\setminus U_o$ der Menge enthält für jedes $U_1\in I$ existiert ein $x_{U_1}\in X$.

Beweisschritt (S1.4)

Wegen $x_{U_1}\in U_1$ konvergiert das Netz $(x_{{}_{U_1}}{)}_{U_1\in I}$ gegen $x_o$. Wegen $x_{{}_{U_1}}\in U_o^c$ gilt, $f(x_{{}_{U_1}})\notin \hat{U}\subset Y$. Damit konvergiert das Bildnetz ${(f(x_{{}_{U_1}}))}_{U_1\in I}$ nicht gegen $f(x_o)\in Y$, weil $f(x_o)\in \hat{U}\in {𝒯}_Y$ ist und damit ist auch $\hat{U}\in {𝔘}_{{𝒯}_Y}(f(x_o))$ eine Umgebung von $f(x_o)$.

Beweisschritt (S1.5)

Bei einer Konvergenz von ${(f(x_{{}_{U_1}}))}_{U_1\in I}$ gegen $f(x_o)$ muss aber auch für $\hat{U}$ eine Indexschranke $U_2\in I$ des Netzes geben, aber der für $U_1\succcurlyeq U_2$ alle Elemente $f(x_{{}_{U_1}})$ des Netzes auch in $\hat{U}$ liegen. Damit ist $f$ nicht stetig in $x_o$, was ein Widerspruch zur Annahme war.

Beweisrichtung (S2)

Seien nun Urbilder offener Mengen unter $f:X\to Y$ wieder offen. Es gilt also:

• $U_{\delta }:=f^{-1}(U_{\epsilon })\in {𝒯}_X$ für alle $U_{\epsilon }\in {𝒯}_Y$

Ferner sei $x_o\in X$ beliebig gewählt und das Netz $(x_i{)}_{i\in I}$ sei so gewählt, das es gegen $x_o\in X$ konvergiert. Zu zeigen ist nun, dass das Bildnetz $(f(x_i){)}_{i\in I}$ in $(Y,{𝒯}_Y)$ gegen $f(x_o)\in Y$ konvergiert.

Beweisschritt (S2.1)

Wähle nun eine beliebige offene Menge $U\epsilon \in {\stackrel{\circ }{𝔘}}_{{𝒯}_Y}(f(x_0))$. Man muss nun eine Indexschranke $i_{ϵ}$ finden, ab der für alle $i\succcurlyeq i_{\epsilon }$ gilt, dass $f(x_i)\in U_{\epsilon }$.

Beweisschritt (S2.2)

Da Urbilder offener Menge offen sind, gilt:

$x_o\in U_{\delta }:=f^{-1}(U_{\epsilon })\in {\stackrel{\circ }{𝔘}}_{{𝒯}_X}(x_o),$

Beweisschritt (S2.3)

Da das Netz $(x_i{)}_{i\in I}$ nach Vorraussetzung so gewählt war, das es gegen $x_o\in X$ konvergiert, gibt es eine Indexschranke $i_{\delta }\in I$, ab der für $i\succcurlyeq i_{\delta }$, dass $x_i\in U_{\delta }$. Wähle dann das gesuchte $i_{\epsilon }:=i_{\delta }$, denn dann erhält man:

$f(x_i)\in f(U_{\delta })=f(f^{-1}(U_{\epsilon }))=U_{\epsilon }$

q.e.d.

Bemerkung

Da eine Topologie über Menge definiert wird, sind mengentheoretische Formulierung für die Stetigkeit in Regel für die Beweisführung besser geeignet als Netze. Einen ähnlichen Ansatz geht man mit Filtern, die ebenfalls als Mengensystem formuliert sind und die Konvergenz von Filter über die Teilmengenbeziehung zur Menge der Umgebungen von $x_o$ formuliert wird - d.h. dass ein Filter konvergiert, wenn dieser feiner als der Umgebungsfilter ist.

Beweisalternative für Beweisrichtung S2

In der Beweisalternative verwendet man die Negation der Aussage (S2) und führt diese zum Widerspruch. Die Negation von (S2) lautet: $\mathrm{\neg }(S2)$ $f$ stetig ist nicht in jedem Punkt $x_o\in X$ und die Urbilder offener Mengen wieder offen.

Beweisschritt (S2.1) - Alternative

Wenn $f$ in $x_o\in X$ nicht stetig ist, gibt es ein Netz $(x_i{)}_{i\in I}$, das gegen $x_o\in X$ konvergiert und eine Umgebung $U_{\epsilon }$ von $f(x_o)\in Y$, wobei für jeden Index $i\in I$ ein weiterer Index $k(i)\succcurlyeq i$) exisitiert, für den $f(x_{k(i)})$ nicht in $U_{\epsilon }$ liegt (d.h. $f(x_{k(i)})\notin U_{\epsilon }$).

Beweisschritt (S2.2) - Alternative

Da Urbilder von offenen Menge $U\in$ wieder offen in $(X,{𝒯}_X)$ sind, gilt u.a.

$U_{\delta }:=f^{-1}(U_{\epsilon })\in {𝒯}_X$

Weil $f(x_o)\in U_{\epsilon }$ gilt, erhält man auch $x_o\in U_{\delta }$. Damit ist $U_{\delta }$ auch eine Umgebung von $x_o\in X$.

Beweisschritt (S2.3) - Alternative

Da das Netz $(x_i{)}_{i\in I}$ gegen $x_o\in X$ konvergiert, gibt es zu $U_{\delta }$ eine Indexschranke $i_{\delta }\in I$, ab der mit $i\succ i_{\delta }$ dann $x_i\in U_{\delta }$ gilt. Damit gilt aber auch, dass

$f(x_i)\in f(U_{\delta })=U_{\epsilon },$

was ein Widerspruch zu Annahme war, dass für eine jeden Index $i\in I$ ein größerer Index $k(i)\in I$ existiert, für den $f(x_{k(i)})\notin U_{\epsilon }$ liegt.

Korollar - Stetigkeitsatz

Seien $(X,{𝒯}_X)$ und $(Y,{𝒯}_Y)$ zwei topologische Räume, $f:X\to Y$ eine Abbildung. $f$ ist genau dann stetig, wenn Urbilder von beliebigen abgeschlossenen Mengen in $Y$ wieder eine abgeschlossene Menge in $X$ sind.

$f\text{ stetig }⟺{\mathrm{\forall }}_{A\text{abgeschlossen in }Y}:f^{-1}(A)\text{abgeschlossen in }X$

Beweis - Korollar - Stetigkeitssatz

Da in beliegen topologischen Räumen abgeschlossenene Menge als Komplemente von offenen Mengen sind, sind die Urbilder abgeschlossen Mengen $A$ Komplemente offener Mengen $U\in {𝒯}_Y$, d.h. für jedes $A$ gibt es $U\in {𝒯}_Y$ mit $A=Y\setminus U=U^c$.

Schritt 1 - Urbilder und Mengenoperation

Wegen der Verträglichkeit der Urbildfunktion $f^{-1}:\mathrm{\wp }(Y)\to \mathrm{\wp }(X)$ mit Mengenoperationen $M,M_1,M_2\subset Y$ gilt.

• (Schnitt) $f^{-1}(M_1\cap M_2)=f^{-1}(M_1)\cap f^{-1}(M_2)$
• (Vereinigung) $f^{-1}(M_1\cup M_2)=f^{-1}(M_1)\cup f^{-1}(M_2)$
• (Komplement) $f^{-1}(M^c)=f^{-1}(Y\setminus M)=X\setminus f^{-1}(M)=(f^{-1}(M){)}^c$

Dabei ist $\mathrm{\wp }(X)$ die Potenzmenge von $X$ und $\mathrm{\wp }(Y)$ die Potenzmenge von $Y$.

Schritt 2 - Anwendung auf offene Mengen

Sei $A$ eine abgeschlossene Menge in $Y$ mit $A=Y\setminus U_{{}_Y}=U_{{}_Y}^c$ mit $U_{{}_Y}\in {𝒯}_Y$. Dann gilt mit dem Stetigkeitssatz in topologischen Räumen, dass die Menge $U_X:=f^{-1}(U_Y)$ eine offene Menge in $X$ ist:

$U_X:=f^{-1}(U_Y)\in {𝒯}_X$

Schritt 3 - Anwendung auf abgeschlossene Mengen

Mit Schritt 1 kann man die Mengenoperationen auf die abgeschlossene Menge $A$ anwenden.

$f^{-1}(A)=f^{-1}(U_Y^c)=(\underset{=U_X}{\underbrace{f^{-1}(U_Y)}}{)}^c=X\setminus U_X=U_X^c$

Damit ist das Urbild $f^{-1}(A)$ der abgeschlossenen Menge $A$ das Komplement $U_X^c$ eine offenen Menge $U_X\in {𝒯}_X$ und damit abgeschlossen. $◻$

Aufgabe

Sei ${𝒯}_{ℝ}$ die durch den Betrag $|\cdot |$ auf $X:=ℝ$ definierten euklidischen Topologie. Ferner sei ${𝒯}_0:=\{\mathrm{\varnothing },ℝ\}$ die chaotische Topologie auf $X:=Y:=ℝ$ und ${𝒯}_1$ die diskrete Topologie, bei der jede Teilmenge von $X$ offen ist. Wir betrachten nun die Identität $f:X\to Y$ mit $f(x)=x$ für alle $x\in ℝ$. Obwolh $X=Y=ℝ$ gilt, versehen wir den Definitionsbereich mit unterschiedlichen Topologien. Überprüfen Sie, ob die Abbildung stetig ist oder nicht.

• Ist die Abbildung mit $(X,{𝒯}_1)$ und $(Y,{𝒯}_{ℝ})$ stetig?
• Ist die Abbildung mit $(X,{𝒯}_{ℝ})$ und $(Y,{𝒯}_1)$ stetig?
• Ist die Abbildung mit $(X,{𝒯}_0)$ und $(Y,{𝒯}_1)$ stetig?
• Ist die Abbildung mit $(X,{𝒯}_1)$ und $(Y,{𝒯}_0)$ stetig?

Siehe auch

• Hausdorff-Raum
• Netzen und Konvergenz
• Quiz zur Topologie
• Stetigkeitssatz für lineare Abbildungen
• topologischer Vektorraum
• Umgebungsbasis (Topologie)

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Maßtheorie auf topologischen Räumen' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Ma%C3%9Ftheorie%20auf%20topologischen%20R%C3%A4umen/Stetigkeit%20von%20Abbildungen%20in%20topologischen%20R%C3%A4umen
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.