纳什嵌入定理

Template:NoteTA 納許嵌入定理(Nash embedding theorems)：，以约翰·福布斯·纳什命名，指出每个黎曼流形可以等距嵌入到欧几里得空间 Rⁿ。

「等距」表示「保持曲线长度」。因此，该结果表明每个黎曼流形可以看作是欧几里得空间的子流形。第一个定理适用于 C¹-光滑嵌入，第二个用于解析或C^k, 3 ≤ k ≤ ∞的情形。两个定理非常不同；第一个有很简单的证明但有一些很違反直觀的結果，而第二个非常具有技术性但其结论比較不太出乎意料。

C¹定理發表于1954年，C^k定理發表于1956年。解析的情形则最先由納什于1966年處理，其中的論證後來在Template:Harvtxt中簡化了很多。（這個定理的一個局部版本由埃利·嘉當與Maurice Janet 在1920年代證出。）納什對C^k的證明後來发展成Template:Tsl和納什–Moser隱函數定理。納什的第二個嵌入定理的一個簡化證明由Template:Harvtxt給出，方法是將納什的非線性偏微分方程組約化成橢圓系統，而壓縮映射定理能夠應用於後者。

纳什-科伊伯定理(Nash-Kuiper theorem ,C¹嵌入定理)

定理 令$(M,g)$为一黎曼流形而$f:M^m\to {ℝ}^n$为一个短的$C^{\mathrm{\infty }}$光滑嵌入（或浸入(immersion)）到欧几里得空间${ℝ}^n$, $n\ge m+1$。（「短」表示縮短曲線長度。）则对于任意$ϵ>0$存在嵌入(或浸入)$f_{ϵ}:M^m\to {ℝ}^n$满足

(i) $C^1$-光滑,

(ii) 等距， 也即对于在点$x\in M$的切空间任何两个向量$v,w\in T_x(M)$，我们有$g(v,w)=⟨d{f}_{ϵ}(v),d{f}_{ϵ}(w)⟩$.

(iii) $ϵ$-接近f, i.e. :$|f(x)-f_{ϵ}(x)|<ϵ$ 对于所有$x\in M$。

特别的是，因为它从惠特尼嵌入定理（Whitney embedding theorem）得出，任何m-维黎曼流形可以有一个等距$C^1$-嵌入到2m-维欧几里得空间中的任意小的鄰域。定理最初由纳什在条件$n\ge m+2$而不是$n\ge m+1$下证明，不過他提示了改進到$n\ge m+1$的方法，尔后被尼古拉·科伊伯(Nicolaas Kuiper)推廣到$n\ge m+1$。

定理有很多反直觀的推導結果。例如，可以得出任何闭可定向黎曼曲面可以$C^1$等距嵌入到在欧几里得三维空间中的任意小球（對足夠小的ε，不存在这样的等距$C^2$-嵌入，因為由高斯曲率的公式，這樣的嵌入的極點會有曲率≥ ε⁻²，違反絕妙定理所指出的等距$C^2$-嵌入保持高斯曲率不變）。

C^k嵌入定理

技术性的陈述如下: 若M为一给定m-维黎曼流形 (解析或属于C^k类, 3 ≤ k ≤ ∞), 则存在n ($n=m^2+5m+3$ 就可以)和一个单射f : M -> Rⁿ (也是解析的或者属于C^k类)使得对于M的所有点p，导数 df_p 是一个线性映射从切空间 T_pM 到Rⁿ，和给定在T_pM上的内积和Rⁿ的标准內积在如下意义下兼容:

< u, v > = df_p(u) · df_p(v)

对于T_pM中的所有向量u, v。 这是偏微分方程(PDE)的不定系统。

纳什嵌入定理是全局系统，因为整个流形嵌入到了Rⁿ。局部嵌入定理要简单得多，可以在流形的座標鄰域中用高等微積分的隐函数定理证明。这里给出的全局嵌入定理的证明依赖于纳什对隐函数定理的极大推广版本，Nash-Moser定理和带后处理(postconditioning)的牛顿法(见参考)。纳什解决嵌入问题的基本思想是采用牛顿法来证明该PDE系统有解。标准的牛顿法应用于该系统时不收敛，所以纳什利用光滑化算子来保证牛顿循环收敛。这个改变了的牛顿法成为带后处理的牛顿法。平滑算子由卷积定义。该平滑算子保证了循环的趋向于一个根，使得它可以用来作为存在性定理。通过证明PDE系统存在一个根就证明了黎曼流形的等距嵌入的存在性。有一个更老的循环称为Kantovorich循环，它是只用牛顿方法的存在性定理(所以不用平滑算子)。

参考文獻

• Template:Citation
• Template:Citation
• N.H.Kuiper: "On C¹-isometric imbeddings I", Nederl. Akad. Wetensch. Proc. Ser. A., 58 (1955), pp 545-556.
• John Nash: "C¹-isometric imbeddings", Annals of Mathematics, 60 (1954), pp 383-396.
• John Nash: "The imbedding problem for Riemannian manifolds", Annals of Mathematics, 63 (1956), pp 20-63.
• John Nash: "Analyticity of the solutions of implicit function problem with analytic data" Annals of Mathematics, 84 (1966), pp 345-355.

外部連結

• Template:Cite web描繪平坦環面等距C¹-嵌入到R³的圖像的計劃