达布定理 (微分几何)

✍ dations ◷ 2025-12-09 14:18:38 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 平假名(日语:平仮名/ひらがな/ヒラガナ hiragana *)是日语中表音文字的一种。平假名是从中文汉字的草书演化而来的。早期平假名多为日本女性所用,且多作抒情之文,故谓女文字、女
  • 嫡妻嫡妻,或称正室、正妻、正房,俗称大老婆、大婆,是一夫多妻的家庭里面礼制上与丈夫平等的妻子。东亚古代男子一般同时只能有一位正妻,称为嫡妻;宋代之前,古中国只有贾充等数人因特殊
  • 路易·诺塔里图书馆路易·诺塔里图书馆(法语:Bibliothèque Louis Notari)是摩纳哥的国家图书馆,建立于1909年。 自1925年开始成为摩纳哥的法定送存图书馆,藏书量在30至40万。其名称则是为了纪念摩
  • 数据链路数据链路(英语:Data link),在电信术语中,是异地用于收发数据的工具和介质。它也可以是一个由通信终端和连接电路组成的系统,具体的通信由专门设计的协议来控制。 但与此同时,数据链
  • 弗兰克·阿瑙弗兰克·阿瑙(Frank Arnau,1894年3月9日-1976年2月11日)是一位作家,出生于奥地利,最有名的作品是《The art of the faker》。
  • 京东大峡谷坐标:40°14′17″N 117°09′48″E / 40.2381265°N 117.1632532°E / 40.2381265; 117.1632532京东大峡谷位于北京市平谷县城东北约12公里的鱼子山村。包括大峡谷与井台山
  • 符验符验(?-?),字大克,浙江台州府黄岩县人,军籍,明朝政治人物。浙江乡试第七名举人。嘉靖十七年(1538年)中式戊戌科会试第八十八名,登第三甲第一百六十六名进士。授监察御史,后贬为建安县知县
  • 猴子捞月《猴子捞月》是一部中国上海美术电影制片厂制作的剪纸动画片。获得过中国电影金鸡奖最佳美术片、保加利亚卡布洛沃第四届国际喜剧电影节最佳短片奖。一群猴子在森林里生活。
  • 陈伯恭 (永乐进士)陈伯恭,江西吉安永丰县人,明朝政治人物、进士出身。永乐二年,登进士。后选为翰林院庶吉士,编撰永乐大典。
  • 舒福隆舒福隆(Célestin-Félix-Joseph Chouvellon,1849年12月19日-1924年5月11日),巴黎外方传教会会士,川东代牧区首任主教(1891年9月25日-1924年5月11日)。1849年12月19日,舒福隆出生在法