达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 多那太罗多那太罗(Donatello,1386年-1466年12月13日,本名Donato di Niccolò di Betto Bardi),也译为多纳泰洛,15世纪意大利佛罗伦萨著名雕刻家,文艺复兴初期写实主义与复兴雕刻的奠基者,对当
  • 食品污染事件黑心食品,涉及食品污染(英语:Food Contamination)、微生物学或非法使用食品添加物事件时有发生,如因收获不佳或贮存的粮食衍生霉菌毒素(英语:Mycotoxin),使用违禁兽药产品,工业污染排
  • 车轮战车轮战或车轮战术是一种战术,指多个进攻方轮流攻击同一防御方,使其疲于应付。指棋局或比赛中一人轮流对局多人。这种战术如同车轮不断转动一样,进攻方不断攻击防御方,因此得名车
  • 陈悦记祖宅坐标:25°04′32″N 121°30′43″E / 25.075563°N 121.5119279°E / 25.075563; 121.5119279陈悦记祖宅,俗称老师府,位于台湾台北市大龙峒附近,现为当地的陈氏家族祠庙。该祠
  • 大庾岭坐标:34°16′N 108°54′E / 34.267°N 108.900°E / 34.267; 108.900大庾岭,古名塞上、台岭,又名东峤、梅岭、庾岭,为五岭之一,位于江西、广东两省的边境,一向是广东与江西的交
  • Spock's BeardSpock's Beard是1992年成立于洛杉矶的前卫摇滚团体,兄弟档 Neal与Alan Morse,Neal演奏键盘并担任主唱与词曲创作者,Alan则担纲电吉他手。另外,与Nick D'Virgilio(鼓)、Dave Meros(
  • 1389运动1389运动(塞尔维亚语:Покрет 1389)或称1389塞尔维亚人民运动(Српски народни покрет 1389),为塞尔维亚极右派组织(但自我认定为反法西斯青年运动)。该组织
  • 印度尼西亚砂蛤印度尼西亚砂蛤(学名:),是笋螂目砂蛤科砂蛤属的一种。主要分布于台湾,常栖息在浅海沙底。
  • 树懒属树懒属(学名:),生物分类学上属于树懒亚目下的树懒科,也是树懒科当中的唯一一属,更常见的俗称为三趾树懒。与同为树懒亚目下的另一属二趾树懒属是近亲,分布地区也相近。树懒的移动速
  • 乔拉普拉姆乔拉普拉姆(Cholapuram),是印度泰米尔纳德邦Thanjavur县的一个城镇。总人口6364(2001年)。该地2001年总人口6364人,其中男性3041人,女性3323人;0—6岁人口779人,其中男370人,女409人;识