Definition:Contractible Space/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a topological space.


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


Also see

  • Results about contractible spaces can be found here.


Sources