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.
Definición
La definición de homeomorfismo es la siguiente:
|
Si es un homeomorfismo, se dice homeomorfo a . Si dos espacios son homeomorfos entonces tienen exactamente las mismas propiedades topológicas. Desde el punto de vista de la teoría de categorías, dos espacios que son homeomorfos son iguales topológicamente hablando.
Difeomorfismo
Un difeomorfismo es un homeomorfismo diferenciable entre variedades diferenciables cuya inversa también es diferenciable; es decir, es un isomorfismo de variedades diferenciables. Los cambios de coordenadas constituyen un caso particular de difeomorfismo.
Un ejemplo para distinguir entre homeomorfismo y difeomorfismo:
- Una circunferencia y el perímetro de un cuadrado son homeomorfos, pero no difeomorfos.
También:
- Dos curvas cualesquiera, en el espacio, son homeomorfas, en el sentido que existe un homeomorfismo entre ellas.
- Dos volúmenes tipo «taza de café con asa» y un «toro» (o «dónut») son homeomorfos.
- Un cambio de coordenadas regular puede representarse como un difeomorfismo entre los respectivos dominios de las coordenadas.
En física los difeomorfismos son ampliamente usados:
- En mecánica hamiltoniana el flujo asociado a la evolución temporal de un sistema mecánico es un difeomorfismo. También cualquier transformación canónica es un difeomorfismo.
- En mecánica de medios continuos la deformación es un difeomorfismo desde una configuración inicial a la configuración final. El conjunto de todos estos difeomorfismos forma un grupo de Lie de dimensión infinita.
- En Relatividad general la evolución del espacio-tiempo viene dada por un grupo uniparamétrico de difeomorfismos. El grupo de norma de la relatividad general es el grupo de difeomorfismos que además son isometrías.
Véase también
- Encaje
- Morfismo
- Glosario de topología
- Homeomorfismo local
- Espacio cubriente
- Homotopía, deformación continua
- Homeotopía, grupo de auto-homeomorfismos de un espacio, módulo isotopía
- Tipo homotópico
- Topología combinatoria
- Clasificación de Nielsen-Thurston
Enlaces externos
- Weisstein, Eric W. «Homeomorphism». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.