达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 卡贝兹拉米夫定/齐多夫定(英语:Lamivudine/zidovudine),商品名为卡贝兹(英语:Combivir),为结合两种抗反转录病毒药物拉米夫定(lamivudine)和齐多夫定(zidovudine)的抗艾滋病复方药物。给药时会
  • 虾子面鸡蛋面是中国南方面食的一种,通过鸡蛋和面粉的混合作出鸡蛋面。鸡蛋面面质柔滑,在中国传统小吃中用的非常广泛,例如著名福建小吃拌面的主材料就是鸡蛋面。
  • 赵化勇赵化勇(1948年12月-),男,汉族,籍贯江苏铜山,生于安徽天长,中国中央电视台原台长。生于苏皖边区天高县(现安徽省天长市),原籍江苏铜山(其出生时属于山东省),毕业于天长中学,1972年2月在天长
  • 宜丰县宜丰县在中国江西省西北部,是宜春市所辖的一个县。三国·吴黄武年间,析建成县(今高安市)置宜丰县,后又并入高安。宋太平兴国六年(981年)以宜丰旧地立新昌县。1914年,因与浙江省的新
  • 耶路撒冷圣殿圣殿(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
  • 利多口孵非鲫利多口孵非鲫,为辐鳍鱼纲鲈形目隆头鱼亚目慈鲷科的其中一种,被IUCN列为濒危保育类动物,分布于非洲马拉维湖Kingiri及Chungruru流域,栖息深度30-100米,体长可达38公分,栖息在湖泊开
  • 88号州际公路 (纽约州)88号州际公路(Interstate 88,简称I-88),又称Senator Warren M. Anderson Expressway或Susquehanna Expressway,是美国州际公路系统的一部分,全路段位于纽约州内。西南始于宾汉顿(与
  • 马仲文马仲文(1920年12月22日-),浙江湖州人,生于上海。中华人民共和国政治人物。沪江大学商学院肄业。1949年至1955年担任上海仲文贸易行经理。1956年至1980年,任中国进出口公司上海分公
  • 白美琼白美琼(韩语:백미경),1971年-),韩国电视剧编剧。
  • 秦佐和子秦佐和子(1988年9月14日-),是日本女性声优,曾是日本女性偶像团体SKE48Team KII的前成员。大阪府出身。2009年11月1日,秦在总人数2,396名的甄选会中获选,成为SKE48 3期生的13人之一