Topologia Quoziente

Topologia Quoziente

Sia $X$ uno spazio topologico e $\sim$ una relazione di equivalenza su $X$.
Sia $\pi :X\to {}^X{/}_{\sim }$
Allora esiste una topologia ${\tau }^{\prime }=\left\{U\in {}^X{/}_{\sim }|{\pi }^{-1}(U)\in \tau \right\}$ in virtù del Teorema sulla topologia relativa a una mappa quoziente. Tale topologia si chiama Topologia Quoziente