Zum Inhalt springen

Topologie/Grundbegriffe/Quotiententopologie/Definition

Aus Wikiversity
Quotiententopologie

Es sei ein topologischer Raum und eine Äquivalenzrelation auf . Es sei weiter die kanonische Projektion auf die Quotientenmenge. Folgende Vorschrift definiert eine Topologie auf : Für eine Teilmenge gilt genau dann, wenn gilt. Es läßt sich leicht nachweisen, dass eine Topologie ist. Sie heißt Quotiententopologie, und der topologische Raum ist ein Quotientenraum von .