定理
注
1正则区间形变定理
定理
证明. 赋予 任意的 Riemann 度量 , 可以定义 的梯度向量场 . 因为 的临界点是闭集, 可以找到一个开集 满足 (比如说 临界点集合的补) . 于是可以找到光滑鼓包函数 , 而且那么可以取 上的光滑向量场因为 整个是 的正则点, 在 上非零, 所以 是良定的, 此外还是紧支的, 进而是完备的.
设 是 生成的流, 考察 在 经过 的移动之后的表现. 对于 关于 的拉回 满足, 因此 时, . 换句话说, 关于 恒定地提升 中点的 “高度”. 所以 即为所求的微分同胚.
2完成证明
如果假定这样一个结论 (这个结论有非常初等的证明, 见 https://mathoverflow.net/q/117457) .
定理