达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 毫升毫升是容量计量单位,符号为mL(为milliliter缩写,音/.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Co
  • 侵蚀侵蚀作用(英语:erosion)或水土流失(英语:soil erosion)是自然界的一种现象,是指地球的表面不断受到风、水的磨损。这个过程,陆地除了被侵蚀之外,蚀出的物质还会被带走,堆积在其他地方,
  • 胡萝卜素胡萝卜素(英语:carotene)是指若干种相关的不饱和烃,分子式为C40H56,由植物合成,但动物不能制造。胡萝卜素是橘色的光合色素。对于人眼视觉,各种胡萝卜都是有颜色的。胡萝卜素使许多
  • 领域等级领域等级是指由中世纪到近代早期欧洲(英语:early modern Europe) 基督宗教社区(英语:Christendom)社会等级制度的广泛阶级。不同的系统,为了划分社会成员因随着时间的演变形成的等
  • 安东尼·麦考利夫安东尼·克莱门特·麦考利夫(英语:Anthony Clement "Nuts" McAuliffe,1898年7月2日-1975年8月11日),二战军人,美国陆军上将。1944年突出部战役期间,时任第101空降师代理师长的麦考利
  • 程梦星程梦星(1679年-1755年),字午桥,号洴江;又字午乔,号香溪。安徽歙县人。祖父程之韺是扬州盐商,父程文正官至工部主事。程梦星生于康熙十八年(1679年),弱冠即有诗名,“于艺事无所不能,尤工书
  • 纽波特28战斗机纽波特28战斗机是法国纽波特飞机公司在第一次世界大战时推出的双翼战斗机,它是由纽波特17战斗机发展而来,但推出后法国空军却改为采用斯柏特S-VII战斗机,正当纽波特飞机公司失
  • 希伯来文学希伯来文学(Hebrew literature)包括了古代、中古以及现代使用希伯来语的文学作品。希伯来文学是犹太文学的主要形式之一,不过也有一些希伯来文学作品是由非犹太人(英语:non-Jews)
  • 格奥尔格·科尔贝格奥尔格·科尔贝(Georg Kolbe,1877年-1947年)萨克森州瓦尔德海姆人,德国雕刻家,为19世纪雕刻家的代表人物,其充满活力、现代感与精简的古典风格与法国的马约尔(Aristide Maillol)相
  • 王瑛 (1971年)王瑛(1971年5月-),四川邻水人,汉族,中国国民党革命委员会党员。中华人民共和国政治人物、第十三届全国人民代表大会四川地区代表。2018年,被选为全国人大代表。