在上一篇《范畴与函子》中，我们初步了解了代数拓扑这门学科想要干什么，即通过找拓扑空间的具有代数结构的不变量来将拓扑空间进行分类，在这一篇，我们即将正式步入代数拓扑的城堡~

先列一下我们这一篇的任务目标：

• 函子（一）：两个道路连通空间同胚（或同伦等价），那么它们的基本群同构
• 函子（二）：两个拓扑空间同胚（或同伦等价），那么它们的奇异同调群同构

在具体展开前，我们先直观了解一下：什么是一个拓扑空间的基本群和同调群？

“基本群”和“同调群”是法国伟大的数学家庞加莱（Poincaré）引进的概念，两者都是用来窥测一个几何体（拓扑空间）的“中空”性质，或者说这个几何体有怎样的“洞”（即几维的“洞”）。例如一个游泳圈（二维环面），它中间有个空洞，因此它的基本群是非平凡的，一维、二维的同调群也是非平凡的。

不过，与同调群相比，基本群具有更直观的几何含义，这是由于它的定义更直观一些，然而这也给基本群带来很大的缺陷：基本群比同调群更难计算！

但在后期不断发展中，基本群与同调群逐渐演变推广到同伦群与一般系数（上）同调群的概念，（基本群实质是一维同伦群，这些推广我们将在下一章讨论）同时也催生了不少丰富的理论计算方法。

这一章中，我们首先给出拓扑空间的第一个具有代数结构的不变量——基本群。

【基本群】一个拓扑空间中的任意一点可以诱导一个基本群，这个群是这样构成的：起点和终点都是的道路所构成的集合在一种划分下形成的等价类，基本群就是由这些等价类构成，并且称为闭路类，其在复合意义下为一个群。那么如何划分这些闭路呢？如果两条闭路定端同伦，那么它们就属于同一类。

【同伦与定端同伦】好了，什么是定端同伦？不急，我们先从同伦说起。可以直观理解一下，给两个拓扑空间、，以及从到的两个连续映射、，如果在某个时刻起，在中开始连续变化，恰好又在另一个时刻变化到了，那么我们说映射和是同伦的。想象一下，如果、是中的两条道路（此时为单位区间），那么和同伦（记为）的直观含义就是：在下的道路可以连续变化到在下的道路。严格定义是，再存在一个连续映射，使得且，那么与同伦。和定端同伦说的是，道路变化到道路的过程中，起点和终点始终保持不变，也就是“定端”的含义。

【同伦等价与形变收缩核】由于在1.3节中要讨论同伦不变性，因此在这里说一下什么是同伦等价，以及一种特殊却最常见的同伦等价——形变收缩。如果说同伦是针对两个映射而言，那么同伦等价便是针对两个拓扑空间而言。两个拓扑空间、同伦等价（记为）是指：存在连续映射以及，使得和恒同映射同伦，和同伦。并且此时也称是到的一个同伦等价。这样不太好直观理解，但是可以考虑比较特殊的同伦等价——形变收缩：是的子空间，可以形变收缩到要求，和同伦等价，并且此时为一个收缩映射，固定为包含映射。可以理解为可以“连续”收缩到，此时称为的形变收缩核。

注1：同胚一定同伦等价！

注2：道路连通空间每一点的基本群同构，因此可以直接说的基本群是。

函子性质是描述拓扑空间的有代数结构的不变量的非常重要的语言，在上一篇《范畴与函子》中也讨论过。一般地，两个拓扑空间有连续映射，那么可以诱导出它们在对应点的基本群同态，并且若这两个拓扑空间同胚，那么它们对应点的基本群同构。为了方便用范畴语言描述，这里给出道路连通的拓扑空间范畴和群范畴之间的函子：

【协变函子】道路连通的拓扑空间范畴和群范畴之间存在协变函子，这个函子把对象拓扑空间映射到它的基本群（是群范畴中的一个对象），并且把两个拓扑空间、之间的态射（连续映射）映到它们的基本群、之间的态射（群同态）。并且由上一篇中函子的性质1可以知道，当为同胚时，为同构。

注：对，。

设拓扑空间与道路连通，则：

（1）映射的同伦：如果，那么 ；

注：如果非道路连通，则和仅相差一个同构。

（2）Cor：拓扑空间的同伦等价：如果，那么。

【Van-Kampen定理】主要计算一类特殊的拓扑空间的基本群，例如圆束，以及一般的闭曲面的基本群。思想是：通过、、来计算。

• 1维圆周的基本群：（维球面由于单连通因此基本群平凡）；
• 维实射影空间（）的基本群： ；
• 维环面（）的基本群：；
• 2维可定向闭曲面的基本群交换化：；
• 2维不可定向闭曲面的基本群交换化：。

上一章中我们知道了一个拓扑空间在它的任一点处可以诱导一个代数空间——基本群，这是第一个拓扑空间的有代数结构的不变量。在这一章中，我们将发现拓扑空间第二个具有代数结构的不变量——（整系数）奇异同调群！

（如上图，所谓“同调”，实际上就是“核模掉像”）

【奇异链复形】如图，一个拓扑空间的奇异链复形是由一连串的维奇异链群组成的一条同态链：

（1）每个奇异链群是由维奇异单形生成的Abel自由群，其中，维奇异单形是从标准单形到的一个连续映射（一维奇异单形是中的一条道路），中元素称为维奇异链（奇异单形一定是奇异链，奇异链群由奇异链组成）；

注（标准单形）： 称为标准单形， 为零点， 为 的规范正交基。直观来说， 为点， 为线段， 为三角形， 为四面体。

（2） 链群之间的同态映射称为边缘同态，且（这样保证了）。

【奇异同调群】 给了的一个链复形后，就可以定义的奇异同调群了：

（1）闭链群：，且称其中的元素为一个闭链；

（2）边缘链群：，且称其中的元素为一个边缘；

（3）奇异同调群：，其中元素为同调类，若，则称闭链和闭链同调（此时），因此也可以把闭链看作同调群中的元素。

【理解】维同调群中，两个闭链同调，当且仅当它们的差是某个维闭链的边缘。道路连通空间的低维同调群（、）可以直观理解，再高维就很难直观想象了：

（1）中，奇异单形和（中两个点）同调，当且仅当它们的差是某个1维奇异链的边缘，若取1维奇异链为到的道路（奇异单形），那么经过计算恰好可以得出，因此，奇异单形和是同调的，所以中的元素（同调类）为（），因此道路连通时，（若有个道路分支，则）；

注：一般我们会考虑的约化同调群，与唯一不同在：零维同调群。因此，拓扑空间的约化同调群能更好地描述这个拓扑空间有几维的“洞”（因为道路连通的拓扑空间没有零维的洞，此时它的零维约化同调群也为零）。

（2） 中，奇异单形和（中两条定端同伦的闭路）同调，当且仅当它们的差是某个2维奇异链的边缘，我们可以利用同伦构造一个2维奇异链，也恰好使得它的边缘等于，因此，奇异单形和是同调的，但对于中一般的闭链我们不知道是不是同调的，所以换个思路：由上述分析可知，的基本群到1维同调群有个映射，且是满同态，因此，而恰好可以证明，（换位子群），所以道路连通时，，即基本群的交换化；

（3）如果为单点集，那么很容易可以算出:

。

链复形只是连接拓扑空间和它的同调群的一个桥梁，我们真正要得到的是“同调群是拓扑空间的有代数结构的不变量”这一性质，也就是拓扑空间范畴和Abel群范畴之间的函子关系：

【协变函子】拓扑空间范畴和链复形范畴之间存在协变函子，链复形范畴与Abel群范畴之间存在协变函子，因此由上一篇中函子的性质2可以知道，拓扑空间范畴和Abel群范畴之间有协变函子，即这个函子把对象拓扑空间映射到它的奇异同调群（是Abel群范畴中的一个对象），并且把两个拓扑空间、的态射（连续映射）映到它们奇异同调群、间的态射（群同态）。并且，当为同胚时，为同构。

由于同胚这个条件比较强，所以我们看看如果上述的是同伦等价时，是不是同构。不过我们还需引入一个概念：链复形之间的链同伦。

即：称两个链复形与之间的链映射与是链同伦，如果存在一系列Abel群同态，使得（可参看下图理解），记为；称两个链复形链同伦等价，如果存在，，使得且，此时记。

类似基本群中的同伦不变性，我们有：

（1） 映射的同伦：如果，那么，因而

（2）Cor：拓扑空间的同伦等价：如果，那么，因而。

以下三种计算方法的证明都用到了《同调代数》中链复形与其同调群之间函子的特殊性质：链复形的短正合序列可诱导出其同调群的长正合序列。

【空间偶：长正合序列】为了计算同调群，我们想要把的所有维同调群类似链复形一样用一条链串联在一起，可以参考下图：

这样利用追图法就可以计算出一些同调群了：如果能相对于的空间偶导出一个同调群的长正合序列，那么我们就得到了的不同维数同调群之间的关系，并利用正合性和追图法计算的部分同调群，其计算的核心之处在于利用“核等于像”。

注1：某个范畴中，一个关于对象和态射的序列，如果，则称这个序列为正合序列。若正合序列仅有五项，即，则称该序列为短正合序列。

注2：空间偶的链复形以及同调群的导出类似于普通拓扑空间中的做法，且，其中。

【空间偶：切除定理】仅仅利用长正合序列定理似乎还不够，例如求维球面的同调群，因此我们还需要一个辅助的定理来联系两个长正合序列算出更多一些的同调群。切除定理是说一个空间偶和它切掉性质比较好的一部分形成的另一个空间偶同构：

再看上图，用切除定理计算的实质就是构造另一个空间偶的长正合序列，如果利用切除定理得到这两个序列中的与同构，那么这两条序列就有了“羁绊”，可以试着反复追图求的在长正合序列中求不出来的同调群了。（利用此方法可以求出的各维同调群

【正合三元组：Mayer-Vietoris序列】这个定理可以由切除定理导出，也可以利用它推出切除定理（因为切除定理中可以令，），M-V序列也是由链复形的短正合序列导出了同调群的长正合序列，最终得到了下图的结论：

其应用类似于Van-Kampen定理的应用，计算一类特殊的拓扑空间的同调群：即构造一个关于、、和的M-V正合序列，通过、、来算出。（环面的同调群就是利用这个定理算出来的）

• 维球面（）的同调群：；
• 维实射影空间（） 的同调群：；
• 2维环面的同调群：；
• 2维可定向闭曲面的同调群： ；
• 2维不可定向闭曲面的同调群：

注：空间偶（）的相对同调群：

对 维紧流形 来说，其为有限可剖分空间（见下述定义），从而我们可定义它的 Euler 示性数，再通过 Euler-Poincaré 公式证明它是一个同伦不变量（故也有类似的函子表达）。

首先，称 为 上的一个 维单形，如果 是从标准单形 到 的一个嵌入映射。

令 是一个拓扑空间，如果 上存在一个由单形构成的集合 ，满足：

（i）若单形 ，则 的任一个面也属于 ；

（ii） 中任意两个单形或者不相交，或者交于各自的一个面，

于是我们称 为 的一个单纯复形。

再若 中的元素作为集合覆盖 ，则称 为 的一个单纯剖分，此时称 为可剖分空间。

再若 中元素有限，则称 为有限可剖分空间。

例：流形是可剖分空间，紧流形是有限可剖分空间。

设 是有限可剖分空间， 是 的一个单纯剖分，记 为 中 维单形的个数，则定义 上的 Euler 示性数 。通过后文的 Euler-Poincaré 公式我们可验证，其为同伦不变量，即两个有限可剖分空间同伦等价，则它们的 Euler 示性数相等。

例：三维凸多面体的二维表面 的 Euler 示性数 ，其中， 为顶点数， 为棱数， 为面数。

设 是有限可剖分空间， 是 的一个单纯剖分，其为有限的，故可验证 的奇异同调群 为有限生成 Abel 群，由《抽象代数》中有限生成 Abel 群的结构定理知， 有如下分解：

，且 。

我们称 为 的 Betti 数，其刻画了 的 维“洞”的个数。又称 为 的挠子群， 为 的挠子群个数。

由下一篇中一般系数同调群与整系数同调群的关系，我们还可得到 Betti 数更好的刻画： 。

例：二维球面 的 Betti 数为 。

设 是有限可剖分空间，则有 Euler-Poincaré 公式：

。

其联系了 的 Euler 示性数与 Betti 数的关系，从而由于 Betti 数为同伦不变量，故 Euler 示性数也为同伦不变量！

例：对三维凸多面体的二维表面 来说，由于其同伦等价于二维球面 ，故它们的 Euler 示性数相等，从而有经典的欧拉定理： 。