达布定理 (微分几何)

✍ dations ◷ 2025-04-04 11:23:48 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 恋童癖恋童是一种精神障碍,16岁以上的青少年或者成年人患者会认为青春期前的儿童拥有主要的性吸引力,或只有儿童才有性吸引力。虽然在10-12岁(女孩:10-11岁;男孩:11岁-12岁)之间儿童会开
  • 陆熙炎陆熙炎(1928年8月29日-),生于江苏苏州。1951年毕业于浙江大学化学系。中国科学院上海有机化学研究所研究员。曾任《中国化学》主编。1991年当选为中国科学院学部委员(院士)。
  • 周期彗星本条目列出太阳系内经国际天文联会给予永久编号的周期彗星。截至2014年末,太阳系内拥有永久编号的周期彗星共有314颗。周期彗星指的是任何轨道周期小于200年,或其两次通过近日
  • L·S·斯塔夫里阿诺斯L·S·斯塔夫里阿诺斯(Leften Stavros Stavrianos,1913年2月5日-2004年3月23日),加拿大出生的希腊裔美国历史学家,早年专攻巴尔干史,后致力于全球史观的通史编纂,1971年出版《全球通
  • 陈康顺陈康顺(字思恩,1929年9月25日-2011年5月12日)),生于南京市。国立中兴大学法商学院(今国立台北大学)地政系毕业,政治大学企管所,美国肯尼迪大学企管硕士曾任救国团台北学苑总干事、
  • 娜奥米·坎贝尔娜奥米·坎贝尔(英语:Naomi Campbell,1970年5月22日-),生于英国首都伦敦,昵称“黑珍珠”、“人类最完美骨骼”,童星出身的英国超级名模、歌手、舞蹈家、作家、慈善家,世界模特史上最
  • 皮埃尔·奥古斯特·考特《春光》(1873)皮埃尔·奥古斯特·考特 (法语:Pierre Auguste Cot, 发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida
  • 安冬旭安冬旭(有人误写作“安东旭”,1992年12月27日-),中国陕西省渭南市人,围棋职业六段棋手。他6岁学棋,2007年入段,2015年7月升为六段。他获2012年全国围棋个人赛男子乙组冠军。2012年第
  • 海湾旅游区海湾旅游区,是中华人民共和国上海市奉贤区下辖的一个类似乡镇级行政区域,设上海市奉贤区海湾旅游区管理委员会。海湾旅游区下辖以下居委会及村委会:海湾社区、第二社区和新港村
  • 金壁东金壁东(1896年-1941年),本名宪奎,爱新觉罗氏,满洲镶白旗人,肃亲王善耆第七子,川岛芳子第七个哥哥。1914年善耆曾派他驻守辽宁千山东侧,于是便给他另取一名叫“金壁东”。后赴日本留学