紧致性

                     

贡献者: JierPeter; addis

预备知识 连续映射和同胚
  • 本文处于草稿阶段。

  1有的时候,研究包含了无穷多个点的子集会涉及到很多并不是那么重要的性质和细节。有些子集的行为,看起来就像是一个点或者几个点,把它揉成一个或几个点也无关紧要,有一点类似于等价类划分把等价元素都揉成了同一个。可以被这样揉成少数几个点的子集,是用以下定义的 “覆盖” 来描述的。

  

未完成:这段描述有问题

1. 覆盖

   给定任何集合 $X$ 和它的一个子集 $A$,我们常常可以用一系列 $X$ 的子集 $X_i$ 来把 $A$ 包括在这些子集的并集里,这种行为叫做用 $\{X_i\}$ 来覆盖 $A$。比如说,取集合 $\mathbb{R}$,那么我们可以用一系列子集 $\{[n, n+10)\}$ 来覆盖 $\mathbb{R}$ 本身,其中 $n$ 取遍所有整数。当然,覆盖的方式不止一种。

定义 1 覆盖

   给定集合 $A\subset X$。如果 $X$ 的若干子集的集合 $\{X_i\}\subseteq 2^X$ 满足 $A\subseteq\bigcup X_i$,那么我们说集合 $\{X_i\}$覆盖了 $A$。称 $\{X_i\}$ 为 $A$ 的一个覆盖(cover)

   当然,用 $\{[n, n+10)\}$ 来覆盖 $\mathbb{R}$ 有些浪费,我们只需要其中的一部分就足够覆盖 $\mathbb{R}$ 了,比如说只取 $n$ 是偶数,甚至只取 $n$ 是 $9$ 的倍数的情况。由此我们可以引出子覆盖的概念。

定义 2 子覆盖

   给定集合 $A\subseteq X$ 和它的一个覆盖 $\{X_i\}$。如果 $\{X_i\}$ 的某个子集 $\{Y_i\}$ 也能覆盖 $A$,那么显然 $\{Y_i\}$ 也是 $A$ 的一个覆盖,称它为$A$ 对于 $\{X_i\}$ 的子覆盖

   在拓扑学中,我们常常关心拓扑空间中开子集的性质。因为根据子拓扑的定义 3 以及开集的有限交封闭性,开子集构成的拓扑空间中的开集,都是原空间中的开集。因此我们会特别关注用开子集来进行覆盖。

定义 3 开覆盖

   给定拓扑空间 $X$ 和它的一个子集 $A$。如果 $A$ 有一个覆盖 $\{X_i\}$。如果各 $X_i$ 是开集,那么我们称这个覆盖为$A$ 的开覆盖(open cover)

2. 紧子集

  

未完成:子集是紧子集当且仅当作为子空间是紧空间
未完成:紧集的像仍然是紧的

定义 4 紧子集

   给定拓扑空间 $X$ 和它的一个子集 $A$。如果不论取 $A$ 的哪一个开覆盖 $\{X_i\}$,总存在一个有限子覆盖 $\{Y_i\}\subseteq \{X_i\}$2,那么称 $A$ 是 $X$ 的一个紧子集(compact subset),或者说 $A$ 在 $X$ 中是紧致(compact)的,简称 $A$ 是的。

   紧集就像若干点一样,任意开覆盖都有有限子覆盖。为了直观感受紧致性,我们可以考察通常的度量空间 $\mathbb{R}$。开区间 $(0,1)$ 不是紧致的,因为如果取覆盖是 $\{(1/n, 1)\}$,那么这个覆盖的任何有限子集都不足以覆盖 $(0, 1)$。但是,闭区间 $[0,1]$ 是紧致的,像 $\{(1/n, 1)\}$ 这样的族3是没法覆盖闭区间的。事实上,在 $\mathbb{R}$ 中只有闭集是紧的,但直接证明非常麻烦,但使用分离性中的方法就可以方便地证明。

   一般来说,讨论拓扑空间 $X$ 中的子集 $A$ 是不是紧致的,直接从 $X$ 中找一切可能的开覆盖很麻烦,但是用拓扑基就可以大大简化开覆盖的种类。这就引出了如下定理:

定理 1 

   给定拓扑空间 $X$ 和它的一个子集 $A$,任取 $X$ 的一个拓扑基 $\mathcal{B}$。$A$ 是紧子集,当且仅当从 $\mathcal{B}$ 得到的开覆盖都有有限子覆盖。

   这个定理非常直白,因为 $X$ 的开集都是 $\mathcal{B}$ 的元素取并得到的。有了这个定理,我们可以把一个开覆盖中的每个开集再拆分成更小的开集的并。还是用 $\mathbb{R}$ 度量空间举例:

例 1 

   实数集 $\mathbb{R}$ 有一个拓扑基 $\mathcal{B}=\{(a,b):a,b\in \mathbb{R}\}$,也就是说,$\mathcal{B}$ 是全体开区间的集合。对于集合 $(0,1)$,我们可以取开覆盖 $\{(-1,1/3)\cup(2/3,2), (1/4, 3/4)\}$,这个开覆盖中包含了两个开集。但是这个覆盖也可以看成是三个开区间构成的集合:$\{(-1,1/3), (2/3,2), (1/4, 3/4)\}$,而这三个开区间都来自 $\mathcal{B}$。

   如果拓扑空间 $X$ 是自己的紧子集,那么我们说这个空间是一个紧空间。紧空间中的闭集,都是紧的,如同以下定理所说。

定理 2 

   紧空间的闭子集都是紧的。

   假设 $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

3. 局部紧

   有的时候,一个空间往往整体上不是紧的,但它总在部分看起来 “好像” 有紧性。这就像地球表面是弯曲的,但我们局部看来它很接近一个不弯曲的平面。为了说清楚什么叫做 “部分” 看起来是紧的,我们需要扩充一下邻域的概念:

定义 5 紧邻域

   给定拓扑空间 $X$ 和 $x\in X$。如果存在紧子集 $A\subseteq X$ 使得 $x$ 是 $A$ 的内点,那么称 $A$ 是 $x$ 的一个紧邻域。

   紧邻域不一定是开集,因此不一定是邻域。与之类似的概念还有 “闭邻域”,其含义也是以 $x$ 作为内点的闭集。注意,不管是邻域、紧邻域还是闭邻域,它们的共性在于,$x$ 必须是它们的内点,也就是说,必须有一个开集 $O_x$ 使得 $x\in O_x$ 且 $O_x$ 在相应 “邻域” 中。

图
图 1:点 $x$ 和紧邻域的关系。

   紧邻域就好像是包含了 $x$ 的一块紧子集,如果每个 $x$ 附近都有这么一个紧子集,我们就可以在 “局部” 研究空间的紧性。因此我们有了以下 “局部紧” 的定义:

定义 6 局部紧空间

   给定拓扑空间 $X$ 和 $x\in X$。如果对于某个 $x\in X$ 及其任意邻域 $U_x$,都存在一个 $x$ 的紧邻域 $C\subseteq U_x$,那么称空间 $X$ 在 $x$ 处局部紧(locally compact)。如果 $X$ 在每一个点都局部紧,称这个空间是局部紧空间。

   许多紧空间之间的关系,都可以直接加上 “局部” 二字以后保持成立。

   定义 6 的描述比较绕,更多的材料里使用的是以下定义:

定义 7 局部紧空间(第二种定义)

   给定拓扑空间 $X$ 和 $x\in X$。如果对于某个 $x\in X$,存在一个紧邻域 $C\ni x$,那么称空间 $X$ 在 $x$ 处局部紧(locally compact)。如果 $X$ 在每一个点都局部紧,称这个空间是局部紧空间。

   对于具有 $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 。在小时百科中需要区分的情形下,我们应指出使用的是哪一个定义。

   除了定义 6 定义 7 ,我们还可能见到以下定义5

定义 8 强弱局部紧空间

  

  • 如果拓扑空间 $X$ 的每一点 $x$ 处都存在紧邻域(紧子集,且 $x$ 是其内点),那么称 $X$ 是弱局部紧空间(weakly locally compact space)
  • 如果拓扑空间 $X$ 的每一点 $x$ 处都存在闭紧邻域(紧子集,闭集,且 $x$ 是其内点),那么称 $X$ 是强局部紧空间(strongly locally compact space)

   我们列举一些局部紧空间的例子。

例 2 

   欧几里得空间 $\mathbb{R}^n$ 是局部紧空间。由于其是度量空间,因此定义 6 定义 7 对它来说是等价的。

例 3 

   考虑集合$\mathbb{R}$,赋予拓扑:$\mathcal{T}=\{(-\infty, a)|a\in\mathbb{R}\}\cup\{\varnothing, \mathbb{R}\}$,即只有起点是负无穷的开区间算开集6。这个空间不是 Hausdorff 的,但是它依然同时满足定义 6 定义 7 。不过按定义 8 来说,这个空间是弱局部紧的,但不是强局部紧的,因为其闭集都不是紧集。

例 4 

   考虑有理数集合 $\mathbb{Q}$,使用继承自实数轴的度量拓扑,取它的一点紧化(见分离性),记为 $\hat{\mathbb{Q}}$。考虑 $0\in\hat{\mathbb{Q}}$ 和 $(-1, 1)\subseteq\hat{\mathbb{Q}}$7,那么 $(-1, 1)$ 中任何一个紧集都不含内点(也即不是紧邻域)。因此,$\hat{\mathbb{Q}}$ 不符合定义 6 的局部紧定义,但是它符合定义 7 的定义。


1. ^ 本文参考 Wikipedia 相关页面
2. ^ 即子覆盖 $\{Y_i\}$ 是有限集合。
3. ^ 族(family)是指集合的集合,见词条
4. ^ 下角标表示 $i$ 的取值范围是正整数
5. ^这个页面以及其延伸页面。
6. ^ 对偶地,只有终点是正无穷的闭区间算闭集。检查这个定义符合拓扑的定义。
7. ^ 注意这里的区间是 $\mathbb{Q}$ 上的区间,只包含有理数。


致读者: 小时百科一直以来坚持所有内容免费,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元,我们一个星期内就能脱离亏损, 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利