达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • STS-134STS-134是2011年5月执行的一次载人航天任务,此次飞行任务由奋进号航天飞机执行,是奋进号的第25次也是最后一次飞行。奋进号航天飞机于当地时间2011年5月16日8时56分28秒在佛罗
  • 卡尔贾特卡尔贾特(Karjat),是印度马哈拉施特拉邦赖加德县的一个城镇。总人口25544(2001年)。该地2001年总人口25544人,其中男性13221人,女性12323人;0—6岁人口2978人,其中男1549人,女1429人;识
  • 乌尔克 (公司)乌尔克(土耳其语:Ülker)是土耳其食品和饮料公司,总部位于伊斯坦布尔。
  • 单向函数单向函数 (One-way function)是一种具有下述特点的单射函数:对于每一个输入,函数值都容易计算(多项式时间);但是对于一个随机的函数值,算出其对应的输入却比较困难(无法在多项式时
  • 石屿石屿位于南中国海西沙群岛永乐环礁东部,咸舍屿以东约2海里,西北隔石屿门与银屿仔相望。面积2000平方米,海拔约1米多。由干涸潟湖淤塞而成。1983年中华人民共和国中国地名委员会
  • 伯塔兰峰坐标:72°4′S 167°8′E / 72.067°S 167.133°E / -72.067; 167.133伯塔兰峰(英语:Bertalan Peak)是南极洲的山峰,座标,位于维多利亚地的博克格雷温克海岸,属于胜利山脉的一部分,
  • 丘阿里卡斯丘阿里卡斯(Chuari Khas),是印度喜马偕尔邦Chamba县的一个城镇。总人口3016(2001年)。该地2001年总人口3016人,其中男性1579人,女性1437人;0—6岁人口356人,其中男192人,女164人;识字率
  • 传媒集团传媒集团(Media Conglomerate、Media Group或Media Institution)是指拥有多家涉及大众传媒事业公司的商业实体,这些公司可能涉及电视、广播、出版、电影、主题公园,以及互联网。
  • 霍为棻霍为棻,清朝官员。陕西朝邑县人。道光二十七年(1847年)考中丁未科张之万榜三甲进士。同治五年(1866年)任四川巴县(今属重庆市)知县。任内曾修《巴县志》。
  • 浩周浩周(?-?),字孔异,上党人(今山西长治市北),曹魏将领、曾任萧令、徐州刺史。建安二十四年(公元219年),关羽攻樊城,樊城之战于禁军败,时任于禁护军的浩周也被关羽所俘。孙权偷袭关羽后浩周被