首页/概念/高阶同伦群

Concept·Algebraic Topology

高阶同伦群

Higher Homotopy Group

代数拓扑已审核1 条定义7 条关系更新于 2026-11-04

别名高阶同伦群homotopy groupsπn

高阶同伦群定义为球面映射的同伦类集合 $π_{n} (X, x_{0}) = [(S^{n}, s_{0}), (X, x_{0})]$ ， $n \geq 1$ 。它是一个群，且当 $n \geq 2$ 时是交换群。

定义

Definitions

1 条

同一概念可以拥有多条定义：它们可能刻画同一对象的不同侧面（例如标准定义与范畴论刻画）。每条定义都有独立页面与来源。

高阶同伦群的定义

Definition of Higher Homotopy Groups

已审核

设 $X$ 为拓扑空间， $x_{0} \in X$ ， $n \geq 1$ 。记 $(S^{n}, s_{0})$ 为带基点的 $n$ 维球面。定义 $π_{n} (X, x_{0}) := [(S^{n}, s_{0}), (X, x_{0})]$ ，即保持基点的连续映射的同伦类集合。沿赤道拼接两个球面映射，可使 $π_{n} (X, x_{0})$ 成为群；当 $n \geq 2$ 时该群是交换群。

π_{n} (X, x_{0}) = [(S^{n}, s_{0}), (X, x_{0})], n \geq 1

成立条件

$n \geq 1$
同伦与映射均保持基点
$n \geq 2$ 时群交换； $n = 1$ 时即基本群，可以非交换

适用对象

带基点的拓扑空间

定义解释

$n = 1$ 时 $S^{1}$ 的映射就是闭路，回到基本群。对 $n \geq 2$ ，球面有足够的「旋转空间」，可以把两次拼接的顺序同伦地交换，因此 $π_{n}$ 交换。这一现象也解释了为什么高阶同伦群比基本群更接近同调群。

参考来源：2 条（见定义页）

前置概念

Prerequisites

2 条

严格数学前置指「定义中直接使用了对方」；学习前置是教学顺序建议，二者可能不同。所有前置概念都可以点击跳转，并可逐层递归展开。

A严格数学前置

同伦Homotopy

B学习前置

基本群Fundamental Group

多层前置（最多展开三层，点击三角展开）

同伦Homotopy数学前置

连续映射Continuous Map数学前置

拓扑空间Topological Space数学前置

基本群Fundamental Group学习前置

连续映射Continuous Map数学前置

拓扑空间Topological Space数学前置

同伦Homotopy学习前置

连续映射Continuous Map数学前置仍有更深前置，可在对应概念页继续

拓扑空间Topological Space数学前置

思想动机

Motivation

01原本存在的问题

基本群只探测一维的洞。球面 $S^{2}$ 的「内部空洞」不是任何闭路能看到的： $π_{1} (S^{2}) = 0$ ，但 $S^{2}$ 显然不可缩。需要更高维的探测器。

02原有理论的不足

基本群的定义把闭路（ $S^{1}$ 的像）作为基本对象；这个构造无法直接推广到「二维的绕行」，也没有现成的代数不变量能补上这个缺口。

03为什么需要引入新概念

用 $n$ 维球面代替圆周： $π_{n}$ 的元素是 $(S^{n}, s_{0}) \to (X, x_{0})$ 的同伦类。拼接沿赤道进行， $n \geq 2$ 时两条拼接方向可以通过「旋转球面」同伦交换（Eckmann–Hilton 论证）。

04新概念解决了什么

高阶同伦群成为完备的同伦不变量：Whitehead 定理说明连通 CW 复形之间的弱同伦等价即同伦等价。但计算极其困难，这一困难催生了同调、谱序列、稳定同伦论与谱理论。

关系网络

Relations

7 条

关系按类型分开记录：逻辑依赖、学习顺序、推广与特例、应用、思想联系、历史影响。下图以本概念为中心，点击节点可展开邻居，双击节点打开对应概念页。

数学前置依赖
学习前置
推广
特殊情形
等价
构造自
应用于
在……下不变
思想联系
思想启发
历史影响
|
同伦论
代数拓扑
一般拓扑
群论
范畴论与同调代数
数学基础
几何群论

在全局关系图中查看 →

逻辑与结构关系Logical / structural

由数学定义本身决定的关系：谁依赖谁、谁推广谁、谁与谁等价。这类关系与学习者无关。

数学前置依赖requires

同伦Homotopy数学前置依赖已审核

$\pi_n$ 的元素是球面映射的同伦类，群结构来自沿赤道的拼接；定义完全建立在同伦之上。

来源：Hatcher 2002

弱同伦等价Weak Homotopy Equivalence被依赖已审核

弱同伦等价的定义就是诱导所有 $\pi_n$ 的同构；没有高阶同伦群就没有这个定义。

来源：Hatcher 2002

特殊情形special_case_of

基本群Fundamental Group有特例已审核

$\pi_1$ 就是 $n=1$ 的高阶同伦群；它是唯一边一般可以非交换的情形。

成立条件：取 $n = 1$，此时球面 $S^1$ 的映射即闭路

来源：Hatcher 2002、Hurewicz 1935

学习顺序Learning order

教学法上的先后顺序。它不总是逻辑依赖：某些概念可以先学后补证明。

学习前置learning_prerequisite

基本群Fundamental Group学习前置已审核

教学上通常先学 $\pi_1$ 再推广到 $\pi_n$；$n=1$ 的情形提供了所有直觉。

来源：Hatcher 2002

弱同伦等价Weak Homotopy Equivalence学习后继已审核

教学上需要先掌握同伦群，才能比较「弱等价」与「同伦等价」的差别。

来源：Hatcher 2002

应用与不变量Application / invariance

一个概念被用于研究另一个对象，或某类结构在变换下保持不变。

在……下不变invariant_under

同伦等价Homotopy Equivalence在……下不变已审核

同伦等价诱导所有 $\pi_n$ 的同构；这正是「同伦群是同伦不变量」的严格表述。

来源：Hatcher 2002

思想联系Conceptual connection

不构成严格逻辑依赖，但在思想史或方法论上互相照亮的关系。

思想联系conceptual_connection

奇异同调Singular Homology思想联系已审核

Hurewicz 定理把第一个非平凡同伦群与同调群联系起来；两者一个追求完备、一个追求可计算。

来源：Hatcher 2002

历史脉络

History

4 条

时间线中的每个事件都关联文献来源；标注「待审核」表示书目信息尚未完全核对。

1935–1936
Hurewicz 引入高阶同伦群
Witold Hurewicz
Hurewicz 在《Beiträge zur Topologie der Deformationen》系列中系统研究了映射的同伦，引入高阶同伦群 $π_{n}$ （ $n \geq 2$ ），并给出联系同伦群与同调群的 Hurewicz 定理。高阶同伦群从此成为同伦论的核心对象。

来源：Hurewicz 1935待审核
1937
Freudenthal 悬挂定理
Hans Freudenthal
Freudenthal 研究球面映射的同伦类，证明悬挂同态 $π_{n} (X) \to π_{n + 1} (Σ X)$ 在一定维数范围内是同构。这一「稳定范围」现象后来发展成稳定同伦论。

来源：Freudenthal 1937待审核
1945
Eilenberg–MacLane 空间 K(G, n)
Samuel Eilenberg、Saunders Mac Lane
Eilenberg 与 Mac Lane 构造了以给定群 $G$ 为唯一非平凡同伦群（位于第 $n$ 层）的 CW 复形 $K (G, n)$ ，并用它研究同调与同伦群之间的关系。这类空间后来成为表示同调与上同调、以及研究稳定同伦论的基石。

来源：Eilenberg 1945已审核
1951
Serre 用纤维化与谱序列计算球面同伦群
Jean-Pierre Serre
Serre 在博士论文中系统研究纤维化的奇异同调，构造了后来以他命名的谱序列，并据此证明：对 $i > n$ ，除 $(n, i) = (n, 2 n - 1)$ （ $n$ 为偶数）外，球面同伦群 $π_{i} (S^{n})$ 都是有限群。这标志着同伦群计算进入系统化阶段。

来源：Serre 1951已审核

延伸探索

Extensions

从这里出发可以继续探索的方向，按「直接推广 / 理论应用 / 思想联系 / 现代发展」区分。

理论应用

把这里的工具用到其他数学分支中的方向。

弱同伦等价

弱同伦等价就是诱导所有 $\pi_n$ 同构的映射；高阶同伦群是定义弱等价的语言。

Hatcher 2002

Whitehead 定理

Whitehead 定理用所有 $\pi_n$ 的同构来判定 CW 复形之间的同伦等价。

Whitehead 1949

现代发展

当代研究中的活跃方向，通常需要更多预备知识。

奇异同调

Hurewicz 定理把第一个非平凡同伦群与同调群联系起来，是同伦群计算的主要入口之一。

Hatcher 2002

思想主线

Main Idea

高阶同伦群把「洞」的探测提升到所有维数，并在理论上完备：CW 复形的同伦型由所有同伦群决定。然而完备不等于可计算——正是这种「理论上足够、实际上困难」的张力，塑造了 20 世纪同伦论的发展方向。

补充笔记

Notes

交换性的来源

$n \geq 2$ 时，两个球面映射沿赤道拼接的顺序可以通过旋转球面互相转换，因此 $π_{n}$ 交换。这解释了为什么 $π_{1}$ 可以是任何群，而 $π_{n}$ （ $n \geq 2$ ）只能是交换群。

可计算性

即使对球面本身， $π_{n} (S^{m})$ 也没有统一公式：

$π_{n} (S^{n}) ≅ Z$ （Hurewicz / 度映射）。
$π_{3} (S^{2}) ≅ Z$ （Hopf 纤维化）。
高于维数的同伦群（稳定范围之外）仍然是活跃的研究对象。

为什么还需要同调

同伦群完备但不可计算，同调群可计算但不完备。代数拓扑的许多技术（谱序列、Hurewicz 定理、 Eilenberg–MacLane 空间）正是为了在两者之间架桥。

参考来源

References

7 条

[1]
Allen Hatcher (2002). Algebraic Topology. Cambridge University Press.
专著 · §1.1, §4.1 (Whitehead 定理见 Theorem 4.5)
https://pi.math.cornell.edu/~hatcher/AT/AT.pdf已审核
[2]
Tammo tom Dieck (2008). Algebraic Topology. European Mathematical Society.
专著 · Part II (Homotopy)
已审核
[3]
Witold Hurewicz (1935). Beiträge zur Topologie der Deformationen I. Proceedings of the Koninklijke Akademie van Wetenschappen te Amsterdam 38, 112–119.
论文 · 38, 112–119（系列论文 I–IV，1935–1936）
该系列分四部分发表于 1935–1936 年；各部分的卷号与页码尚未逐条核对。
待审核
[4]
Hans Freudenthal (1937). Über die Klassen der Sphärenabbildungen I. Große Dimensionen. Compositio Mathematica 5, 299–314.
论文 · 5, 299–314
悬挂定理（Freudenthal suspension theorem）的出处；卷期页码待核。
待审核
[5]
Samuel Eilenberg, Saunders Mac Lane (1945). Relations between homology and homotopy groups of spaces. Annals of Mathematics 46, 480–509.
论文 · 46, 480–509
已审核
[6]
Jean-Pierre Serre (1951). Homologie singulière des espaces fibrés. Applications. Annals of Mathematics 54, 425–505.
论文 · 54, 425–505
已审核
[7]
J. H. C. Whitehead (1949). Combinatorial homotopy I. Bulletin of the American Mathematical Society 55, 213–245.
论文 · 55, 213–245
https://www.ams.org/journals/bull/1949-55-03/S0002-9904-1949-09186-9/已审核

定义

高阶同伦群的定义

前置概念

思想动机

关系网络

历史脉络

Hurewicz 引入高阶同伦群

Freudenthal 悬挂定理

Eilenberg–MacLane 空间 K(G, n)

Serre 用纤维化与谱序列计算球面同伦群

延伸探索

理论应用

现代发展

思想主线

补充笔记

交换性的来源

可计算性

为什么还需要同调

参考来源