homeomorphism

homeomorphismは、数学、特に位相幾何学（トポロジー）における中心的な概念です。直感的には、ある図形を切り裂いたり、貼り合わせたりすることなく、連続的に引き伸ばしたり曲げたりして別の図形に変形させることができる関係性を指します。この性質を持つ２つの空間は、位相的に同一であるとみなされます。

位相的な同等性と直感的理解

この概念を理解する際によく用いられる例が、コーヒーカップとドーナツの例えです。どちらも穴が１つあるという構造的な特徴を持っており、一方を粘土のように滑らかに変形させてもう一方にすることができるため、これらはhomeomorphismの関係にあります。一方で、穴のない球体からドーナツを作るには、どこかを切り裂いて穴を開ける必要があるため、これらは同相ではありません。

数学的な定義と要件

厳密な定義では、単に連続関数であるだけでは不十分であり、以下の条件を満たす必要があります。

関数が全単射であること（１対１に対応し、漏れがないこと）。
その逆関数もまた連続であること。

この逆関数の連続性が重要であり、これにより空間の構造が完全に保存されることが保証されます。例えば、ある開集合を別の開集合に写すという性質が維持されるため、近接性の概念が保たれたまま空間が変換されます。