纳什嵌入定理

✍ dations ◷ 2025-08-26 06:22: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循环,它是只用牛顿方法的存在性定理(所以不用平滑算子)。

相关

  • 羊搔痒症羊搔痒症(英语:Scrapie),是一种退化性疾病,发生在绵羊及山羊上,造成它们的神经系统异常。它跟牛海绵状脑病与鹿的慢性消耗病相同,都是传染性海绵状脑病的一种,由异常的朊蛋白(英语:PRN
  • 反物质武器反物质武器是一种以反物质作为能量,推进剂或爆炸物,拥有超强大力量的梦想武器。目前其还仅存在于科幻小说或电子游戏中。但美国空军已经对其可能的军事用途,包括毁灭性效果产生
  • 新城市主义新城市主义(英语:New urbanism)是一种城市设计的理念,该理念希望建设可以容纳各种不同住房和工作岗位的步行社区,并改善环境。新城市主义起源于20世纪80年代初的美国,并逐渐影响了
  • 各国储蓄率列表各国储蓄列表的数据来源于美国中央情报局,储蓄率是指国民储蓄的总金额除以当年GDP,国民储蓄是可支配总收入减去总消费,包含个人储蓄、商业储蓄以及政府储蓄,但不包含外国储蓄,以
  • 单一耕作单一耕作、单一作物,或单一种植是指在广阔的范围内生产并种植某一种农作物的农业耕作方式,此词有见于不同的范畴,是粗放式农业的农民常见的耕作模式。单一耕作多用于农业,以描述
  • 阿尔法教练机阿尔法教练机(Alpha Jet)是当时的西德和法国共同研发的喷射教练机项目,其各部分皆分别由德法和比利时共同完成:至于发动机分别由德国MTV和KHD以及法国斯奈克玛和Turbomeca生产。
  • 费卢西奥·布索尼费卢西奥·但丁·米开朗基罗·本韦努托·布索尼(意大利语:Ferruccio Dante Michelangiolo Benvenuto Busoni,1866年4月1日-1924年7月27日),意大利钢琴家,作曲家。布索尼1866年生于
  • 伍迪·格思里伍德罗·威尔逊·格思里(英语:Woodrow Wilson Guthrie,1912年7月14日-1967年10月3日),小名伍迪·格思里(Woody Guthrie),生于美国奥克拉荷马州奥克拉荷马市,创作歌手与民俗音乐家,最为
  • 自主机器人自主机器人(Autonomous robot)是可以在行动或执行任务时有高度自主性,不需人为介入控制的机器人,这在像航天飞行、居所维护(例如清洁)、废水处理,快递分拣等其他服务中格外的重要。
  • EmacsEmacs(/ˈiːmæks/,源自Editor MACroS,宏编辑器),是一个文本编辑器家族,具有强大的可扩展性,在程序员和其他以技术工作为主的计算机用户中广受欢迎。最初由Richard Stallman于1975