6. 紧性
Bourbaki 的讣告里说. car « Dieu est le compactifié d’Alexandrov1 de l’univers » (Groth, IV, 22).
图 1: Jean-Paul Benzécri
紧性似乎肇源于无穷小分析. 微积分学中的闭区间套原理, Heine–Borel 定理, 以及 Bolzano–Weierstrass 定理都是紧性的化身. “紧性 (compactness)” 这个词是由 Fréchet 引入的, 尽管他对 “紧” 的定义与我们将要介绍的定义并不相同: Fréchet 意义下的紧空间是基于序列的极限而定义的, 在当代被叫做 “序列紧”. 当代紧的定义基于 Heine–Borel 有限覆盖原理, 是由 P. S. Alexandrov 和 P. S. Urysohn 引入的.
在北美, E. H. Moore 和 H. L. Smith 提出了网 (net) 和网的收敛概念. 容易证明一个空间是紧的当且仅当任何它上面的网都有收敛子网 (即更广义的 Bolzano–Weierstrass 定理成立). 在欧洲, Henri Cartan 则鼓吹用滤子 (filter) 的收敛来刻画连续, 并给出了类似的紧性的刻画. Moore–Smith 收敛和滤子的收敛这两套理论本质上是等价的.
6.1紧性的定义和基本性质
拓扑空间 称为紧 (compact) 的, 如果对任何 的开覆盖 , 都存在 的有限子集 , 使得 .
需要提请读者注意的是, Bourbaki 将上面定义的紧空间称为拟紧 (quasi-compact) 空间, 而定义紧空间为拟紧的 Hausdorff 空间. 希望在阅读文献时读者不要产生疑惑.
平凡拓扑是紧的, 有限集合上的离散拓扑是紧的. 除了这些肤浅的例子, 最基本的紧空间是实轴上的闭区间. 下面的命题我们已经在微积分课程内学过了.
例 6.1.1. 单位闭区间 是紧的.
证明. 令 为 的一个开覆盖. 定义那么 . 令 , 那么 , 且 . 我们要证明
首先, 我们断言 . 由于 , 存在 , 使得 . 因为 开, 存在半开的区间 包含于 . 无妨设 . 根据 的定义, 我们知道 包含于某个有限并 之中. 因此从而有 .
紧空间的连续像是紧的, | |
Hausdorff 空间的紧子空间是闭的, | |
紧空间的闭子空间是紧的, | |
两个紧空间的积空间是紧的. | |
紧 Hausdorff 空间是 “正规” 的. |
命题 6.1.2. 若 为拓扑空间的连续映射. 若 紧, 则 紧.
命题 6.1.3. 令 为 Hausdorff 空间. 令 为 的紧子空间. 则 是闭子集.
命题 6.1.5. 设 为紧拓扑空间, 为 的闭子空间. 则 紧.
命题 6.1.6. 如果 和 是紧拓扑空间, 那么 紧.
证明. 令 为 的开覆盖. 则任何一个 中的对象可以用一些开箱子覆盖. 因此, 为了证明 具有有限子覆盖, 只需验证这些由开箱子构成的 “加细” 的覆盖具有有限子覆盖. 故在接下来的证明里, 我们可以假设 的成员都是开箱子.
上述命题中使用的方法也可以推出下面的 “管引理”. 由于它偶尔会被使用, 我们将它单独拿出来陈述.
命题 6.1.7 (管引理). 设 , 为拓扑空间. 设 , 为紧子空间. 设 为 的一个包含 的开集. 则存在 的开集 , 的开集 , 使得
, , 以及 | |
. |
管引理的证明留作习题. 它的一个直接应用是下述命题.
命题 6.1.8 (紧 Hausdorff 空间的正规性). 设 为紧 Hausdorff 空间. 则对任何两个互不相交的闭子空间 , , 存在包含 的开子集 , 包含 的开子集 , 使得 .
6.2紧性的简单应用
系 6.2.1 (Heine–Borel). 令 为空间 的子空间. 则 紧的必要且充分条件是 是一个有界闭集.
证明. 若 有界闭, 则它包含于某个充分大的方体 之中. 由于后者紧 (例 6.1.1, 命题 6.1.6), 我们可以通过使用命题 6.1.5 而取胜.
例 6.2.2. 球面 , 圆盘 , 正交群 , 酉群 都是紧空间, 因为它们都是某 Euclid 空间中的有界闭集. 实和复射影空间是球面的商空间, 从而是紧空间的连续像, 因此它们是紧空间.
例 6.2.3 (代数基本定理). 作为紧性的一个应用, 我们来证明代数基本定理. 设 为多项式. 则它定义了一个映射 . 我们要证明存在 , 使得 .
我们断言, 诱导了一个连续映射 . 首先, 我们回忆射影空间的粘贴构造, 在这个构造里, 是两片开集 的并, 其中 , . 多项式 自然地是一个 到 的映射. 如果 (), 我们定义 . 则映射与 在 上相等. 于是根据粘贴引理, 命题 1.5.6, 我们得到了一个良好定义的映射 .
由于 是开映射 (习题 1.6.7/5), 是开映射. 于是 是 的开子空间; 由于 是紧 Hausdorff 空间, 是 的闭子空间 (命题 6.1.4). 于是 是连通空间 的既开又闭又非空子集, 因此 .
于是 . 容易验证, , 故存在 , 使得 , 即 . 这就证明了代数基本定理.
接下来介绍一个关于紧度量空间的性质. 我们在今后将会不时用到这个它.
命题 6.2.4 (Lebesgue 数引理). 令 为紧度量空间. 令 为 的一个开覆盖. 则存在 , 使得对任何 , 存在 , 使得 .
6.3紧开拓扑
令 与 为拓扑空间. 令 为一切从 到 的连续映射的全体构成的集合. 在这一小节, 我们利用紧性来定义集合 上的一个拓扑, 叫做紧开拓扑 (compact-open topology). 紧开拓扑是由一组拓扑子基生成的, 这个子基中的元素形如其中 为 的紧子空间, 为 的开子空间.
今后, 凡是将 看作拓扑空间, 如果未加申明, 总赋予它紧开拓扑. 空间 有时也被称为函数空间.
我们列举几个紧开拓扑的基本性质.
1. | 如果 是离散空间, 那么 的紧开拓扑与乘积空间 的积拓扑一致. |
2. | 空间 可以嵌入到 中: 将 送到常值映射 是从 到 的嵌入. 事实上, 我们有 , 因此 是连续单射; 并且一切 的开集都可以如此得到, 因此 是嵌入. |
3. | 函数空间 为 Hausdorff 的必要且充分条件是 为 Hausdorff 空间. 事实上, 如果 为两个不同的连续映射, 必然存在 , 使得 . 由于 Hausdorff, 存在 的邻域 , 的邻域 , 使得 . 于是我们有反之, 如果 Hausdorff, 通过嵌入 我们可以将 实现为 的子空间. 因此 也 Hausdorff. |
4. | 如果 的拓扑是由一个度量 诱导的, 那么 的紧开拓扑的一个拓扑基是其中 跑遍 的紧子空间. 在这个拓扑下, 序列 收敛到 的意思是: 对任何的 的紧子空间 , 函数 一致收敛于 . 因此, 紧开拓扑在这个情形也被叫做紧收敛拓扑 (compact convergence topology). |
函数空间 的子空间的紧性的刻画在分析中颇为有用. 比较常见的是 Arzela–Ascoli 定理: 如果 是度量空间, 为 的子空间, 假设 “等度连续”2, 并且对一切 , 空间在 中有紧的闭包, 那么 在 中有紧的闭包. 在我们的课程中不会使用这个定理. 因此我们略去它的证明.
相比于函数空间的紧性, 它的连通性在这门课程中更为重要.
例 6.3.1. 作为一个导引, 我们来说明对任何拓扑空间 , 函数空间 都是道路连通的. 事实上, 对任意的 , 定义为了说明 连续, 我们要验证 是 的开集. 展开定义, 它等于
对任意 , 积空间 有一个紧子集 . 根据实数数乘的连续性, 集合是空间 的一个包含了 的开集. 根据管引理, 命题 6.1.7, 存在 的邻域 使得 . 这就证明了 是开集.
的开子集 叫做星形区域 (star-shape region) 如果存在 , 使得对一切 , 连结 的线段也落在 中. 比如 中的凸开集就是星形区域. 上一段论证对一切 的星形区域都成立.
6.4环绕数
在这一段里, 我们考虑函数空间 . 我们将说明这个拓扑空间不是连通的. 因此, 根据例 6.3.1, 与 不同胚.
为此, 我们将构造一个 上的一个局部常值函数, 但它不是常值. 这个函数叫做映射 的环绕数 (winding number). 定义环绕数的方法很多, 我们使用微积分的方法.
首先, 我们对可微映射 来定义 (关于原点的) 环绕数. 我们说 是可微的, 如果复合映射的每个分量都可以扩张成可微的周期函数, 这里, 是粘合 的商映射.
对可微的 , 我们定义(路径积分).
如果 不是可微的, 我们用逼近的手段来定义 的环绕数.
定义 6.4.1. 我们称两个映射 叫做 “非常接近” 的, 如果存在正整数 , 的分划以及 的凸开集 , 使得“非常接近” 生成了一个等价关系, 等价的道路叫做 “接近” 的.
类似于例 6.3.1中的论证, 我们知道如果 与 非常接近, 那么映射就是一个 中连结 与 的道路.
我们对不一定可微的映射 , 定义它的环绕数为 , 其中 是一个与 接近的可微映射. 为了说明这个定义有意义, 需要验证两件事:
存在与 接近的可微映射; | |
互相接近的可微映射有一样的环绕数. |
上述第一款可以用微积分课程中学到的逼近定理予以证明. 为了今后方便, 我们将证明稍微强一点的结论.
命题 6.4.2. 设 为连续映射. 设 为 上一点. 则存在与 非常接近的可微的映射 , 满足 .
而第二款则是因为环绕数的一个特别性质.
命题 6.4.3. 对任何可微映射 , 是整数.
如果承认命题 6.4.3, 那么对两条非常接近的可微映射 , , 数值一方面是整数, 另一方面按公式看又是 的连续函数, 它只能是常数.
这样就完成了对任何映射 的环绕数的定义. 按照定义, 对任何 , 环绕数在它的某个形如 的邻域上是常数. 因此我们得到了局部常值整值函数然而, 不是常值函数. 读者可以平凡地验证, 映射其中 , 的环绕数是 .
命题 6.4.2 的证明. 在这一段里, 我们将 上的连续函数等同于 上周期为 1 的连续函数.
我们先来回忆数学分析的内容. 考虑函数(“Fejér 核”). 由于 , 函数 决定了 上的一族可微函数. 运用分析学的知识, 可以验证 满足如下条件.
对一切 , | |
存在常数 , 使得 对一切 成立. | |
对每个 , |
对连续函数 , 定义则根据分析的知识可以验证, 是可微函数, 并且对任何 , 存在 , 使得对 , 和一切 , 都有
现在回到我们的问题. 我们有一个回路 . 通过坐标, 可以将 写成 . 根据上述回忆, 对任意 , 我们可以找到 上的可微函数 , 满足对一切 成立. 由于 是 的紧子集, 根据 Lebesgue 数引理 (命题 6.2.4), 存在 , 使得 落在某个半径为 的开圆盘 中并且这些圆盘都与 不交. 按照 的选取, , 即 与 非常接近.
命题 6.4.3 的证明. 令 , , 则 . 定义 为点 与 正方向所构成的夹角, 辐角取在开区间 , 类似定义 . 可以写下来这些函数的公式, 比如则 分段可微. 通过复合函数求导, . 读者可以类似处理 .
对任意可微映射 , 应用微积分基本定理, 有类似地, 对可微映射 , 有
6.4.4 (回路的极坐标表示). 设 为可微回路, 坐标表示为 . 定义则利用微分学可以验证(6.1)用中学数学的语言, 是可微回路 的极坐标表示.
6.5局部紧空间
拓扑空间 叫做局部紧 (locally compact) 的, 如果对任何 , 存在 的邻域 , 使得 含于一个 的紧子空间中. 这个概念通常只对 Hausdorff 空间来定义, 因为这时这个概念的行为比较良好.
命题 6.5.1. 设 为 Hausdorff 空间. 则下面的陈述等价.
1. | 局部紧; |
2. | 对任意 , 任意 的邻域 , 存在 的邻域 , 满足: 紧, ; |
3. | 对任意 的紧子空间 和任意包含 的开子空间 , 存在开集 , 满足: 紧, ; |
4. | 有一个拓扑基, 它的成员都是具紧闭包的开子集. |
证明. (1) (2). 令 为 的邻域使得 包含于一个 的紧子空间中. 根据命题 6.1.5 和命题 6.1.3, 紧. 由于 和 是紧 Hausdorff 空间 的两个互不相交的的闭子空间, 由命题 6.1.8 知, 存在 的开子空间 , 使得并且 . 由于 , 我们有 . 故它是 的开子空间, 因而是 的开子空间. 同时, 上面的等式还推出即 (2) 成立.
(2) (3). 对每个 都选择一个 (2) 中的 . 利用有限覆盖性即得.
(2) (4). 取闭包为紧的开集即可.
任何局部紧 Hausdorff 空间只需多添入一个点, 都可以变成紧 Hausdorff 空间— 这叫做局部紧 Hausdorff 空间的 Alexandrov 紧化. 见习题 6.8.9.
日常生活中遇到的许多空间都是局部紧的 Hausdorff 空间. 局部紧 Hausdorff 空间的子空间未必局部紧 (比如有理数空间 ), 但是它有一大类好的子空间仍然局部紧.
定义 6.5.2. 拓扑空间 的子空间 叫做局部闭 (locally closed) 的, 如果 形如 , 其中 是 的开集, 是 的闭集.
局部闭的两个等价刻画如下:
局部闭当且仅当对任意 , 存在 在 中的邻域 , 使得 是 的闭子集. | |
局部闭当且仅当 是它的闭包的开子空间. |
命题 6.5.3. 局部紧 Hausdorff 空间的子空间是局部紧的当且仅当它是局部闭的.
证明. 首先假设 是局部紧 Hausdorff 空间 的局部闭子集. 假设 , 其中 是 的开集, 是 的闭集. 任取 . 根据命题 6.5.1, 存在 在 里的邻域 , 紧, 且由于 是闭集, 是紧空间 中闭集, 因此紧. 容易验证 是 在 中的闭包. 因此 就是 在 中的一个闭包为紧的邻域.
流形是局部紧的.
射影空间 关于 Zariski 拓扑 (习题 3.8.6) 的局部闭子集叫做拟射影代数簇 (quasi-projective algebraic variety) 如果我们赋予一个拟射影代数簇来自 的标准拓扑 (而不是 Zariski 拓扑), 那么它是局部紧的 Hausdorff 空间.
6.6指数法则
在集合的范围内, 映射会诱导映射即存在典则的一一映射这称为指数法则 (exponential law). 我们希望在拓扑空间的范围内得到类似的结果, 以函数空间 替代乘积集合 . 拓扑的指数法只对一部分空间, 比如局部紧 Hausdorff 空间, 成立.
然而局部紧 Hausdorff 空间的全体对于其它重要的拓扑操作不封闭 (比如取商空间). 经过一系列努力, 现在已经知道了, 存在一类空间 (叫做 k-空间), 它们涵盖了所有同伦论意义下重要的拓扑空间, 满足指数法则, 且对重要的拓扑操作封闭. 只是对于 k-空间, 不仅空间的概念变化了, 函数空间的构造也发生了变化. 我们在这个启蒙课程中对这个问题不予讨论. 对此有兴趣的读者可以阅读 Ronnie Brown 的书 “Topology and groupoids” 的 5.9 节.
命题 6.6.1. 令 和 为拓扑空间. 令 为连续映射. 对任意 , 令 为 (显然 为连续映射). 则映射为连续映射.
命题 6.6.2. 设 是局部紧 Hausdorff 空间. 则映射是连续映射.
系 6.6.3. 设 和 为拓扑空间, 局部紧 Hausdorff. 设 为连续映射, 则为连续映射.
系 6.6.4 (J. H. C. Whitehead). 设 为商映射, 为局部紧 Hausdorff 空间. 则乘积映射 为商映射.
证明. 设 为任意满足 连续的映射. 我们要证明 连续.
6.7紧拓扑空间的无限乘积
这一小节证明 Andrey Nikolayevich Tikhonov 的著名定理: 一族紧拓扑空间的积空间仍然是紧的. 为此, 我们先陈述所谓的 Alexander 子基定理.
定理 6.7.1 (Alexander). 令 为拓扑空间. 为 的一个拓扑子基. 下列条件等价.
1. | 紧. |
2. | 若 是 的成员, 且 , 那么一定存在 的有限子集 , 使得 . |
假设 Alexander 子基定理, 我们来证明 Tikhonov 定理.
定理 6.7.2 (Tikhonov). 设 为一族紧拓扑空间, 则 是紧的.
证明. 令 , 为投影映射. 根据积拓扑的定义, 构成了 的拓扑子基 (它们叫做 “柱状开集”). 令 为一个由这些子基中的开集构成的集族, 它的成员覆盖了 . 根据 Alexander 子基定理, 定理 6.7.1, 我们只需要证明 有一个有限子覆盖.
为此, 我们使用反证法. 对任何 , 考虑投影映射我们断言, 一定存在 , 使得 不能被有限个 中元素覆盖. 事实上, 如果 能够被有限个柱状开集覆盖, 那么有两种可能:
1. | 有 的邻域 , , |
2. | , 其中 为开集, . |
对于第二种情形, 开集 已经覆盖了 , 见下图. 这是个矛盾. 如果对每个 , 第一种情况都发生了, 那么 中的柱状开集 构成了 的开覆盖. 但是由于 紧, 这个覆盖有有限子覆盖. 又产生了矛盾.
为了证明 Alexander 子基定理, 我们顺便介绍 Zorn 引理和滤子的收敛.
定义 6.7.3. 令 为集合. 上的关系 叫做一个偏序 (partial order), 如果它是自反的和传递的 (见 §3.1), 并且满足
一个偏序集 (partially ordered set) 是一个偶对 , 其中 是集合, 是 上的一个偏序. 偏序集 的子集 叫做一条链 (chain), 如果对任意 , 要么 , 要么 .
称 为子集 的上界 (upper bound), 如果 对一切 成立. 称 为极大元 (maximal element), 如果不存在 , , 使得 .
命题 6.7.4 (Zorn 引理). 令 为偏序集. 如果 中任意的链都有上界, 那么 中存在极大元.
Zorn 引理在 Zermelo–Fraenkel 集合论中基本等价于选择公理. 在我们的教程中不予证明.
接下来我们介绍滤子的概念.
定义 6.7.5. 令 为集合. 的一个子集族 叫做 上的一个滤子 (filter), 如果它满足下面三个条件:
若 , , , 则 ; | |
若 , 则 ; | |
空集不属于 . |
一个滤子 被称为超滤 (ultrafilter), 如果不存在滤子 , 使得 包含了 .
称拓扑空间 上的点 是滤子 的极限, 或者滤子收敛于 , 如果任意 的邻域都是 的成员.
例 6.7.6. 设 是拓扑空间, 是 的子空间. 称 的子集 是 的 “广义邻域”, 如果存在开集 , 使得 . 则包含 的所有广义邻域构成了一个 上的滤子, 记为 .
如果 是一个无限集合, 那么有限集合的补集构成了 上的一个滤子. 这个滤子叫做 Fréchet 滤子.
如果 是集合 上的一个序列. 则 是 上的一个滤子. 若 是拓扑空间, 则序列 收敛于点 的必要且充分条件是 是滤子 的极限.
命题 6.7.7. 令 是集合 上的滤子. 则存在一个 上的超滤包含 .
命题 6.7.8. 令 是集合 上的超滤. 则对任何 的子集 , 要么 , 要么 .
Alexander 子基定理是下述命题的推论.
命题 6.7.9. 令 为拓扑空间. 则下列条件等价.
1. | 紧. |
2. | 对任何 的拓扑子基 , 任何 的成员构成的 的开覆盖都有有限子覆盖. |
3. | 上的超滤都收敛. |
证明. (1) (2) 为显然.
(2) (3). 我们来证明 上的任何超滤 都收敛. 如果 不收敛, 那么任何 都有一个属于 的开邻域 不属于 (不然任何 中的有限交都属于 , 从而任意 的开邻域就都属于 , 从而 收敛于 ). 根据假设, 存在 , 使得于是其中 . 由于 是超滤, , 命题 6.7.8 说明 , 从而 , 矛盾.
6.8习题
6.8.1. 我们称拓扑空间 为弱 Hausdorff 空间 (weakly Hausdorff space), 如果对任何紧 Hausdorff 空间 , 任意连续映射 , 在 中是闭集. 我们称拓扑空间 为 KC 空间, 如果 的紧子集是闭的.
1. | 证明 |
2. | 有两个原点的仿射直线 (例 3.5.2) 是 KC 空间吗? |
6.8.2. 设 是紧 Hausdorff 空间, 是闭的商映射. 如果 的单点子空间是闭的, 证明 是 Hausdorff 空间.
6.8.3. 除非 , 和 上的 Zariski 拓扑都不是 Hausdorff 的. 但是它们是紧的.
6.8.4. 设 是一维连通流形, 并且 可以写成两个同胚于 的开集的并. 证明 要么同胚于 , 要么同胚于 . 由此证明紧连通一维流形一定同胚于 .
6.8.6 (序列紧性). 拓扑空间 叫做序列紧的, 如果 上的序列都有收敛子列 (习题 2.6.1).
1. | 设 是第一可数 (习题 2.6.2) 的紧拓扑空间. 则 序列紧. |
2. | 如果 是序列紧的拓扑空间, 是一系列 的非空闭子空间. 则 . |
3. | 令 为拓扑空间. 设 满足如下条件: 对任何 的非空闭子空间的序列 , 有 . 设 是 的一个可数开覆盖, 证明存在 使得 . |
4. | 如果 是第二可数 (习题 2.6.3) 的拓扑空间, 并且它上面的序列都有收敛子列, 那么 是紧的. |
6.8.7 (Brouwer 不动点定理). 令 . 在这个习题中, 我们利用环绕数的性质来证明 Brouwer 不动点定理的二维情形: 任何连续映射 都有不动点.
1. | 设 为连续映射. 令 . 证明 . |
2. | 证明不存在收缩 (习题 3.8.2) . |
3. | 设 为连续映射. 假设 没有不动点. 定义 为从 出发经过 的射线与 的交点. 证明 连续, 并且是到 到 的收缩. 这与上一款矛盾. |
6.8.8. 设 是一个局部紧致的 Hausdorff 空间. 令 为一切从 到 的同胚构成的集合. 将 看作 子集, 赋予它子空间拓扑.
1. | 证明映射的复合 是连续映射. |
2. | 假设 还是紧的. 证明取逆映射可以定义一个同胚 . |
对 有兴趣的读者可以阅读 Jan J. Dijkstra 的文章 “On Homeomorphism Groups and the Compact-Open Topology” (The American Mathematical Monthly, Vol. 112, No. 10 (Dec., 2005), pp. 910-912)
6.8.9 (参考 Munkres 定理 29.1). 令 为拓扑空间. 它的 Alexandrov 扩张 定义如下.
作为集合, , 其中 是一个点, 它不在 中. | |
定义 的子集为开集, 如果它是 的开集, 或者它形如 , 是 的紧的闭子集. |
如此定义, 我们有显然的嵌入 .
1. | 证明 是紧空间, 且自然的映射 是开嵌入. |
2. | 若 的单点集是闭的, 那么 也具有这个性质. |
3. | 若 为局部紧 Hausdorff 空间, 那么 是紧 Hausdorff 空间. 此时, 叫做 的 Alexandrov 紧化 (Alexandrov compactification), 或者一点紧化 (one-point compactification). |
4. | 的 Alexandrov 紧化同胚于 . 同胚于 在 中的闭包. |
5. | 证明 不是 Hausdorff 空间. |
6. | 证明 是 KC 空间 (习题 6.8.1). |
6.8.10 (关于滤子的习题).
1. | 令 为拓扑空间, 为 上的滤子. 如果 收敛于 , 则任何包含了 的滤子也收敛于 . | ||||
2. | 令 为集合 的一个子集族. 证明是滤子的必要且充分条件是 满足下面两个性质:
满足上面两条性质的 的子集族叫做 的一个滤子基 (filter basis). | ||||
3. | 证明拓扑空间 为 Hausdorff 空间的必要且充分条件是任何它上面的滤子都至多有一个极限. | ||||
4. | 证明拓扑空间 为紧的必要且充分条件是, 对任何滤子 , 都存在滤子 , 收敛, 并且 . (包含 的滤子的极限叫做 的凝聚点 (cluster point).) |
6.8.11 (滤子定义的拓扑). 令 为集合. 为 上的一个滤子. 令 是集合 与单点集合 的不交并. 令 .
1. | 证明 是 上的滤子. |
2. | 证明存在唯一的 上的拓扑, 使得 是 的离散子空间, 而 的邻域是 中元素. 这个拓扑叫做与滤子 相配的拓扑. |
3. | 证明滤子 收敛于 . |
4. | 证明 在 中稠密. |
6.8.12 (紧性的映射刻画). 设 为拓扑空间.
1. | 若 紧. 则对任何拓扑空间 , 是闭映射. | ||||
2. | 设拓扑空间 满足性质: 对任何拓扑空间 , 是闭映射. 按下列步骤证明 是紧拓扑空间.
|
6.8.13 (真映射). 拓扑空间之间的连续映射 叫做真映射 (proper map), 如果对任何连续映射 , 纤维积的投影映射 是闭映射.
1. | 对连续映射 , 下列陈述等价.
| ||||||||
2. | 设 是连续映射, 局部紧 Hausdorff, 且对一切 的紧子空间 , 是紧的. 证明 是闭映射. (这样, 根据上题, 是真映射.) [提示: 满足: 是闭子空间当且仅当它和任意 的紧子空间 相交是 的闭子集.] |
6.8.14. 设 为非空拓扑空间之间的局部同胚 (习题 2.6.5).
1. | 如果 是分离映射, 并且存在正整数 使得对任何 , 都恰好有 个原像. 证明对任意 , 存在 的开邻域 , 使得 , 其中 都是同胚. 证明 为真映射. |
2. | 如果 是分离的真映射, 连通, 证明存在正整数 , 使得对任何 , 都恰好有 个原像. |
3. | 举例说明, 在第 2 款中额外加上如下条件: 满, 是连通流形, 是紧流形, 但去掉 是真映射的条件, 则结论不对. |
脚注
1. | 见习题 6.8.9. |
2. | 的邻域 , 使得 , 有 . |