泛函分析习题讲解 习题1.25
习题题面
设拓扑空间 \((X,\tau)\) 满足第二可数公理，证明从 \(X\) 的任意开覆盖中可选出由最多可数个集构成的子覆盖.
教材参考答案
设 \(X\) 具有可数基，\(\left\{G_a\right\}\) 是 \(X\) 的任一开覆盖，\(\left\{F_n\right\}\) 是 \(X\) 的可数基，对于任一点 \(x\in X\)，存在可数基中的元 \(F_n(x)\)，使得 \(x\in F_n(x)\subset G_n\)，这样选取的集 \(G_n(x)\) 的全体最多为可数的，\(X\) 的覆盖. 对于每一个 \(G_n(x)\)，选取包含它的集 \(G_a\) 中的一个，这样我们就得到一个最多为可数个集构成的子覆盖.
习题分析
在教材当中，关于第二可数公理的定义实际上只是短短的一句话。为了让大家能够在推演前重新建立起直觉，让我们先回归书本，重温一下这条极其核心的定理：
第二可数公理
如果拓扑空间中存在一个由最多可数个集构成的拓扑基，称这个空间具有可数基，或满足第二可数公理。
短短一句话究竟说明了什么？它实际上想表达的意思是，空间里的任何一个极其复杂的开集，都能够用这个可数基里的“基础拼图”无缝拼接而成。这一概念可以极为自然地类比为线性代数中的“基底”：只要确定了空间里的可数基，空间中的任何一个开集（犹如向量）都可以由这组基底生成。回到本题所描绘的场景，当前我们面临着一堆开集 \(\{G_\alpha\}_{\alpha\in I}\)，它们并起来足以覆盖整个空间 \(X\)。尽管这里的指标集 \(I\) 可能是不可数无穷大的，但我们的核心任务，就是在这个满足第二可数公理的空间里，从这片不可数的“开集汪洋”中精准地挑出至多可数个子开集，且它们依然能够严丝合缝地盖住 \(X\)。
明确了题目的宏观目标后，具体的执行逻辑便水到渠成了。若要在不可数个开集 \(\{G_\alpha\}\) 中直接进行盲目挑选，无异于大海捞针。然而，第二可数公理赋予了我们破局的利器——我们可以将可数基 \(\mathscr{B}\) 作为“中介”去进行降维筛选。具体而言，空间中可能存在不可数个点 \(x\)，覆盖它们的 \(G_\alpha\) 也有不可数个，但能够用于“夹在”点 \(x\) 与开集 \(G_\alpha\) 之间的基元素 \(B_k\)，总共却只有可数个。因此，我们只需考察空间中的每一个点，并将那些成功塞进某个 \(G_\alpha\) 内部的基元素统统收集起来。这个被激活的基元素集合必然是至多可数的，并且它们依然覆盖了所有的点。最后，顺藤摸瓜，对于每一个被选中的基元素 \(B_k\)，我们随便找一个最初包住它的“原主” \(G_\alpha\)。这种由“可数基”向“原覆盖”的逆向映射，使得挑出来的 \(G_\alpha\) 最多也只有可数个。这便是仅限于第二可数公理才能施展的数学魔法。
标准解答
设 \((X,\tau)\) 为满足第二可数公理的拓扑空间，且 \(\mathscr{B}=\{B_1,B_2,\dots,B_n,\dots\}\) 为其可数拓扑基. 任取 \(X\) 的一个开覆盖 \(\mathscr{G}=\{G_\alpha\}_{\alpha \in I}\). 现证必然存在 \(\mathscr{G}\) 的至多可数子族，其仍能构成全空间 \(X\) 的覆盖.
任取空间 \(X\) 中的一点 \(x\). 由于 \(\mathscr{G}\) 构成 \(X\) 的覆盖，故必定存在至少一个开集 \(G_\alpha \in \mathscr{G}\) 使得 \(x \in G_\alpha\). 基于拓扑基的定义，既然 \(G_\alpha\) 是包含点 \(x\) 的开集，必定存在可数基 \(\mathscr{B}\) 中的某个基元素（不妨记为 \(B_{n(x)}\)），满足：
\[ x \in B_{n(x)} \subset G_\alpha \]
为明确对应关系，我们从原覆盖 \(\mathscr{G}\) 中特意指定一个包含该基元素的开集，并将其记为 \(G_{\alpha(x)}\). 由此，针对空间中的每一点 \(x\)，我们均建立了一条严密的嵌套关系：\(x \in B_{n(x)} \subset G_{\alpha(x)}\).
令点 \(x\) 遍历整个空间 \(X\)，并将所有参与上述嵌套关系的基元素收集起来，构成新的集合族 \(\mathscr{B}' = \{ B_{n(x)} \mid x \in X \}\). 由于 \(\mathscr{B}'\) 显然是可数拓扑基 \(\mathscr{B}\) 的子族（即 \(\mathscr{B}' \subset \mathscr{B}\)），故 \(\mathscr{B}'\) 必然是至多可数的. 为便于逻辑推演，可将该至多可数的子族重新排列并赋予指标，记为 \(\mathscr{B}' = \{ B_{k_1}, B_{k_2}, \dots \}\). 同时，由于空间 \(X\) 中的每一个点 \(x\) 均被 \(\mathscr{B}'\) 中的某个基元素所覆盖，故 \(\mathscr{B}'\) 同样构成了全空间 \(X\) 的一个覆盖.
接下来，根据前文确立的对应法则，对于子族 \(\mathscr{B}'\) 中的每一个基元素 \(B_{k_i}\)，我们提取出与其对应的、包含它的原始覆盖开集 \(G_{\alpha_i} \in \mathscr{G}\)，即满足：
\[ B_{k_i} \subset G_{\alpha_i} \]
将这些被提取出的开集汇聚为新的集合族 \(\mathscr{G}' = \{ G_{\alpha_i} \}\). 因 \(\mathscr{G}'\) 中的元素与至多可数的基元素族 \(\mathscr{B}'\) 建立了一一映射关系，故 \(\mathscr{G}'\) 至多是可数的，且显然有 \(\mathscr{G}' \subset \mathscr{G}\).
最后，验证集合族 \(\mathscr{G}'\) 的覆盖完备性. 因子族 \(\mathscr{B}'\) 已覆盖全空间 \(X\)，且每一个 \(B_{k_i}\) 均被相对应的 \(G_{\alpha_i}\) 完全包含，依据集合并集的单调性可得：
\[ X = \bigcup_i B_{k_i} \subset \bigcup_i G_{\alpha_i} \]
上式严格证明了 \(\mathscr{G}'\) 不仅是原开覆盖 \(\mathscr{G}\) 的子族，且切实构成了全空间 \(X\) 的覆盖. 综上，从任意开覆盖 \(\mathscr{G}\) 中，确能选出一个至多可数的子覆盖，命题得证.
助教提点
这道习题在拓扑学发展史上享有极高的声誉，它所证明的结论即为大名鼎鼎的林德勒夫定理（Lindelöf’s Theorem）。该定理深刻揭示了第二可数公理的强大威力——它能够将任何极其庞大、不可数发散的开覆盖，强行“压缩”成一个至多可数的子覆盖。这种“开覆盖提纯”的特性在拓扑学中被专门定义为Lindelöf空间，它与要求“存在有限子覆盖”的紧致性概念遥相呼应，共同构成了现代分析学控制无穷维空间结构的核心工具。特别值得一提的是，在一般的度量空间范畴内，“满足第二可数公理”、“空间可分（即存在可数稠密子集）”以及“属于Lindelöf空间”这三个条件是完全等价的。我们通过本题严格推演了“第二可数公理 \(\implies\) Lindelöf空间”的单向逻辑链条。对于学有余力的同学，强烈建议课后尝试证明“可分空间 \(\implies\) 第二可数公理”这一经典命题，这对于深度理解度量空间的拓扑等价性大有裨益。
就期末考试的阅卷标准而言，本题的逻辑环环相扣，踩分点极其明确。若以此作为一道满分为10分的证明大题，评分细则将遵循以下结构：首先，能够敏锐地引入可数基作为中介，并利用基的定义写出点、基元素与开集之间的嵌套关系（\(x \in B \subset G\)），此为破题核心，可获3分；其次，准确收集所有被激活的基元素构成子族，并明确论证其至多可数性，可获2分；随后，利用映射关系从原覆盖中准确挑选出对应的开集构成子覆盖，再获2分；最后，通过严格的集合运算（即并集的包含关系）验证该子族确实覆盖了全空间，完成逻辑闭环，斩获最后的3分。