## [Aplicación Cociente](/es/node/60465) Definición 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 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 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 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 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 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 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 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 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.