达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 裂体生殖分裂(英语:Fission),又叫裂殖,在生物学中是指一个细胞(或身体、种群或物种)分为两个或多个部分,以及这些部分再生为细胞(身体、种群或物种)。通常是单细胞生物所形的生殖方式。该种生
  • 赛道内存赛道内存(英语:Racetrack memory),又称磁畴壁内存(domain-wall memory,DWM),一种实验中的非挥发性内存,由IBM所属的阿尔马登研究中心(Almaden Research Center)研发,研发小组由IBM院士斯
  • 钱信忠钱信忠(1911年-2009年12月31日),江苏省宝山县人。曾任中华人民共和国卫生部部长(1965年至1973年以及1979年至1982年)、国家计划生育委员会主任(1982年 - 1983年)。文革之前,他就以抓
  • 固态电子元件固态电子器件(英语:Solid-state electronics)是指那些完全使用固体电子材料、并利用束缚于其内电子或者其他载流子导电的电路器件。这一概念经常用来与早期的技术如真空管等作
  • 李家维李家维(Chia-Wei Li,1953年9月17日-)台湾生物学家,澎湖县人,现任教于国立清华大学生命科学系,台湾中文版《科学人》杂志总编辑。李家维于1953年生于澎湖县,初中时迁往台中市。1975年
  • 女歌手歌手是对于歌曲和其他声乐作品演唱者的称呼,也作为职业名使用。在中国大陆则被定义为演员类的歌唱演员。那些符合关注度和知名度的歌手又被称作“歌星”。达到一定艺术造诣和
  • 保罗·马纳福特保罗·马纳福特(英语:Paul John Manafort Jr.,1949年4月1日-)是一名美国前说客 、 政治顾问(英语:Political consulting)、前律师。马纳福特长期担任共和党竞选顾问,并于2016年6月至2
  • 黑历史黑历史(日语:黒歴史)是指本人不想提及或避而不谈的过往甚至是文献、照片。后衍伸用为,自己觉得难为情或觉得丢脸的事件。黑历史一词起源为《∀钢弹》的用语,指被封印起来的历史。
  • 海龙鱼目海龙鱼目(学名:Syngnathiformes)也称海龙目,为辐鳍鱼纲的一目,除了腹鳍和尾鳍有部分分支鳍条外,背鳍、臀鳍及胸鳍均不分支。多数身体细长。吻呈长管状;口小,位于吻端。鳃呈退化现象
  • 许谦 (元朝)许谦(1270年-1337年),字益之,宋元之际学者、理学家、教育家。晚年自号“白云山人”,世称“白云先生”。浙江婺州东阳人,其先京兆(今陕西西安)人,许谦六世祖许宝徙至金华。许谦早孤,六岁