A类子空间 属于称为强变形收缩如果有同伦 (称为收回)这样所有人,,以及,
1,
2,和
三。.
如果只需要最后一个方程式,收缩被简单地称为变形收回.
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“强烈变形收缩。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/StrongDeformationRetract.html