Une application bijective continue entre espaces topologiques qui possède une réciproque continue, établissant une équivalence topologique entre les espaces.

Principe

Équivalence topologique : deux espaces sont considérés identiques à déformation continue près (étirement, pliage, mais pas déchirure ni collage) lorsqu’il existe un homéomorphisme entre eux.

Démonstration

L’intervalle ouvert (0,1) est homéomorphe à la droite réelle R via une bijection continue ayant une réciproque continue (par exemple x ↦ tan(pi(x-1/2))), montrant qu’ils partagent des propriétés topologiques comme la connexité et le comportement de base dénombrable.

Mauvaise application

Affirmer que deux espaces sont homéomorphes uniquement sur la base d’invariants partagés comme la même cardinalité ou caractéristique d’Euler sans fournir une bijection continue avec réciproque — ces invariants sont nécessaires mais pas suffisants.

Conséquence

Un homéomorphisme préserve toutes les propriétés topologiques : continuité, compacité, connexité, connexité locale, axiomes de séparation et existence de bases ; des preuves peuvent être transférées directement entre espaces homéomorphes.

Inversion

La réciproque d’un homéomorphisme est elle-même un homéomorphisme ; inverser le sens échange simplement source et cible tout en préservant la relation d’équivalence.

Limite

L’homéomorphisme est une notion en topologie ; il exclut les relations plus faibles (surjections continues sans inverse continu) et les équivalences plus strictes (isométrie, difféomorphisme) qui exigent une structure métrique ou différentiable.

Tension sémantique

Homéomorphisme vs difféomorphisme/isométrie : l’homéomorphisme ne concerne que la continuité, ainsi des espaces peuvent être homéomorphes sans être difféomorphes ou isométriques lorsque des structures supplémentaires (lissité, métrique) sont exigées.

Synthèse

Un homéomorphisme est la notion canonique d’identité en topologie : une déformation continue réversible fournissant une correspondance bijective qui préserve les traits purement topologiques tout en ignorant les raffinements métriques ou lisses.