定义.设 formula_2 为拓扑空间而 formula_1 为 formula_4 维球面。选定基点 formula_5。定义 formula_6 为 formula_7，也就是由保持基点的连续映射 formula_8 的同伦类构成的集合。为了方便起见，以纬垂坐标表示球面上的点，即：formula_9 表示 formula_10 在商映射 formula_11 下的像。取 formula_1 的基点为 formula_13。注意到当 formula_14 时，formula