定義
M と N を多様体とし、ψ: M → N を可微分写像とする。
各点 p ∈ M に対して p の開近傍 U があり ψ|U: U → ψ(U) が微分同相(>>171)と
なるとき ψ を局所微分同相写像または略して局所微分同相という。