Una aplicación biyectiva y continua entre espacios topológicos que tiene una inversa continua, estableciendo una equivalencia topológica entre los espacios.

Principio

Equivalencia topológica: dos espacios se consideran iguales salvo deformaciones continuas (estiramiento, doblado, pero no rasgado ni pegado) cuando existe un homeomorfismo entre ellos.

Demostración

El intervalo abierto (0,1) es homeomorfo a la recta real R mediante una biyección continua con inversa continua (por ejemplo x ↦ tan(pi(x-1/2))), mostrando que comparten propiedades topológicas como conectividad y comportamiento de base numerable.

Aplicación incorrecta

Afirmar que dos espacios son homeomorfos basándose únicamente en invariantes compartidos como la misma cardinalidad o la característica de Euler sin presentar una biyección continua con inversa—esos invariantes son necesarios pero no suficientes.

Consecuencia

Un homeomorfismo preserva todas las propiedades topológicas: continuidad, compacidad, conectividad, conectividad local, axiomas de separación y existencia de bases; las demostraciones pueden trasladarse directamente entre espacios homeomorfos.

Inversión

La inversa de un homeomorfismo es a su vez un homeomorfismo; invertir la dirección intercambia origen y destino conservando la relación de equivalencia.

Límite

El homeomorfismo es una noción dentro de la topología; excluye relaciones más débiles (sobreyectivas continuas sin inversa continua) y equivalencias más estrictas geométricas/diferenciables (isometría, difeomorfismo) que requieren estructura métrica o suave.

Tensión semántica

Homeomorfismo vs difeomorfismo/isometría: el homeomorfismo solo considera la continuidad, por lo que espacios pueden ser homeomorfos sin ser difeomorfos o isométricos cuando se requiere estructura adicional (suavidad, métrica).

Síntesis

Un homeomorfismo es la noción canónica de igualdad en topología: una deformación continua reversible que ofrece una correspondencia biyectiva preservando rasgos puramente topológicos y despreciando refinamientos métricos o suaves.