在各种拓扑不变量中,欧拉示性数是一种可以通过把空间“多面体化”而方便地计算出来的量。可以说,同调群是欧拉示性数的精细化。而且,我们可以很容易地从同调群读出欧拉示性数。让我们来看图3.1。在图中,内部被包含在内,而在图中则不然。我们如何刻画这一差别呢?一个显然的观察是:图的三条边构成了内部的边界,而图的边则不然(内部并不是图的一部分)。显然,这两种情形下的边都构成一条闭路(环路),它没有边界。换言之,若存在一条环路,而它不是某个区域的边界,就意味着该环路内部存在一个洞。这就是我们在此对空间进行分类的指导原则:找出一个没有边界的区域,而它本身并不是某个区域的边界。这一原则在数学上被发展成了同调群理论。

图 3.1。(a) 是实心三角形,而 (b) 是没有内部的三角形的边。

我们的论述依据 Armstrong (1983)、Croom (1978) 以及 Nash 和 Sen (1983)。群论的入门介绍可参见 Fraleigh (1976)。
习题
来源与版本
正文:中文 · 机器译稿 · 待校对
核对状态:机器译稿 · 待校对
来源版本:second-edition-local
来源 PDF SHA-256:fcd24c3371d092a8c699ccf5cf0765462924b6c48412804231076e8084b1940d
OCR 来源 SHA-256:0b6324f01172a3548cd34382e82fd8bfae574602b6b2cfaa357ba96bc2c35478
译稿产物 SHA-256:543fd1c3eae885874a1e492ccb2067ba238da2ed5df37b5e23e905a2313564c0