La topología en el conjunto cociente Y = X/∼ determinada como la topología más grosera que hace continua la proyección canónica q: X → Y; un subconjunto V ⊂ Y es abierto si y sólo si q^{-1}(V) es abierto en X.

Principio

Dotar a Y de la topología final/coinducida respecto de q de modo que las aplicaciones continuas desde X que son constantes en las clases de equivalencia se factorizan de forma única a través de Y.

Demostración

Construir el círculo S^1 como el cociente del intervalo [0,1] identificando 0 ∼ 1; un conjunto en S^1 es abierto exactamente cuando su preimagen en [0,1] es abierta, dando la topología circular esperada.

Aplicación incorrecta

Suponer que la proyección cociente es automáticamente abierta o cerrada; aunque algunos mapas cociente lo son, esa propiedad debe comprobarse y no deduce de la definición en general.

Consecuencia

Los espacios cociente codifican identificaciones de forma eficaz: las aplicaciones continuas desde el cociente corresponden biunívocamente a las continuas desde X constantes en cada clase; los invariantes topológicos deben evaluarse tras la identificación.

Inversión

Tratar Y con una topología más fina que la topología cociente (p. ej. que separa clases de equivalencia) deshace la identificación y normalmente hace la proyección discontinua o no universal para factorizaciones.

Límite

La construcción requiere una sobreyección q: X → Y (o una relación de equivalencia en X); no prescribe cómo elegir las identificaciones y excluye topologías en Y que no hagan q continua en el sentido final.

Tensión semántica

Hay tensión entre las construcciones de cociente y de subespacio: la topología de subespacio es una topología inicial (respecto a la inclusión), mientras que la topología cociente es final; confundirlas conduce a errores sobre continuidad y extensión.

Síntesis

La topología cociente es la manera canónica de dotar a un conjunto de clases de equivalencia de una topología tal que la proyección desde el espacio original sea continua y universal para factorización de aplicaciones constantes en las clases: los abiertos del espacio original determinan los abiertos del cociente por preimagen.