Rétraction

Une rétraction est une application continue $r:X \rightarrow A$ où $A \subseteq X$, avec $r(a)=a$ pour tout $a\in A$.

Remarques

• $A$ s’appelle rétract de $X$.
• La condition $r(a)=a$ pour tout $a\in A$ est souvent notée $r\circ i=id_{A}$ où $i:A \rightarrow X$ est l’inclusion.