如果存在同倫 (稱為收縮), 使得對於所有 , , 和 ,則 的一個 子空間 稱為 的強形變收縮
1. ,
2. ,以及
3. .
如果最後一個等式僅對 需要,則該收縮僅稱為 形變收縮。
更多嘗試
Weisstein, Eric W. "強形變收縮。" 來自 Web 資源。 https://mathworld.tw/StrongDeformationRetract.html