纳什嵌入定理

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

纳什嵌入定理

点击查看词条快照

纳许嵌入定理(Nash embedding theorems)：，以约翰·福布斯·纳什命名，指出每个黎曼流形可以等距嵌入到欧几里得空间 R"n"。「等距」表示「保持曲线长度」。因此，该结果表明每个黎曼流形可以看作是欧几里得空间的子流形。第一个定理适用于 "C"1-光滑嵌入，第二个用于解析或"C""k", 3 ≤ "k" ≤ ∞的情形。两个定理非常不同；第一个有很简单的证明但有一些很违反直观的结果，而第二个非常具有技术性但其结论比较不太出乎意料。 "C"1定理发表于1954年，"C""k"定理发表于1956年。解析的情形则最先由纳什于1966年处理，其中的论证后来在#重定向中简化了很多。（这个定理的一个局部版本由埃利·嘉当与Maurice Janet 在1920年代证出。）纳什对"C""k"的证明后来发展成和纳什–Moser隐函数定理。纳什的第二个嵌入定理的一个简化证明由#重定向给出，方法是将纳什的非线性偏微分方程组约化成椭圆系统，而压缩映射定理能够应用于后者。纳什-科伊伯定理(Nash-Kuiper theorem ,"C"1嵌入定理). 定理令formula_1为一黎曼流形而formula_2为一个短的formula_3光滑嵌入（或浸入(immersion)）到欧几里得空间formula_4, formula_5。（「短」表示缩短曲线长度。）则对于任意formula_6存在嵌入(或浸入)formula_7满足 (i) formula_8-光滑, (ii) 等距，也即对于在点formula_9的切空间任何两个向量formula_10，我们有formula_11. (iii) formula_12-接近"f", i.e. :formula_13 对于所有formula_9。特别的是，因为它从惠特尼嵌入定理（Whitney embedding theorem）得出，任何"m"-维黎曼流形可以有一个等距formula_8-嵌入到2"m"-维欧几里得空间中的任意小的邻域。定理最初由纳什在条件formula_16而不是formula_17下证明，不过他提示了改进到formula_17的方法，尔后被尼古拉·科伊伯(Nicolaas Kuiper)推广到formula_17。定理有很多反直观的推导结果。例如，可以得出任何闭可定向黎曼曲面可以formula_8等距嵌入到在欧几里得三维空间中的任意小球（对足够小的ε，不存在这样的等距formula_21-嵌入，因为由高斯曲率的公式，这样的嵌入的极点会有曲率≥ ε−2，违反绝妙定理所指出的等距formula_21-嵌入保持高斯曲率不变）。 "C"k嵌入定理. 技术性的陈述如下: 若"M"为一给定"m"-维黎曼流形 (解析或属于C"k"类, 3 ≤ "k" ≤ ∞), 则存在"n" (formula_23 就可以)和一个单射"f" : "M" -> R"n" (也是解析的或者属于C"k"类)使得对于"M"的所有点"p"，导数 d"f""p" 是一个线性映射从切空间 T"p""M" 到R"n"，和给定在T"p""M"上的内积和R"n"的标准内积在如下意义下兼容: = d"f""p"("u") · d"f""p"("v") 对于T"p""M"中的所有向量"u", "v"。这是偏微分方程(PDE)的不定系统。纳什嵌入定理是全局系统，因为整个流形嵌入到了R"n"。局部嵌入定理要简单得多，可以在流形的座标邻域中用高等微积分的隐函数定理证明。这里给出的全局嵌入定理的证明依赖于纳什对隐函数定理的极大推广版本，Nash-Moser定理和带后处理(postconditioning)的牛顿法(见参考)。纳什解决嵌入问题的基本思想是采用牛顿法来证明该PDE系统有解。标准的牛顿法应用于该系统时不收敛，所以纳什利用光滑化算子来保证牛顿循环收敛。这个改变了的牛顿法成为带后处理的牛顿法。平滑算子由卷积定义。该平滑算子保证了循环的趋向于一个根，使得它可以用来作为存在性定理。通过证明PDE系统存在一个根就证明了黎曼流形的等距嵌入的存在性。有一个更老的循环称为Kantovorich循环，它是只用牛顿方法的存在性定理(所以不用平滑算子)。

波波里花园

标量 (物理学)

侦察机

极上生徒会

香港综合讨论区

高登讨论区

构树

桥头区

汉白玉

大理石

阿波罗17号

田寮区