达布定理 (微分几何)

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

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

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

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

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

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

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

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

取外导数便有

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

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

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

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

相关

  • 国立健康研究院美国国立卫生研究院(英语:National Institutes of Health,缩写为NIH),隶属于美国卫生与公众服务部,是美国联邦政府中首要的生物医学研究机构。2006年的资料显示,此机构花费美国全国
  • 沈曾植沈曾植(1850年-1922年11月20日),字子培,号巽斋,别号乙盫,晚号寐叟,浙江省嘉兴府嘉兴县人,沈维鐈孙,蒙元史地学者、书法家、史学家、同光体诗人,“于学无所不窥”,朴学宗师。据《沈曾植年
  • 中国科学院上海应用物理研究所中国科学院上海应用物理研究所(英语:Shanghai Institute of Applied Physics, Chinese Academy of Sciences)为专门从事民用非动力核技术研究的中国国有科研机构,以光子科学、核
  • 营门口街道营门口街道,是中华人民共和国四川省成都市金牛区下辖的一个乡镇级行政单位。营门口街道下辖以下地区:营门口路社区、银沙路社区、银桂桥社区、长庆路社区、花照社区和茶店社区
  • BIRCHBIRCH(英文全称:balanced iterative reducing and clustering using hierarchies,中文:利用层次方法的平衡迭代规约和聚类)是一个非监督式分层聚类算法,于1996年由 Tian Zhang 提
  • 刘石民刘石民(1941年6月-2020年7月12日),男,陕西西安人,中华人民共和国计算机科学家、政治人物,曾任九三学社中央委员会常务委员,陕西省政协副主席,第十届全国政协委员。1941年生于西安,曾就
  • 唐代海东藩阀志存《唐代海东藩阀志存》是一部专门记述古代高句丽、百济遗民的最初研究,由清末金石学家罗振玉撰写。线装一册民国26年(1937年)出版,石印本。罗振玉在洛阳北邙山一带发掘面世的高句
  • 伊达勇登伊达勇登(日语:伊達 勇登/だて はやと  ?)(1962年-),日本男性动画导演、电影导演。代表作是担任导演的《幻想魔传 最游记》、《火影忍者》&《火影忍者疾风传》。1998年的OVA《电脑
  • 2011年6月15日月食 2011年6月的月食 发生在6月15日(UTC),是一次月全食,并且是2011年两次月食中的第一次,也是近11年来持续时间最长的一次;另一次是发生在2011年12月10日的月食。这是一次罕见的中心
  • 鹿儿岛放送鹿儿岛放送(日语:かごしまほうそう,英语:Kagoshima Broadcasting Corporation),简称KKB,是日本的一家以鹿儿岛县为放送地域的私营商业电视台。成立于1982年4月28日,开播于1982年10月