达布定理 (微分几何)

✍ dations ◷ 2025-02-24 14:29:35 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 头孢维星头孢维星(久安)(Cefovecin,INN)是第三代的头孢类抗菌药,用于治疗猫狗的皮肤感染。头孢维星(久安)由硕腾公司(原辉瑞公司)上市,临床上使用钠盐。商品名为康卫宁(台湾为久安)(Conven
  • 第四代反应堆第四代反应堆(英语:Generation IV reactors,缩写:Gen IV)是一系列研究中的理论反应堆设计。除了BN-1200反应堆(英语:BN-1200 reactor),多数方案被认为在2030-2040年前不可能付诸商业
  • 地球时地球时(英语:Terrestrial Time),简称TT,是现代在地球表面上的时间标准,是位于大地海平面体验的原时。在天文学,则为局限在地球上的观测者显示星历表的时间座标。它与地心座标时(Geoc
  • 莽语莽语(莽语:maŋ35、越南语:tiếng Mảng)是居住于越南、老挝、中国三国边境的莽族(又称“莽人”,该民族全世界总计约4500人)的本民族语言。Diffloth(2005)认为莽语归属于南亚语系卡西
  • 榕江榕江俗称南河,曾称揭阳江,位于中华人民共和国广东省东北部,是粤东沿海第二大的河流,因揭阳多榕树而得名,发源于陆河县东部凤凰山南麓,自西南向东北流经陆河县东坑镇、水唇镇、揭西
  • 双拼双拼是汉语拼音输入法的一种编码方案。相对于全拼而言,使用双拼输入汉字时只需输入一个代表声母的字母,一个代表韵母的字母,就可以打出任意一个中文单字了。目前Windows、Andro
  • 艺概《艺概》是中国诗文评论著作,共六卷,清代刘熙载著。《艺概》是刘熙载晚年作品,刘氏“自六经、子、史外,凡天文、算术、字学、韵学及仙释家言,靡不通晓。”,自述谈艺“好言其概”,故
  • 克拉利岛克拉利岛(俄语:Остров Кроличий)是俄罗斯的岛屿,由滨海边疆区负责管辖,位于哈桑斯基县东部,面积0,034km²,最高点海拔高度24,5米,岛上无人居住。
  • 刘掞藜刘掞藜(1899年-1935年8月5日),字楚贤,湖南新化大同镇时荣桥村(今邵阳市新邵县坪上镇时荣村)人。中国历史学家,“南高史地学派”成员,“信古派”代表,被称为“信古派第一干将”。刘掞藜
  • 白铁余白铁余(7世纪?-683年),唐朝绥州步落稽。民变领袖。他把铜佛埋在地下,时间久了,上面长了草,白铁余就欺骗同乡人:“我在这里几次看见佛光。”于是聚集众人挖出铜佛,他说:“得见圣佛的人,百