mula_29 是 formula_30 中可缩开子集，对任何整数 formula_31，任何定义在 formula_29 上的光滑闭 formula_33-形式 formula_1 是恰当的（这只在 formula_35 有内容）。可缩意味着存在同伦映射formula_36 将 formula_29 形变为一点。从而任何 formula_29 中的闭链 formula_39 都是某个“锥”的边缘；我们可以取锥为 formula_29 在同伦下的像。这个性质的对偶版本给出了庞加莱引理。更确切地，我