首页/概念/可缩空间

Concept·Homotopy Theory

可缩空间

Contractible Space

同伦论已审核1 条定义2 条关系更新于 2026-11-04

别名可缩的contractible

若恒等映射 $id_{X}$ 同伦于某个常值映射，则称 $X$ 可缩。等价地， $X$ 同伦等价于单点空间，或者说 $X$ 可以强形变收缩到其中一点。

定义

Definitions

1 条

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

可缩空间的定义

Definition of Contractible Space

已审核

拓扑空间 $X$ 称为可缩的，若存在 $x_{0} \in X$ 使恒等映射同伦于常值映射 $const_{x_{0}} : X \to X$ ，即 $id_{X} ≃ const_{x_{0}}$ 。等价地， $X$ 同伦等价于单点空间。

id_{X} ≃ const_{x_{0}}, X ≃ *

成立条件

$x_{0} \in X$
同伦为映射同伦

适用对象

拓扑空间

定义解释

同伦 $H : id_{X} ≃ const_{x_{0}}$ 就是「把整个空间收拢到 $x_{0}$ 」的连续过程。可以进一步证明可以选取使 $x_{0}$ 固定的同伦，因此 ${x_{0}}$ 是 $X$ 的强形变收缩核。「同伦等价于单点」这一表述便于与其他同伦型比较。

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

前置概念

Prerequisites

1 条

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

A严格数学前置

同伦等价Homotopy Equivalence

B学习前置

暂无额外学习前置；上列的数学前置同时也是学习起点。

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

同伦等价Homotopy Equivalence数学前置

连续映射Continuous Map数学前置

拓扑空间Topological Space数学前置

同伦Homotopy数学前置

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

拓扑空间Topological Space数学前置

思想动机

Motivation

01原本存在的问题

需要一类「同伦上平凡」的空间作为基准：它们不含任何洞，所有同伦群为零，因此可以作为同伦型分类的最小元素。

02原有理论的不足

「只有一个点」太特殊，而凸集、星形区域、锥、 $R^{n}$ 都表现出同样的同伦平凡性；缺少一个统一的术语，就无法把这些空间放在一起处理。

03为什么需要引入新概念

把「同伦等价于单点」抽取为定义：存在同伦 $H$ 把 $id_{X}$ 形变为常值映射。

04新概念解决了什么

可缩空间成为同伦型分类的基准： $X$ 可缩当且仅当 $X ≃ *$ 。它也是反例工厂—— 可缩并不蕴含单点，说明同伦类型远比点集结构粗。

关系网络

Relations

2 条

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

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

在全局关系图中查看 →

逻辑与结构关系Logical / structural

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

数学前置依赖requires

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

可缩性的等价表述是 $X$ 同伦等价于单点空间，这直接使用了同伦等价的概念。

来源：Hatcher 2002

思想联系Conceptual connection

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

思想联系conceptual_connection

形变收缩Deformation Retract思想联系已审核

可缩空间恰是能形变收缩到某一点的空间；形变收缩提供了可缩性的构造性刻画，但两者不是同一个概念。

来源：Hatcher 2002、Munkres 2000

历史脉络

History

0 条

历史事件待补充本概念尚未录入可追溯来源的历史事件；不编造年代与人物。

延伸探索

Extensions

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

理论应用

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

同伦等价

可缩性就是与单点的同伦等价；它是同伦等价关系中最简单的一类等价类。

Hatcher 2002

思想联系

问题意识或方法论上的呼应，不一定是形式化依赖。

形变收缩

可缩空间恰是能（强）形变收缩到某一点的空间；形变收缩提供了可缩性的构造性刻画。

Hatcher 2002

思想主线

Main Idea

可缩空间是「同伦意义上的零」。它把所有可以被连续压成一点的空间归为一类，让我们能说「这个空间没有洞」而不必指定洞的维数。可缩性是同伦型层级的最底层，也是 Whitehead 定理中「所有同伦群为零」这一条件的几何来源。

补充笔记

Notes

等价刻画

以下条件等价：

$id_{X} ≃ const_{x_{0}}$ 对某个 $x_{0} \in X$ 成立。
$X$ 同伦等价于单点空间。
存在 $x_{0} \in X$ ，使 ${x_{0}}$ 是 $X$ 的强形变收缩核。
对任意空间 $Y$ ，映射 $[Y, X] \to X$ （取常值映射）是双射。

常见误解

可缩不蕴含单点： $R^{n}$ 可缩但有无穷多点。
所有同伦群为零（ $π_{n} = 0$ ， $n \geq 0$ ）不蕴含可缩，除非空间是 CW 复形——这正是 Whitehead 定理的条件为什么重要。
可缩空间的约化同调群全为零，但反过来不成立：同调群为零加上单连通才（对 CW 复形）蕴含可缩。Whitehead 定理的「单连通 / 所有同伦群同构」条件不能省略。

参考来源

References

3 条

[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]
James R. Munkres (2000). Topology. Prentice Hall (2nd edition).
专著 · Ch. 2 (拓扑空间与连续映射)
已审核