纳什嵌入定理

维基百科,自由的百科全书
跳转至: 导航搜索

納許嵌入定理(Nash embedding theorem):,以约翰·福布斯·纳什命名,指出每个黎曼流形可以等距嵌入欧几里得空间 Rn

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

C1定理發表于1954年,Ck定理發表于1956年,解析的情形则發表于1966年,都由纳什给出。其深入发展见h-原则

纳什-科伊伯定理(Nash-Kuiper theorem ,C1嵌入定理)[编辑]

定理(M,g)为一黎曼流形而f:M^m\to \R^n 为一个C^\infty 光滑嵌入(或浸入(immersion))到欧几里得空间\R^n, n\ge m+1。则对于任意\epsilon>0 存在嵌入(或浸入)f_\epsilon:M^m\to \R^n满足

(i) C^1-光滑,
(ii) 等距, 也即对于在点x\in M的切空间任何两个向量v,w\in T_x(M),我们有g(v,w)=\langle df_\epsilon(v),df_\epsilon(w)\rangle.
(iii) \epsilon-接近f, i.e. :|f(x)-f_\epsilon(x)|<\epsilon 对于所有x\in M

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

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

Ck嵌入定理[编辑]

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

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

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

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

参考文獻[编辑]

  • N.H.Kuiper: "On C1-isometric imbeddings I", Nederl. Akad. Wetensch. Proc. Ser. A., 58 (1955), pp 545-556.
  • John Nash: "C1-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.