Contractibility is retract-hereditary

This article gives the statement, and possibly proof, of a topological space property satisfying a topological space metaproperty
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
|

Property "Page" (as page type) with input value "{{{property}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.Property "Page" (as page type) with input value "{{{metaproperty}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

Statement

Property-theoretic statement

The property of topological spaces of being contractible is a retract-hereditary property of topological spaces.

Verbal statement

Any retract of a contractible space is contractible.

Definitions used

Contractible space

Further information: contractible space

Retract

Further information: Retract

Subspace topology

Further information: Subspace topology

Proof

Proof outline

• Consider a contracting homotopy for the whole space
• Compose this with the retraction, and show that the composite is a contracting homotopy for the retract