达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 黄部,为汉字索引中的部首之一,康熙字典214个部首中的第二百零一个(十二划的则为第一个)。就繁体中文中,黄部归于十二划部首,而简体中文则归在十一划。黄部只以左方、下方为部字。1
  • LINE1LINE1(也称作L1或LINE-1)是DNA转座子长散在核元件(Long interspersed nuclear elements,LINEs)的一种,L1约占人类基因组的17%。在人类基因组中,大部分的L1都是失活的,但仍保持着反转
  • 景寿景寿(1829年-1889年),富察氏,满洲镶黄旗人,额驸,咸丰帝顾命八大臣之一。景寿为一等公、工部尚书博启图子。道光二十四(1844年)年,赐头品顶戴,在上书房读书,二十五年(1845年)尚道光帝第六女
  • 超车道超车道是指高速公路中用于超越前车的车道,通常是靠近道路中央的车道。在高速公路中,用于进出高速公路的匝道通常设置在道路两边,而超车道则是最远离匝道的车道。
  • 金元凤金元凤(韩语:김원봉,1898年8月13日-1958年11月),号若山(약산),一名金若山。 韩国独立运动家,政治家,义烈团团长、朝鲜义勇队总队长、韩国光复军少将副总司令。曾任朝鲜民族革命党副党首
  • 徐恩曾徐恩曾(1896年-1982年),字可均,浙江湖州吴兴人。属CC派。徐新六之本家。徐恩曾毕业于南洋大学,后到美国卡内基梅隆大学学习电机工程并获硕士学位。回国后,加入中国国民党。1927年,四
  • 血多血多,又名兰堂血多,本名杨士葆,是台湾的网络动画创作家,动画系Youtuber,毕业于国立台湾大学农经系及美国知名帕森设计学院,曾任台湾大学卡通漫画研究社第14届社长。2003年,台湾网拍
  • 邹泰 (武术家)邹泰,一作周泰,清末广东湛江武术家,外号“铁头”(周铁头),以八卦棍、软绵掌驰名,有“岭南棍王”的称号。按朱愚斋所说,邹泰是广东十虎之一。但依照我是山人(陈劲)在武侠小说《武坛二虎
  • 光明的未来《光明的未来》(日语:アカルイミライ)是2002年的电影作品,为日本导演黑泽清执导的剧情长片,本片获选为第56届戛纳影展正式竞赛片。24岁的雄二和27岁的守是在东京的一家工厂工作的
  • 小椋冬美小椋冬美(1956年12月25日-),日本漫画家,本名后藤彩,群马县出身。1975年以〈うれしい昼下がり〉获得Ribon新人漫画赏佳作第1席(同期第2席是曾根富美子),1976年刊登于《Ribon正月大增刊