概念

同伦群

高阶同伦群 π_n 是基本群的高维推广，球面的同伦群至今仍未被完全计算，是拓扑学最困难的问题之一。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

同伦群拓扑学

01定义

第 n 同伦群

\pi_n(X)

是 n 维球面到

X

的映射按同伦分类：

\pi_1

是基本群，

\pi_n

（

n\ge 2

）是其高维推广。球面的同伦群至今未被完全算出，是拓扑学最艰深的领域之一。

π_n(X)：n 维球面映入 X 的方式按同伦分类

$\pi_n(X)=[(S^n,*)\to(X,*)]$ ； $n\ge 2$ 时 $\pi_n$ 必为交换群（Eckmann-Hilton 论证）——高维反而更「温和」。

Hopf 1931 年发现 $S^3\to S^2$ 的非平凡映射，证明 $\pi_3(S^2)=\mathbb{Z}$ ——首次揭示高维同伦群的丰富性。

球面同伦群 $\pi_k(S^n)$ 的完整结构至今未知，是数学中最古老的开放问题之一；Serre 的有限性定理为此获首批 Fields 奖。

\pi_n(S^n)=\mathbb{Z}

\pi_3(S^2)=\mathbb{Z}\quad(\text{Hopf})

Hopf 1931 年开创高维同伦；Serre 1950 年代用谱序列得出系统性结果；稳定同伦论发展为代数拓扑的主干之一。

凝聚态物理用同伦群分类拓扑缺陷（磁单极、宇宙弦、液晶织构）；K-理论源于向量丛分类，后用于指标定理与 D-膜物理。

同伦群表 πₙ(Sᵐ)：Freudenthal 稳定沿对角线下方 n > m 的区域：同伦群「稳定」不再随 m 变化

高亮0