在拓扑学中，收缩（），顾名思义是将整个空间收缩到一个子空间；形变收缩（）是将空间“连续收缩”成一个子空间的映射。
定义.
收缩.设 "X" 是一个拓扑空间，"A" 是 "X" 的一个子空间。那么连续映射是一个收缩如果 "r" 在 "A" 上的限制是 "A" 上的恒等映射；这就是说，"r"("a") = "a" 对所有 "a" 属于 "A"。等价地，记为包含，一个收缩是一个连续映射 "r" 使得即 "r" 与 包含的复合是 "A" 的恒等。注意，由定