达布定理 (微分几何)

✍ dations ◷ 2025-12-03 04:35:21 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 需氧菌好氧生物(英语:Aerobic organism,或 aerobe),又译为好气生物、耗氧生物、需氧生物,是能在有氧的环境中生存及生长的生物。好氧生物利用氧的化学反应来分解糖及脂肪,以获得能量。几
  • 长期增强作用长期增强作用(英语:Long-term potentiation,LTP)又称长时程增强作用、长期增益效应,是由于同步刺激两个神经元而发生在两个神经元信号传输中的一种持久的增强现象。这是与突触可
  • 草山行馆坐标:25°09′17″N 121°32′18″E / 25.154627°N 121.538336°E / 25.154627; 121.538336草山行馆位于台湾台北市北投区的阳明山上,是蒋中正及其家人在士林官邸完工前所居
  • 列·毕顿列·毕顿(英语:Red Buttons,1919年2月5日-2006年7月13日)是一名美国电影演员及喜剧演员。曾凭《樱花恋》()中的演出赢得第30届奥斯卡金像奖最佳男配角奖。原名Aaron Chwatt,在纽约市
  • 虎眼万年青属伯利恒之星是分布于南欧的多年生草本被子植物,学名虎眼万年青属(学名:)。伯利恒之星从一个鳞茎生长,长出像草的叶子及细长的茎,最高可达30厘米。它有像星星般及带绿纹的白花束,故而
  • 图卢迪姆图山坐标:6°49′35″N 39°49′10″E / 6.8265°N 39.8194°E / 6.8265; 39.8194图卢迪姆图山(Mount Tullu Dimtu),(英语:Mount Tullu Dimtu)是埃塞俄比亚的山峰,位于该国中南部,由奥
  • 关山利一关山利一(1909年12月23日-1970年1月15日)日本兵库县人,职业九段围棋手。师从铃木为次郎名誉九段,先后隶属于日本棋院、关西棋院。第一届实力制本因坊战胜利者,雅号本因坊利仙。长
  • 王琼贤王琼贤(英文:Kinghang Wang,1968年-)网络昵称“小贤豆豆妈” 页面存档备份,存于互联网档案馆,人称“小贤老师” 页面存档备份,存于互联网档案馆,台湾女性摄影师,尤以家猫摄影闻名,因为
  • 麻生希麻生希(1984年12月20日-,曾讹称1988年出生),本名“岛崎彩”,生于日本神奈川县横滨市,vanquish-pro事务所旗下的AV女优。《豪情3D》(2014年)
  • 马兰妮马兰妮(Melanie Mark,?-),加拿大政治人物,2016年起以不列颠哥伦比亚新民主党党员身份担任不列颠哥伦比亚省议会议员,代表温哥华快乐山选区,并从2017年起出任该省的专上教育、技术及