达布定理 (微分几何)

✍ dations ◷ 2025-11-20 15:39:06 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 托马斯·哈克尔·韦勒托马斯·哈克尔·韦勒(Thomas Huckle Weller,1915年6月15日-2008年8月23日)是一位美国病毒学家。1954年,他与约翰·富兰克林·恩德斯、弗雷德里克·查普曼·罗宾斯一同被授予了诺
  • 质体质体可能是指:
  • 自来水园区台北水道水源地位于台湾台北市中正区思源街1号,国立台湾大学水源校区对面,原为中华民国三级古迹“台北水源地唧筒室”,2002年2月5日公告更名,并将观音山蓄水池、量水室、浑水抽
  • 坦噶尼喀省坦噶尼喀省(法语:Province du Tanganyika)是位于刚果民主共和国东南部的一个省,首府卡莱米(Kalemie),与坦桑尼亚以坦干依喀湖(Lac Tanganyika)相隔,并和赞比亚接壤,人口3,035,852(2015年
  • 谢金河谢金河(1958年1月21日-),台湾学者、时事评论员,福佬客家人,生于中华民国台湾云林县西螺镇,《今周刊》发行人,曾担任财讯文化总编辑,担任台北市政府柯文哲市府市政顾问,亦为中信金融管
  • 拉什·林堡拉什·哈德逊·林博(英语:Rush Hudson Limbaugh,1951年1月12日-)是美国右翼电台主持人和记者,作家,自由意志主义运动者。
  • 日本吞并琉球日本吞并琉球指的是1872年至1879年期间大日本帝国废除并吞并琉球国、设置冲绳县的一系列历史事件。明治时代日本政府将此事称为“琉球处分”(日语:琉球処分/りゅうきゅうしょぶ
  • 调用栈调用栈(英语:Call stack,港台称“呼叫堆叠”,英文直接简称为“栈”(the stack))别称有:执行栈(execution stack)、控制栈(control stack)、运行时栈(run-time stack)与机器栈(machine stack
  • 杨二车娜姆杨二车娜姆(1966年8月25日-),中国摩梭人,女歌手、作家、旅行者、演员。现为《时尚—中国服装》杂志专栏作家。她姓杨,名二车娜姆,但有时被人称作“杨二”、“杨二车”或者“娜姆”
  • 李群表示无限单李群:An, Bn, Cn, Dn, 特殊单李群 G2(英语:G2 (mathematics)) F4E6 E7E8(英语:E8 (mathematics))在数学和理论物理领域,李群表示(Representation of a Lie group)意指李群