Una aplicación continua suprayectiva q : X -> Y que dota a Y de la topología cociente: un subconjunto U de Y es abierto si y solo si q^{-1}(U) es abierto en X. Equivalentemente, q es final para aplicaciones continuas desde X, identificando puntos según una relación de equivalencia y haciendo de Y el espacio más grueso para el que q es continua.

Principio

El principio organizador es la finalidad: Y recibe la topología más fina que hace continua a q, de modo que la topología en Y está determinada por conjuntos abiertos saturados en X. Las aplicaciones cociente implementan identificaciones y son el transporte categórico de la estructura topológica a lo largo de una sobreyección.

Demostración

Un ejemplo estándar es la proyección canónica [0,1] -> S^1 que identifica 0 con 1; otro es la aplicación que envía un espacio al conjunto de sus clases de equivalencia bajo una acción de grupo, con la topología cociente; estas construcciones crean nuevos espacios colapsando o pegando subconjuntos.

Aplicación incorrecta

Asumir que toda aplicación continua suprayectiva es una aplicación cociente, o que las aplicaciones cociente preservan propiedades de separación (por ejemplo, ser Hausdorff) es un error: la suprayectividad por sí sola no garantiza la propiedad de topología final, y los cocientes de espacios Hausdorff no tienen por qué ser Hausdorff salvo que la relación de equivalencia sea cerrada u otras condiciones se cumplan.

Consecuencia

El uso correcto de aplicaciones cociente permite construir nuevos espacios, formar espacios de órbitas y espacios de identificación, y transferir estructuras continuas; clarifica cuándo las funciones descienden al cociente y proporciona la propiedad universal para aplicaciones desde el cociente.

Inversión

El concepto inverso enfatiza inmersiones e inyecciones: en lugar de colapsar puntos para producir una topología más gruesa, una inmersión induce una topología de subespacio más fina al insertar un espacio en otro sin identificación.

Límite

Las aplicaciones cociente viven en la topología general y requieren solo continuidad y suprayectividad; no requieren trivialidad local, estructura de variedad ni buenas propiedades de separación, y pueden surgir topologías cociente patológicas en espacios arbitrarios.

Tensión semántica

La aplicación cociente entra en tensión con proyecciones en la categoría suave y con recubrimientos: mientras que los cocientes crean topologías más gruesas por identificación, las proyecciones diferenciables pueden ser submersiónes o fibrados con estructura suave adicional que las aplicaciones cociente no poseen necesariamente.

Síntesis

Una aplicación cociente es el mecanismo topológico para formar espacios por identificación: empuja abiertos mediante la condición de preimagen para dotar al objetivo de la topología final, permitiendo operaciones sistemáticas de pegado y colapso y determinando cuándo estructuras y funciones descienden a través de la identificación.