紧空间中Gδ点的局部基势≤ℵ₀的证明方法问询

嘿，咱们一步步来拆解这个证明，核心就是用紧空间的特性把可数的Gδ集转化为可数局部基：

已知条件梳理 #

• X是紧空间，$x\in X$
• ${x}$是Gδ集：存在可数个开子集${U_i}_{i=1}^{\infty$，满足$x=\bigcap_{i=1}}\infty U_i$
• 目标：证明x处局部基的最小势$\chi(x,X)\leq\aleph_0$，也就是x存在可数局部基

构造候选局部基 #

对每个正整数n，定义开集：
$$V_n = \bigcap_{i=1}^n U_i$$
有限个开集的交集仍是开集，所以每个$V_n$都是x的开邻域（x属于每个$U_i$，自然属于它们的有限交）。现在我们得到了一个可数的开邻域族${V_n}_{n=1}^\infty$，接下来要验证它就是x的局部基。

利用紧性验证局部基性质 #

任取x的一个开邻域W，那么$X\setminus W$是X中的闭子集。因为紧空间的闭子集必紧，所以$X\setminus W$是紧集。

由$x=\bigcap_{i=1}^\infty U_i$，可推出：
$$X\setminus {x} = \bigcup_{i=1}^\infty (X\setminus U_i)$$
而$X\setminus W \subseteq X\setminus {x}$，所以${X\setminus U_i}_{i=1}^\infty$是紧集$X\setminus W$的一个闭覆盖（$U_i$是开集，故$X\setminus U_i$是闭集）。根据紧空间的定义，这个闭覆盖存在有限子覆盖：

存在有限个下标$i_1,i_2,\dots,i_k$，使得：
$$X\setminus W \subseteq \bigcup_{j=1}^k (X\setminus U_{i_j})$$
取$n = \max{i_1,i_2,\dots,i_k}$，则$\bigcup_{j=1}^k (X\setminus U_{i_j}) \subseteq \bigcup_{i=1}^n (X\setminus U_i)$，因此：
$$X\setminus W \subseteq \bigcup_{i=1}^n (X\setminus U_i)$$
两边取补集，得到：
$$\bigcap_{i=1}^n U_i \subseteq W$$
也就是$V_n \subseteq W$。

这就说明：对于x的任意开邻域W，都存在某个n使得$V_n \subseteq W$，完全符合局部基的定义。

结论 #

既然我们构造出了x的一个可数局部基${V_n}_{n=1}^\infty$，那么x处局部基的最小势$\chi(x,X)$自然不超过$\aleph_0$，即$\chi(x,X)\leq\aleph_0$。

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