纳什嵌入定理

纳什嵌入定理((Nash Embedding Theorem)

　　纳什嵌入定理是指以约翰·福布斯·纳什命名，指出每个黎曼流形可以等距嵌入到欧几里得空间Rⁿ。

　　“等距”表示“保持曲线长度”。因此，该结果表明每个黎曼流形可以看作是欧几里得空间的子流形。第一个定理适用于C¹-光滑嵌入，第二个用于解析或C^k, 3 ≤k≤∞的情形。两个定理非常不同；第一个有很简单的证明但并不直观，而第二个非常具有技术性但其结论并不让人吃惊。

　　C¹定理发表于1954年，C^k定理发表于1956年，解析的情形则发表于1966年，都由纳什给出。其深入发展见h-原则。

　　定理:令(M,g)为一黎曼流形而f:M^mRⁿ为一个短的 光滑嵌入（或浸入(immersion)）到欧几里得空间Rⁿ, nm+1。则对于任意ε>0存在嵌入(或浸入)f_ε:M^mRⁿ满足

　　(i)C¹-光滑,

　　(ii)等距，也即对于在点xM的切空间任何两个向量v,wT_x(M)，我们有g(v,w)=,。

　　(iii)ε-接近f,i.e.:|f(x)-f_ε(x)|<ε对于所有xM。

　　特别的是，因为它从惠特尼嵌入定理（Whitney embedding theorem）得出，任何m-维黎曼流形可以有一个等距C¹-嵌入到2m-维欧几里得空间。定理最初由纳什在条件nm+2 而不是nm+1下证明，尔后被尼古拉·科伊伯(Nicolaas Kuiper)推广，用的是一个相对简单的技巧。

　　定理有很多反直观的暗示。例如，可以得出任何闭可定向曲面可以C¹嵌入到在欧几里得三维空间中的任意小球(根据高斯公式,不存在这样的C²-嵌入)。

　　C^k嵌入定理:

　　技术性的陈述如下: 若M为一给定m-维黎曼流形 (解析或属于C^k类, 3 ≤k≤∞), 则存在n(n=m²+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)的不定系统。

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

• 纳什均衡
• 约翰·纳什