同伦群




在数学中,同伦群是拓扑空间的一种同伦不变量。同伦群的研究是同伦理论的基石之一,一般空间的同伦群极难计算,即使对球面 的情形,至今也没有完整结果。
设 为拓扑空间而
为
维球面。选定基点
。定义
为
,也就是由保持基点的连续映射
的同伦类构成的集合。为了方便起见,以纬垂坐标表示球面上的点,即:
表示
在商映射
下的像。取
的基点为
。
注意到当 时,
而
的元素一一对应到
的连通分支。
对于 ,
带有自然的群结构:首先,我们构造一个连续映射:
在此 定义为将两份
沿基点黏合得到的拓扑空间。映射
定义为