diffeomorphism

diffeomorphismは、微分幾何学において二つの多様体が滑らかに同一であることを示す非常に強力な概念です。単なる位相的な同相写像（homeomorphism）よりも厳しい条件を課しており、写像とその逆写像の両方が微分可能であることを要求します。これにより、単に形が同じであるだけでなく、微分構造、つまり接空間や曲率といった幾何学的な性質が完全に保存されることが保証されます。

homeomorphismとの決定的な違い

homeomorphismは連続的な変形（引き伸ばしや曲げ）によって一方の図形をもう一方に変えられることを意味しますが、微分可能性までは保証しません。一方でdiffeomorphismは、その変形プロセスが至る所で滑らかである必要があります。例えば、ある図形に尖った角（特異点）がある場合、それはhomeomorphismでは結ばれても、diffeomorphismでは結ばれないことがあります。数学的な文脈では、二つの多様体がdiffeomorphicであるとき、それらは微分構造の意味で実質的に同じものとして扱われます。

実用的な適用と文脈

物理学や一般相対性理論などの分野では、座標変換がdiffeomorphismであることが極めて重要です。座標系を変更しても物理法則の形式が変わらないという一般共変性は、この微分同相写像の性質に基づいています。具体的には、以下のような文脈で使用されます。

座標変換による多様体の再定義
滑らかな構造を持つ二つの空間の同等性の証明
微分形式やテンソル場の変換規則の定義