Homotopy theory MOC

Contractible space

A topological space is contractible¹ iff it can be continuously contracted to a single point. This yields the following two equivalent definitions #m/def/homotopy

• is contractible iff it is homotopy equivalent to the single point space, i.e. .²
• is contractible iff the identity is null-homotopic.³

Contraction to a point may be generalised to retraction to a subspace.

Properties

• Every contractible space is path-connected, since if then is a continuous path from to .

Examples

• A circle is not contractible, since Circle endomorphisms are homotopic iff they are of equal degree and .

#state/tidy | #lang/en | #SemBr