(参考) en.wikipedia.org/wiki/Diffeomorphism Diffeomorphism ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E5%90%8C%E7%9B%B8%E5%86%99%E5%83%8F 微分同相写像 微分同相写像（英: diffeomorphism）は滑らかな多様体の同型写像である。それは1つの可微分多様体を別の可微分多様体に写す可逆関数であって、関数と逆関数が両方滑らかであるようなものである 多様体の部分集合の微分同相写像 多様体 M の部分集合 X と多様体 N の部分集合 Y が与えられると、関数 f: X → Y は次のとき滑らか (smooth) であると言われる。すべての p ∈ X に対して p のある近傍 U ⊂ M と滑らかな関数 g: U → N が存在して制限が一致する g|U∩X=f|U∩X （g は f の拡張であることに注意）。全単射、滑らか、かつ逆関数も滑らかなとき、f は微分同相写像 (diffeomorphism) であると言う。
局所的な記述 モデル例。 U, V が Rn の連結開部分集合であって V は単連結なとき、可微分写像 f : U → V が微分同相写像 (diffeomorphism) であるとは、それが固有写像であり微分 Dfx : Rn → Rn が各点 x ∈ U において全単射であるということである。
Remark 1. 関数 f が（その微分が各点で全単射という条件だけのもとでは）大域的に可逆であるためには V が単連結であることは本質的である。例えば、複素平方関数の「実化」 略す を考えよう。すると f は全射であり detDfx=4(x2+y2)≠0 を満たすので Dfx は各点で全単射だが f は可逆でない、なぜなら単射でないからだ、例えば f(1,0) = (1,0) = f(−1,0)。
