达布定理 (微分几何)

✍ dations ◷ 2025-11-23 07:48:02 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 螨虫见内文蠕形螨属(学名:Demodex),又称毛囊螨或毛囊虫,亦即俗称的“螨虫”的一部分,是小型寄生螨类的一个属。 常寄生于哺乳动物的毛囊内。目前已知蠕形螨有约65个种,140多个亚种;它们
  • 泰勒玛泰勒玛(Thelema,/θəˈliːmə/)是古希腊单词θέλημα的音译,意味着一个人的真实意志,区别于一般意义上的表层意愿。泰勒玛常被视作是一种衍生于西方神秘主义的社会性或灵性
  • 联络神经元中间神经元(英语:interneuron),又称转接神经元(relay neuron),或共同神经元(association neuron)或局部回路神经元(local circuit neuron),是一种多极性神经元,在神经传导路径中连接上行(a
  • 根管藻目根管藻目(Rhizosoleniales)为藻类植物之一植物目。该植物于植物分类表上,归于硅藻门 (Bacillariophyta)同纲者尚有圆筛藻目及盒形藻目等等。
  • 朝青龙明德朝青龙明德,本名道勒格尔苏伦·达格瓦道尔吉(蒙古名:Долгорсүрэн Дагвадорж,拉丁转写:Dolgorsuren Dagvadorj,1980年9月27日-),蒙古国乌兰巴托人,日本大相扑力士
  • 大卫·G·佛里曼大卫·古斯里·佛里曼(David Guthrie Freeman,1920年9月6日-2001年6月28日),是一名美国羽毛球运动员,出生于加州帕萨迪纳。大卫·佛里曼于1920年9月6日出生在帕萨迪纳,他父亲是长老
  • 达米克—伊利舒达米克—伊利舒(英语:Damiq-ilishu)(约公元前1816年—约公元前1794年在位)伊辛第一王朝末代国王。当他在战争中被对手拉尔萨国王瑞姆辛一世打败的时候,他失去了统治权以及伊新的独
  • 索卢基夫坐标:49°2′20″N 23°57′33″E / 49.03889°N 23.95917°E / 49.03889; 23.95917索卢基夫(乌克兰语:Солуків),是乌克兰的村落,位于该国西部伊万诺-弗兰科夫斯克州,由多利
  • 胡长新胡长新(1818年-1884年),字铭三,又字子何,清朝官员、学者,贵州省黎平府(今黎平县)人。同进士出身。胡长新为嘉庆十年(1805年)进士胡秉钧之子。道光二十六年(1846年)中举人,次年联捷丁未科三
  • 萨伏依的贝内迪托萨伏依的贝内迪托(意大利语:,1741年6月21日—1808年1月4日),沙布莱公爵(英语:Duke of Chablais),萨丁尼亚国王卡洛·埃曼努埃莱三世的幼子。1775年,贝内迪托与侄女玛丽亚·安娜结婚,两