纳什嵌入定理

✍ dations ◷ 2025-09-19 01:53:23 #黎曼几何,数学定理

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

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

1定理发表于1954年,定理发表于1956年。解析的情形则最先由纳什于1966年处理,其中的论证后来在Greene & Jacobowitz (1971)中简化了很多。(这个定理的一个局部版本由埃利·嘉当与Maurice Janet 在1920年代证出。)纳什对的证明后来发展成h-原则(英语:h-principle)和纳什–Moser隐函数定理。纳什的第二个嵌入定理的一个简化证明由Günther (1989)给出,方法是将纳什的非线性偏微分方程组约化成椭圆系统,而压缩映射定理能够应用于后者。

定理 令 ( M , g ) {\displaystyle (M,g)} -维黎曼流形可以有一个等距 C 1 {\displaystyle C^{1}} -维欧几里得空间中的任意小的邻域。定理最初由纳什在条件 n m + 2 {\displaystyle n\geq m+2} 为一给定-维黎曼流形 (解析或属于C类, 3 ≤ ≤ ∞), 则存在 ( n = m 2 + 5 m + 3 {\displaystyle n=m^{2}+5m+3}  : -> R (也是解析的或者属于C类)使得对于的所有点,导数 d 是一个线性映射从切空间 T 到R,和给定在T上的内积和R的标准内积在如下意义下兼容:

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

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

相关

  • ACEI血管紧张肽I转化酶抑制剂(英语:ACE inhibitor,简称为ACEI)是一类抗高血压药。血管紧张素转化酶(ACE)是肾素-血管紧张素-醛固酮(RAA)系统中的一个重要环节,该系统对血压的调节有着及其
  • 爬行动物爬行纲(学名:Reptilia)动物通称爬行动物、爬行类、爬虫类,是一类脊椎动物,属于四足总纲的羊膜动物,是包括了龟、蛇、蜥蜴、鳄、鸟类及史前恐龙等物种的通称。本分类过去传统上包含
  • 厄米算符在数学里,作用于一个有限维的酉空間,一个自伴算子(self-adjoint operator)等于自己的伴随算子;等价地说,在一组单位酉正交基下,表达自伴算子的矩阵是埃尔米特矩阵。埃尔米特矩阵等
  • 朱 静朱静(1938年10月10日-),中国材料科学家。原籍浙江杭州,生于上海。1962年毕业于复旦大学物理系。清华大学教授,中国科学院院士,世界科学院院士,是中国电子显微镜研究领域的先驱者之一
  • 沈之荃沈之荃(1931年5月27日-),女性,中国高分子化学家。生于上海。1948年毕业于沪江大学附属中学(现北郊高级中学)。1952年毕业于上海沪江大学化学系。浙江大学教授。曾任浙江科学技术协
  • 湿婆派湿婆教(梵语:शैव पंथ,śaiva paṁtha,英语:Shaivism,Shaivam),又称湿婆派、希瓦派,原义是与湿婆合一,是印度教中四个最主要教派之一,尊崇湿婆为最高的神明。它的信徒被称为希瓦(Sh
  • 萨法尔王朝萨法尔王朝(波斯语:سلسله صفاریان;英语:Saffarids)是在861年至1003年统治今伊朗中部和东南部、阿富汗全部及巴基斯坦西部的俾路支斯坦、信德地区的波斯王朝,首都设在
  • Ju 52运输机Ju 52运输机(Junkers Ju 52),为德国容克斯公司在1932年至1945年间生产的一款运输机。由于它的外壳十分坚硬,因此它亦有“容克老姑妈”(德语:Tante Ju;或称容克大婶、容克大妈)、“钢
  • 红颊獴见内文红颊獴(Herpestes javanicus)又叫红脸獴、印度獴或爪哇獴,是灵猫科獴属]的一个品种,广泛分布亚洲多个不同的地方,分为不同亚种。獴在世界很多地方均可找到,但红颊獴的体型比
  • 硫酸钬硫酸钬是一种无机化合物,化学式为Ho2(SO4)3。用硫酸溶解氧化钬,可以得到硫酸钬。