达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • IgGIgG(免疫球蛋白 G,英语:Immunoglobulin G)是人血清和细胞外液中含量最高的一类免疫球蛋白,约占血清总免疫球蛋白的75%~80%,血清含量9.5~12.5mg/mL,是分子质量最小的一类免疫球蛋白,具
  • 弗朗切斯科·雷迪弗朗切斯科·雷迪(Francesco Redi,1626年-1697年)是一位意大利医学家、昆虫学家,以否定无生源论而著名。雷迪最有名的贡献是1668年在发表《昆虫诞生实验》中进行的一系列实验,被认
  • 间质细胞瘤间质细胞瘤(英语:Leydig cell tumour,美式英语:Leydig cell tumor)或者(testicular) interstitial cell tumour, (testicular) interstitial cell tumor,是一种隶属于卵巢肿瘤或睾丸肿
  • 晶圆晶圆(英语:Wafer)是指制作硅半导体集成电路所用的硅芯片,由于其形状为圆形,故称为晶圆。晶圆是生产集成电路所用的载体,一般晶圆产量多为单晶硅圆片。晶圆是最常用的半导体材料,按
  • 彼尔姆边疆区彼尔姆边疆区(俄语:Пермский край,罗马化:Permsky krai),位于乌拉尔山脉中段以西,是俄罗斯联邦主体之一,属伏尔加联邦管区。由原彼尔姆州及科米彼尔米亚克自治区于2005
  • 长春-图们城际快速列车长春-图们城际快速列车是中国铁路运行于吉林省省会长春至吉林省东部城市延边朝鲜族自治州图们市之间的一系列快速旅客列车的总称,由沈阳铁路局长春客运段和吉林客运段负责客
  • 余肇康余肇康(1854年-1930年),字尧衢,号敏斋、倦知老人,湖南长沙府长沙县(今湖南省长沙市)人,清朝政治人物、进士出身。光绪八年,乡试中举;光绪十二年,登进士,任工部学习主事;光绪二十一年,署湖北
  • 何肇衢何肇衢(1931年-),台湾画家。何肇衢,昭和六年(1931)生于新竹州竹东郡芎林庄鹿寮坑橘子窝的客家农家。父亲何信严是佛画师,受父亲影响,自小喜欢绘画、写生;母亲则在自家茶园农务。自小
  • 钢的琴《钢的琴》()是一部2010年的中国剧情片。是张猛继《耳朵大有福》之后执导的第二部电影,由王千源和秦海璐主演。影片监制是韩国导演郭在容,韩国演员张伸瑛也参与演出。故事聚焦于
  • 布赖恩·达布尔布赖恩·达布尔(Brian Dabul,1984年2月24日-)出生于布宜诺斯艾利斯,是一位阿根廷男子职业网球运动员,他于2001年转为职业球手。2012年,他因背部伤病正式宣布退役。