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 annulusAn exact deformation retraction onto its inner circle isThe 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.
Articles by others on the same topic
There are currently no matching articles.
