达布定理 (微分几何)

✍ dations ◷ 2025-11-25 01:49:01 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 罗杰·斯佩里罗杰·沃尔科特·斯佩里(英语:Roger Wolcott Sperry,1913年8月20日-1994年4月17日),美国神经生理学家,出生于康乃狄克州哈特福。由于对大脑半球研究的贡献,而获得1981年诺贝尔生理学
  • 豇豆花叶病毒亚科豇豆花叶病毒属 Comovirus 豆科病毒属 Fabavirus 线形多面体病毒属 Nepovirus豇豆花叶病毒科(Comoviridae)
  • 美国国家癌症中心国家癌症研究所是美国政府为癌症研究和训练所设立的主要机构,也是美国国立健康研究院的其中一所。国家癌症研究中心是一个被联邦资助的研究与发展中心。该中心协调全国癌症计
  • 国家陆地面积列表索引 国防预算 石油储量 军事(武装部队) 死刑 国债 生育率 最高点 官方语言 地理 政体 面积 代码 陆地面积 人口 人口密度 国内生产总值 国徽 国旗 国歌 国家格言 首都 城市
  • 纹袋鼬属纹袋鼬属,哺乳纲的一属,而与纹袋鼬属同科的动物尚有长爪袋鼬属(长爪袋鼬)、里氏袋鼬属(里氏袋鼬)、林袋鼬属(短毛袋鼬)、袋鼬属(澳洲袋鼬)等之数种哺乳动物。
  • 晖姬晖姬(てるひめ、1826年6月19日(文政九年五月十四)-1840年6月7日(天保十一年五月初八)),江户幕府第12代将军德川家庆六女、田安德川家当主德川庆赖婚约者。生母为侧室于波奈之方。院
  • 多彩环塔螺多彩环塔螺(学名:)是小塔螺科小塔螺属的一种。主要分布于台湾,常栖息在浅海沙底。
  • 朱兆雪朱兆雪(1900年-1965年),江苏常熟人,中华人民共和国建筑家。震旦大学肄业。1923年获法国巴黎大学数学硕士学位,后入比利时根特大学皇家工程师研究院。回国后,先后在北平大学建筑系、
  • 浪马军浪马军(Lahmacun)是土耳其的一种薄饼卷烤肉。在“肥沃新月”地区(巴勒斯坦,黎巴嫩,叙利亚,约旦到伊朗)尤为常见。 在土耳其,经营浪马军的铺子叫“浪马军沙龙”。 浪马军还可以和烤肉
  • 名古屋电视台名古屋电视放送株式会社(日语:名古屋テレビ放送株式会社,なごやテレビほうそう,英语:Nagoya Broadcasting Network Co., Ltd.),通称名古屋电视台(日语:名古屋テレビ),简称“NBN”、“名