达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 达瑞威尔期达瑞威尔期(Darriwilian)是奥陶纪的第四个阶段,年代大约位于467.3–458.4百万年前。
  • 马唐属马唐属(学名:Digitaria)是禾本科下的一个属,为一年生或有时多年生草本植物。该属共有约100种,分布于全球热带至温带地区。
  • 美国烟酒枪炮及爆炸物管理局美国烟酒枪炮及爆炸物管理局(英语:Bureau of Alcohol, Tobacco, Firearms and Explosives,缩写ATF),是一个隶属于美国司法部、负责对烟酒枪炮征税、执法和释法的机构,原隶属于美国
  • 哈坎·恰尔汗奥卢 哈坎·恰尔汗奥卢(土耳其语:Hakan Çalhanoğlu;1994年2月8日-)是一名土耳其足球运动员,司职前腰。现效力意甲球队AC米兰,他也是土耳其国家足球队成员。恰尔汗奥卢1994年2月8
  • 匹兹堡协议《匹兹堡协定》,是一份是美国境内的捷克与斯洛伐克侨民社区成员间达成的谅解备忘录。该协定于1918年5月31日完成,以协议地宾州匹兹堡命名的。协议规定了共同签署者建立独立的
  • 大秃顶子山坐标:44°30′05″N 128°14′11″E / 44.5014751°N 128.2364024°E / 44.5014751; 128.2364024大秃顶子山位于黑龙江省哈尔滨市五常市东南约170公里处,是张广才岭中的一座山
  • 日耳曼欧洲日耳曼欧洲(英语:Germanic-speaking Europe)是今日使用着日耳曼语言的欧洲地区。超过2亿欧洲人(约30%)的母语是日耳曼语言。同时,全球有5.15亿人的母语是日耳曼语言(6.87%)。主要人口
  • 坂本龙一坂本龙一(日语:坂本 龍一/さかもと りゅういち  */?,1952年1月17日-)是日本男性作曲家、演员,主要活跃于西方国家,一生获奖无数。所创作的音乐曲风空灵脱俗、融合东西古今,是日本当
  • 戈斯赛加奥恩戈斯赛加奥恩(Gossaigaon),是印度阿萨姆邦Kokrajhar县的一个城镇。总人口13267(2001年)。该地2001年总人口13267人,其中男性6974人,女性6293人;0—6岁人口1697人,其中男898人,女799人;
  • 滕国滕国,中国历史上春秋战国时代的一个诸侯国。《汉书·地理志》记载共传31世君主,顾炎武在《肇域志》中言传32世。早在夏商时期,滕国即已存在,《国语·晋语四》记载“凡黄帝之子,二