Definition:Contractible Space

Definition

Definition 1

$X$ is called contractible if and only if the identity map $\operatorname{id}_X$ is homotopic to a constant map $X \to X$.

Definition 2

$X$ is called contractible if and only if it is homotopy equivalent to a point.

Also see

• Equivalence of Definitions of Contractible Space