达布定理 (微分几何)

✍ dations ◷ 2025-11-18 13:31:43 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 时间时间是一种尺度,在物理定义是标量,借着时间,事件发生之先后可以按过去-现在-未来之序列得以确定(时间点),也可以衡量事件持续的期间以及事件之间和间隔长短(时间段) 。时间是除了空
  • 墨洛温王朝图尔奈(457-508)阿里乌派(496年以前) 正统基督教(496-751)墨洛温王朝(法语:Mérovingiens,又译梅罗文王朝或梅罗文加王朝)是一个法兰克人王朝和中世纪法兰克王国的第一个王朝。希尔德
  • 猫叫综合征猫叫综合征(英语:Cri du chat syndrome),也称猫哭症、猫啼症、5号染色体短臂缺失综合征(chromosome 5p deletion syndrome),是一种由于第五号染色体短臂缺损而引起的罕见基因异常病
  • 微晶微晶(英语:microcrystal),也称微晶体,指的是只能在显微镜下看到的微小晶体。与之相对的是粗晶(macrocrystal),指的是肉眼可以很容易分辨的晶体。
  • 社会工程阴谋论社会工程(英语:social engineering)是社会科学中的一门学科,是指通过政府、媒体或私人团体大规模影响特定的态度和社会行为(英语:Social behavior),以便在目标人群中产生所需的特性
  • 肌肉发炎肌肉发炎(英语:Myositis)指的是肌肉发炎或肿胀。受伤、药物、感染、或自体免疫疾病都有可能导致肌肉发炎。目前已知降脂药物羟甲基戊二酸单酰辅酶A还原酶抑制剂和fibrate(英语:fi
  • 1989 (消歧义)1989可以指:
  • 丁秉燧丁秉燧(1916年-1980年),回族,笔名燕京散人,知名广播人、主持人、剧评家、作家、相声、司仪。毕业于北平燕京大学新闻系。曾居住北京、天津多年,于1949年来台湾,从此定居。曾担任前几
  • Japan Complete Edition《Japan Complete Edition》集结飞轮海的全部日文单曲,发行日期为2009年9月16日。收入曲包括“我有我的Young”的日文版“仆らのシーズン”,以及在日本发行的三张单曲《Stay w
  • 胡廷干胡廷干(1841年-1906年),字鼎臣,湖北光州直隶州光山县(今河南省光山县)人,清朝政治人物。同进士出身。同治十三年,登进士;光绪十二年,任户部湖广司主事。光绪十三年,任户部江西司员外郎。