Homéomorphisme
Un article de Wikipédia, l'encyclopédie libre.
En topologie, un homéomorphisme est un isomorphisme entre deux espaces topologiques : c'est une bijection continue de l'un dans l'autre, dont la réciproque est continue. Dans ce cas, les deux espaces topologiques sont dits homéomorphes.
La notion d'homéomorphisme est la bonne notion pour dire que deux espaces topologiques sont « le même » vu différemment. C'est la raison pour laquelle les homéomorphismes sont les isomorphismes de la catégorie des espaces topologiques.
En général, une application continue bijective n'a aucune raison d'avoir un inverse continu. Par exemple, l'application 
sur [0,1] égale à l'identité sur [0,1[ et envoyant 2 sur 1 est une bijection continue mais son inverse n'est pas continue en 1.
- Une bijection continue ouverte ou fermée est un homéomorphisme.
- Soit K un espace topologique compact, E un espace topologique séparé, et
une bijection continue. Alors f est un homéomorphisme. En particulier, E est un compact.
En effet, toute partie fermée de K est un compact ; comme E est séparé, l'image par f d'une partie fermée de K est un compact, a fortiori une partie fermée de E. Donc, f est une application continue bijective fermée, ie un homéomorphisme par le point précédent.
Vous pouvez visualiser l'action d'un homéomorphisme du plan sur un carré avec une petite animation sur geogebra puis, il est intéressant de définir explicitement cet homéomorphisme en suivant l'activité proposée.
