Zatažení deformace
Deformační zatažení topologického prostoru je podmnožina , která má tu vlastnost, že existuje homotopie shodného zobrazení prostoru do nějakého zobrazení , pod kterým zůstávají všechny body množiny neměnné. Pokud se pod homotopií body z pohybují pouze podél , pak se to nazývá striktní deformační zatažení .
Vlastnosti
- Prostorové deformační zatažení je prostorové zatažení .
- Jakékoli stažení deformace prostoru má stejný typ homotopie jako .
- Naopak dva homotopicky ekvivalentní prostory mohou být vždy vnořeny do nějakého třetího prostoru tak, že oba jsou jeho deformační zatažení.