首页/概念/强形变收缩

Concept·Homotopy Theory

强形变收缩

Strong Deformation Retract

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

别名强形变收缩核strong deformation retraction

若形变收缩的整个过程中子空间 $A$ 逐点不动，即 $H_{t} ∣_{A} = id_{A}$ 对所有 $t \in [0, 1]$ 成立，则称 $A$ 是 $X$ 的强形变收缩核。

定义

Definitions

1 条

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

强形变收缩的定义

Definition of Strong Deformation Retract

已审核

设 $A \subseteq X$ 。若存在连续映射 $H : X \times [0, 1] \to X$ 使得 $H_{0} = id_{X}$ 、 $H_{1} (X) \subseteq A$ ，并且 $H_{t} (a) = a$ 对所有 $a \in A$ 、 $t \in [0, 1]$ 成立，则称 $A$ 是 $X$ 的强形变收缩核。

H_{0} = id_{X}, H_{1} (X) \subseteq A, H_{t} ∣_{A} = id_{A} (\forall t)

成立条件

$A \subseteq X$
$H$ 连续
$A$ 在整个形变过程中逐点固定

适用对象

拓扑空间及其子空间

定义解释

与一般形变收缩的唯一区别是额外的固定条件 $H_{t} ∣_{A} = id_{A}$ 。这个条件让「相对于 $A$ 的同伦」可以直接使用，因此在相对同伦论与 CW 配对中不可或缺。

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

前置概念

Prerequisites

1 条

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

A严格数学前置

同伦Homotopy

B学习前置

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

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

同伦Homotopy数学前置

连续映射Continuous Map数学前置

拓扑空间Topological Space数学前置

思想动机

Motivation

01原本存在的问题

一般的形变收缩允许 $A$ 自身也被扭动，这在需要「保持子空间结构」的场合不够精细：例如要证明 $(X, A)$ 与 $(A, A)$ 的相对同伦等价，或要把形变延拓到商空间上。

02原有理论的不足

弱版本只保证 $A$ 最终落在自己里面，却不保证 $A$ 上的点保持不动；这使得「相对于 $A$ 的同伦」无法直接使用。

03为什么需要引入新概念

增加约束 $H_{t} ∣_{A} = id_{A}$ ： $A$ 是形变的固定集。

04新概念解决了什么

强形变收缩在相对同伦论、CW 配对与基本群计算中是标准工具；它保证了包含映射 $A ↪ X$ 与收缩映射是相对于 $A$ 的同伦逆。

关系网络

Relations

2 条

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

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

在全局关系图中查看 →

逻辑与结构关系Logical / structural

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

数学前置依赖requires

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

强形变收缩仍是一个同伦，只是附加了固定子空间的条件。

来源：Hatcher 2002

特殊情形special_case_of

形变收缩Deformation Retract特殊情形已审核

强形变收缩在形变收缩的基础上增加了「$A$ 逐点固定」的条件，因此是形变收缩的特殊情形。

成立条件：需额外满足 $H_t|_A = \mathrm{id}_A$ 对所有 $t$ 成立

来源：Hatcher 2002、Dieck 2008

历史脉络

History

0 条

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

延伸探索

Extensions

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

理论应用

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

基本群

强形变收缩到子空间时，基本群的同构可以由形变显式给出，而不仅是抽象同构。

Hatcher 2002

思想联系

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

CW 复形

CW 配对中常需把复形强形变收缩到子复形上，这是胞腔同调与 Whitehead 定理的技术基础。

Whitehead 1949

思想主线

Main Idea

强形变收缩把「压扁」与「不动」分开：整个空间可以形变，但需要保留的部分必须固定。这个额外的纪律让相对同伦论得以展开，也让商空间上的构造保持可控。

补充笔记

Notes

与弱版本的差别

弱形变收缩只要求 $H_{1} (X) \subseteq A$ ；强形变收缩要求 $H_{t} (a) = a$ 对每个 $a \in A$ 、每个 $t$ 成立。因此强形变收缩一定是形变收缩，反之不然。

一个标准例子： $S^{1}$ 是圆环 $S^{1} \times [0, 1]$ 的强形变收缩核（把 $[0, 1]$ 方向压到 $0$ ）。而「把圆盘压到边界上」的形变必须让边界点也动，因为圆盘的中心无法在边界固定的情况下被推出去。

参考来源

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]
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/已审核