形变收缩核和伦型

首先看如下定理：

特别的：

证明如下：

先画图观察：

其次要证明交换图，我们需要思路是：

即是：

那么先设：

接着设：

以及沿边的道路：

最后则有：

那么有推论：

其中定理58.7证明如下，利用引理58.4：

接着就是形变收缩核的概念：

以及例子：