contractible
A topological space![]()
is said to be contractible if it is homotopy equivalent to a point. Equivalently, the space is contractible if a constant map is homotopic
![]()
to the identity map. A contractible space has a trivial fundamental group
![]()
.