达布定理 (微分几何)

✍ dations ◷ 2025-09-17 05:12:34 #微分系统,辛几何,微分几何中的坐标系,数学定理

达布定理 是数学领域微分几何中关于微分形式的一个定理,部分地推广了弗罗贝尼乌斯定理。它是包括辛几何在内多个领域的基石。这个定理以让·加斯东·达布 命名,他在解 Pfaff 问题 时建立了这个定理。

这个定理的推论之一是任何两个同维数的辛流形是局部辛同胚的。这就是说,任何 2-维辛流形能局部的看作带标准辛形式的线性辛空间 C。应用于切触几何也有类似的结论。

定理准确的陈述如下。 设 θ 是一个 维流形上的 1-形式,使得 dθ 有常秩 。如果任一点都有

那么有一个局部的坐标系 1,...,-, 1, ..., ,在这个坐标系下

d。另一个方面,如果任一点有

那么有一个局部坐标系 1,...,-, 1, ..., 使得

特别的,设 ω 是 =2 维流形 上的一个辛 2-形式。 上任一点 的局部,由 庞加莱引理,总有一个 1-形式 θ 满足 dθ=ω 。进一步 θ 满足达布定理的第一个假设,从而局部存在一个 附近的坐标卡 使得

取外导数便有

坐标卡 称为 附近的达布坐标卡。 流形 能被这样的卡覆盖。

换一种方式叙述,将 R2m 与 Cm 等同起来,令 j = j + i j。如果 φ : → C是一个达布坐标卡,那么 ω 是标准辛形式 ω0 在 C 上的拉回:

这个结论意味着辛几何没有局部不变性:在任何一点附近,总能取一个达布基。这和黎曼几何具有显著的不同,高斯绝妙定理指出曲率是黎曼几何的一个局部不变量。曲率阻碍了将度量局部写成一个平方和。

必须要强调的是,达布定理是说 ω 能在 附近的“整个邻域”写成一个标准形式。黎曼几何中,度量总能在给定一“点”写成一个标准形式,但一般不能在那个点的邻域,除非局部为欧氏空间。

相关

  • 贝塔受体阻滞剂β受体阻断药(英语:Beta blockers),又称Beta受体阻断药、β受体阻断剂、β受体阻滞剂、β受体拮抗剂或β阻断药、乙型阻断剂,是一类用来治疗心律不齐、防止心脏病发作后的二次心
  • 保罗·里维尔保罗·里维尔(英语:Paul Revere;/rɪˈvɪər/,1735年1月1日-1818年5月10日)是美国麻塞诸塞州波士顿银匠、实业家,也是美国独立战争时期的一名爱国者。保罗·里维尔是位杰出的军人,
  • 神经母细胞瘤神经母细胞瘤(Neuroblastoma)是一种在特定神经组织中形成的癌症。它最常从一侧肾上腺开始,但也可以在颈部、胸部、腹部或脊髓中发展。症状包括骨痛(英语:bone pain)、腹部、颈部或
  • 硫氧还蛋白还原酶硫氧还蛋白还原酶(英语:thioredoxin reductase,缩写为TrxR或者TR),是一种NADPH依赖的包含FAD结构域的还原酶,活性形式通常为二聚体,属于吡啶核苷酸-二硫化物氧化还原酶家族。顾名思
  • 维奥拉-琼斯目标检测框架维奥拉-琼斯目标检测框架(英语:Viola–Jones object detection framework)是第一种可以实时处理并给出很好的物体检出率的物体检测的方法,由保罗·维奥拉和迈克尔·琼斯于2001年
  • 钟道然钟道然(1990年7月23日-)北京海淀区人,2009年入读于中国人民大学经济学院,2012年出版书籍《我不原谅》。钟道然早年就读于人大附中,2009年就读于中国人民大学经济学院。2012年,钟道
  • 颖神星颖神星(9 Metis,亦称9号小行星,符号:)是小行星带较大的小行星之一,由硅酸盐、镍和铁组成,并且有可能是古代一颗巨大的小行星撞击后的核心残留物。颖神星是由安德鲁·格雷厄姆于1848
  • 电影制片厂电影制片厂(Film Studio或Movie Studio)是大型娱乐公司或电影公司所拥有的制作部门或电影拍摄部门,这部分一般是交由其旗下的制作公司负责管理。娱乐行业里的绝大部分公司没有
  • 松林外《松林外》(英语:,港台译《末路车神》)是一部2012年美国犯罪电影,由德瑞克·奇安佛兰斯(英语:Derek Cianfrance)执导,奇安佛兰斯与班·科奇奥(英语:Ben Coccio)和Darius Marder编剧。主
  • 应景戏应景戏,配合各种特殊场合(如:节庆、祝寿)所演出的戏剧。