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

定理 令(M,g){\displaystyle (M,g)}为一黎曼流形而f:Mm→ → -->Rn{\displaystyle f:M^{m}\to \mathbb {R} ^{n}}为一个短的C∞ ∞ -->{\displaystyle C^{\infty }}光滑嵌入（或浸入(immers欧几里得）到欧几里得空间Rn{\displaystyle \mathbb {R} ^{n}}, n≥ ≥ -->m+1{\displaystyle n\geq m+1}。（“短”表示缩短曲线长度。）则对于任意ϵ ϵ -->>0{\displaystyle \epsilon >0}存在嵌入(或浸入)fϵ ϵ -->:Mm→ → -->Rn{\displaystyle f_{\epsilon }:M^{m}\to \mathbb {R} ^{n}}满足

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

定理有很多反直观的推导结果。例如，可以得出任何闭可定向黎曼曲面可以C1{\displaystyle C^{1}}等距嵌入到在欧几里得三维空间中的任意小球（对足够小的ε，不存在这样的等距C2{\displaystyle C^{2}}-嵌入，因为由高斯曲率的公式，这样的嵌入的极点会有曲率≥ ε，违反绝妙定理所指出的等距C2{\displaystyle C^{2}}-嵌入保持高斯曲率不变）。

C嵌入定理

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

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

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

参考文献

Greene, Robert E.; Jacobowitz, Howard, Analytic Isometric Embeddings, Annals of Mathematics, 1971, 93 (1): 189–204, JSTOR 1970760, MR 0283728, doi:10.2307/1970760 

Günther, Matthias, Zum Einbettungssatz von J. Nash [On the embedding theorem of J. Nash], Mathematische Nachrichten, 1989, 144: 165–187, MR 1037168, doi:10.1002/mana.19891440113（German） 引文格式1维护：未识别语文类型 (link)

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.

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。