Difference between revisions of "Deformation retraction/Definition"

Latest revision as of 08:19, 13 December 2016

Definition

A subspace, $A$, of a topological space $(X,\mathcal{ J })$ is called a deformation retract of $X$, if there exists a retraction^[1][2], $r:X\rightarrow A$, with the additional property:

• $i_A\circ r\simeq\text{Id}_X$^[1][2] (That $i_A\circ r$ and $\text{Id}_X$ are homotopic maps)

  Here $i_A:A\hookrightarrow X$ is the inclusion map and $\text{Id}_X$ the identity map of $X$.

Recall that a retraction, $r:X\rightarrow A$ is simply a continuous map where $r\vert_A=\text{Id}_A$ (the restriction of $r$ to $A$). This is equivalent to the requirement: $r\circ i_A=\text{Id}_A$.

Caution:Be sure to see the warnings on terminology

References

TODO: Mention something about how we must have a homotopy equivalence as a result. If $r\circ i_A=\text{Id}_A$ then $r\circ i_A$ and $\text{Id}_X$ are trivially homotopic. As $i_A\circ r\simeq\text{Id}_A$ we have the definition of a homotopy equivalence

1. ↑ ^{Jump up to: 1.0 1.1} An Introduction to Algebraic Topology - Joseph J. Rotman
2. ↑ ^{Jump up to: 2.0 2.1} Introduction to Topological Manifolds - John M. Lee