Homotopy, Contractibility, and Deformation Retracts
Published:
Homotopy Between Maps
Let \(f, g: X \to Y\) be continuous maps. A homotopy from \(f\) to \(g\) is a continuous map:
We write \(f \simeq g\) and say \(f\) is homotopic to \(g\). Homotopy is an equivalence relation on continuous maps.
Intuitively: \(H\) continuously deforms \(f\) into \(g\) as the parameter \(t\) runs from 0 to 1. Every point traces a path in \(Y\).
Homotopy Equivalence of Spaces
Two spaces \(X\) and \(Y\) are homotopy equivalent (\(X \simeq Y\)) if there exist continuous maps \(f: X \to Y\) and \(g: Y \to X\) such that:
\[g \circ f \simeq \mathrm{id}_X \qquad \text{and} \qquad f \circ g \simeq \mathrm{id}_Y\]This is weaker than homeomorphism (\(f\) and \(g\) need not be inverses, only homotopy inverses). But it is exactly the relation that preserves homology groups. Key examples:
- \(\mathbb{R}^n \simeq \{*\}\) (a point) — any convex subset is contractible.
- An annulus \(\simeq S^1\) — the inner boundary can be expanded to fill the hole.
- \(\mathbb{R}^2 \setminus \{0\} \simeq S^1\) — the punctured plane deformation retracts onto any circle around the origin.
Contractible Spaces
A space \(X\) is contractible if \(X \simeq \{*\}\), i.e., the identity map \(\mathrm{id}_X\) is homotopic to a constant map. Contractible spaces have:
\[H_0(X) \cong \mathbb{F}, \qquad H_n(X) = 0 \text{ for all } n \geq 1\]In filtrations: when a new simplex is added and the result is contractible, no topology is created or destroyed — this step has zero persistence and is topologically trivial.
Deformation Retracts
A deformation retract of \(X\) onto a subspace \(A \subseteq X\) is a homotopy \(H: X \times [0,1] \to X\) such that:
- \(H(x,0) = x\) for all \(x \in X\),
- \(H(x,1) \in A\) for all \(x \in X\),
- \(H(a,t) = a\) for all \(a \in A\) and \(t \in [0,1]\).
Deformation retracts give homotopy equivalences: \(X \simeq A\). In TDA, deformation retracts appear when analysing how adding a simplex to a complex changes its homotopy type.
References
- A. Hatcher, Algebraic Topology, Section 0. Free at pi.math.cornell.edu/~hatcher.
- T. Bröcker & K. Jänich, Introduction to Differential Topology, Cambridge, 1982.
