达布定理 (微分几何)

✍ dations ◷ 2025-08-29 10:39:44 #微分系统,辛几何,微分几何中的坐标系,数学定理

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 染色单体染色单体(英语:Chromatid)又称染色分体,是染色体的一部分。两个染色单体叫作染色体。在减数分裂或有丝分裂过程中,复制了的染色体中的两条子染色体。每个染色单体是由一条脱氧核
  • 铽化合物铽化合物是镧系金属铽(元素符号:Tb)形成的化合物,在这些化合物中,铽一般显+3价,如TbCl3、Tb(NO3)3等;+4价的铽化合物如TbO2、BaTbF6也是已知的。三价铽离子在水溶液中一般是无色的,
  • 甲申甲申为干支之一,顺序为第21个。前一位是癸未,后一位是乙酉。论阴阳五行,天干之甲属阳之木,地支之申属阳之金,是金克木相克。中国传统纪年农历的干支纪年中一个循环的第21年称“甲
  • 恩诺克·休昂米 以诺·奥尼奴锡臣·休昂米(英语:Enoch Olusesan Showunmi,1982年4月21日-)出生在吉本,是一名尼日利亚足球员,2008年夏季被效力球队布里斯托尔城放弃,曾效力英格兰足球依斯米安联
  • 国情国情就是区别和特点,就是一个国家与其他国家不同的特殊环境、条件和情况。任何国家都有自己的国情。国情是由于一个国家或地区在经历了长期历史、文化而积淀下来的。国情在一
  • 罗遵殿罗遵殿(1798年-1860年),字澹村,号问云,安徽宿松人。清朝政治人物,道光乙未进士,官至浙江巡抚。太平军破杭州时仰药自尽。道光十五年(1838年)进士,直隶即用知县,历南乐县、唐山县、清苑县
  • SCPI可编程仪器标准命令(英语:Standard Commands for Programmable Instruments,缩写:SCPI)定义了一套用于控制可编程测试测量仪器的标准语法和命令。SCPI于1990与IEEE 488.2协议一起
  • 贝基利区贝基利区(马达加斯加语:Bekily),是马达加斯加的行政区,位于该国南部,由安德罗伊区负责管辖,首府设于贝基利,面积5,097平方公里,2011年人口156,106,人口密度每平方公里31人。
  • 岛间网切氏岛间网切氏(韩语:도간망절씨 ),韩国的一个朝鲜族姓氏本贯,源自归化的日本姓氏网切(日语:網切/あみきり ),是网切氏的唯一一个本贯。该本贯的始祖是网切一郎(日语:網切一郎),是第二次世界
  • 靳绍谦靳邵谦(?-?),字受之,直隶真定府安平县人,民籍,明朝政治人物。顺天府乡试第一百三十一名,万历八年(1580年)庚辰科会试第二百九十七名,登三甲第一百五十六名进士。曾祖靳雁;祖父靳康;父靳载,曾