Contractible space

A topological space $X$ that is homotopy equivalent (see Homotopy type) to a one-point space; i.e., if there is a point $x \in X$ and a homotopy from $\operatorname{id}: X \rightarrow X$ to the unique mapping $p : X \rightarrow \{ x \}$. Such a mapping is called a contraction.

The cone over $X$ is contractible. For a pointed space $( X , * )$, the requirement for contractibility is that there is a base-point-preserving homotopy from $\operatorname{id}: ( X , * ) \rightarrow ( X , * )$ to the unique mapping $p : ( X , * ) \rightarrow ( * , * )$.

A space is contractible if and only if it is a retract of the mapping cylinder of any constant mappping $p : X \rightarrow \{ x \}$.

A set $X \subset {\bf R} ^ { n }$ is starlike with respect to $x _ { 0 } \in X$ if for any $x \in X$ the segment $[ x _ { 0 } , x ]$ lies in $x$. Convex subsets and starlike subsets in ${\bf R} ^ { n }$ are contractible.

References[edit]