拓扑证明求助：三类集合族的拓扑验证问题

我太懂这种感觉了——拓扑的定义看着直白，但真的要把具体集合族套进去验证时，总是容易摸不清头绪。别担心，咱们就对着拓扑的三个核心条件，逐个拆解你提到的这三个例子，一步步来，帮你把思路捋顺：

首先，先明确拓扑的判定标准：给定集合$X$，如果它的子集族$\tau$满足以下三个条件，就称$\tau$是$X$上的一个拓扑：

1. $\emptyset$和$X$都属于$\tau$；
2. $\tau$中任意多个集合的并集仍然属于$\tau$（任意并封闭）；
3. $\tau$中有限多个集合的交集仍然属于$\tau$（有限交封闭）

一、验证集合族 $\tau_1 = {X - A \mid A \text{ 是 } X \text{ 的可数子集}} \cup {\emptyset}$ #

我们对照三个条件逐一验证：

• 条件1：$\emptyset$直接在$\tau_1$的定义里；而$X = X - \emptyset$，空集是可数子集（可数包含有限和可数无限，空集属于有限集），所以$X \in \tau_1$，满足条件。
• 条件2（任意并封闭）：任取$\tau_1$中的一族集合${U_i}{i \in I}$。如果所有$U_i$都是$\emptyset$，那并集就是$\emptyset$，显然在$\tau_1$里；如果有非空的$U_i$，每个非空$U_i$都可以写成$X - A_i$（$A_i$是可数子集），根据德摩根律，这些非空集合的并集为：
  $$\bigcup{i \in I'} (X - A_i) = X - \bigcap_{i \in I'} A_i$$
  其中$I'$是对应非空$U_i$的索引集。由于每个$A_i$是可数集，它们的交集$\bigcap_{i \in I'} A_i$是$X$的可数子集（子集的基数不会超过原集合），因此$X - \bigcap_{i \in I'} A_i$属于$\tau_1$。不管哪种情况，任意并都在$\tau_1$里，满足条件2。
• 条件3（有限交封闭）：任取$\tau_1$中的有限个集合$U_1, U_2, ..., U_n$。如果其中有一个是$\emptyset$，交集就是$\emptyset$，属于$\tau_1$；如果全是非空的，每个$U_k = X - A_k$（$A_k$可数），再用德摩根律：
  $$\bigcap_{k=1}^n (X - A_k) = X - \bigcup_{k=1}^n A_k$$
  有限个可数集的并集仍然是可数集，所以$\bigcup_{k=1}^n A_k$是$X$的可数子集，因此$X - \bigcup_{k=1}^n A_k$属于$\tau_1$。满足条件3。

结论：$\tau_1$是$X$上的拓扑（这个拓扑也叫可数补拓扑）。

二、验证集合族 $\tau_2 = {U \mid U \subset B} \cup {X}$ #

同样对照三个条件：

• 条件1：$\emptyset$是任何集合的子集，所以$\emptyset \subset B$，因此$\emptyset \in \tau_2$；$X$直接在$\tau_2$的定义里，满足条件。
• 条件2（任意并封闭）：任取$\tau_2$中的一族集合${U_i}_{i \in I}$。如果其中有一个$U_i = X$，那整个并集就是$X$，属于$\tau_2$；如果所有$U_i$都是$B$的子集，那么它们的并集也是$B$的子集（子集的并集仍是子集），因此属于$\tau_2$。满足条件2。
• 条件3（有限交封闭）：任取有限个$\tau_2$中的集合$U_1, ..., U_n$。如果其中有一个是$X$，那么交集就是剩下的集合的交集，而剩下的集合都是$B$的子集，它们的交集也是$B$的子集，属于$\tau_2$；如果所有$U_i$都是$B$的子集，它们的交集同样是$B$的子集，属于$\tau_2$。满足条件3。

结论：$\tau_2$是$X$上的拓扑。

三、验证集合族 $\tau_3 = {U \mid U \cap B = \emptyset} \cup {X}$ #

（注：你写的原式里漏了$\cup$，这里默认是和前两个一致的形式）

• 条件1：$\emptyset \cap B = \emptyset$，所以$\emptyset \in \tau_3$；$X$直接在定义里，满足条件。
• 条件2（任意并封闭）：任取$\tau_3$中的一族集合${U_i}{i \in I}$。如果有一个$U_i = X$，并集就是$X$，属于$\tau_3$；如果所有$U_i$都满足$U_i \cap B = \emptyset$，那么：
  $$(\bigcup{i \in I} U_i) \cap B = \bigcup_{i \in I} (U_i \cap B) = \bigcup_{i \in I} \emptyset = \emptyset$$
  所以并集满足和$B$交集为空的条件，属于$\tau_3$。满足条件2。
• 条件3（有限交封闭）：任取有限个$\tau_3$中的集合$U_1, ..., U_n$。如果其中有一个是$X$，交集就是剩下集合的交集，剩下的集合都满足和$B$交集为空，因此它们的交集和$B$的交集也是$\emptyset$，属于$\tau_3$；如果所有$U_i$都满足$U_i \cap B = \emptyset$，那么：
  $$(\bigcap_{k=1}^n U_k) \cap B = \bigcap_{k=1}^n (U_k \cap B) = \bigcap_{k=1}^n \emptyset = \emptyset$$
  所以交集属于$\tau_3$。满足条件3。

结论：$\tau_3$是$X$上的拓扑。

其实这类证明的核心就是紧扣拓扑的三个条件，遇到集合运算时灵活运用德摩根律、子集的基本性质，分情况讨论时别漏掉极端情况（比如全是空集、包含全集的情况），多练几次就熟练啦！

内容的提问来源于stack exchange，提问作者Aurora Borealis