达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 恋女内裤恋女内裤又称女内裤迷恋(英文:Panty Fetishism)是一种对女性内裤有特殊迷恋的恋物行为,包括在印刷品或者电子媒体上出现的女性内裤图像。这些女性内裤通常是由柔软的材料制成。
  • 内政部营建署内政部营建署(简称营建署)是中华民国内政部附属机关,为中华民国国土资源规划、利用与管理之最高主管机关。营建署同时也是各国家公园的主管机关,由国家公园组负责掌管。依照《内
  • 多晶晶粒(cystallite、crystal grain)是指微小的或微米尺度的晶体。多晶体由许多不同大小和取向的晶粒组成,视不同之成长与加工过程,多晶体中的晶粒取向可能都均匀地随机分布形成随
  • 鹰弋片赣语鹰弋片,赣语九个方言片之一。主要通行于江西的鹰潭市、贵溪、余江、万年、乐平、景德镇市(部分)、余干、鄱阳、彭泽、横峰、弋阳、铅山等地。
  • 央企中央管理企业,通称中央企业,简称央企,是指由中华人民共和国国务院(即中央人民政府)或其授权的财政部、国务院国有资产监督管理委员会等机构代表国务院履行出资人职责的全民所有制
  • 早安少女组。之突然出现的葫芦岛“早安少女组。之突然出现的葫芦岛”(モーニング娘。のひょっこりひょうたん島)是日本的女子偶像组合“早安少女组。”的第17张单曲,于2003年2月19日由zetima发售。
  • 勃朗宁M2重机枪750—850发/分钟 (AN/M2) 勃朗宁M2重机枪(M2 Machine Gun),俗称五零/点五零机枪,美军俗称奶妈(Browning Machine Gun,Cal. .50, M2HB,Flexible.),是由约翰·勃朗宁在一战后设计的重机枪
  • 周翔周翔可以指:
  • 道德虚无主义道德虚无主义(英语:moral nihilism或ethical nihilism),一种道德观,认为没有什么本质上是道德或不道德的。例如,一个道德虚无主义者会说,杀人——无论出于何种原因——本身既无固有
  • 美国梦之安魂曲《美国梦之安魂曲》(英语:)是2015年美国纪录片,由彼得·哈奇森(Peter Hutchison)、凯利·尼克斯(Kelly Nyks)和杰瑞德·史考特(英语:Jared P. Scott)(Jared P. Scott)导演及兼任制片人,主