Homeomorfismo

Sean $X$ e $Y$ dos espacios topológicos. Una aplicación $f : X \to Y$ se dice que es un homeomorfismo si es biyectiva, continua y su inversa $f^{- 1}$ también es continua.

En este caso, decimos que $X$ e $Y$ son homeomorfos. Una propiedad que se conserva por homeomorfismos decimos que es un invariante topológico.

Otras caracterizaciones son las dadas por Proposición 7. También se satisface el Lema 6.