定理 0.1 (Whitney 嵌入/浸入定理).

1.

任意 维光滑流形 能被嵌入到 中.

2.

任意 维光滑流形 能被浸入到 中.

0.2. 事实上, 我们有一个更强版本的 Whitney 定理.

定理 0.3 (更强的 Whitney 嵌入/浸入定理).

1.

任意 维光滑流形 能被嵌入到 中.

2.

任意 维光滑流形 能被浸入到 中.

但是这里不会涉及这个的证明.
为了证明最终的定理 0.1, 可以先证明任意 光滑流形可以被嵌入到 中, 然后再证明完整的结论.

1 是紧光滑流形的情况

对紧流形的情况而言, 单射浸入就是嵌入, 因此可以先证明这样的结论.

命题 1.1. 紧光滑流形 总是可以被单射浸入到维数足够高的 中.

思路是利用紧性将 用坐标卡切成有限个小块, 每一小块由于坐标卡都天然可以浸入欧式空间. 只需要通过单位分解就可以建立全局的单射浸入.

证明. 因为 是紧的, 可以被有限图册 覆盖. 设 是开覆盖 对应的光滑单位分解. 设 的维数是 , 取 .

构造映射 , 其中补充定义 上恒为 .

单: 如果 , 那么必有 . 存在非零的 , 得出 . 根据坐标卡的定义知 .

是浸入: 显然光滑. 考虑微分映射是否是单射. 对于 , 由后面的分量一定有进而由前面的分量存在非零的 , 推出 .

综上 是单射浸入.

1.2. 实际上, 从证明的过程可以看出, 条件可以从紧性放宽到可以被有限坐标卡覆盖.

然后我们可以试图降低维数 .

命题 1.3. 如果光滑流形 可以被单浸入到 中, 而且 , 那么 就可以被单浸入到 中.

证明的思路是将 的一个维度 “拍扁”, 并且保证 的嵌入在此过程后依然是嵌入. 实际操作上, 我们考虑所有方向上的 “拍扁” 映射, 并证明下面这个定理.

命题 1.4. 如果光滑流形 可以被单浸入到 中, 而且 , 那么几乎所有 “拍扁” 映射 其中 , 都能让 还是嵌入.

证明. 是嵌入, 我们需要研究要使得 还是嵌入, 对 有什么要求.

假设 不是单射, 那么存在 , 使得 . 结合 是嵌入可知 . 由于 的效果是一样的, 可以不妨设 的取值范围是 中的点, 记为 . 所以, 让 不是单射的 是如下光滑映射的像集. 其中 是对角线. 因为 的维数是 , 严格小于 , 由 Sard 定理, 上的零测集. 这表明, 几乎所有 都能让 还是嵌入.

假设 在某点 处不是单射, 那么存在 , 使得 . 计算得得到 . 这样的 是如下光滑映射的像集. 其中等同了欧式空间及其切空间. 再次利用 Sard 定理, 计算维数发现几乎所有 都能让 仍然是嵌入.

从而定理得证.

1.5. 注意到考虑 的时候其实只需考虑 即可, 所以如果不要求单射的话, 可以再降一个维度, 得到浸入的情况.

2 是非紧光滑流形的情况

我们先证明在非紧光滑流形上也可以实现到同样维度欧式空间的单射浸入, 然后证明这种单射浸入可以变成逆紧的单射浸入.

命题 2.1. 非紧光滑流形 总是可以被单射浸入到维数足够高的 中.

证明思路是用 上的光滑穷竭函数切开 , 如果每一片足够规整, 可以将大量小片批量嵌入有限的维度内.

证明. 上的光滑穷竭函数 . 设 为紧集. 取 的一组开覆盖, 那么设在这样的取法下, 可以找到一组覆盖 的有限坐标卡, 因此根据注 1.2 和命题 1.3, 存在从 到欧式空间的单浸入 . 对每个 取光滑鼓包函数 , 要求在 上取值为 , 并且 . 于是我们取 , 定义映射实际上, 根据 的取法, 定义中每个求和号对于固定的 只有一项非零, 所以实际上是有限求和, 无需考虑收敛性的问题.

是单射: 如果 , 就有 , 表明 属于同一个 , 自然有 , .

是浸入: 不妨设 . 那么.

综上 即为所求的单射浸入.

在非紧光滑流形上, 单射浸入距离嵌入还差一个逆紧性, 现在就来补上这一点.

命题 2.2. 如果 可以被单射浸入到欧式空间 中, 就可以被逆紧单射浸入到同样的欧式空间中.

证明的思路就是, 让原先单浸入的像映到一个有界闭集里, 再追加一个逆紧的分量, 这样的映射是到 维的逆紧映射, 随意取一个到 维的投影大概也是逆紧的映射.

证明. 是单浸入, 不妨设 , 否则可以设微分同胚并用 替换 , 仍然满足要求. 于是我们可以认为 .

取一个 上的光滑穷竭函数 , 设 是下面两个映射的复合其中 是单位向量, 且 , 和命题 1.4 中的定义一样, 是到 的正交投影. 而且根据命题 1.4 的证明, 大部分 可以让 仍然是一个单浸入. 除此之外我们还要求 (不然加上 分量就没有意义了) .

我们可以证明 就是我们要找的逆紧单浸入. 对于 中的紧集 , 是有界闭集, 其中的点最后一个分量有界 , 即另一方面, 设 , 对于任意 , 可以写出于是可以做出估计, 任意 在之前的铺垫中, 我们要求 , 进而任意 , 有得到根据 的取法, 后者是紧的, 再者 闭, 所以也是紧的. 这就说明了 是逆紧的.

2.3. 以上所有命题就完成了开头定理 0.1 的证明. 从命题 1.4 的证明中可以看出, 这是一个非常宽松的结论, 而且一定可以有所改进. 至于改进的结论, 就之后再说吧.