达布定理 (微分几何)

✍ dations ◷ 2025-12-08 18:49:51 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 马来-波利尼西亚语族马来-波利尼西亚语族(Malayo-Polynesian languages)是南岛语系以下的一个分支,使用人口约有3亿8550万。在过去马来-波利尼西亚语系有时候也被当作是南岛语系的同义词。马来-波
  • 离子泵离子泵是真空泵的一种。离子泵的原理是将气体分子电离后,利用强电场将离子加速至电极板处并捕获,以此移除容器内的气体。 理想条件下,离子泵可以产生压强低至10-11毫巴的真空。
  • 淡水公司田溪桥遗迹公司田桥遗址是位于台湾北部新北市淡水区的新制古迹,属于三级古迹,邻近三芝区,该桥建于1812年(清嘉庆12年),道光年间损毁,1862年(清同治元年)重建。2001年时成为当时台北县县定古迹(今
  • Raninoida见内文蛙蟹科(学名:Raninidae)是螃蟹的其中一个科,模式属是蛙形蟹。根据现存的化石纪录,蛙蟹科生物最早期的化石于早白垩纪的阿尔布阶出现。常见的蛙蟹科生物有:蛙蟹科的外形独特,
  • XDCAMXDCAM为Sony在2003年所推出的无影带式专业录影系统。2003年10月开始发售SD系统商品,2006年4月开始发售HD系统。XDCAM的首两代XDCAM及XDCAM HD,使用Professional Disc作储存媒
  • 亚历山大·谢尔盖耶维奇·扎索霍夫亚历山大·谢尔盖耶维奇·扎索霍夫(俄语:Алекса́ндр Серге́евич Дзасо́хов;奥塞梯语:Дзасохты Сергейы фырт Алыксан
  • 拉尔夫·基纳拉尔夫·基纳(英语:Ralph McPherran Kiner,1922年10月27日-2014年2月6日),前美国职棒大联盟选手,曾经效力于匹兹堡海盗、芝加哥小熊、克里夫兰印地安人,并于1946至1952年连续蝉联本
  • 陈凤超陈凤超(1962年10月-),男,汉族,吉林榆树人,中华人民共和国政治人物,二级大法官,现任海南省高级人民法院党组书记、院长。7 副主任☆
  • 喜马拉雅 (电影)《喜马拉雅》(法语片名:)是1999年法国导演艾瑞克·瓦利(Eric Valli)执导的、法国、尼泊尔、瑞士和英国四国合拍的一部剧情冒险片。片中不仅真实地呈现了藏地高原人的生活方式及传
  • 栃乃海晃嘉栃乃海晃嘉,(1938年3月13日-),原名花田茂广,日本青森县南津轻郡光田寺村(现在田舍馆村)出身的前大相扑力士、第49代横纲。身高177cm,重110公斤。他所属的相扑部屋是春日野部屋。他