可缩空间
贡献者： JierPeter
1. 收缩核映射
首先我们要引入三个依次增强的概念。第一个是保核收缩映射，就是将拓扑空间映射到自身的子集（称为核）上，同时还保证核的元素都是映射的不动点；第二个是形变收缩映射，它是一种保核收缩映射，但是多了一个条件，要求拓扑空间中各点都连续地移动到核中；第三个是强形变收缩映射，它是一种形变收缩映射，同样多了一个条件，要求移动过程中时时刻刻保持核中的元素是不动点。
下面，我们严格描述这三个概念。
定义 1 保核收缩映射
设拓扑空间 及其子集 。如果存在一个连续映射 ，使得 ，并且 ，那么称 是 到 的一个保核收缩映射，同时称 是 的收缩核。保核收缩映射也可以简称保核收缩。
定义 2 形变收缩映射
设拓扑空间 及其子集 。如果 是 到 的一个保核收缩，且 ，其中 是 的恒等映射，那么称 是 到 的一个形变收缩映射，也可简称形变收缩。称 是 的形变收缩核。
从映射的同伦和空间的同伦文章的习题 1 可知，同伦意味着映射的每个点都画出一条道路，或者说连续移动。因此，如果 有一个到 的形变收缩，那么 中的所有点都可以同时、连续地移动到 当中。
形变收缩是比保核收缩更强的概念，这就意味着存在某个映射，它是保核收缩，但不是形变收缩。
例 1
设 是由平面上的一个开圆盘 和一个与 不相交的开圆环 取并集而得的。简单粗暴地设映射 满足 ，存在一个 ，使得 。那么 是一个保核收缩，但不是形变收缩——很明显， 中的点无法通过一条道路连续地移动到 上。
定义 3 强形变收缩映射
设拓扑空间 及其子集 。如果 是 到 的一个形变收缩， 是从 到 的同伦，且满足 ，有 ，那么称 是 到 的一个强形变收缩映射，简称强形变收缩。称 是 的强形变收缩核。
强形变收缩要求在 的各点连续移动到 中时， 中的点本身保持不动。
从定义可以看出来，形变收缩还意味着 和 是同伦的空间。这启发我们对同伦的认识：同伦的空间是能够通过连续变化而变成彼此的。和同胚不同的是，同伦只要求了连续变化，并不要求双射，这就使得我们可以将多个点映射到同一个点，甚至将拓扑空间降维。弦论中，形变收缩的性质对弦的世界环性质有重要意义。
2. 可缩空间
可缩空间这一名称很直白，就是指可以被连续压缩为一个点的空间。
定义 4 零伦和可缩空间
设拓扑空间 及其上一点 。如果存在一个从 到 的形变收缩 ，那么称 是一个可缩空间，称 是一个零伦的映射。
例 2 锥空间
锥空间 的定义见商拓扑的 “锥空间” 小节。对于任意的拓扑空间 ，其锥空间 都是可缩的。事实上，我们可以直接写出这个收缩 如下：
有 。
也可以想象成，锥空间逐渐向顶点压缩。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。