Difference between revisions of "Topological retraction/Definition"

Latest 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$.

References

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