ナッシュの埋め込み定理のソースを表示

[[ジョン・フォーブス・ナッシュ]] (John Forbes Nash) の名に因んだ'''ナッシュの埋め込み定理''' ({{lang-en-short|Nash embedding theorems}} または {{lang-en-short|embedding theorems)}}) は、すべての[[リーマン多様体]]は[[ユークリッド空間]]の中へ等長に[[埋め込み (数学)|埋め込む]]ことができるという定理である。等長とは、すべての{{仮リンク|求長可能な道|label=道 (path) |en|rectifiable path}}の長さが保存されることを意味する。例えば、紙のページを引き伸ばしたり破ったりすることなしに折り曲げると、ページのユークリッド空間への{{仮リンク|等長うめこみ|en|isometric embedding}}になる。ページに描かれた曲線はページが折り曲げられても同じ[[弧長|長さ]]のままであるからだ。

第一の定理は、[[連続微分可能]]な（''C''<sup>1</sup> 級の）埋め込みに対するものであり、第二の定理は、[[解析函数|解析的]]な埋め込みと、3 ≤ ''k'' ≤ ∞ に対して ''C<sup>k</sup>'' 級の[[滑らかな函数|滑らかさ]]を持つ埋め込みに関するものである。これらの 2つの定理は、互いに非常に異なっている。第一の定理は非常に容易に証明でき、非常に反直感的な結果を導くが、一方第二の定理の証明は非常に技巧的であるが結果はそれほど驚くようなものではない。

''C''<sup>1</sup> 定理は1954年に、''C<sup>k</sup>'' 定理は1956年に出版された。実解析的な定理は最初ナッシュにより1966年に扱われた。彼の議論は{{harvtxt|Greene|Jacobowitz|1971}} により非常に簡素化された。（この結果の局所版は、1920年代に[[エリ・カルタン]] (Élie Cartan) と{{仮リンク|モーリス・ジャネ|en|Maurice Janet}} (Maurice Janet) により証明された。）実解析的な場合は、ナッシュの逆関数の議論における smoothing operator（以下を参照）を、コーシーの評価に取り替えることができる。''C<sup>k</sup>'' の場合のナッシュの証明は、後に、{{仮リンク|h-原理|en|h-principle}} (h-principle) や{{仮リンク|ナッシュ・モーザーの定理|label=ナッシュ・モーザーの陰関数定理|en|Nash–Moser theorem}} (Nash–Moser implicit function theorem) へ拡張された。第二のナッシュの埋め込み定理の簡素化された証明は、{{harvtxt|Günther|1989}} により得られた。彼は非線型[[偏微分方程式]]系を楕円系に帰着させ、{{仮リンク|収縮写像定理|en|contraction mapping theorem<!-- リダイレクト先の「[[:en:Banach fixed-point theorem]]」は、[[:ja:バナッハの不動点定理]] とリンク -->}}が適用できるようにした。

== {{anchors|ナッシュ･クーパーの定理}}ナッシュ･クーパーの定理（''C''<sup>1</sup> 埋め込み定理）==
'''定理''' (''M'', ''g'') を[[リーマン多様体]]とし、ƒ: ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup> をユークリッド空間 '''R'''<sup>''n''</sup> の中への{{仮リンク|短い写像|label=短い|en|short map}}(short) ''C''<sup>∞</sup> 級埋め込み（あるいは[[はめ込み]]）とする。ただし ''n'' ≥ ''m'' + 1．すると、任意の ε > 0 に対し、埋め込み（あるいははめ込み）ƒ<sub>ε</sub>: ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup> であって以下の条件を満たすものが存在する。
:(i) ''C''<sup>1</sup> 級である。
:(ii) 等長的である：''M'' の点 ''x'' における[[接空間]] ''T<sub>x</sub>M'' の任意の 2つのベクトル ''v'', ''w'' に対して、
:::<math>g(v,w)=\langle df_\epsilon(v),df_\epsilon(w)\rangle.</math>
:(iii) ƒ に &epsilon;-close である：
:::任意の ''x'' &isin; ''M'' に対し、<math> | f(x) - f_\varepsilon (x) | < \varepsilon .</math>

特に、{{仮リンク|ホイットニーの埋め込み定理|en|Whitney embedding theorem}}より、任意の ''m'' 次元リーマン多様体は、2''m'' 次元ユークリッド空間の任意に小さい近傍の中への等長な ''C''<sup>1</sup>-埋め込みを持つ。

定理は、元々はジョン・ナッシュにより、''n'' ≥ ''m''+1 ではなく ''n'' ≥ ''m'' + 2 という条件のもとで証明され、{{仮リンク|ニコラス・クーパー|en|Nicolaas Kuiper}}(Nicolaas Kuiper)により、比較的容易なトリックを使い一般化された。

定理から直感に反することが多く出る。たとえば、任意の向き付けられた閉リーマン面は、3次元ユークリッド空間の任意に小さい[[球|&epsilon;-球]]の中へ等長的に ''C''<sup>1</sup> 級に埋め込むことができる（小さな ε に対し、そのような ''C''<sup>2</sup> 級埋め込みは存在しない。なぜならば、[[ガウス曲率#別の公式|ガウス曲率の公式]]により、そのような埋め込みの extremal point における曲率は &epsilon;<sup>−2</sup> 以上となるからである）。また、'''R'''<sup>3</sup> の中への双曲平面の ''C''<sup>1</sup> 等長埋め込みが存在する。

==''C''<sup>''k''</sup> 埋め込み定理==
ナッシュの原論文に現れている技術的ステートメントは次のとおりである。''M'' を与えられた ''m'' 次元リーマン多様体（解析的、もしくは、''C<sup>k</sup>''級、3 ≤ ''k'' ≤ ∞）とすると、ある数 ''n''（''M'' がコンパクト多様体であれば ''n'' ≤ ''m''&nbsp;(3''m'' + 11)&nbsp;/&nbsp;2, ''M'' が非コンパクト多様体であれば ''n'' ≤ ''m''&nbsp;(''m'' + 1)(3''m'' + 11)&nbsp;/&nbsp;2）と、[[単射]]関数 ƒ: ''M'' → '''R'''<sup>''n''</sup>（また解析的もしくは ''C<sup>k</sup>'' 級）が存在し、以下の条件を満たす。''M'' のすべての点 ''p'' に対し、[[微分]] ''d''ƒ<sub>''p''</sub> は、[[接空間]] ''T<sub>p</sub>M'' から '''R'''<sup>''n''</sup> への[[線型写像]]であるが、これは ''T<sub>p</sub>M'' 上の与えられた[[内積]]と '''R'''<sup>''n''</sup> の標準[[スカラー積|内積]]について次の意味で整合性をもつ。すなわち、''T<sub>p</sub>M'' のすべてのベクトル ''u'', ''v'' に対して
: <math>\langle u,v \rangle = df_p(u)\cdot df_p(v)</math>
が成り立つ。これは、[[偏微分方程式]]の非決定系である。

ナッシュは、[http://web.math.princeton.edu/jfnj/texts_and_graphics/Main.Content/Erratum.txt にロバート・ソロヴェイ (Robert M. Solovay) との後の会話] において、非コンパクトな多様体の場合の埋め込む空間の次元の充分な値を導出する元々の議論の誤りについて言及している。

ナッシュの埋め込み定理は、多様体全体が '''R'''<sup>''n''</sup> の中へ埋め込まれると意味で、大域的な定理である。局所的な埋め込み定理ははるかに簡単であり、多様体の[[座標近傍]]において解析学の[[陰関数定理]]を用いて証明できる。大域的な埋め込み定理の証明は、陰関数定理のナッシュによる大きな一般化や、{{仮リンク|ナッシュ・モーザーの定理|en|Nash–Moser theorem}}や、前提条件を持つニュートン法に依存している。埋め込み問題のナッシュの解法の基本的なアイデアは、上記の偏微分方程式系の解の存在を証明するために[[ニュートン法]]を使うことである。標準的なニュートン法をその系に適用すると発散によりうまくいかない。ナッシュは、ニュートンの逐次近似を収束させるために、[[畳み込み]]により定義された smoothing operator を用いる。このテクニックが解をもたらすという事実は、それ自身が[[存在定理]]であり独立した興味の対象である。（smoothing operator を導入することなく）ニュートン法を直接使う{{仮リンク|カントロヴィッチの定理|label=カントロヴィッチの逐次近似|en|Kantorovich theorem}}(Kantorovich iteration)と呼ばれるより古い手法もある。

==参考文献==
* {{citation|last=Greene|first=Robert E.|last2 = Jacobowitz|first2=Howard|title= Analytic Isometric Embeddings|journal=[[Annals of Mathematics]]|volume=93|pages=189–204|doi=10.2307/1970760|issue=1|year=1971|jstor=1970760}}
* {{citation|first=Matthias|last=Günther|title=Zum Einbettungssatz von J. Nash [On the embedding theorem of J. Nash]|
journal=[[Mathematische Nachrichten]]|volume= 144 |year=1989|pages= 165–187|doi=10.1002/mana.19891440113}}
*{{citation | last1 = Han|first1=Qing|last2=Hong|first2=Jia-Xing | title = Isometric Embedding of Riemannian Manifolds in Euclidean Spaces | publisher = American Mathematical Society | year = 2006 | isbn= 0-8218-4071-1}}
* {{citation|first=N.H.|last=Kuiper|authorlink=Nicolaas Kuiper|title=On ''C''<sup>1</sup>-isometric imbeddings I|journal=Nederl. Akad. Wetensch. Proc. Ser. A.|volume=58|year=1955|pages=545–556}}.
* {{citation|first=John|last=Nash|authorlink=John Forbes Nash, Jr.|title=''C''<sup>1</sup>-isometric imbeddings|journal=[[Annals of Mathematics]]|volume=60|year=1954|pages=383–396|doi=10.2307/1969840|issue=3|jstor=1969840}}.
* {{citation|first=John|last=Nash|authorlink=John Forbes Nash, Jr.|title=The imbedding problem for Riemannian manifolds|journal=[[Annals of Mathematics]]|volume=63|year=1956|pages=20–63|doi=10.2307/1969989|issue=1|mr=0075639|jstor=1969989}}.
* {{citation|first=John|last=Nash|title=Analyticity of the solutions of implicit function problem with analytic data|authorlink=John Forbes Nash, Jr.|journal=[[Annals of Mathematics]]|volume=84|year=1966|pages=345–355|doi=10.2307/1970448|issue=3|jstor=1970448}}.

{{DEFAULTSORT:なつしゆのうめこみていり}}
[[Category:リーマン幾何学]]
[[Category:微分幾何学の定理]]
[[Category:数学に関する記事]]