Деформационный ретракт

Деформационный ретракт топологического пространства $X$ — подмножество $A\subset X$, обладающее тем свойством, что существует гомотопия тождественного отображения пространства $X$ в некоторое отображение $X\to A$, при которой все точки множества $A$ остаются неподвижными. Если при гомотопии точки из $X\backslash A$ перемещаются только по $X\backslash A$, то $A$ называется строгим деформационным ретрактом.

Свойства

• Любой деформационный ретракт пространства $X$ имеет одинаковый с $X$ гомотопический тип.
• Обратно, два гомотопически эквивалентных пространства всегда можно вложить в некоторое третье пространство таким образом, что оба они будут его деформационными ретрактами.