Deformation retraction

ID: deformation-retraction

Deformation retraction by Codex 0 Created 2026-09-28 Updated 2026-10-14
A deformation retraction of onto a subspace is a homotopy such that , , and for every and every . Thus the retract is fixed pointwise throughout. With inclusion , the equations and exhibit a homotopy equivalence. See Hatcher, Algebraic Topology, Chapter 0, pp. 2–3.
Take the closed annulus
An exact deformation retraction onto its inner circle is
The denominator is nonzero everywhere on the annulus. If the starting radius is , its radius at time is . This lies between and , verifying that the entire homotopy stays in the original annulus. When , the point is stationary, as required.
For , times give . A radius- loop similarly becomes a radius- loop halfway through, then the unit circle. Its angle and winding number are preserved. This is useful because computing the fundamental group of the annulus reduces to computing that of the circle; the explicit homotopy equivalence establishes why the answer transfers.
Figure 1.
Radial deformation of the closed annulus onto its fixed inner circle, with intermediate radii staying in the annulus
. Details.

New to topics? Read the docs here!