4. 第二章: 横截性与相交 (正在翻译中)

第二章: 横截和相交

1. 带边流形

  就映射的导数而言, 前面表述过的所有概念能逐字逐句地照搬到带边流形上. 然而, 要寻求第一章的主要定理的推广, 我们必须对映射加上额外的限制. 我们要这样的条件, 它保证如果 遇到 的子流形 , 那么 是一个带边流形. 我们也希望 . 可惜的是, 仅有 的横截性不保证这个. (例如, 令 为映射 , 并令 . 那么 . ) 正确的条件发现是边缘上的横截性假设.

定理. 是一个带边流形 到无边流形 的光滑映射, 设 都横截于 的无边子流形 . 那么原象 是带边流形, 边界是 中的余维数等于 中的余维数.

引理. 是无边流形并且 是有正则值 的光滑函数. 那么子集 是带边流形, 边界是 .

证明. 的集合在 中是开的于是为与 同维数的子流形. 所以设 . 因为 正则, 它局部等价于 附近的典范淹没. 而引理对典范淹没是显然的.

Sard 定理. 对任意带边流形 到无边流形 的光滑映射 , 的几乎所有点既是 也是 的正则值.

证明. 因为 在一点 的导数就是 在子空间 的限制, 显然若 正则, 亦然. 故一点 不是 的正则值仅当它是 的临界值. 而由于 都是无边流形, 两者的临界点集测度为零. 故 的公共正则值, 为两个零测集的并, 本身测度为零.

2. 一维流形和一些结果

一维流形的分类. 每个紧连通一维带边流形同胚于 .

推论. 任意紧一维带边流形的边界由偶数个点组成.

定理. 是带边紧流形, 那么不存在光滑映射 使得 是恒等映射. 就是, 不存在 到其边界的 “收缩”.

证明. 设这样的 存在, 令 为其正则值. ( 存在由 Sard. ) 那么 的带边子流形. 由于 的余维数等于 的余维数, 即 , 是一维的、紧的. 可是因为 恒等, 同推论矛盾.

Brouwer 不动点定理. 任意闭单位球 到自身的光滑映射必有不动点; 就是, 对某个 .

证明. 设存在无不动点的 , 下面构造收缩 . 因为 , 两点 确定一条线. 令 为从 的线交于边界的点. 要是已经 了, . 故 上是恒等. 我们只需说明 是光滑的来获得同收缩定理的矛盾从而完成证明. 记 . 如果 光滑地取决于 , 就光滑. 两边作点乘, 因为 , 获得只需代入二次方程公式以得到 的光滑函数的表达式.

3. 横截

  横截的关键是映射的族. 设 是一族光滑映射, 指标是集合 之中的参数 . 考虑映射 定义为 . 我们通过设 是流形且 光滑来要求这族光滑地变化. 核心的定理是

横截定理. 是流形的光滑映射, 其中只有 有边界, 令 的无边子流形. 如果 都横截于 , 那么对几乎所有 , 都横截于 .

证明.

  横截定理易推出当像流形 时横截映射是普遍的. 设 是任意光滑映射, 取 的一个开球并定义 . 对任意固定的 , 是球 的平移, 显然是淹没. 所以, 当然, 的淹没因此横截于 的任何子流形 . 根据横截定理, 对几乎所有 , 映射 横截于 . 故 可以通过加一个任意小的量 来形变为横截映射.

-邻域定理. 中的紧无边流形 和正数 , 令 中离 的距离小于 的开集. 若 充分小, 则每点 中唯一的最近的点, 记为 . 此外, 映射 是淹没. 当 不是紧的, 依然存在淹没 上是恒等, 不过现在必须允许 上的光滑正函数, 定义为 .

推论. 是光滑映射, 是无边的. 存在某个欧氏空间中的开球 和光滑映射 使得 , 且对任意给定的 映射 是淹没 . 特别地, 都是淹没.

证明. 的背景空间 的开球, 定义由于 限制在 上是恒等, . 对固定的 , 肯定是 的淹没. 由于两个淹没的复合是淹没, 是淹没. 必定显然是淹没, 因为它们即使限制在子流形 上时也是淹没, 这种流形经过 的每点和 的每点.

  横截是普遍的这一点能直接推出. 我们需要的形式是

横截同伦定理. 对任意光滑映射 和无边流形 的任意无边子流形 , 存在光滑映射 同伦于 使得 .

证明. 对于推论中的这族映射, 横截定理表明 对几乎所有 . 而每个 都同伦于 , 同伦 .

  为证明 -邻域定理, 我们引入一个类似于切丛的技巧. 对每个 , 定义 , 法空间, 为 中的正交补. 接下来定义法丛 为集合注意不像 , 不内蕴于流形 而依赖 和周围的 的特定关系. 有自然的投影映射 定义为 .

  为证明 是流形, 我们得回忆一个线性代数中的基本事实. 设 是线性映射. 其转置是线性映射 由点乘的方程 对所有 描述. 注意如果 是满的, 那么 同构地映满 的核的正交补. 因为若 , 则 , 得 ; 由于 是满的, 一定是零故 是单的. 类似地, 若 , 所以 . 故 单一地映到 的正交补. 由于 有维数 , 其补有维数 , 所以 也是满的.

命题., 则 是一个 维流形且投影 是淹没.

证明. 局部上用方程定义 : 在任意 的给定的点周围, 找一个 的开集 和淹没 () 使得 . 集合 等于 , 故在 中是开的. 对每个 , 是满的并有核 . 于是它的转置把 同构地映满 . 故映射 , 定义为 , 是双射, 并容易检验这是 的嵌入. 因此, 是一个由 参数化的流形, 维数 . 由于 的每点都有这样一个邻域, 是流形. 由于 就是标准的淹没, 是淹没.

  我们将需要横截同伦定理的一个略强的形式. 我们称映射 的子集 上横截于 , 如果横截性条件为每点 满足.

扩张定理. 的一个闭子流形, 两者都无边, 的闭子集. 令 是使 的光滑映射. 那么存在光滑映射 同伦于 , 使得 , , 并在 的一个邻域上有 .

引理. 中闭集 的一个开邻域, 则存在光滑函数 外恒等于一而在 的一个邻域上为零.

证明. 为任何包含于 且在内部包含 的闭集, 并令 是开覆盖 的单位分解. (单位分解定理的证明当 有边界时仍成立. ) 然后就取 为在 外为零的那些 的和.

定理的证明.

  由于 中总是闭的, 我们获得特殊情况

推论. 若, 对 , 边界映射 横截于 , 则存在映射 同伦于 使得 .

  把注意力集中在边界上, 这个推论可以用另一种有用的形式阐述. 设 是横截于 的映射. 那么要是 扩张为任何整个流形 的映射, 它扩张为在整个 上横截于 的映射.

16. 管状邻域定理. 证明存在一个从 的一个开邻域到 中一个开邻域的微分同胚. [提示: 令 -邻域定理. 考虑映射 , . 那么 的一个开邻域. 映射序列 上的恒等, 所以用第 1 章第 8 节练习 14. ]

4. 相交理论模 2

  上一节是技术性的并且相当困难. 我们现在希望使你相信功不唐捐. 本节中我们用横截性引理和第 3 节的其它结论来阐明流形的相交的一个简单的直觉的不变量, 从中我们能获得很多好的几何结果.

5. 环绕数和 Jordan–Brouwer 分离定理

  经典 Jordan 曲线定理说 的每条简单闭曲线分平面为两部分, 曲线的 “里面” 和 “外面”.

Jordan–Brouwer 分离定理. 的紧连通超曲面 的补集由两个连通开集构成, “里面” 和 “外面”. 此外, 是紧流形, 边界 .

6.Borsuk–Ulam 定理

  下面用环绕数器械来证明另一个拓扑学的定理, Borsuk–Ulam 定理.

Borsuk–Ulam 定理.