局所微分同相写像

数学、より具体的には微分トポロジーにおいて、局所微分同相写像（きょくしょびぶんどうそうしゃぞう、テンプレート:Lang-en-short）は直感的には局所テンプレート:仮リンクを保つ滑らかな多様体の間の関数である。局所微分同相写像の正式な定義は下で与えられる。

定義

テンプレート:Mvar と テンプレート:Mvar を可微分多様体とする。関数

$f:X\to Y$

が局所微分同相写像 テンプレート:En であるとは、各点 テンプレート:Math に対して、テンプレート:Mvar を含む開集合 テンプレート:Mvar が存在して、

$f(U)$

が テンプレート:Mvar において開で

$f{|}_U:U\to f(U)$

が微分同相写像ということである。

議論

例えば、すべての多様体は位相的な意味で（ある テンプレート:Mvar に対して テンプレート:Math と）局所的には同じに見えるにもかかわらず、それらの可微分構造が局所的に同じように振る舞うかどうかを問うことは自然である。例えば、テンプレート:Math を可微分多様体にする 2 つの異なるテンプレート:仮リンクを テンプレート:Math に課すことができるが、両方の構造は局所的に微分同相でない（下を見よ）。局所微分同相写像は局所的に可微分構造を保存するのであるが定義域が（滑らかな）多様体全体であることを保証するようにこれらの（局所）微分同相写像を テンプレート:En することができなければならない、ということにも注意しよう。例えば、2 次元球面から 2 次元ユークリッド空間への局所微分同相写像はそれらが確かに同じ局所的可微分構造をもつにもかかわらず存在しえない。これはなぜならば、すべての局所微分同相写像は連続であり、コンパクト空間の連続像はコンパクトであり、球面はコンパクトだが 2 次元ユークリッド空間はコンパクトでないからである。

性質

• すべての局所微分同相写像は局所同相写像でもあり、したがって開写像である。

• 局所微分同相写像は定数テンプレート:仮リンク テンプレート:Mvar を持つ。

• 微分同相写像は全単射な局所微分同相写像である。

• 滑らかな被覆写像は終域のすべての点が写像によって均等に被覆されている テンプレート:En 近傍を持つような局所微分同相写像である。

• 逆関数定理によって、滑らかな写像 テンプレート:Math が局所微分同相写像であることとテンプレート:仮リンク テンプレート:Math がすべての点 テンプレート:Math に対して線型同型写像であることは同値である。これは テンプレート:Mvar と テンプレート:Mvar が同じ次元を持たなければならないことを意味することに注意しよう。

関連項目

• テンプレート:仮リンク

参考文献

• テンプレート:Citation.