可收缩空间 若拓扑空间X上的恒等映射是零伦的即与某常数映射同伦则称拓扑空间是可收缩空间直观地说可收缩空间就是可以不断收缩到某点的空间