Differenze tra le versioni di "Topologia quoziente"

→‎Definizione: corr idsamb
Etichette: Modifica da mobile Modifica da web per mobile
(→‎Definizione: corr idsamb)
* La topologia su <math>X/{\sim}</math> è la topologia più [[Relazione di finezza|fine]] fra tutte quelle che rendono la mappa <math>q</math> continua.
* Analogamente possiamo definire la topologia quoziente sfruttando una sua "proprietà universale".
La topologia quoziente è l'unica topologia con questa proprietà: se <math>g : X \to Z</math> è una [[Funzione (matematica)|funzione]] insiemistica (qualsiasi) tale che <math>a \sim b</math> implica <math>g(a) = g(b)</math> per ogni <math>a</math> e <math>b</math> in <math>X</math>, allora esiste una unica funzione <math>f : X/{\sim} \to Z</math> tale che <math>g = f \circ q</math> per cui valga: <math>f</math> è continua se e solo se <math>g</math> è continua.
 
Nell'ultima definizione, diciamo che <math>g</math> ''scende al quoziente''.