Quotiententopologie

Die Quotiententopologie (auch Identifizierungstopologie genannt) ist ein Begriff aus dem mathematischen Teilgebiet der Topologie. Anschaulich entsteht diese Topologie, wenn man Punkte „zusammenklebt“, d.h. zwei ehemals verschiedene Punkte als ein und denselben Punkt identifiziert. Solche Punkte werden mittels Äquivalenzrelationen festgelegt. Das geschieht im Allgemeinen, um neue topologische Räume aus bestehenden abzuleiten. Zu einer Verallgemeinerung dieser Konstruktion vergleiche den Artikel Finaltopologie.

Definition

Es sei ein topologischer Raum und $q\colon X\to Y$ eine surjektive Abbildung von Mengen. Dann ist die durch induzierte Quotiententopologie auf diejenige, in der eine Teilmenge $U\subseteq Y$ genau dann offen ist, wenn das Urbild $q^{{-1}}(U)$ offen ist.

Eigenschaften

Die Quotiententopologie ist die feinste Topologie auf , für die die Abbildung stetig ist.
Versieht man mit der Quotiententopologie, so ist eine Quotientenabbildung: Ist ein weiterer topologischer Raum und $f\colon Y\to Z$ eine Abbildung der zugrundeliegenden Mengen, so ist genau dann stetig, wenn $f\circ q$ stetig ist (universelle Eigenschaft der Quotiententopologie):

universelle Eigenschaft der Quotiententopologie

Wichtige Spezialfälle

Ist $\sim$ eine Äquivalenzrelation auf einem topologischen Raum, so versieht man die Menge $X/{\sim }$ der Äquivalenzklassen meist ohne weitere Erwähnung mit der von der kanonischen Abbildung $X\to X/{\sim }$ induzierten Quotiententopologie.
Ist insbesondere eine topologische Gruppe und eine Untergruppe von , so versieht man die homogenen Räume und $H\backslash G$ mit der Quotiententopologie.
Zusammenschlagen eines Teilraumes zu einem Punkt: Ist ein topologischer Raum und eine Teilmenge von , so bezeichnet die Menge der Äquivalenzklassen bezüglich der Äquivalenzrelation, bei der zwei Punkte $x_{1},x_{2}\in X$ äquivalent heißen, wenn sie gleich sind oder beide in liegen. Die Abbildung $X\to X/Z$ ist außerhalb von injektiv, und das Bild von ist ein einzelner Punkt.

Beispiele

Es sei das Einheitsintervall und $Y=S^{1}=\{(x,y)\in {\mathbb R}^{2}\mid x^{2}+y^{2}=1\}$ die Einheitskreislinie. Dann ist die durch die Abbildung

$f\colon X\to Y,\quad t\mapsto (\cos 2\pi t,\sin 2\pi t)$

induzierte Quotiententopologie auf gleich der Teilraumtopologie von als Teilmenge von $\mathbb R^2$ .

Ist das Einheitsintervall und $Z=\{0,1\}\subset X$ , so ist der durch Zusammenschlagen von zu einem Punkt entstehende Raum homöomorph zur Kreislinie $S^{1}$ . Dies ist im Wesentlichen dasselbe wie das erste Beispiel, jedoch waren dort die Zielmenge und die Abbildung schon explizit gegeben, hier entstand sie erst durch die beim Zusammenschlagen implizite Äquivalenzrelation.
Der homogene Raum ${\mathbb R}/{\mathbb Z}$ ist ebenfalls homöomorph zur Kreislinie $S^{1}.$
Im Gegensatz dazu besteht der Raum, den man erhält, wenn man die Teilmenge $\mathbb {Z}$ von $\mathbb {R}$ zu einem Punkt zusammenschlägt, anschaulich gesprochen aus abzählbar unendlich vielen Kreisen, die in einem Punkt zusammengeklebt wurden.
Ist $\phi \colon A\to B$ eine ganze Ringerweiterung, so ist die durch die induzierte stetige Spektrenabbildung $\operatorname {Spec} (\phi )\colon \operatorname {Spec} (B)\twoheadrightarrow \operatorname {Spec} (A)$ induzierte Quotiententopologie auf $\operatorname {Spec(A)}$ identisch mit der Zariski-Topologie auf diesem Raum.

Basierend auf einem Artikel in:

Wikipedia.de