艾伦伯格-斯廷罗德公理

✍ dations ◷ 2025-09-12 15:56:43 #同调论,公理

在数学的代数拓扑学中,艾伦伯格-斯廷罗德公理(英语:Eilenberg–Steenrod axioms)是拓扑空间的同调论的共有性质。符合这套公理的同调论的典型例子,是由塞缪尔·艾伦伯格和诺曼·斯廷罗德建立的奇异同调(英语:singular homology)。

同调论可以定义为符合艾伦伯格-斯廷罗德公理的函子列。这个公理化方法在1945年建立,可以用来证明只要符合公理的同调论都会有的共同结果,例如迈耶-菲托里斯序列(英语:Mayer–Vietoris sequence)。

如果省略了其中的维数公理,那么其余的公理所定义的是广义同调论(英语:extraordinary homology theory)。最早出现的广义同调论是K-理论和配边理论(英语:cobordism theory)。

艾伦伯格-斯廷罗德公理用于从拓扑空间偶(, )范畴到阿贝尔群范畴的函子列 H n {\displaystyle H_{n}}  − 1()是 − 1(,∅)的简记。)这套公理是:

约翰·米尔诺增加了一条公理:

设是单点空间,那么 H 0 ( P ) {\displaystyle H_{0}(P)} -球面。因此可以推导出(-1)-球面不是-球的收缩。用这个结果可以给出布劳威尔不动点定理的一个证明。

如果一个同调论符合差不多所有艾伦伯格-斯廷罗德公理,但维数公理除外,便称为广义同调论(英语:extraordinary homology theory)(对偶概念为广义上同调论)。一些重要例子在1950年代发现,例如拓扑K-理论和配边理论(英语:cobordism theory),都是广义上同调论,并有与之对偶的同调论。

相关

  • 卡尔·希欧多尔·德莱叶卡尔·西奥多·德莱叶(Carl Theodor Dreyer,1889年2月3日-1968年3月20日)是一位丹麦电影导演,被认为是历史上最伟大的导演之一。
  • 胡塞运动胡塞运动(阿拉伯语:الحوثيون‎,al-Ḥūthiyyūn),正式名称是真主虔信者(أنصار الله ,anṣār allāh ),是也门的一个伊斯兰教什叶派宰德派反政府武装组织,该组织被数
  • 汉斯·费英格费英格(Hans Vaihinger,1852年9月25日-1933年12月18日)是19世纪的德国哲学家,主要哲学著作为《仿佛哲学》(《Die Philosophie des Als Ob》,1911年出版)。费英格出生于内恩(德语:Neh
  • 让·奥古斯特·多米尼克·安格尔让·奥古斯特·多米尼克·安格尔(Jean Auguste Dominique Ingres,1780年8月29日-1867年1月14日)是法国画家,新古典主义画派的最后一位领导人,他和浪漫主义画派的杰出代表欧仁·德
  • ALIVE~Always In Your Heart~《ALIVE~Always In Your Heart~》是韩国男子团体MYNAME的第四张日语专辑,也是他们转投日本环球音乐后首张作品,于2016年12月7日以七个版不同版本推出。2016年10月1日,H2media娱乐
  • 脱罗脱罗(-1506年),明朝建州女真人,建州左卫掌卫右都督董山之子,猛哥帖木儿之孙。明朝1467年杀死董山之后,1469年授脱罗都指挥同知,弘治初年升都督。1506年脱罗死后,他的儿子脱原保继承都
  • 朱珪 (清朝)朱珪(1731年-1806年),字石君,顺天府大兴县(今北京市)人,清朝政治人物、学者。官至体仁阁大学士。朱珪为朱文炳之子,乾隆十三年(1748年)中进士,年18岁。初选为庶吉士,散馆授编修。累迁侍读
  • 权恩妃权恩妃(朝鲜语:권은비 ;日语:クォン・ウンビ;1995年9月27日-),韩国女子团体IZ*ONE队长,所属经纪公司为Woollim娱乐。2014年7月18日,以Kiroy Company女团Ye-A(예아)出道,艺名为Kazoo(카쥬),
  • 约翰·米切尔约翰·威廉·米切尔(英语:John William Mitchell,1917年6月14日-2005年11月21日), 成员级大英帝国勋章获得者,,英国音频工程师。他曾2次获得奥斯卡最佳音响效果奖。1934年至1998年
  • 彼得·沃恩彼得·沃恩(英语:Peter Vaughan,1923年4月4日-2016年12月6日)是一位英国男演员,在英国许多电影电视中充当配角而出名。他也在舞台上有充足表演。最为著名的是在HBO电视剧《权力的