达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 二分裂分裂(英语:Fission),又叫裂殖,在生物学中是指一个细胞(或身体、种群或物种)分为两个或多个部分,以及这些部分再生为细胞(身体、种群或物种)。通常是单细胞生物所形的生殖方式。该种生
  • 西门町天后宫坐标:25°02′34″N 121°30′23″E / 25.042793°N 121.506325°E / 25.042793; 121.506325台北天后宫,原名艋舺新兴宫,俗称西门町天后宫、西门町妈祖庙,是位于台湾台北市万华
  • 威廉·劳伦斯·布拉格威廉·劳伦斯·布拉格爵士,CH,OBE,MC,FRS(英语:Sir William Lawrence Bragg,1890年3月31日-1971年7月1日),出生于澳大利亚的物理学家,他拥有澳大利亚和英国双重国籍,因为发现了关于X射线
  • LightsLights(全名:Lights Valerie Poxleitner,1987年4月11日-)是一位加拿大电子流行乐女歌手和歌曲创作者,专长为流行电子音乐,代表作有《冰》("Ice")、《拯救者(英语:Saviour (Lights song)
  • 美国新河入口海怪尸体美国新河入口海怪尸体(英语:New River Inlet Carcass)是指1885年在美国佛罗里达州圣卢西亚县新河入口发现的大型神秘海洋生物尸体。美国新河入口海怪尸体最先被目击者戈登发现,
  • 拇指峰拇指峰,日文称新田立岩或新田立石,是位在南小岛的一个山峰,位置在岛上的东部偏南,同时也是岛上的第二高峰,海拔89米。拇指峰西边正对岛上的第一高峰拳头岭,从平地高高耸起恰似拇指
  • 中京圈中京圈指的是名古屋为中心发展的一个日本都市圈,又称名古屋圈或名古屋大都市圈。由于名古屋位于过去日本的两大都市东京(江户)和京都之间,而有“中京”之称。与其他都市圈相比,该
  • 盘舌蟾科盘舌蟾科(学名:)是两栖纲无尾目的一个科,现存3属11种,有的时候也将铃蟾属划归本科,分布于西欧和北非地区。盘舌蟾舌头成圆盘状,不能伸出,故名。
  • 性史 (张竞生著)《性史》是张竞生在1926年出版的一部性学著作。原名《性史第一集》。《性史》是一本小书,不到150页,收集了一舸女士、江平、白�、喜莲、�子、乃诚、敬仔等七人的作品。张竞生在
  • 罗大纲罗大纲(1804年-1855年)原叫罗亚旺或是阿旺,广东潮州揭阳县西门外蓝田都上阳乡寨内(今丰顺县的汤南镇新楼种玉上围/上围古寨)人;太平天国早年名将,勇猛善战,初舟运职业,识人颇广并加入