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.

Ancestors (7)

  1. Retract
  2. Homotopy
  3. Algebraic topology
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7. Home

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.