A homotopy H: X × [0,1] → X that deforms a topological space X onto a subspace A so that H(x,0)=x for all x, H(x,1)∈A for all x, and H(a,t)=a for all a∈A and t∈[0,1]; in other words, a continuous deformation of X that leaves A fixed and ends with a retraction onto A.

Principle

A deformation retraction is a concrete witness of a homotopy equivalence between X and the subspace A: the inclusion A ↪ X becomes a homotopy inverse to the final retraction, so X and A have the same homotopy type and related invariants.

Demonstration

The punctured plane R^2 \ {0} deformation retracts onto the unit circle S^1 by radial homotopy H((r,θ),t)=((1−t)r + t,θ) which fixes points of S^1 and slides each ray to radius 1, showing π_n of the punctured plane equals π_n of S^1.

Misapplication

Confusing deformation retraction with mere retraction (a continuous map r: X→A with r|A=id) and assuming a retraction implies a deformation retraction, or assuming deformation retraction implies homeomorphism of X and A.

Consequence

If A is a deformation retract of X then inclusion induces isomorphisms of homotopy groups and singular homology; many invariants reduce to those of A, simplifying computations and classification up to homotopy.

Reversal

The reverse viewpoint studies spaces that cannot retract onto a subspace: a space may admit a retraction but no deformation retraction, or the inclusion may not be a homotopy equivalence; such inversions show essential topological complexity remains.

Boundary

Requires a continuous homotopy defined on the whole product X × [0,1] and keeps A fixed at all times. It excludes weaker notions like strong deformation retracts that impose additional pointwise time-one conditions, and does not assert any extra regularity (smoothness) without further structure.

Semantic Tension

Often mixed up with retraction, strong deformation retraction, and homotopy equivalence; deformation retraction is stronger than mere retraction (it provides a homotopy), but weaker than a homeomorphism; clarify which notion is used in arguments.

Synthesis

A deformation retraction is an explicit continuous deformation collapsing X onto A while fixing A pointwise; it certifies that X and A share homotopy type and permits replacing X by the typically simpler subspace A when studying homotopy-invariant properties.