达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 奥尔吉耶德·辛克维奇奥尔吉耶德·塞西尔·监凯维奇,CBE(英语:Olgierd Cecil Zienkiewicz,也译作奥尔吉耶德·辛克维奇;1921年5月18日-2009年1月2日),英国籍波兰裔学者,工程力学与计算力学专家,被视为有限
  • 约翰·克利斯朵夫《约翰·克利斯朵夫》(Jean-Christophe)是法国作家罗曼·罗兰的一部长篇小说,共10卷,1904年-1912年出版,从构思到出齐耗时20多年。1915年作者因这部小说获得了诺贝尔文学奖。约翰
  • 金俊渊金俊渊(朝鲜语:김준연,1895年3月14日-1971年12月31日)是韩国独立运动家和政治人。第三任朝鲜共产党首,首任·3~5任大韩民国国会议员,号朗山(낭산)。日本留学后1920年到东京大学法独
  • 奥托·肖特奥托·肖特(Friedrich Otto Schott,1851年12月7日-1935年8月27日)是德国的化学家及光学玻璃专家。他在1851年生于德国维滕镇。肖特从莱比锡大学毕业后不久,加入蔡司公司,从事光学
  • 约翰·布尔约翰·萨姆特·布尔(John Sumter Bull,1934年9月25日-2008年8月11日),曾任美国海军少校、飞行员、战斗机飞行员、试飞员、机械和航空工程师,以及美国国家航空航天局宇航员。
  • 任道学任道学(1556年-1615年),字用予,号养吾,四川省重庆府忠州人,民籍,治《诗经》,年三十一岁中式万历十四年丙戌科第三甲第二百五十六名进士。乙卯年十一月初八日生,行一,曾祖任俊;祖任仲实;父
  • 最大功率点追踪最大功率点追踪(Maximum power point tracking,简称MPPT)是常用在风力发电机及光伏太阳能系统的技术,目的是在各种情形下都可以得到最大的功率输出。最大功率点追踪主要是用在太
  • 火爆教头草地兵火爆教头草地兵()是1986年的一部体育题材的美国电影。讲述了印第安那州的一家高中篮球队赢得州冠军的故事。这部电影改编自1954年米兰高中的校队赢得州冠军的故事。电影上映后
  • 父后七日《父后七日》(英语:7 Days in Heaven)是台湾作家刘梓洁的作品,以散文方式叙述一个从彰化县北上工作的青年返乡奔父丧七日的故事,以黑色幽默手法展现出道教与台湾丧葬习俗。此作品
  • 尤尔根·马乔尤尔根·马乔(德语:Jürgen Macho,1977年8月24日-),出生在维也纳,是一名奥地利足球运动员,现效力帕尼奥尼奥斯,司职门将。1996年,马乔在维也纳体育(英语:Wiener Sportclub)展开其足球生涯