贡献者: JierPeter; addis
1有的时候,研究包含了无穷多个点的子集会涉及到很多并不是那么重要的性质和细节。有些子集的行为,看起来就像是一个点或者几个点,把它揉成一个或几个点也无关紧要,有一点类似于等价类划分把等价元素都揉成了同一个。可以被这样揉成少数几个点的子集,是用以下定义的 “覆盖” 来描述的。
给定任何集合 $X$ 和它的一个子集 $A$,我们常常可以用一系列 $X$ 的子集 $X_i$ 来把 $A$ 包括在这些子集的并集里,这种行为叫做用 $\{X_i\}$ 来覆盖 $A$。比如说,取集合 $\mathbb{R}$,那么我们可以用一系列子集 $\{[n, n+10)\}$ 来覆盖 $\mathbb{R}$ 本身,其中 $n$ 取遍所有整数。当然,覆盖的方式不止一种。
当然,用 $\{[n, n+10)\}$ 来覆盖 $\mathbb{R}$ 有些浪费,我们只需要其中的一部分就足够覆盖 $\mathbb{R}$ 了,比如说只取 $n$ 是偶数,甚至只取 $n$ 是 $9$ 的倍数的情况。由此我们可以引出子覆盖的概念。
在拓扑学中,我们常常关心拓扑空间中开子集的性质。因为根据子拓扑的定义 3 以及开集的有限交封闭性,开子集构成的拓扑空间中的开集,都是原空间中的开集。因此我们会特别关注用开子集来进行覆盖。
紧集就像若干点一样,任意开覆盖都有有限子覆盖。为了直观感受紧致性,我们可以考察通常的度量空间 $\mathbb{R}$。开区间 $(0,1)$ 不是紧致的,因为如果取覆盖是 $\{(1/n, 1)\}$,那么这个覆盖的任何有限子集都不足以覆盖 $(0, 1)$。但是,闭区间 $[0,1]$ 是紧致的,像 $\{(1/n, 1)\}$ 这样的族3是没法覆盖闭区间的。事实上,在 $\mathbb{R}$ 中只有闭集是紧的,但直接证明非常麻烦,但使用分离性中的方法就可以方便地证明。
一般来说,讨论拓扑空间 $X$ 中的子集 $A$ 是不是紧致的,直接从 $X$ 中找一切可能的开覆盖很麻烦,但是用拓扑基就可以大大简化开覆盖的种类。这就引出了如下定理:
这个定理非常直白,因为 $X$ 的开集都是 $\mathcal{B}$ 的元素取并得到的。有了这个定理,我们可以把一个开覆盖中的每个开集再拆分成更小的开集的并。还是用 $\mathbb{R}$ 度量空间举例:
如果拓扑空间 $X$ 是自己的紧子集,那么我们说这个空间是一个紧空间。紧空间中的闭集,都是紧的,如同以下定理所说。
假设 $X$ 是一个紧拓扑空间,而 $A\subseteq X$ 是 $X$ 的一个闭子集。假设 $\{X_i\}_{i\in \mathbb{Z}^+}$4是 $A$ 的一个开覆盖,而因为 $A$ 是闭集,故 $X-A$ 是开集。记 $X_0=X-A$,那么 $X_0\cup\{X_i\}_{i\in \mathbb{Z}^+}=\{X_i\}_{i=0, 1, 2, \cdots}$ 就是 $X$ 的一个开覆盖。因为 $X$ 本身是紧的,所以 $\{X_i\}_{i=0, 1, 2, \cdots}$ 必然有有限子覆盖 $\{Y_i\}$,其中 $Y_i$ 只有有限多个,每个 $Y_i$ 都是某个 $X_j$。那么 $\{Y_i\}$ 就是 $A$ 的有限开覆盖。当然了,我们希望证明的是 $\{X_i\}_{i\in \mathbb{Z}^+}$ 有有限子覆盖,只需要把 $X_0$ 从 $\{Y_i\}$ 中剔除,那么剩下的就是 $A$ 的有限开覆盖,并且还是 $\{X_i\}_{i\in \mathbb{Z}^+}$ 的子覆盖。
另外,对于 Hausdorff 空间,我们还可以进行一点紧化操作,也叫单点紧化或Alexandrov Compactification。这种操作通过添加一个点来把不紧的 Hausdorff 空间变成紧空间。由于这需要分离性的知识,因此请参见分离性以及其例 1 。
有的时候,一个空间往往整体上不是紧的,但它总在部分看起来 “好像” 有紧性。这就像地球表面是弯曲的,但我们局部看来它很接近一个不弯曲的平面。为了说清楚什么叫做 “部分” 看起来是紧的,我们需要扩充一下邻域的概念:
紧邻域不一定是开集,因此不一定是邻域。与之类似的概念还有 “闭邻域”,其含义也是以 $x$ 作为内点的闭集。注意,不管是邻域、紧邻域还是闭邻域,它们的共性在于,$x$ 必须是它们的内点,也就是说,必须有一个开集 $O_x$ 使得 $x\in O_x$ 且 $O_x$ 在相应 “邻域” 中。
紧邻域就好像是包含了 $x$ 的一块紧子集,如果每个 $x$ 附近都有这么一个紧子集,我们就可以在 “局部” 研究空间的紧性。因此我们有了以下 “局部紧” 的定义:
许多紧空间之间的关系,都可以直接加上 “局部” 二字以后保持成立。
定义 6 的描述比较绕,更多的材料里使用的是以下定义:
对于具有 $T_1$ 分离性定义 1 的空间,定义 6 和定义 7 是等价的。由于定义 6 是可以推出定义 7 的,因此我们只需要进行相反方向的证明即可。简单的证明思路如下段所述:
设 $T_1$ 拓扑空间 $X$ 中一点 $x$ 满足定义 7 的局部紧定义,于是存在一个开集 $O$ 和一个紧集 $K$,使得 $x\in O\subseteq K$。 由 $T_1$ 分离性,在 $K-U_x$ 中的每个点 $y$ 处都可以取邻域 $U_y\ni y$ 且 $x\not\in U_y$。把所有这样的 $U_y$ 取并集,得到 $U=\bigcup\limits_{y\in K-U_x}U_y$,则 $U$ 是不包含 $x$ 的开集,而且 $K-U\subseteq U_x$。因此 $K-U$ 是紧空间 $K$ 中的闭集,由定理 2 知它必是紧子集,于是令 $C=K-U$ 即可得到定义 6 。
除去极为基础的拓扑研究,绝大多数场景下我们都只考虑 $T_2$ 分离空间(Hausdorff 空间),甚至是度量空间。由于度量空间必是 $T_2$ 空间,$T_2$ 空间必是 $T_1$ 空间,因此在这些场景下,我们可以不区分定义 6 和定义 7 。在小时百科中需要区分的情形下,我们应指出使用的是哪一个定义。
我们列举一些局部紧空间的例子。
1. ^ 本文参考 Wikipedia 相关页面。
2. ^ 即子覆盖 $\{Y_i\}$ 是有限集合。
3. ^ 族(family)是指集合的集合,见文章。
4. ^ 下角标表示 $i$ 的取值范围是正整数
5. ^ 见 这个页面以及其延伸页面。
6. ^ 对偶地,只有终点是正无穷的闭区间算闭集。检查这个定义符合拓扑的定义。
7. ^ 注意这里的区间是 $\mathbb{Q}$ 上的区间,只包含有理数。