Basic Theorems Regarding Deformation Retracts

Math Online's 2500th Page - 9:31 PM CST on March 12th, 2017

# Basic Theorems Regarding Deformation Retracts

Recall from the Deformation Retract Subspaces of a Topological Space page that if $X$ is a topological space and $A \subseteq X$ is a topological subspace then $A$ is said to be a deformation retract of $X$ if there exists a continuous function $r : X \to A$ such that:

(1)

We will now look at some basic results regarding deformation retracts.

 Theorem 1: Let $A$, $B$, and $X$ be topological spaces where $A \subseteq B \subseteq X$. If $A$ is a deformation retract of $B$ and $B$ is a deformation retract of $X$ then $A$ is a deformation retract of $X$.
• Proof: Since $A$ is a deformation retract of $B$ there exists a continuous function $r_1 : B \to A$ such that:
(2)
• Similarly, since $B$ is a deformation retract of $X$ there exists a continuous function $r_2 : X \to B$ such that:
• Let $r = r_1 \circ r_2 : X \to A$. Then $r$ is continuous since it is a composition of two continuous functions. Furthermore, we have that:
• Therefore $A$ is a deformation retract of $X$. $\blacksquare$