thumb|Ilustración de un espacio cociente, S2, obtenida por pegado del contorno (en azul) del disco D2 a un solo punto.
En matemáticas, la topología cociente consiste intuitivamente en crear una topología pegando ciertos puntos sobre otros, en un espacio dado, por medio de una relación de equivalencia bien definida. El nuevo espacio así generado recibe el nombre de espacio cociente. Ejemplos conocidos son el toro matemático o la banda de Möbius.
Definición
Sean un espacio topológico y una relación de equivalencia sobre . El conjunto cociente es el conjunto de clases de equivalencia de los elementos de :
Los conjuntos abiertos que conforman la llamada topología cociente sobre son los conjuntos de las clases de equivalencia cuyas uniones son conjuntos abiertos en :
Definición equivalente: sea la aplicación proyección dada por , se definen los abiertos de como los conjuntos tales que es abierto. Es decir, un conjunto de clases de equivalencia es abierto si los elementos que las forman son un conjunto abierto de la topología original.
Propiedades
La aplicación proyección al cociente que envía a cada elemento a su clase de equivalencia correspondiente es continuay la topología cociente es la más fina que se puede definir en que cumple esto. Es decir, la topología cociente es la topología final respecto a la proyección al cociente. Sean la proyección al cociente y una aplicación. Entonces, la aplicación es continua si, y sólo si, la composición es continua. La propiedad universal: La topología cociente es la única topología que cumple que para cualquier espacio topológico (Z, T) y cualquier función g:(Y, ) (Z, T) se tiene que g es continua si y sólo si es continua
Ejemplos En los siguientes ejemplos los homeomorfismos se construyen primero deformando el espacio cociente sin tener en cuenta la relación de equivalencia (cortándola) y después pegando los trozos que estaban relacionados. Es decir, estamos admitiendo que podemos construir un homeomorfismo entre dos espacios cociente a partir de uno entre los espacios originales siempre y cuando los elementos relacionados antes y después del homeomorfismo sean los mismos. Este resultado, que justifica que las construcciones siguientes son correctas, se conoce como lema de cortar y pegar, y se demuestra a continuación
El toro como conjunto cociente: Sobre se define la relación de equivalencia y . El espacio cociente es homeomorfo a un toro.
La banda de Möbius como conjunto cociente: Sobre se define la relación de equivalencia . El espacio cociente es homeomorfo a una banda de Möbius.
La botella de Klein como conjunto cociente: Sobre se define la relación de equivalencia y . El espacio cociente es homeomorfo a una botella de Klein (es difícil de visualizar puesto que no se puede representar en sin autointersecarse de la misma manera que la banda de Möbius tampoco puede en ).
La esfera como conjunto cociente: Sobre (cuadrado de vértices ) se define la relación de equivalencia para de la frontera. El espacio cociente correspondiente es homeomorfo a una esfera.
Referencias
Bibliografía Robles Corbalá Carlos Alberto, "Topología general" primera edición Universidad de Sonora.
Enlaces externos
incluyendo un capítulo sobre espacios cocientes.
Categoría:Topología Categoría:Teoría de funciones continuas