收縮映射

拓撲空間Y的子集B稱為Y的一個收縮核，如果存在連續映射r:Y→B，使得任意x∈B，r(x)=x；此時稱r為Y到B的一個收縮映射。