达布定理 (微分几何)

✍ dations ◷ 2025-12-10 15:36:17 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 千里光属 L. Baill. Humb. & Bonpl千里光属(),又称黄菀属,是菊科下的一个属,为草本、亚灌木或灌木植物,也有部分为多肉植物。该属约有1500~2000种,分布遍及于全世界。大多在春季和秋季生
  • KitenKiten是KDE Software Compilation中的日语汉字的学习软件 。它还可以作为“日本-英语”和“英语-日语”字典 。用户可以通过笔画数或者部首来查找日语汉字。用户还可以添加
  • 安娜·塔鲁西娜安娜·塔鲁西娜(俄语:Анна Сергеевна Тарусина,2003年1月24日-)是一位俄罗斯的女子花式滑冰运动员。
  • 萝藦亚科详见本文萝藦亚科是双子叶植物纲,夹竹桃科的一个亚科,其模式属为马利筋属()。多年生草本、灌木、藤本、稀为乔木。萝藦科约有250属,2000多种,主要分布在热带和亚热带地区,中国有44
  • 乡里大辅乡里大辅(1952年2月8日-2010年1月17日)是日本的男性配音员,本名与早期艺名为长堀芳夫(ながほり よしお),活动时期从1970年开始到2010年。乡里大辅于东京都江东区出生,TTC(东京校)出身,
  • 刑房刑房(英语:Grindhouse)是一种在美国会长期放映剥削电影的戏院。该电影策划能能追溯至1920年代初,“Grindhouse”一词经常被错误地与纽约市42街的都市娱乐等领域搞混,这词最早来自
  • 石川步石川步(Ishikawa Ayumu,1988年4月11日-)是一名出身于日本富山县鱼津市的棒球选手,司职投手,目前效力于日本职棒千叶罗德海洋。72 的场直树 | 71 吉井理人 | 80 大冢明 | 81 伊志岭
  • 挑战者号 (电影)《挑战者号》()是一部讲述理查德·费曼调查挑战者号航天飞机灾难的电影。菲利普·考夫曼担任该片导演,大卫·斯特雷泽恩在片中扮演费曼博士。影片原计划在2007年戛纳电影节首映
  • 裸岛 (电影)《裸岛》是新藤兼人1960年导演的电影,采用黑白摄影,全片无任何对白。本片剧本问世后,因为在经济效益方面要冒很大风险,没有一家电影企业敢于问津。最后由导演新藤个人出资完成了
  • 校园小子《爱的教育》(日语:愛の学校クオレ物語)是一部日本电视动画,由MBS电视台与日本动画公司共同制作,于1981年4月3日至同年9月25日在TBS播出,全26集。动画导演为冈部英二,音乐由服部克