达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 否定前提推得肯定结论否定前提推得肯定结论(affirmative conclusion from a negative premise)是一种形式谬误,是因三段论中有前提为否定,而结论为肯定,导致论证无效。例句:推理规则:例句分析结果:有效性
  • 埃及省埃及省(阿拉伯语:إيالة مصر‎;土耳其语:Mısır Eyaleti),是奥斯曼帝国的一个省份。1517年,在马木留克战争后,马木留克王朝被奥斯曼帝国所征服成为帝国一个省。后来,阿尔巴尼
  • 圣大卫 (格林纳达)圣大卫是格林纳达的城市,也是圣大卫区的首府,位于该国东南海岸,得名于威尔士主保圣人圣达味,在拉坦特和韦斯特霍尔之间,海拔高度8米,2013年人口数量为1,343。
  • 2AM2AM(韩语:투에이엠)为韩国男子偶像团体,隶属于韩国著名经纪公司JYP Entertainment,团体成员有昶旻、瑟雍、赵权及珍云。音乐风格如同名称一般,在这样的深夜里,能感受到最宁静的时刻
  • 莎拉·傅乐瓦莎拉·傅乐瓦(Sarah Fuller,1836年2月15日-1927年8月1日),美国教育家。她是霍勒斯曼学校的老师,曾在海伦·凯勒10岁时教导她说话,把中指放在她的鼻子上、食指放在嘴唇上、大拇指放
  • 雅尔达之夜雅尔达之夜(冬至夜,波斯文:شب یلدا‎)是在一年中最长的黑夜,即北半球冬至这一天庆祝的伊朗节日。 在公历十二月二十日或二十一日,伊朗历九月的最后一天与十月的第一天之间的
  • 兴华路街道 (高碑店市)兴华路街道,是中华人民共和国河北省保定市高碑店市下辖的一个乡镇级行政单位。兴华路街道下辖以下地区:和平社区、西大街社区、凌云社区、兴华社区、嘉园社区、泰和社区、北环
  • 班敦 (俄勒冈州)班敦(Bandon)是美国俄勒冈州库斯县的一座城市,位于科基尔河(英语:Coquille River (Oregon))河口以南。其名称由1873年在此定居的爱尔兰贵族乔治·本内特(George Bennet)以其故乡之名
  • 1998年6月逝世人物列表1998年6月逝世人物列表,是用于汇总1998年6月期间逝世人物的列表。
  • 稳定性稳定性是数学或工程上的用语,判别一系统在有界的输入是否也产生有界的输出。若是,称系统为稳定;若否,则称系统为不稳定。