Difference between revisions of "Topological retraction"

Revision as of 08:04, 13 December 2016

Definition

Let $(X,\mathcal{ J })$ be a topological space and let $A\in\mathcal{P}(X)$ be considered a s subspace of $X$. A continuous map, $r:X\rightarrow A$ is called a retraction if^[1]:

• The restriction of $r$ to $A$ (the map $r\vert_A:A\rightarrow A$ given by $r\vert_A:a\mapsto r(a)$) is the identity map, $\text{Id}_A:A\rightarrow A$ given by $\text{Id}_A:a\mapsto a$

If there is such a retraction, we say that: $A$ is a retract^[1] of $X$.
Claim 1:

• This is equivalent to the condition: $r\circ i_A=\text{Id}_A$ where $i_A$ denotes the inclusion map, $i_A:A\hookrightarrow X$ given by $i_A:a\mapsto x$

TODO: In the case of $A=\emptyset$ - does it matter? I don't think so, but check there is nothing noteworthy about it. Also proof of claims

See also

• Types of retractions - comparing retraction with deformation retraction and strong deformation retraction

Important theorems

• For a retraction the induced homomorphism on the fundamental group is surjective
  • $\forall p\in A$ the induced homomorphism on fundamental groups of the retraction, $r_*:\pi_1(X,p)\rightarrow\pi_1(A,p)$ is surjective
• For the inclusion map of a retract of a space the induced homomorphism on the fundamental group is injective
  • $\forall p\in A$ the induced homomorphism on fundamental groups of the inclusion map, $i_A:A\hookrightarrow X$, which is $(i_A)_*:\pi_1(A,p)\rightarrow \pi_1(X,p)$ is injective

Lesser theorems

• A retract of a connected space is connected
• A retract of a compact space is compact
• A retract of a retract of X is a retract of X
• A retract of a simply connected space is simply connected

References

1. ↑ ^{Jump up to: 1.0 1.1} Introduction to Topological Manifolds - John M. Lee