局所微分同相写像

数学、より具体的には微分トポロジーにおいて、局所微分同相写像（きょくしょびぶんどうそうしゃぞう、）は直感的には局所を保つ滑らかな多様体の間の関数である。局所微分同相写像の正式な定義は下で与えられる。
定義.
 と を可微分多様体とする。関数
が局所微分同相写像 であるとは、各点 に対して、 を含む開集合 が存在して、
が において開で
が微分同相写像ということである。
議論.
例えば、すべての多様体は位相的な意味で（ある に対して と）局所的には同じに見えるにもかかわらず、それらの可微分構造が局所的に同じように振る舞うかどうかを問うことは自然である。例えば、 を可微分多様体にする 2 つの異なるを に課すことができるが、両方の構造は局所的に微分同相でない（下を見よ）。局所微分同相写像は局所的に可微分構造を保存するのであるが定義域が（滑らかな）多様体全体であることを保証するようにこれらの（局所）微分同相写像を することができなければならない、ということにも注意しよう。例えば、2 次元球面から 2 次元ユークリッド空間への局所微分同相写像はそれらが確かに同じ局所的可微分構造をもつにもかかわらず存在しえない。これはなぜならば、すべての局所微分同相写像は連続であり、コンパクト空間の連続像はコンパクトであり、球面はコンパクトだが 2 次元ユークリッド空間はコンパクトでないからである。