紧致性 (Compactness)
在拓扑学和分析学中,紧致性也许是最强大的工具。它能将“无限”的覆盖转化为“有限”的覆盖,从而使得许多在有限维或有限集合中成立的性质能够推广到更广阔的空间。
1. 核心定义:开覆盖与紧致
定义 1.1 (开覆盖)
拓扑空间 的一个子集 的开覆盖是指一个开集族 ,满足 。
定义 1.2 (紧致性)
如果集合 的每一个开覆盖都包含一个有限子覆盖,则称 是紧致的 (Compact)。
直观理解:紧致集是“足够小”且“性质良好”的集合。虽然它可能是无限集,但在开覆盖的视角下,它表现得像有限集。
2. 积空间的紧致性:Tychonoff 定理
这是点集拓扑学中最深刻的结论之一。
Tychonoff 定理
任意数量(甚至是不可数个)紧致空间的积空间,在积拓扑下依然是紧致的。
证明要点 (Alexander 子基定理): 证明一个空间是紧致的,只需证明它的每一个由子基元素构成的覆盖都存在有限子覆盖。结合积拓扑的子基定义(只有有限个坐标受限的开集),通过 Zorn 引理即可完成证明。
3. 紧致性的重要判定与性质
Heine-Borel 定理
在欧氏空间 中,子集 是紧致的 是有界闭集。
Hausdorff 空间中的紧致集
- 紧致 Hausdorff 空间中的闭子集必紧致。
- Hausdorff 空间的紧子集必为闭集(对比:一般拓扑空间不一定成立)。
连续映射下的保持性
若 连续且 紧致,则 也是紧致的。
- 最值定理:连续实值函数在紧致集上必能取到最大值与最小值。
- 一致连续性:在紧致度量空间上的连续函数必是一致连续的。
4. 局部紧致与单点紧化
局部紧致 (Locally Compact)
如果一个空间中的每个点都有一个紧致邻域,则称该空间为局部紧致的。
例子: 是局部紧致的。
单点紧化 (Alexandroff Compactification)
设 是非紧的局部紧致 Hausdorff 空间。构造 ,定义 的开集为:
- 中的原开集 。
- 形如 的集合,其中 是 中的紧子集。
直观:这相当于把 的所有“无限远”方向都收缩到一个点 。
✍️ 深度练习与例题
例题 1:证明积空间 紧致蕴含每个 紧致
(即使不使用 Tychonoff 定理)
Check Solution
证明:
- 考虑投影映射 。
- 积拓扑的定义保证了 是连续映射。
- 且 是满射(假设所有 非空)。
- 紧空间的连续满射像必然是紧致的。
- 因此, 必然是紧致的。
例题 2:证明 Hausdorff 空间的紧子集 是闭集
Check Solution
证明:
- 要证 是闭集,只需证 是开集。取 。
- 对于任意 ,由于 是 Hausdorff 的且 ,存在不交开集 和 。
- 构成 的一个开覆盖。
- 由于 是紧的,存在有限子覆盖 。
- 令 且 。
- 则 是包含 的开集(有限个开集的交是开集),且 。
- 因为 ,故 ,即 。
- 结论: 是开集,故 是闭集。
练习 1:康托尔集与积空间
证明康托尔集 同胚于无限积空间 。由于 是紧致的(离散拓扑下),由 Tychonoff 定理,康托尔集是紧致的。
Check Solution
解析:
- 每一个康托尔集中的点 都可以写成三进制展开 ,其中 。
- 这个映射 是双射且在积拓扑下连续。
- 由于 是紧致的, 是 Hausdorff 的,因此 是同胚。
- 这从另一个视角解释了康托尔集的紧致性。
练习 2:列紧与紧致
举出一个序列紧致(每一个序列有收敛子列)但不是紧致(开覆盖定义)的空间。
Check Solution
提示: 考虑第一个不可数序数 赋予序拓扑。
- 该空间是序列紧致的(因为任何序列都在某个可数序数前截断)。
- 但它不是紧致的(开覆盖 没有有限子覆盖)。 注:这种例子在一般拓扑中被称为“怪异空间”,但在理解紧致性边界时非常有效。