达布定理 (微分几何)

✍ dations ◷ 2025-12-09 00:55:52 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 呼肠孤病毒正呼肠孤病毒属 Orthoreovirus 环状病毒属 Orbivirus 轮状病毒 Rotavirus 科罗拉多壁虱热病毒 Coltivirus 水产呼肠孤病毒 Aquareovirus 质型多角体病毒 Cypovirus 斐济病毒
  • 卢米埃兄弟卢米埃兄弟,即哥哥奥古斯塔·玛丽·路易斯·尼古拉斯·卢米埃尔(法语:Auguste Marie Louis Nicholas Lumiere,1862年10月19日-1954年4月10日)和弟弟路易斯·让·卢米埃尔(法语:Louis
  • 咖啡这是一个各国(地区)年人均咖啡消费量列表,最新的为2009年的数据。
  • 圣传圣传(英语:sacred tradition 或 holy tradition)是一个基督教神学术语,用于指某些基督教传统,特别是在指天主教会、圣公宗、正教会、东方正统教会的历史传统,这涉及到基督教教会的
  • 宣慰司宣慰使司,简称宣慰司。元朝、明朝、清朝官署名,常设的地方行政机构,在边疆少数民族地区执掌军民事务。元代道分两种:一种是掌军民之政的宣慰使司,一种是遍设全国各地职掌司法。宣
  • 内华达大学雷诺分校内华达大学雷诺分校(University of Nevada, Reno,简称UNR),创立于1874年,是内华达州内最古老的大学。该校专长的学术领域包括农业研究、新闻学、生物科技、以及采矿相关之工程及
  • 台湾长蜗牛台湾长蜗牛(学名:)是柄眼目坚齿螺科长蜗牛属的一种。长蜗牛属旧属扁蜗牛科,今属坚齿螺科巴蜗牛亚科的盾蜗牛族。主要分布于台湾,树栖型。
  • 白鹏飞白鹏飞(1870年-1948年),字经天,号擎天,广西桂林太史港人,中国近代法学家。毕业于日本帝国大学,遍修专业,留学11年,获法学、政治、经济、兽医、统计五硕士学位,师承梅陇布达吉。回国后,先
  • 顾祥兵顾祥兵(1959年-),江苏启东人。中国人民解放军海军中将。1978年参军。历任海军战士、海军潜艇机电长、部门长、副艇长、艇长、潜艇支队副支队长、北海舰队某潜艇支队支队长。2008
  • 高屋良树高屋良树(1960年2月21日-),是日本漫画家。秋田县出身。现住千叶县柏市。血型A型。代表作《强殖装甲》。