Retragerea deformarii

O retragere de deformare a unui spațiu topologic este o submulțime care are proprietatea că există o homotopie a mapării identice a spațiului într-o mapare , sub care toate punctele mulțimii rămân fixe. Dacă, sub homotopie, punctele din se deplasează numai de-a lungul , atunci se numește o retragere de deformare strictă . $X$ $A\subset X$ $X$ $X\la A$ $A$ $X\backslash A$ $X\backslash A$ $A$

Proprietăți

O retragere cu deformare spațială este o retragere în spațiu . $X$ $X$
Orice retragere de deformare a unui spațiu are același tip de homotopie ca și . $X$ $X$
În schimb, două spații echivalente homotopic pot fi întotdeauna încorporate într-un al treilea spațiu, astfel încât ambele să fie retracte de deformare.

Variații și generalizări

Corelaminare