介绍 拓扑空间Y的子集B称为Y的一个收缩核，如果存在连续映射r:Y→B，使得任意x∈B，r(x)=x；此时称r为Y到B的一个收缩映射。