Kurs:Topologie (Osnabrück 2008-2009)/Vorlesung 3

Unterräume und Quotientenräume

Ziel ist es nun, aus bereits gegebenen topologischen Räumen neue zu konstruieren. Ist etwa ${}(X,\tau )$ ein topologischer Raum, so ist es gegebenenfalls von Interesse, lediglich eine Teilmenge von ${}X$ zu betrachten. Diese kann man im Allgemeinen auf verschiedene Weisen mit einer Topologie versehen, aber es gibt eine ausgezeichnete, die Unterraumtopologie. Ebenso ist es gegebenenfalls von Interesse, gewisse Punkte von ${}X$ zu identifizieren, mit Hilfe einer Äquivalenzrelation. Die zugehörige Quotientenmenge kann wieder mit einer ausgezeichneten Topologie, der Quotiententopologie, versehen werden.

Definition (Unterraumtopologie)

Es sei ${}(X,{\mathcal {T}})$ ein topologischer Raum und ${}Y\subseteq X$ eine Teilmenge. Folgende Vorschrift definiert eine Topologie ${}{\mathcal {T}}_{Y}$ auf ${}Y$: Für eine Teilmenge ${}U\subseteq Y$ gilt ${}U\in {\mathcal {T}}_{Y}$ genau dann, wenn es eine in ${}X$ offene Menge ${}V\in {\mathcal {T}}$ gibt, so dass ${}V\cap Y=U$ gilt.

Beispiel

Es sei ${}\mathbb {R}$ versehen mit der üblichen Topologie und sei ${}I=[0,1]\subseteq \mathbb {R}$ das Einheitsintervall. Das halboffene Intervall ${}[0,1)$ ist eine in der Unterraumtopologie offene Teilmenge von ${}I$. Denn ${}(-1,1)\subseteq \mathbb {R}$ ist offen in ${}\mathbb {R}$ (es ist ja eine offene Kugel), und es gilt

${}[0,1)=(-1,1)\cap I\,.$

Nun ist es so, dass eine Teilmenge ${}Y\subseteq X$ in Begleitung einer Abbildung daherkommt, der kanonischen Inklusion ${}i_{Y}\colon Y\to X$. Es ist ${}i_{Y}(x)=x\,\forall \,x\in Y$. Die Unterraumtopologie ist so definiert, dass die kanonische Inklusion stetig ist (alles andere wäre ja auch ziemlich idiotisch). Aber auch die diskrete Topologie auf ${}Y$ hätte die Eigenschaft, dass die kanonische Inklusion stetig ist. Was die Unterraumtopologie auszeichnet, ist die folgende Eigenschaft.

Satz (Universelle Eigenschaft der Unterraumtopologie)

Es sei ${}(X,\tau )$ ein topologischer Raum und ${}Y\subseteq X$ eine Teilmenge. Es sei weiter ${}(Z,\theta )$ ein topologischer Raum und ${}f\colon Z\to Y$ eine Abbildung.

Die Abbildung ${}f\colon (Z,\theta )\to (Y,\tau _{Y})$ ist stetig bezüglich der Unterraumtopologie genau dann, wenn die Komposition ${}i_{Y}\circ f\colon (Z,\theta )\to (X,\tau )$ stetig ist.

Beweis

Eine Implikation folgt sofort, da die Komposition stetiger Abbildungen wieder stetig ist nach Fakt *****. Es sei also ${}i_{Y}\circ f$ stetig. Es ist zu zeigen, dass ${}f$ stetig ist. Es sei also ${}U\in \tau _{Y}$. Nach Definition der Unterraumtopologie gibt es ${}V\in \tau$ mit ${}V\cap Y=U$. Nun ist aber

${}V\cap Y=i_{Y}^{-1}(V)\,$

also ist nach Voraussetzung

${}f^{-1}(U)=f^{-1}(V\cap Y)=f^{-1}{\bigl (}i_{Y}^{-1}(V){\bigr )}=(i_{Y}\circ f)^{-1}(V)\in \theta \,.$

$\Box$

Ist ${}(X,d)$ ein metrischer Raum und ${}Y\subseteq X$ eine Teilmenge, so ist auch ${}(Y,e)$ ein metrischer Raum, wobei ${}e=d_{Y\times Y}$ die Einschränkung der Metrik von ${}X$ auf ${}Y$ ist. Die Unterraumtopologie von ${}Y$ bezüglich ${}(X,\tau _{d})$ stimmt überein mit der durch ${}e$ induzierten Topologie ${}\tau _{e}$.

Um sich mit Quotiententopologien zu beschäftigen, ist es erforderlich, den Begriff der Äquivalenzrelation verinnerlicht zu haben. Die folgende Sammlung von Definitionen kann dies nicht leisten.

Definition (Relation)

Es seien ${}X$ und ${}Y$ Mengen. Eine Relation zwischen ${}X$ und ${}Y$ ist eine Teilmenge ${}R\subseteq X\times Y$.

Abbildungen sind Relationen mit bestimmten Eigenschaften.

Definition (Äquivalenzrelation)

Eine Äquivalenzrelation auf einer Menge ${}X$ ist eine Relation ${}R\subseteq X\times X$, die die folgenden drei Eigenschaften besitzt:

• Es ist ${}(x,x)\in R\,\forall \,x\in X$
(Die Relation ist reflexiv).
• Ist ${}(x,y)\in R$, so ist auch ${}(y,x)\in R$
(Die Relation ist symmetrisch).
• Sind ${}(x,y)\in R$ und ${}(y,z)\in R$, so ist auch ${}(x,z)\in R$
(Die Relation ist transitiv).

Eine Äquivalenzrelation ${}R\subseteq X\times X$ auf einer Menge ${}X$ kann auch als Zerlegung der Menge ${}X$ aufgefaßt werden. Hierzu ist der Begriff der Äquivalenzklasse nützlich.

Definition (Äquivalenzklasse)

Es sei ${}R\subseteq M\times M$ eine Äquivalenzrelation und ${}x\in M$. Dann ist

${}[x]:={\left\{y\in M\mid (x,y)\in R\right\}}\,$

die Äquivalenzklasse von ${}x$ bezüglich ${}R$.

In Worten: ${}[x]$ ist die Teilmenge aller der Elemente von ${}X$, die zu ${}x$ äquivalent sind. Weil ${}R$ reflexiv ist, gilt ${}x\in [x]$. Insbesondere ist

${}X=\bigcup _{x\in X}[x]\,.$

Definition (Quotientenmenge)

Sei ${}R\subseteq M\times M$ eine Äquivalenzrelation. Dann heißt

${}M/R:={\left\{[x]\mid x\in M\right\}}\,$

die Quotientenmenge von ${}R$.

Weil ${}R$ symmetrisch und transitiv ist, folgt aus ${}[x]\cap [y]\neq \emptyset$ schon ${}[x]=[y]$. Insbesondere ist die Vereinigung ${}X=\bigcup _{[x]\in X/R}[x]$ eine disjunkte Vereinigung. In anderen Worten: ${}X/R$ ist eine Zerlegung von ${}X$ in die Äquivalenzklassen bezüglich ${}R$.

Definition (Kanonische Projektion)

Es sei ${}R\subseteq M\times M$ eine Äquivalenzrelation und ${}M/R$ die Quotientenmenge. Die Abbildung

$q_{R}\colon M\longrightarrow M/R,\,x\longmapsto [x],$

heißt kanonische Projektion von ${}R$.

Auf diese Weise sieht man, dass Äquivalenzrelationen ebenso als surjektive Abbildungen aufgefaßt werden können. Ist ${}R\subseteq X\times X$ eine Äquivalenzrelation und ${}f\colon X\to Z$ eine Abbildung mit ${}f(x)=f(y)\,\forall \,(x,y)\in R$, so gibt es genau eine Abbildung ${}g\colon X/R\to Z$ mit ${}g\circ q_{R}=f$. Man setzt ${}g{\bigl (}[x]{\bigr )}:=f(x)$, was nach Voraussetzung nicht von der Wahl des Repräsentanten ${}x\in [x]$ der Äquivalenzklasse abhängt.

Zurück zur Topologie.

Definition (Quotiententopologie)

Es sei ${}(X,\tau )$ ein topologischer Raum und ${}R\subseteq X\times X$ eine Äquivalenzrelation auf ${}X$. Es sei weiter ${}q_{R}\colon X\to X/R$ die kanonische Projektion auf die Quotientenmenge. Folgende Vorschrift definiert eine Topologie ${}\tau _{R}$ auf ${}X/R$: Für eine Teilmenge ${}U\subseteq Y$ gilt ${}U\in \tau _{R}$ genau dann, wenn ${}q_{R}^{-1}(U)\in \tau$ gilt. Es läßt sich leicht nachweisen, dass ${}\tau _{R}$ eine Topologie ist. Sie heißt Quotiententopologie, und der topologische Raum ${}(X/R,\tau _{R})$ ist ein Quotientenraum von ${}(X,\tau )$.

Die Quotiententopologie ist so definiert, dass die kanonische Projektion stetig ist (alles andere wäre ja auch ziemlich idiotisch). Aber auch die indiskrete Topologie auf der Quotientenmenge hätte die Eigenschaft, dass die kanonische Projektion stetig ist. Was die Quotiententopologie auszeichnet, ist die folgende Eigenschaft.

Satz (Universelle Eigenschaft der Quotiententopologie)

Es sei ${}(X,\tau )$ ein topologischer Raum und ${}R\subseteq X\times X$ eine Äquivalenzrelation. Es sei weiter ${}(Z,\theta )$ ein topologischer Raum und ${}f\colon X/R\to Z$ eine Abbildung.

Die Abbildung ${}f\colon (X/R,\tau _{R})\to (Z,\theta )$ ist stetig bezüglich der Quotiententopologie genau dann, wenn die Komposition ${}f\circ q_{R}\colon (X,\tau )\to (Z,\theta )$ stetig ist.

Beweis

Eine Implikation folgt sofort, da die Komposition stetiger Abbildungen wieder stetig ist nach Fakt *****. Es sei also ${}f\circ q_{R}$ stetig. Es ist zu zeigen, dass ${}f$ stetig ist. Es sei also ${}U\in \theta$. Nach Definition der Quotiententopologie ist ${}f^{-1}(U)\in \tau _{R}$ genau dann, wenn ${}q_{R}^{-1}{\bigl (}f^{-1}(U){\bigr )}\in \tau$. Letzteres gilt nach Voraussetzung.

$\Box$

Eine stetige Abbildung auf einem Quotientenraum ${}X/R$ konstruiert man, indem eine stetige Abbildung auf ${}X$ konstruiert wird, die mit der Äquivalenzrelation verträglich ist.

Beispiel

Es sei ${}I=[0,1]$ das Einheitsintervall (versehen mit der üblichen Topologie) und

${}R:=[0,1)\times [0,1)\cup \{(1,1)\}\subseteq I\times I\,$

die von ${}x\sim y\Leftrightarrow x<1,y<1$ erzeugte Äquivalenzrelation. Die Quotientenmenge ${}I/R$ hat also genau zwei Elemente: Die Äquivalenzklasse ${}[0]=[0,1)$, und die Äquivalenzklasse ${}[1]=\{1\}$. Die Quotiententopologie besteht also aus den Mengen ${}{\bigl \lbrace }\emptyset ,\{[0]\},I/R{\bigr \rbrace }$. Die Menge ${}\{[0]\}$ ist offen, weil das Urbild ${}q_{R}^{-1}{\bigl (}[0]{\bigr )}=[0,1)$ offen ist in ${}I$. Der topologische Raum ${}I/R$ sieht also genau so aus wie der Sierpinski-Raum von Fakt *****. Wie wir später sehen werden, ist die Topologie des Quotientenraumes ${}I/R$ nicht von einer Metrik induziert, obwohl ${}I$ ein metrischer Raum ist. Der Quotientenraum eines metrischen Raumes ist also nicht notwendigerweise ein metrischer Raum. Dies ist ein wesentlicher Vorteil topologischer Räume.

Der folgende Quotientenraum (und gewisse Verwandte, die später auftauchen) ist einer der wichtigsten topologischen Räume überhaupt.

Beispiel (Reell projektiver Raum)

Es sei ${}n\in \mathbb {N}$ und ${}X=\mathbb {R} ^{n+1}\smallsetminus \{0\}$. Der euklidische Raum ${}\mathbb {R} ^{n+1}$ ist ein reeller Vektorraum, wobei die Skalarmultiplikation von ${}\lambda \in \mathbb {R}$ und ${}x\in \mathbb {R} ^{n+1}$ mit ${}\lambda \cdot x$ bezeichnet wird. Es sei weiter

${}R:=\{(x,y)\in X\times X\colon \,\exists \,\lambda \in \mathbb {R} \smallsetminus \{0\}{\text{ mit }}\lambda \cdot x=y\}\,.$

Dies ist eine Äquivalenzrelation, denn

1. ${}1\in \mathbb {R} \smallsetminus \{0\}$,
2. ${}\lambda ^{-1}\in \mathbb {R} \smallsetminus \{0\}\,\forall \,\lambda \in \mathbb {R} \smallsetminus \{0\}$,
3. ${}\lambda \mu \in \mathbb {R} \smallsetminus \{0\}\,\forall \,\lambda ,\mu \in \mathbb {R} \smallsetminus \{0\}$, und
4. die Skalarmultiplikation ist assoziativ.

Die Quotientenmenge, versehen mit der Quotiententopologie, heißt reell-projektiver Raum (der reellen Dimension ${}n$) und wird mit ${}\mathbb {RP} ^{n}$ bezeichnet. Einen Punkt im ${}\mathbb {RP} ^{n}$ kann man sich als Gerade durch den Nullpunkt im ${}\mathbb {R} ^{n+1}$ vorstellen.

Um die universelle Eigenschaft der Quotiententopologie zu illustrieren, sei ${}R\subseteq I\times I$ die von ${}0\sim 1$ erzeugte Äquivalenzrelation auf dem Einheitsintervall. Anschaulich sollte der Quotientenraum ${}I/R$, das Einheitsintervall mit identifizierten Endpunkten, praktisch dasselbe sein wie der Kreis ${}S^{1}$. Dem ist auch so. Man präzisiert dies auf folgende Weise.

Definition (Topologische Äquivalenz)

Eine stetige Abbildung ${}f\colon X\to Y$ topologischer Räume ist eine topologische Äquivalenz, wenn es eine stetige Abbildung ${}g\colon Y\to X$ gibt, so dass die Gleichungen ${}g\circ f=\mathrm {id} _{X}$ und ${}f\circ g=\mathrm {id} _{Y}$ gelten.

Eine topologische Äquivalenz zwischen einem Quotientenraum und einem anderen Raum konstruiert man am besten weg vom Quotientenraum. Gesucht ist also eine stetige Abbildung ${}I\to S^{1}$, die mit der Äquivalenzrelation ${}R$ verträglich ist. Ein Kandidat ist die Exponentialabbildung ${}\exp(x)=e^{2\pi ix}={\bigl (}\cos(2\pi x),\sin(2\pi x){\bigr )}$, denn

${}e^{2\pi i0}=1=e^{2\pi i}\,.$

Die Exponentialabbildung induziert also eine Abbildung ${}f\colon I/R\to S^{1}$ Aus der Analysis ist bereits bekannt, dass die Exponentialabbildung stetig ist. Nach der universellen Eigenschaft der Quotiententopologie ist also auch ${}f$ stetig. Da ${}\exp \colon I\to S^{1}$ schon surjektiv ist, ist ${}f$ erst recht surjektiv. Und ${}f$ ist injektiv, denn es ist ${}(x,y)\in R\Leftrightarrow \exp(x)=\exp(y)$. Weil die Abbildung ${}f$ bijektiv ist, besitzt sie eine Umkehrabbildung. Sei diese ${}g\colon S^{1}\to I/R$. Es bleibt nun zu zeigen, dass ${}g$ stetig ist. Sei also ${}U\subseteq I/R$ offen. Es ist zu zeigen, dass ${}g^{-1}(U)=f(U)$ offen ist. Ist ${}U=\emptyset$, so gibt es nichts zu tun. Sei also ${}[x]\in U$. Es ist zu zeigen, dass ${}f(U)$ eine offene ${}\epsilon$-Kugel um ${}f([x])\in S^{1}$ enthält.

1. Sei ${}[x]\neq [0]$. Dann ist ${}q_{R}^{-1}(U)\subseteq I$ nach Definition der Quotiententopologie eine offene Menge, die ${}x$ enthält. Es gibt also ein ${}\delta >0$ mit der Eigenschaft, dass ${}(x-\delta ,x+\delta )\subseteq q_{R}^{-1}(U)$. Dann ist aber

   ${}f([x])=\exp(x)\in \exp {\bigl (}(x-\delta ,x+\delta ){\bigr )}\,$

   und letzteres ist der Schnitt einer offenen ${}\epsilon$-Kugel in ${}\mathbb {R} ^{2}$ um ${}\exp(x)$ mit ${}S^{1}$.

2. Sei ${}[x]=[0]=[1]$. Weil ${}U$ offen ist in der Quotiententopologie, ist ${}q_{R}^{-1}(U)\subseteq I$ offen. Da ${}\{0,1\}\subseteq q_{R}^{-1}(U)$ gibt es ein ${}\delta >0$ derart, dass ${}[0,\delta )\cup (1-\delta ,1]\subseteq q_{R}^{-1}(U)$. Dann ist aber

   ${}1=f([0])=\exp(0)\in \exp {\bigl (}(-\delta ,\delta ){\bigr )}\,$

   und letzteres ist der Schnitt einer offenen ${}\epsilon$-Kugel in ${}\mathbb {R} ^{2}$ um ${}1$ mit ${}S^{1}$.

Somit ist auch die Umkehrabbildung von ${}f$ stetig. Dies beendet den Nachweis der topologischen Äquivalenz zwischen ${}S^{1}$ und ${}I/R$ für ${}R=0\sim 1$.

Beispiel (Warnung)

Es sei ${}f\colon [0,1)\to S^{1}$ die Einschränkung der Exponentialabbildung auf das halboffene Intervall ${}[0,1)$. Diese Abbildung ist stetig und bijektiv, aber die Umkehrabbildung ${}g$ ist nicht stetig. Denn es ist ${}e^{2\pi i{\frac {-1}{n}}}$ eine Folge mit

${}\lim _{n\geq 2}e^{2\pi i{\frac {-1}{n}}}=1{\text{ und }}\lim _{n\geq 2}g(e^{2\pi i{\frac {-1}{n}}})=\lim _{n\geq 2}{\frac {n-1}{n}}=1\neq g(1)=0\,.$

Dieses Phänomen tritt bei Gruppenhomomorphismen nicht auf. Ist ${}\phi$ ein bijektiver Gruppenhomomorphismus, so ist die Umkehrabbildung automatisch ein Gruppenhomomorphismus. In der kommenden Veranstaltung werden wir topologische Kriterien erarbeiten, die dieses pathologische Phänomen ausschließen.