纳什嵌入定理

✍ dations ◷ 2025-04-02 12:59:18 #黎曼几何,数学定理

纳什嵌入定理(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循环,它是只用牛顿方法的存在性定理(所以不用平滑算子)。

相关

  • 近日点各个星体绕太阳公转的轨道大致是一个椭圆,它的长直径和短直径相差不大,可近似为正圆。太阳就在这个椭圆的一个焦点上,而焦点是不在椭圆中心的,因此星体离太阳的距离,就有时会近一
  • 微小扇头蜱Boophilus microplus微小扇头蜱(Rhipicephalus microplus)为硬蜱科扇头蜱属下的一个种,在经济上地位重要,因为它会寄生在多个家畜的物种的身上,例如:牛只、水牛、马、驴、山羊、鹿
  • 尿滞留尿潴留(英语:renal retention或 urinary retention),又称尿滞留、尿液滞留,是膀胱内的尿液无法排出的状况,最常见的原因是良性前列腺增生症。正常成年男性的膀胱涨满时,容积约为500
  • 1,2-丙二醇1,2-丙二醇,也称作丙二醇,是一种有机化合物(二醇),其化学式为C3H8O2。丙二醇通常是略有甜味、无臭、无色透明的稠状液体。化学上,丙二醇属于二元醇的一种,可与水、丙酮及氯仿等多种
  • 王仕鹏王仕鹏(1983年4月6日-),生于辽宁省丹东市,前中国国家男子篮球队成员,曾效力于广东东莞银行队。曾参加2006年日本世锦赛和2008年北京奥运会。2006年8月24日,在中国对阵斯洛文尼亚的
  • 真核起始因子3eIF3(eukaryotic initiation factor 3,真核起始因子3)是最大的真核起始因子,在哺乳动物细胞中,其分子量超过了600KDa。eIF3是真核翻译起始进程中起着核心作用。例如,eIF3可以使eIF
  • 贝蒂·威廉斯伊丽莎白·“贝蒂”·威廉斯(Elizabeth "Betty" Williams,1943年5月22日-2020年3月17日),婚前姓史密斯(Smyth),英国社会活动家和人权主义者,曾因与梅里德·科里根一起创立和平人社团
  • 互联网协议套件互联网协议套件(英语:Internet Protocol Suite,缩写IPS)是一个网络通信模型,以及一整个网络传输协议家族,为网际网络的基础通信架构。它常被通称为TCP/IP协议族(英语:TCP/IP Protoco
  • 和井内贞行和井内贞行(日语:和井内 貞行,1858年3月29日-1922年5月16日)乃是日本水产养殖专家,秋田县十和田湖的开发先行者之一。后人在该县小坂町十和田湖大川岱建立了和井内神社(原名胜渔神
  • 齐鲁阿努曼迪迪区齐鲁阿努曼迪迪区(马达加斯加语:Tsiroanomandidy),是马达加斯加的行政区,位于该国西北部,由博爱尼区负责管辖,首府设于齐鲁阿努曼迪迪,面积8,977平方公里,2011年人口309,771,人口密度