ナッシュの埋め込み定理

ジョン・フォーブス・ナッシュ (John Forbes Nash) の名に因んだナッシュの埋め込み定理 (Nash embedding theorems (or imbedding theorems)) は、すべてのリーマン多様体はユークリッド空間の中へ等長に埋め込むことができるという定理である。等長とは、すべてのの長さが保存されることを意味する。例えば、紙のページを引き伸ばしたり破ったりすることなしに折り曲げると、ページのユークリッド空間へのになる。ページに描かれた曲線はページが折り曲げられても同じ長さのままであるからだ。
第一の定理は、連続微分可能な（"C"1 級の）埋め込みに対するものであり、第二の定理は、解析的な埋め込みと、3 ≤ "k" ≤ ∞ に対して "Ck" 級の滑らかさを持つ埋め込みに関するものである。これらの 2つの定理は、互いに非常に異なっている。第一の定理は非常に容易に証明でき、非常に反直感的な結果を導くが、一方第二の定理の証明は非常に技巧的であるが結果はそれほど驚くようなものではない。
"C"1 定理は1954年に、"Ck" 定理は1956年に出版された。実解析的な定理は最初ナッシュにより1966年に扱われた。彼の議論は により非常に簡素化された。（この結果の局所版は、1920年代にエリ・カルタン (Élie Cartan) と (Maurice Janet) により証明された。）実解析的な場合は、ナッシュの逆関数の議論における smoothing operator（以下を参照）を、コーシーの評価に取り替えることができる。"Ck" の場合のナッシュの証明は、後に、 (h-principle) や (Nash–Moser implicit function theorem) へ拡張された。第二のナッシュの埋め込み定理の簡素化された証明は、 により得られた。彼は非線型偏微分方程式系を楕円系に帰着させ、が適用できるようにした。
ナッシュ･クーパーの定理（"C"1 埋め込み定理）.
定理 ("M", "g") をリーマン多様体とし、ƒ: "Mm" → R"n" をユークリッド空間 R"n" の中への(short) "C"∞ 級埋め込み（あるいははめ込み）とする。ただし "n" ≥ "m" + 1．すると、任意の ε > 0 に対し、埋め込み（あるいははめ込み）ƒε: "Mm" → R"n" であって以下の条件を満たすものが存在する。
特に、より、任意の "m" 次元リーマン多様体は、2"m" 次元ユークリッド空間の任意に小さい近傍の中への等長な "C"1-埋め込みを持つ。
定理は、元々はジョン・ナッシュにより、"n" ≥ "m"+1 ではなく "n" ≥ "m" + 2 という条件のもとで証明され、(Nicolaas Kuiper)により、比較的容易なトリックを使い一般化された。
定理から直感に反することが多く出る。たとえば、任意の向き付けられた閉リーマン面は、3次元ユークリッド空間の任意に小さいε-球の中へ等長的に "C"1 級に埋め込むことができる（小さな ε に対し、そのような "C"2 級埋め込みは存在しない。なぜならば、ガウス曲率の公式により、そのような埋め込みの extremal point における曲率は ε−2 以上となるからである）。また、R3 の中への双曲平面の "C"1 等長埋め込みが存在する。
"C""k" 埋め込み定理.
ナッシュの原論文に現れている技術的ステートメントは次のとおりである。"M" を与えられた "m" 次元リーマン多様体（解析的、もしくは、"Ck"級、3 ≤ "k" ≤ ∞）とすると、ある数 "n"（"M" がコンパクト多様体であれば "n" ≤ "m" (3"m" + 11) / 2, "M" が非コンパクト多様体であれば "n" ≤ "m" ("m" + 1)(3"m" + 11) / 2）と、単射関数 ƒ: "M" → R"n"（また解析的もしくは "Ck" 級）が存在し、以下の条件を満たす。"M" のすべての点 "p" に対し、微分 "d"ƒ"p" は、接空間 "TpM" から R"n" への線型写像であるが、これは "TpM" 上の与えられた内積と R"n" の標準内積について次の意味で整合性をもつ。すなわち、"TpM" のすべてのベクトル "u", "v" に対して
が成り立つ。これは、偏微分方程式の非決定系である。
ナッシュは、にロバート・ソロヴェイ (Robert M. Solovay) との後の会話 において、非コンパクトな多様体の場合の埋め込む空間の次元の充分な値を導出する元々の議論の誤りについて言及している。
ナッシュの埋め込み定理は、多様体全体が R"n" の中へ埋め込まれると意味で、大域的な定理である。局所的な埋め込み定理ははるかに簡単であり、多様体の座標近傍において解析学の陰関数定理を用いて証明できる。大域的な埋め込み定理の証明は、陰関数定理のナッシュによる大きな一般化や、や、前提条件を持つニュートン法に依存している。埋め込み問題のナッシュの解法の基本的なアイデアは、上記の偏微分方程式系の解の存在を証明するためにニュートン法を使うことである。標準的なニュートン法をその系に適用すると発散によりうまくいかない。ナッシュは、ニュートンの逐次近似を収束させるために、畳み込みにより定義された smoothing operator を用いる。このテクニックが解をもたらすという事実は、それ自身が存在定理であり独立した興味の対象である。（smoothing operator を導入することなく）ニュートン法を直接使う(Kantorovich iteration)と呼ばれるより古い手法もある。