贡献者: JierPeter
基本群的符号被定义为 $\pi_1$。你可能好奇为什么要有一个下标 $1$——这是因为基本群只是同伦群中的一种,而仅仅用 $\pi_1$ 群来描述一个拓扑空间往往是不够的。
考虑三个拓扑空间:二维球面(如地球表面)$S^2$,挖去中心的三维球体(如挖去地心的地球)$D^3-x_0$ 以及 $n$ 维几何空间 $\mathbb{R}^n$。容易看出,这三个空间中的任意道路都彼此同伦,因此对任何基点来说都只存在一个回路类,意味着它们的基本群都是平凡群(只有一个元素)。这样一来,对于空间中有几个洞、空间的维度是什么等信息就丢失了,我们就需要推广基本群的概念来描述这些性质。这就是高阶同伦群。
在 $n$ 维欧几里得空间中,集合 $\{(x_1, x_2,\cdots,x_n)|\sum^n_{i=1}x_i^2\leq 1\}$ 也被称为半径为 $1$ 的 $n$ 维球体,记为 $B^n$;集合 $\{x_1, x_2, \cdots, x_n|\sum^n_{i=1}x_i^2=1\}$ 是 $B^n$ 的表面,记为 $\partial B^n$,或 $S^{n-1}$。记号 $\partial B^n$ 表达的是 “$B^n$ 的边界”,而 $S^{n-1}$ 表达的是 “$n$ 维球面”。
更一般地,所有和球同胚的拓扑空间都被看成球,所有和球面同胚的都被看成球面。比如说,$n$ 维空间里的 “立方体”,$\{(x_1, \cdots, x_n|x_i\in[0, 1], \forall i=1, \cdots, n)\}$,都可以被看成是球。
举个例子,一张平面桌布就是一个 $B^2$ 空间,桌布的边缘是 $S^1$;如果把桌布边缘粘合成一个点,那么所得的商空间就是 $S^2$。
基本群是用保基点回路类定义的。由于道路都是区间 $I$ 到拓扑空间的嵌入映射,而回路是首尾相连的,因此一条回路可以看成是 $S^1$ 到拓扑空间的嵌入映射。这时,我们也可以把基本群称作 $1$阶同伦群。
类似地,如果把 $S^n$ 嵌入到拓扑空间中,并将道路的首尾相连运算推广到 $n$ 维情况,那么我们还可以得到 $n$阶同伦群的定义。
由定义 1 可知,拓扑空间 $X$ 中的一条道路 $p$ 是从区间 $I$ 到 $X$ 内的一个连续映射。两条道路可以进行首尾相连运算,由定义 1 定义。在这里用图像表示首尾相连运算:
如图所示,红色区间到 $X$ 的映射是一条道路,蓝色区间到 $X$ 的映射也是一条道路,它们的首位相连运算所得的道路则是绿色区间映射到红蓝区间后再到 $X$ 的映射。绿色区间也可以看成红蓝区间粘在一起后,进行适当放缩的结果。因此,我们也可以把道路的首尾相连运算看成两个区间粘成一个区间后,再作映射。
继续参考图 1 ,如果红色道路的起点和终点相同,那么它就是一条回路。回路也可以看成是区间两端粘在一起再嵌入到 $X$ 中,这样起点和终点肯定相同了。因此,回路可以看成是 $S^1$ 到 $X$ 的嵌入映射,它的起点和终点统称基点。
红蓝回路保基点粘接的过程,就是把红色区间的终点和蓝色区间的起点分别解开后再粘到一起,得到绿色区间,然后再把绿色区间的两端粘起来,得到一个绿色的 $S^1$,再嵌入 $X$。
这样粘接的好处是方便想象。在进行保基点同伦变换的时候,你可以想象成基点不动,而道路其它点连续运动,期间保持完整道路的形状以及一直在空间 $X$ 中。把红蓝回路粘接后相当于允许 $b$ 和 $d$ 离开基点运动。
当然,由于道路连通空间中基点的选择不影响基本群的结构,因此我们也可以抽象地把回路的首尾相连看成各自的起始点拆开后再把彼此的首尾相连的过程,图示依然参考图 2 .
$2$ 阶回路定义为 $S^2$ 到拓扑空间 $X$ 的嵌入映射。类似地,为了方便想象,我们把 $S^2$ 看成正方形 $I^2$ 把四条边都粘成一个点的结果。两条 $2$ 阶回路的粘接过程如图所示:
同样地,这样粘接之后,$2$ 阶回路的保基点同伦变换就可以想象成红蓝边都限制在基点上,但是亮绿色那一边自由了。我们会在接下来专门用一个小节来讨论想象的方法。
将 $1$、$2$ 阶回路的粘接方法推广开,就得到 $n$ 阶回路的定义和它们的 “首尾相连” 运算:
特别地,$1$ 阶回路又称为回路。
为了方便想象,回路的粘接还有一个更抽象的等价定义:
以 $S^2$ 的粘接为例,如图所示。
从 $S^n$ 的粘接过程中我们可以看到,当 $n>1$ 的时候,粘接的方式不唯一,随便取一种同胚都可以进行粘接。这导致了如下深刻的结果1:
本小节介绍 $2$ 阶同伦群的想象方法,展示其和基本群的不同和相似之处,希望能帮助读者体会更高阶同伦群的性质。遗憾的是,直观的图示只能应用于 $\pi_1$ 和 $\pi_2$ 群,而 $\pi_3$ 群就已经需要四维空间才能描述,更高阶的同伦群也需要更多的维度。
1. ^ 文献来源:V.A. Vassiliev,《拓扑学导论(中译本)》2.2 节,高等教育出版社。