quotient topology

Sei ein topologischer Raum \((Y, \mathcal{T})\) und eine Äquivalenzrelation \(\sim\) auf \(Y\) gegeben. Sei dann \(\pi: Y \rightarrow Y/~\) die kanonische Abbildung in den Faktorraum. Die $ Finaltopologie\mathcal{T}_∼$ zur Abbildung \(\pi: Y \rightarrow Y/\sim\) wird Quotiententopologie zu \(Y\) und \(\sim\) genannt.