Homéomorphisme

Une tasse est homéomorphe à un donut.

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.

[modifier] Articles connexes

• Morphisme
• Difféomorphisme
• Isomorphisme
• Systèmes dynamiques

• Portail des mathématiques