强形变收缩

如果存在同伦 (称为收缩), 使得对于所有 , , 和 ，则 的一个 子空间 称为 的强形变收缩

1. ,

2. ，以及

3. .

如果最后一个等式仅对 需要，则该收缩仅称为 形变收缩。