纳什嵌入定理

✍ dations ◷ 2025-08-03 11:15:50 #黎曼几何,数学定理

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

相关

  • 吸毒者物质依赖(英语:Substance dependence)或称药物成瘾(drug addiction),指需要服用药物才能使日常生活表现正常的强迫行为。出现物质依赖状况后,若突然停止服用药物,可能出现药物戒断症
  • 排尿疼痛排尿疼痛、尿痛(英语:dysuria)是指在排尿过程中出现的疼痛现象,是与膀胱有关的症状(有时也作“下泌尿道症状”)。患者通常会形容排尿疼痛为“刺痛、灼烧、瘙痒”的感觉。该症状通
  • 一次性一次性使用运载系统也称不可重复使用之运载系统,使用一次性的运载火箭把载荷发射入太空。顾名思义,一次性的运载火箭火箭只使用一次,火箭的各部件发射后不会被回收并用于其他的
  • 无穷小演算无穷小演算(infinitesimal calculus )是微积分学的早期名称,由莱布尼茨和牛顿在17世纪60年代,在像巴罗和笛卡尔这样的数学家的工作基础上各自独立发展出来。它包括了微分演算
  • 传奇传奇可以指:
  • 实录《清实录》,全称《大清历朝实录》,是清朝立国开始各个皇帝当朝的史书,是研究清朝历史的基本史籍。清人从关外即开始修订的《满洲实录》,太祖实录到末代皇帝的《宣统政纪》七十卷
  • 台东县政府坐标:22°45′20″N 121°09′02″E / 22.755471°N 121.150639°E / 22.755471; 121.150639台东县政府是台湾省台东县最高层级的地方行政机关,在中华民国政府架构中,为县自治
  • 尼克·斯陶斯卡斯尼古拉斯·斯陶斯卡斯(立陶宛语:Nikolas Stauskas,1993年10月7日-),立陶宛裔加拿大职业篮球运动员,在2014年NBA选秀上,他以第8顺位被萨克拉门托国王选中。2015年被交易到费城76人。
  • 内村航平内村航平(1989年1月3日-)日本体操运动员,出生于福冈县北九州市,毕业于东洋高等学校、日本体育大学。现为科乐美竞技俱乐部的职业体操运动员,代表日本参加了2008年和2012年夏季奥林
  • 李冰 (消歧义)李冰可以指: