Tychonoff 定理

                     

贡献者: JierPeter; Patchouli9

预备知识 紧致性,积拓扑

1. 定理的描述

   紧空间具有仅次于有限空间的优良性质。然而,一个有限空间的无限次积空间通常是无限集(只要这个有限空间的元素数大于 $1$),我们可能会猜想,一个紧空间的无限次积空间可能会失去紧性。然而 Tychonoff 定理表明,对于积拓扑,紧空间的任意次笛卡尔积仍然是紧空间,紧性被保留了。

   我们先列出该定理,然后讨论并给出其证明。

定理 1 Tychonoff 定理

   给定一族拓扑空间 $\{(X_\alpha, \mathcal{T}_\alpha)\}_{\alpha\in \Lambda}$,如果对每个 $\alpha\in\Lambda$,$(X_\alpha, \mathcal{T}_\alpha)$ 都是紧空间,那么乘积空间 $(\prod_{\alpha\in\Lambda}X_\alpha, \mathcal{T})$ 也是紧空间。这里 $\mathcal{T}$ 是各 $\mathcal{T}_\alpha$ 的积拓扑。

2. 一个工具:Alexander 子基定理

   考虑最简单的积拓扑:两个紧空间 $(X_1, \mathcal{T}_1)$ 和 $(X_2, \mathcal{T}_2)$ 的积拓扑。为了方便视觉化理解,我们可以把 $X_1$ 和 $X_2$ 分别画成一根轴,于是它们的积空间就是一个平面。把各 $X_i$ 的开集都想象成一条线段,于是 $X_i$ 的紧致性可以描述为 “任意覆盖了整条轴的线段集合,总存在有限子覆盖”。那么 $X_i$ 的紧致性能继承到 $X_1\times X_2$ 上吗?

   乍一看似乎没关联,因为 $X_1\times X_2$ 的开集和 $X_i$ 开集的联系似乎只有投影。如果记 $\{U_\alpha\}$ 是 $X_1\times X_2$ 的一族开覆盖,那么投影后的 $\{\pi_i(U_\alpha)\}$ 就是 $X_i$ 的一族开覆盖。由 $X_i$ 的紧致性虽然能得出 $\{\pi_i(U_\alpha)\}$ 存在有限子覆盖 $\{\pi_i(U_i)\}_{i\in I}$($I$ 是某个有限指标集),但没法保证 $\{U_i\}_{i\in I}$ 是 $X_1\times X_2$ 的覆盖。

   不过,稍加优化我们会发现,由于开集都是基本开集的并、基本开集都是开集,可以得到 “任意开覆盖都有有限子覆盖” 等价于 “任意拓扑基覆盖都有有限子覆盖”,这里拓扑基覆盖是指取拓扑基中的基本开集来覆盖。那是不是用拓扑基覆盖可以证明呢?不行,没有解决上述问题。

   尽管如此,我们还是把这个结论记下来:

习题 1 

   证明:对于拓扑空间 $X$ 的任意子空间 $A$,选定一个拓扑基后,下列命题等价:

  1. $A$ 的任意开覆盖都有有限子覆盖;
  2. $A$ 的任意拓扑基覆盖都有有限子覆盖。

   再优化思路:“任意拓扑基覆盖都有有限子覆盖” 可以等价于 “任意子基覆盖都有有限子覆盖” 吗?这里的子基覆盖就是指用子基中的元素紧性覆盖。

   答案是肯定的。

定理 2 

   对于拓扑空间 $X$ 和它的子空间 $A$,选定一个子基和它生成的拓扑基后,下列命题等价:

  1. $A$ 的任意拓扑基覆盖都有有限子覆盖;
  2. $A$ 的任意子基覆盖都有有限子覆盖。

   证明

   1. $\implies$ 2. 是显然的,因为子基的元素都是拓扑基的元素,从而子基覆盖都是拓扑基覆盖。下证 2. $\implies$1.。

   反设存在 $A$ 的拓扑基覆盖,它没有有限子覆盖。

   由Zorn 引理,在全体 “没有有限子覆盖” 的拓扑基覆盖构成的集合中,存在 “极大” 的拓扑基覆盖1。即,如果 $\{B_\alpha\}$ 是一个上述的极大拓扑基覆盖,那么对于任意基本开集 $B_0\not\in\{B_\alpha\}$,覆盖 $\{B_0\}\cup\{B_\alpha\}$ 是有有限子覆盖的。

   给定子基 $\mathcal{S}$,以及 $A$ 的一个极大的没有有限子覆盖的拓扑基覆盖 $\{B_\alpha\}_{\alpha\in \Lambda}$。

   取指标集 $I\subseteq \Lambda$,定义为:拓扑基的元素 $B_i$ 也是子基的元素,当且仅当 $i\in I$。

   由于 $A$ 的子基覆盖都有有限子覆盖,而按定义,上述拓扑基覆盖 $\{B_\alpha\}_{\alpha\in \Lambda}$ 没有有限子覆盖,因此 $\bigcup_{i\in I} B_i$ 无法覆盖 $A$。

   于是存在 $x\in A-\bigcup_{i\in I} B_i$。又因为 $\bigcup_{\alpha\in \Lambda}B_\alpha$ 覆盖 $A$,故存在 $\alpha_0\in\Lambda$ 使得 $x\in B_{\alpha_0}$。

   由于该拓扑基由给定子基 $\mathcal{S}$ 导出,因此 $B_{\alpha_0}$ 是有限多个子基的元素的交集。因此存在 $S_1, S_2, \cdots, S_n\in\mathcal{S}$ 使得

\begin{equation} x\in S_1\cap S_2\cap\cdots\cap S_n \subseteq B_{\alpha_0}~. \end{equation}

   按照 $x$ 的取法,可知 $S_1, S_2, \cdots, S_n$ 不等于任何 $B_\alpha$,因此由于 $\{B_\alpha\}_{\alpha\in\Lambda}$ 的极大性,可知对于任意的 $k\in\{1, 2, \cdots n\}$,拓扑基覆盖 $\{B_\alpha\}_{\alpha\in\Lambda}\cup \{S_k\}$ 都有有限子覆盖。

   于是存在 $n$ 个有限覆盖

\begin{equation} A\subseteq S_k\cup \left(B_{\alpha_1, k}\cup B_{\alpha_2, k}\cup\cdots\cup B_{\alpha_{m_k}, k} \right) ~, \end{equation}
其中各 $B_{\alpha_1, k}$ 都等于一个 $B_\alpha$。

   这 $n$ 个有限覆盖的交仍然是覆盖:

\begin{equation} A\subseteq \bigcap_{k=1}^n \left(S_k\cup \left(B_{\alpha_1, k}\cup B_{\alpha_2, k}\cup\cdots\cup B_{\alpha_{m_k}, k} \right) \right) ~. \end{equation}

   联立式 1 式 3 ,得

\begin{equation} \begin{aligned} A&\subseteq \left(\bigcap_{k=1}^n S_k \right) \cup \left(\bigcap_{k=1}^n \left(B_{\alpha_1, k}\cup B_{\alpha_2, k}\cup\cdots\cup B_{\alpha_{m_k}, k} \right) \right) \\ &\subseteq B_{\alpha_0}\cup \left(\bigcap_{k=1}^n \left(B_{\alpha_1, k}\cup B_{\alpha_2, k}\cup\cdots\cup B_{\alpha_{m_k}, k} \right) \right) \\ &\subseteq B_{\alpha_0}\cup \left(\bigcup_{k=1}^n \left(B_{\alpha_1, k}\cup B_{\alpha_2, k}\cup\cdots\cup B_{\alpha_{m_k}, k} \right) \right) \end{aligned} ~. \end{equation}

   式 4 最右边是有限多个 $B_\alpha$ 的并,也就是说是 $A$ 的有限子覆盖——这与 “$\{B_\alpha\}_{\alpha\in\Lambda}$ 没有有限子覆盖” 矛盾!

   反设不成立。

   证毕

   定理 2 的证明中,拓扑基可以替换为全体开集,基本开集全都替换为开集,证明不变。

   总之,习题 1 定理 2 结合,能得到一个好用的工具:

推论 1 Alexander 子基定理

   对于拓扑空间 $X$ 和它的子集 $A$,$A$ 是紧集当且仅当某个子基的任意子基覆盖都有有限子覆盖。

3. Tychonoff 定理的证明

   证明思路是利用单个 $X_\alpha$ 上开集对投影的逆映射构造子基,得到子基覆盖。此子基若有一系列底面在 $X_\alpha$ 上的柱子,其底面覆盖 $X_\alpha$,则这一系列柱子就覆盖了整个 $X$,从而 $X_\alpha$ 的紧性继承到 $X$ 上。再证明另一种情况不存在,即此子基任意一个面都不能被柱子底面覆盖。

   任取一族紧拓扑空间 $\{(X_\alpha, \mathcal{T}_\alpha)\}_{\alpha\in \Lambda}$,记它们的乘积空间为 $(X, \mathcal{T})$,其中 $X=\prod_{\alpha\in\Lambda}X_\alpha$。记 $\bigwedge_\alpha x_\alpha$ 为 $X$ 中一点,其中各 $x_\alpha$ 都是 $X_\alpha$ 中的点。

   积拓扑的一个子基为

\begin{equation} \mathcal{B} = \{\pi_\alpha^{-1}(U_\alpha)\mid \alpha\in\Lambda, U_\alpha\in \mathcal{T}_\alpha\}~, \end{equation}
其中 $\pi_\alpha$ 是 $X\to X_\alpha$ 的投影。

   从 $\mathcal{B}$ 中取 $X$ 的一个覆盖 $\mathcal{S}$,再定义

\begin{equation} \mathcal{S}_\alpha = \{\pi_\alpha^{-1}(U_\alpha)\mid U_\alpha\in \mathcal{T}_\alpha\}~, \end{equation}
即 $\mathcal{S}$ 中由 $X_\alpha$ 的开集取投影的逆映射所得的原像之集合。

   如果对于某个 $\alpha$,$S_\alpha$ 所对应的 $U_\alpha$ 之并已经覆盖了 $\pi_\alpha(X_\alpha)$,那么由 $X_\alpha$ 的紧性知存在有限子覆盖 $\{U_{\alpha_i}\}_{i=1}^{n_\alpha}$,于是 $\pi_\alpha^{-1}\bigcup_{i=1}^{n_\alpha}$ 也覆盖了 $\pi_\alpha^{-1}(\pi_\alpha(X_\alpha))\supseteq X_\alpha$。简而言之,底面都在 $X_\alpha$ 的一族柱子的底面覆盖 $X_\alpha$,则这族柱子覆盖整个空间。

   于是接下来应该设,对于任意 $\alpha$,$S_\alpha$ 对应的 $U_\alpha$ 并不覆盖 $X_\alpha$。于是,可以从每个 $X_\alpha$ 中选出一个没有被 $S_\alpha$ 的底覆盖到的点 $x_{\alpha_0}$,构造出点 $\bigwedge_{\alpha_0}x_{\alpha_0}$。则这个点没有被 $\mathcal{S}$ 覆盖,矛盾。因此假设不成立。

   综上得证。


1. ^ 这个集合中的偏序关系 $\leq$ 由包含关系定义,即 $\{B_\alpha\}_{\alpha\in \Lambda}\leq\{B_\beta\}_{\beta\in \Gamma}$ 当且仅当各 $B_\alpha\in\{B_\beta\}$。


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

                     

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