Homeomorfismo

En topología, un homeomorfismo (del griego ὅμοιος (homoios) = misma y μορφή (morphē) = forma) es una biyección entre dos espacios topológicos por una aplicación biyectiva que es continua y cuya inversa es continua. En este caso, los dos espacios topológicos se dicen homeomorfos. Las propiedades de estos espacios que se conservan bajo homeomorfismos se denominan propiedades topológicas.En la categoría de espacios topológicos, los morfismos son las funciones continuas y los isomorfismos son los homeomorfismos. Consecuentemente, la composición de dos homeomorfismos es de nuevo un homeomorfismo, y el conjunto de todos los homeomorfismos h:X → X de un espacio en sí mismo forman un grupo llamado grupo de homeomorfismos de X, que suele notarse como Homeo(X). De modo intuitivo, el concepto de homeomorfismo refleja cómo dos espacios topológicos son «los mismos» vistos de otra manera: permitiendo estirar, doblar o cortar y pegar. Sin embargo, los criterios intuitivos de «estirar», «doblar», «cortar y pegar» requieren de cierta práctica para aplicarlos correctamente. Deformar un segmento de línea hasta un punto no está permitido, por ejemplo. Contraer de manera continua un intervalo hasta un punto es otro proceso topológico de deformación llamado homotopía.