Homeomorfismo
De Wikipedia, la enciclopedia libre
Este término no debe confundirse con homomorfismo.
En la topología, un homeomorfismo es un isomorfismo topológico. Estos isomorfismos, son la herramienta principal para estudiar las propiedades de los espacios topológicos. Los criterios intuitivos de estirar, doblar, cortar y pegar toma una cierta cantidad de práctica para aplicarse correctamente: deformar un segmento de linea hasta un punto no es permitido, por ejemplo. Contraer de manera continua un intervalo hasta un punto es otro proceso topológico de deformación llamado homotopía.
Más exactamente, suponga que X y Y son espacios topológicos, y f una función de X a Y. Entonces f es un homeomorfismo si y sólo si se cumple lo siguiente:
Si es un homeomorfismo, Y se dice homeomorfo a X. 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.
Un difeomorfismo es un homeomorfismo diferenciable entre variedades diferenciables. Sólo por ilustrar y contrastar: el borde de un disco y el borde de un cuadrado son homeomorfos, mas no difeomorfos.
[editar] 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 diferencial
- geometría diferencial
- Clasificación de Nielsen-Thurston
- mapping class group
- homeotopía