达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 数理金融学金融数学(英语:Financial Mathematics)又称计量金融学(英语:Quantitative Finance)、数学金融学(英语:Mathematical Finance),是专为金融市场而设的应用数学。其本义上与金融经济学的
  • 摩尔浓度体积摩尔浓度(英语:molarity,通常以大寫M表示)是化学的一种通用浓度单位,体积摩尔浓度 c i
  • 太平洋美国太平洋沿岸地区是一块由美国的人口调查局所正式定义的九块地理区域之一。此区域包括五个州:阿拉斯加州、加利福尼亚州、夏威夷州、俄勒冈州、以及华盛顿州等,而这五州都濒
  • 放庆禄放庆禄(1844年-1877年),傣族,云南省芒市人。第二十世芒市土司。放庆禄出身土司世家,为十九世土司放承恩胞弟放世恩长子,因放承恩无嗣,遂将放庆禄过继门下。1849年,放承恩病故,放庆禄年
  • 山下莉绪山下莉绪(1992年10月10日-)是日本女模特儿、演员,德岛县德岛市出生,所属经纪公司为Stardust Promotion。本名非公开,为艺人大冢千弘的妹妹。森尾由美 | 常盘贵子 | 松雪泰子 | 竹
  • 团结街道 (成都市)团结街道,原为团结镇,是中华人民共和国四川省成都市郫都区下辖的一个乡镇级行政单位。2019年12月,撤镇设街道,团结街道办事处驻府河顺街1号。团结街道下辖以下地区:团结社区、百
  • 互动模式互动模式(models of interaction),指使用电脑时人机互动的界面。好的界面应该是能够有效地让互动顺利进行。互动系统是要让使用者可以在已存在的应用范围中完成他们的目的。系
  • 牛津大学希伯来及犹太研究中心牛津大学希伯来及犹太研究中心(英语:Oxford Centre for Hebrew and Jewish Studies,缩写:OCHJS)是牛津大学已认可的独立中心,成立于1972年,其成员负责东方学的学士、硕士教育,也出版
  • 樊邦奎樊邦奎(1958年9月15日-),安徽省滁州市人,无人机侦查技术专家,中国工程院院士,少将军衔。中国人民解放军无人机侦察技术领域学术带头人之一。
  • 蔀或篰(拼音:bù,注音:ㄅㄨˋ)是中国古代历法的时间单位。指回归年与朔望月与平太阳日的最短循环(时间长度极接近的最小公倍数)。在西方,类似的概念为 Callippic cycle。由于回归年