Die Topologie auf der Quotientenmenge Y = X/∼, bestimmt als die gröbste Topologie, welche die kanonische Projektion q: X → Y stetig macht; eine Teilmenge V ⊂ Y ist genau dann offen, wenn q^{-1}(V) offen in X ist.

Prinzip

Statte Y mit der finalen/coinduzierten Topologie bezüglich q aus, sodass stetige Abbildungen von X, die auf Äquivalenzklassen konstant sind, eindeutig über Y faktorisieren.

Demonstration

Bilde den Kreis S^1 als Quotient des Intervalls [0,1] durch Identifikation 0 ∼ 1; eine Menge in S^1 ist offen genau dann, wenn ihr Urbild in [0,1] offen ist, was die erwartete Kreis‑Topologie liefert.

Fehlanwendung

Zu erwarten, dass die Quotientenprojektion automatisch offen oder abgeschlossen ist; zwar gilt dies in manchen Fällen, doch folgt es nicht allgemein aus der Definition.

Konsequenz

Quotientenräume erfassen Identifikationen effizient: stetige Abbildungen vom Quotienten entsprechen bijektiv den stetigen Abbildungen von X, die auf Äquivalenzklassen konstant sind; topologische Invarianten müssen nach der Identifikation betrachtet werden.

Umkehrung

Gibt man Y eine feinere Topologie als die Quotiententopologie (z. B. welche Äquivalenzklassen trennt), hebt man die Identifikation auf und macht die Projektion in der Regel unstetig oder nicht universell bezüglich Faktorisierung.

Abgrenzung

Die Konstruktion erfordert eine Surjektion q: X → Y (oder eine Äquivalenzrelation auf X); sie legt nicht fest, wie Identifikationen zu wählen sind, und schließt Topologien auf Y aus, die q nicht im finalen Sinne stetig machen.

Semantische Spannung

Spannung besteht zwischen Quotienten‑ und Unterraumkonstruktionen: Die Unterraumtopologie ist eine initiale Topologie (hinsichtlich Einbettung), die Quotiententopologie ist final; Verwechslungen führen zu falschen Aussagen über Stetigkeit und Fortsetzbarkeit.

Synthese

Die Quotiententopologie ist die kanonische Methode, eine Menge von Äquivalenzklassen so zu topologisieren, dass die Projektion aus dem Ursprungstraum stetig und universell zur Faktorisierung von auf Klassen konstanten Abbildungen ist: Offene Mengen oben bestimmen die Offenen unten durch Urbild.