达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 总纲/超纲纲(英语:class,拉丁语:classis,复数:classes)是生物分类法中的一个分类级别,以及该级别中的分类法的分类单元。其他众所周知的级别按照大小降序排列是生物、域、界、门、科、属和物
  • 勒内·法瓦洛罗勒内·法瓦洛罗,(英语:Rene Favaloro,1923年07月12日-2000年7月29日),是阿根廷心脏外科医师,因其在使用大隐静脉进行冠状动脉搭桥手术方面的开创性工作而闻名于世。后成立基金会提供
  • 中非中非可有以下含义:
  • 赴越参战韩国参战越南战争(朝鲜语:월남전 참전/越南戰 參戰?),是韩国朴正熙政府任内,使大韩民国国军投入部队参与越南战争的政策,也是大韩民国建国后的第一次海外军事行动。从初期的医务、
  • 各国接受援助款金额列表这是一个各国接受援助款金额列表。
  • 2014年荷兰羽毛球国际赛2014年荷兰羽毛球国际赛为第15届荷兰羽毛球国际赛,属世界羽联国际系列赛级别,亦是2013/14赛季欧洲羽联巡回赛的其中一站。本届赛事于2014年4月17日至4月20日在荷兰韦斯特兰内
  • 蓝星蕾蓝星蕾(英文名:Amber Na,1996年11月5日-),星马新生代女艺人、DJ、演员、平面模特儿、小提琴演奏家、网络红人。代表新加坡在2016年获得亚洲百大女DJ,在各大场合都能与大众融为一体,
  • 胡汝楫胡汝楫(?-?),直隶溧阳县人,陕西宁夏卫军籍,明朝政治人物。弘治十八年(1505年),登乙丑科三甲第一百四十二名进士。任襄陵县知县。祖籍应天府溧阳县,曾祖父胡士真,祖父胡雄因犯罪遣戍宁夏。
  • 陆扆陆扆(847年-905年),扆音衣,本名允迪,字祥文,吴郡嘉兴陆庄(今枫泾镇农兴村)人,一说吴郡吴县(今江苏省苏州市)人。唐末宰相。陆扆是陆贽的族孙。居住于陕州。光启二年(886年)登丙午科状元,是
  • 约翰·路易·埃米尔·德雷耳约翰·路易·埃米尔·德雷耳(英语:John Louis Emil Dreyer,丹麦语:Johan Ludvig Emil Dreyer,1852年2月13日-1926年9月14日),生于丹麦,已故爱尔兰天文学家。德雷耳生于丹麦哥本哈根,父