定理 0.1 (Reeb 定理). 维紧流形, 假设存在光滑实值函数 使得 恰好有两个临界点, 那么 同胚于 .

0.2. 这里的同胚未必是微分同胚.

这个定理的证明用到 Morse 理论中的一个基本定理.

1正则区间形变定理

定理 1.1 (正则区间形变定理). 是光滑流形, 上的光滑实值函数, 对于任意 , 考虑次水平集对于 , 假设 是紧集, 并且每个 的正则值, 则存在微分同胚 使得 .

如果把 看成 上的一个 “高度” 场, 那么这个定理就是在一定条件下把 的下面一半 “ ” 拉上来一段. 怎么拉? 沿着梯度方向拉.

证明. 赋予 任意的 Riemann 度量 , 可以定义 的梯度向量场 . 因为 的临界点是闭集, 可以找到一个开集 满足 (比如说 临界点集合的补) . 于是可以找到光滑鼓包函数 , 而且那么可以取 上的光滑向量场因为 整个是 的正则点, 上非零, 所以 是良定的, 此外还是紧支的, 进而是完备的.

生成的流, 考察 经过 的移动之后的表现. 对于 关于 的拉回 满足, 因此 时, . 换句话说, 关于 恒定地提升 中点的 “高度”. 所以 即为所求的微分同胚.

2完成证明

如果假定这样一个结论 (这个结论有非常初等的证明, 见 https://mathoverflow.net/q/117457) .

定理 2.1 (Brown). 如果 是一个紧流形, , 且 都同胚于 , 则 同胚于 .

借助这个结论可以很轻松地证明 Reeb 定理.
定理 0.1 的证明. 首先 的两个临界点必定是最大值和最小值. 取闭区间 使得 分别靠近极小值和极大值, 使得 都同胚于 . 取 之间, 则 . 根据定理 1.12.1, 同胚于 .