## [Quotientenabbildung](/de/node/60465) Definition Eine surjektive stetige Abbildung q : X -> Y, die Y mit der Quotiententopologie versieht: Eine Teilmenge U von Y ist genau dann offen, wenn q^{-1}(U) in X offen ist. Äquivalent ist q final für stetige Abbildungen von X, identifiziert Punkte gemäß einer Äquivalenzrelation und macht Y zum gröbsten Raum, in dem q stetig ist. ## Prinzip Prinzip Das ordnende Prinzip ist Finalität: Y erhält die feinste Topologie, die q stetig macht, sodass die Topologie auf Y vollständig durch saturierte offene Mengen auf der Quelle bestimmt wird. Quotientenabbildungen realisieren Identifikationen und sind das kategoriale Vorwärtstransportieren topologischer Struktur entlang einer Surjektion. ## Demonstration Demonstration Ein Standardbeispiel ist die kanonische Projektion [0,1] -> S^1, die 0 und 1 identifiziert; ein anderes ist die Abbildung, die einen Raum auf die Menge seiner Äquivalenzklassen unter einer Gruppenwirkung abbildet, mit der Quotiententopologie; diese Konstruktionen erzeugen neue Räume durch Zusammenfallenlassen oder Verkleben von Teilmengen. ## Fehlanwendung Fehlanwendung Die Annahme, jede surjektive stetige Abbildung sei eine Quotientenabbildung, oder dass Quotientenabbildungen Trenn-Eigenschaften (z. B. Hausdorff-Eigenschaft) erhalten, ist ein Irrtum: Surjektivität allein garantiert nicht die Finalitätseigenschaft, und Quotienten von Hausdorff-Räumen müssen nicht hausdorffsch sein, sofern die Äquivalenzrelation nicht abgeschlossen ist oder andere Voraussetzungen fehlen. ## Konsequenz Konsequenz Die korrekte Verwendung von Quotientenabbildungen ermöglicht die Konstruktion neuer Räume, die Bildung von Bahnenräumen und Identifikationsräumen sowie die Übertragung stetiger Strukturen; sie klärt, wann Funktionen auf den Quotienten hinabsteigen und liefert die universelle Eigenschaft für Abbildungen aus dem Quotienten heraus. ## Umkehrung Umkehrung Das Gegenteil betont Einbettungen und Injektionen: statt Punkte zusammenzufalten, um eine gröbere Topologie zu erhalten, erzeugt eine Einbettung eine feinere Teilraumtopologie, indem sie einen Raum in einen anderen ohne Identifikation einfügt. ## Abgrenzung Abgrenzung Quotientenabbildungen gehören zur allgemeinen Topologie und benötigen lediglich Stetigkeit und Surjektivität; sie erfordern keine lokale Trivialität, Mannigfaltigkeitsstruktur oder gute Trennungseigenschaften, und pathologische Quotiententopologien können auf beliebigen Räumen entstehen. ## Semantische Spannung Semantische Spannung Die Quotientenabbildung steht in Spannung zu Projektionen in der glatten Kategorie und zu Überlagerungen: während Quotienten durch Identifizierung gröbere Topologien erzeugen, können differenzierbare Projektionen Submersionen oder Bündel mit zusätzlicher glatter Struktur sein, die Quotientenabbildungen nicht notwendigerweise besitzen. ## Synthese Synthese Eine Quotientenabbildung ist der topologische Mechanismus zur Bildung von Identifikationsräumen: Sie transportiert offene Mengen über Urbilderbedingungen vorwärts, stattet das Ziel mit der Finaltopologie aus, ermöglicht systematisches Verkleben und Zusammenfallenlassen und bestimmt, wann Strukturen und Funktionen durch die Identifikation hindurch absteigen.