庞加莱对偶性

✍ dations ◷ 2025-08-02 14:09:41 #同调论,对偶理论,流形,数学定理

数学上,庞加莱对偶定理是流形的同调及上同调群的结构的基本定理,以昂利·庞加莱命名。这定理说若是维有向闭流形(即紧致且无边界),则的第阶上同调群同构于的第( − )阶同调群。对所有整数

庞加莱对偶定理于任何系数环都成立,只需在流形上相对于系数环而取定向。特别是由于流形于模2都有唯一定向,故于模2时庞加莱对偶定理不需假设定向就成立。

庞加莱对偶定理的一个形式最初由庞加莱于1893年提出,没有证明。当时他用贝蒂数来表达:一个维可定向闭流形的第个和第( − )个贝蒂数相等。其时未有上同调的概念,须待四十年后才得以厘清。庞加莱在1895年的论文《Analysis Situs》中尝试用他创造的拓扑相交理论去证明定理。波尔·赫高对这篇论文的批评,令庞加莱发现他的证明有重大错误。庞加莱在论文的附录首两篇中,用对偶三角剖份给出新证明。

直至1930年代上同调概念出现,庞加莱对偶定理的现代形式才出现。爱德华·切赫和哈斯勒·惠特尼发明了杯积和笠积,用这些新概念表达庞加莱对偶定理。

庞加莱对偶定理的现在形式是以同调和上同调给出:若是闭有向-流形,是整数,则有从第阶上同调群()到第( − )阶同调群 − ()的典范同构。(此处的同调和上同调取整数环为系数,但这个同构对任何系数环都成立。)更确切而言,这个同构将()的元素,映射到这个元素与的一个基本类的杯积,而有向流形都存在基本类。

对非紧致有向流形,需把上同调用紧支上同调代替。

负数阶的同调和上同调群定义为零,所以庞加莱对偶性推导出闭有向-流形大于阶的同调和上同调群是零。

相关

  • 疏水在化学里,疏水性指的是一个分子与水互相排斥的物理性质。这种分子称为疏水物。疏水性分子偏向于非极性,并因此较会溶解在中性和非极性溶液(如有机溶剂)。疏水性分子在水里通常会
  • 岳 (商族先公)“岳”字习见于殷墟甲骨卜辞。殷墟甲骨文中的“山”、“火”、“岳”三字字形相近,不易辨别,容易混淆。一种观点认为是先商时期的一位商部落先公的名称。一种观点认为是殷人用
  • 青铜文化青铜时代(Bronze Age),又称青铜器时代、青铜文明,在考古学上是以使用青铜器为标志的人类文化发展的一个阶段。青铜是红铜和锡或铅的合金,因为其氧化物颜色青灰,故名青铜。由于青铜
  • 洛杉矶港洛杉矶港(英语:Port of Los Angeles)是美国加利福尼亚州洛杉矶的港口,占地面积和水域面积达7,500 acre(3,000 ha),港口内海岸线长度43 mi(69 km)。洛杉矶港位于洛杉矶附近的圣佩
  • 青花青花瓷(英语:blue-and-white porcelain)是源于中国、遍行世界的一种白地蓝花的高温釉下彩瓷器,常简称青花(blue-and-white),也用来指代该装饰工艺。该品种清新明快,质朴大方,不仅是工
  • 各地国际收支列表各地国际收支列表列出世界上各经济体的国际收支数字,此统计数字反映的是一国一定时期内全部涉外经济交易的总和,为总体经济重要指标之一,常用来做为经济政策和业务决策的参考。
  • 阿里不哥阿里不哥(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus
  • 乌溪沙站.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 第二十二初创军团第二十二初创军团(英语:Legio XXII Primigenia)古罗马军队建制名称。由罗马帝国君主卡利古拉于公元39年建立并存在至3世纪后期。该军团曾参加达契亚战争等一系列相关军事活动,具
  • 去/不去去/不去(Go/No go)是决策过程中的仅有两个可选项的测试。例如在一次测验中可能的结果是“通过”与“未通过”,在一个决策中“执行”或“不执行”。在工业中,去/不去测试是成品质