达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • Moscow莫斯科(俄语:Москва,罗马化:Moskva,IPA:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
  • 文书文书可以指:
  • 鲁伊兹·布劳威尔鲁伊兹·艾格博特斯·杨·布劳威尔(Luitzen Egbertus Jan Brouwer,多写作L. E. J. Brouwer)(1881年2月27日-1966年12月2日)是一位荷兰数学家和哲学家。他是数学直觉主义流派的
  • 奎诺糖奎诺糖(英文:Quinovose),即6-去氧葡萄糖,又名鸡纳糖、异鼠李糖,是一种化学式为C6H12O5的脱氧六碳糖。在植物中常见的是6号位磺基化的6-磺酸奎诺糖。果聚糖:菊粉 · 果聚糖β2→6
  • 德格卢尔德格卢尔(Deglur),是印度马哈拉施特拉邦Nanded县的一个城镇。总人口48024(2001年)。该地2001年总人口48024人,其中男性24623人,女性23401人;0—6岁人口6948人,其中男3556人,女3392人;识
  • 博拉特·努尔加利耶夫博拉特·努尔加利耶夫(或波拉提·努尔哈力耶夫; 哈萨克语:Болат Қабдылхамитұлы Нұрғалиев; 1952年-),哈萨克斯坦外交家,现任上海合作组织秘书长。努
  • 洛克人6 史上最大战争!!《洛克人6 史上最大战争!!》(日版名:ロックマン6 史上最大の戦い!!,英文版名:Mega Man 6)是游戏开发商卡普空于1993年11月5日发售的FC游戏机专用动作游戏。在2012年12月12日发行3DS
  • 夜回《夜回》(日语:夜廻)是日本一软件开发并发售的恐怖动作冒险游戏,主要讲述寻找失物的少女在午夜街道寻觅的故事。本作最初于2015年在日本发行PlayStation Vita版,并于2016年移植至
  • 艾伦·沃克艾伦·奥拉夫·沃克(英语:Alan Olav Walker,1997年8月24日-),是一名挪威 DJ 和音乐制作人,出生于英国英格兰北安普顿,因电子舞曲单曲《迷失》走红。沃克生于英格兰北安普顿,两岁时与
  • 结构化ASIC结构化ASIC(Structured ASIC)是一种各项特性表现皆介于FPGA与ASIC间的订产型芯片,它在量产成本、逻辑门利用率、功耗用电、效能速度等表现上优于FPGA,但又不如纯ASIC表现的优