达布定理 (微分几何)

✍ dations ◷ 2025-07-15 06:51:29 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 20152015年菲律宾APEC峰会,全称亚太经合组织第二十三次领导人非正式会议(英语:THE 23RD APEC ECONOMIC LEADERS' MEETING)。这是菲律宾第二次主办APEC峰会,第一次是在1996年。此年领
  • 驱蚊醇驱蚊醇(英语:Etohexadiol 或 ethohexadiol,或称为2-乙基-1,3-己二醇)是分子式为C8H18O2的一种带支链的二醇,能作为杀外寄生虫药使用。
  • 丹凤眼丹凤眼是眼睛的一种类型,特征是眼角上飘而且眼睛狭长。丹凤眼的内眼角向下,上眼皮往往盖住下眼皮,而外眼角往上使得丹凤眼比起其他眼睛来的有神。在中国古典文学中,丹凤眼往往是
  • 风向风向是指风吹来的方向。通常是透过基本方向或方位度来了解。有各种各样的仪器用来测量风向,如风向袋和风向标。它的工作原理在于尽量减少移动的空气阻力。风向标所指的方向是
  • 水产部中华人民共和国水产部是于1956年5月12日,第一届全国人大常委会第四十次会议决定设立的。文革时,水产工作处于停滞状态。1970年5月,农业系统各部委合并,成立农林部,水产部被撤销。
  • 惠特曼惠特曼县(Whitman County, Washington)是美国华盛顿州东部的一个县,东邻爱达荷州。面积5,640平方公里。根据美国2000年人口普查,共有人口40,740人。县治科尔法克斯(Colfax)。成立
  • 维克托·克诺雷维克托·克诺雷(德语:Viktor Knorre,1840年10月4日-1919年8月25日),德裔俄罗斯天文学家。
  • 字体列表字体列表,列出各种文字字体。
  • 波尔加·苏珊波尔加·苏珊(匈牙利语:Polgár Zsuzsa,1969年4月19日-),匈牙利裔美国籍职业国际象棋棋手,现居纽约市。1996-1999年女子国际象棋世界冠军,现美国国际象棋协会执行委员,著名的波尔加三
  • 夹谷氏夹谷姓是汉字复姓之一,在明朝《百家姓续编》中排第455位。在现代他是极罕见的姓氏。夹谷姓是女真族的一支加古氏部落的同音讹写。据郑天挺在其论文《爱新觉罗得姓稽疑》中的