Topologia quoziente: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Sostituisco il grafico con la versione SVG |
||
Riga 8:
Sia ''q'' : ''X'' → ''X''/~ la proiezione che manda ogni elemento di ''X'' nella sua classe. Elenchiamo alcune definizioni equivalenti di topologia quoziente sull'insieme ''X''/~:
[[File:QuotientSpace-01.
* Un insieme in ''X''/~ è aperto se e solo se lo è la sua controimmagine tramite ''q'' in ''X''.
* La topologia su ''X''/~ è la topologia più [[Relazione di finezza|fine]] fra tutte quelle che rendono la mappa ''q'' continua.
| |||