达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 镍过敏3d8 4s2 或 3d9 4s12, 8, 16, 2 或 2, 8, 17, 1蒸气压第一:737.1 kJ·mol−1 第二:1753.0 kJ·mol−1 第三:3395 kJ·mol−1 (主条目:镍的同位素.mw-parser-output ruby.zy{
  • 食虫目食虫目(学名:Insectivora)是一个已被弃用的哺乳纲动物分类,其成员现时主要都被归入真盲缺目,其他的被分入其他目,又或独立成为一目。在过去,食虫目是一个包括一篮子小型到非常小型
  • 兰实兰实(泰语:เทศบาลนครรังสิต Thetsaban Nakhon Rangsit)是泰国巴吞他尼府的城市,被视为首都曼谷在北方的卫星城。兰实也是泰国多个旅游地点所在交通线的枢纽城市
  • 查谟-克什米尔邦查谟和克什米尔邦(印地语:जम्मू और कश्मीर;乌尔都语:جموں و کشمیر‎‎;克什米尔语:جوم تِ کشیر)地处喜马拉雅山脉南簏的克什米尔地区,因印巴领土争
  • 政治动物学与动物政治学《政治动物学和动物政治学》是绿色政治理论家Marcel Wissenburg(英语:Marcel Wissenburg)和David Scholsberg(英语:David Schlosberg)的著作,于2014年由麦克米伦出版社出版。这部作
  • DHCP snoopingDHCP Snooping是DHCP的一种安全特性,主要应用在交换机上。作用是屏蔽接入网络中的非法的DHCP服务器。即开启 DHCP Snooping 功能后,网络中的客户端只有从管理员指定的DHCP服务
  • 沈黎晖沈黎晖(1968年4月28日-),出生于中华人民共和国北京市。中国大陆歌手、唱片制作人、音乐评论。1980年代中期,组建"清醒"乐队,任乐队主唱。 2009年6月,沈黎晖受湖南卫视邀请点评快乐
  • 胡达源胡达源(1778年-1841年),字清甫,号云阁,室名文妙香轩、闻妙香室。湖南省长沙府益阳县(今益阳市赫山区)人,清朝政治人物、理学家。父亲胡显韶为诸生,博览经书、史书,以《小学》、《近思录
  • 狮子王 (原声带)《狮子王》原声带收录了电影里面出现过的配乐和音乐。On September 30, 2003, Disney released a Special Edition of the soundtrack with two newly-added tracks:In addi
  • 秋香秋香本名林奴儿,字金兰,号秋香,金陵青楼名妓。《唐伯虎点秋香》(又名《三笑姻缘》)的女主角秋香确有其人。孟森在《心史丛刊》三集考证,秋香是南京妓女,本名林奴儿,明朝成化年间人,“