Definition:Contractible Space

From ProofWiki
Jump to navigation Jump to search

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