达布定理 (微分几何)

✍ dations ◷ 2025-04-26 12:39:56 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 主教团在天主教会,主教团(拉丁语:Episcoporum Conferentia,直译为主教会议)是特定地区的主教内所组成的议事机构,通常作为这些个别教会/地方教会的自治机构。非常态性的主教会议存在已久,
  • 阿尔韦托·藤森阿尔韦托·藤森·藤森(西班牙语:Alberto Fujimori Fujimori,1938年7月28日-),生于利马,是日本裔秘鲁政治人物,1990年7月28日至2000年11月17日期间任秘鲁总统,拥有秘鲁、日本双重国籍
  • 纳瓦霍纳瓦霍(英语和西班牙语:Navajo、Diné)是美国西南部的一支原住民族,为北美洲地区现存最大的美洲原住民族群,人口据估计约有30万人。“纳瓦霍”族名由西班牙人所起,族人则自称为“D
  • 拉齐奥大区拉齐奥(意大利语:Lazio,拉丁语:Latium)是意大利的一个大区,其政府所在地为罗马。又译为拉提雍或拉丁姆。拉齐奥的名称来自于“Latium”,即“拉丁人之地”,是古罗马发源的地方。东哥
  • 戒可以指:
  • 九评九评可以指:
  • 汉斯-海因里希·耶塞克汉斯-海因里希·耶塞克(Hans-Heinrich Jescheck, 1915年1月10日-2009年9月27日),又译:“耶舍克”,德国刑法学家,是一位在比较刑法学、国际刑法学、刑事政策学及刑法规范学诸领域均
  • 爱沙尼亚历史博物馆爱沙尼亚历史博物馆(爱沙尼亚语:Eesti Ajaloomuuseum)是位于爱沙尼亚首都塔林的一座建筑博物馆,创建于1987年。爱沙尼亚历史博物馆所在建筑是大基尔特之屋。坐标:59°27′09″N 2
  • 真珠可汗真珠可汗(?-645年),名夷男,7世纪薛延陀可汗。605年,他祖父乙失钵逐突厥泥厥处罗可汗。直到618年才被射匮可汗征服。628年,西突厥统叶护可汗被杀,汗国大乱。乙失夷男率7万户越阿尔泰山
  • 理查德·布林斯利·谢立丹理查德·布林斯利·谢立丹(英语:Richard Brinsley Sheridan,1751年10月30日-1816年7月7日),或译谢里丹,爱尔兰剧作家,英国辉格党政治家。谢立丹出生于一个演员家庭,从小就与剧院有接