求证由τ_Eucl ∪ 𝒫(ℚ)生成的拓扑下ℝ的局部紧性——无理点处[x-ε,x+ε]的紧性证明疑问
Hey，你的直觉完全在线！这个闭区间在新拓扑下确实是紧的，咱们把这个证明拆解开，把你说的“$\mathcal{P}(\mathbb{Q})$里的开集没法对闭区间的覆盖起到实质作用”这个感觉给严谨化：
首先先明确这个新拓扑的核心性质：
- 它是比欧氏拓扑更细的拓扑；
- 对于无理点来说，任何包含它的开集必须包含一个欧氏开邻域（因为$\mathcal{P}(\mathbb{Q})$里的所有开集都是有理数的子集，根本不包含无理点）；
- 对于有理点来说，它的邻域可以是任意包含它的集合——毕竟单点有理集${q}$本身就是开集（属于$\mathcal{P}(\mathbb{Q})$）。
接下来我们用紧性的定义（任意开覆盖都有有限子覆盖）来证明$I=[x-\epsilon,x+\epsilon]$（$x$为无理数）是紧的：
步骤1：拆分开覆盖
任取$I$的一个开覆盖${U_\alpha}_{\alpha\in\Lambda}$，我们把这些开集分成两类：
- $\mathcal{U}_1$：所有包含至少一个无理点的开集（这类开集必然包含欧氏开集部分）；
- $\mathcal{U}_2$：所有只包含有理点的开集（这类开集都是$\mathbb{Q}$的子集）。
显然$\mathcal{U}_1 \cup \mathcal{U}_2$覆盖了整个$I$。
步骤2：用欧氏紧性覆盖无理点
对于$\mathcal{U}1$中的每个开集$U\alpha$，因为它包含无理点，根据拓扑定义，$U_\alpha$内部一定存在一个欧氏开集$V_\alpha$，使得$V_\alpha$包含这个无理点（毕竟$\mathcal{P}(\mathbb{Q})$的开集碰不到无理点，$U_\alpha$能覆盖无理点全靠里面的欧氏开集）。
现在，${V_\alpha \mid U_\alpha \in \mathcal{U}1}$构成了$I\setminus\mathbb{Q}$（$I$内的无理点集合）的一个欧氏开覆盖。而$I$在欧氏拓扑下是紧集，$I\setminus\mathbb{Q}$的闭包就是$I$（因为$\mathbb{Q}$在$\mathbb{R}$中稠密），所以我们可以从这个欧氏开覆盖中选出有限个$V{\alpha_1}, V_{\alpha_2},..., V_{\alpha_k}$，它们的并集能覆盖$I\setminus\mathbb{Q}$。对应的，$U_{\alpha_1},..., U_{\alpha_k}$也能覆盖$I\setminus\mathbb{Q}$。
步骤3：处理剩余的有理点
现在看$I$中没被$U_{\alpha_1},..., U_{\alpha_k}$覆盖的部分：$K = I \setminus (U_{\alpha_1} \cup... \cup U_{\alpha_k})$。
因为$U_{\alpha_i} \supseteq V_{\alpha_i}$，所以$K \subseteq I \setminus (V_{\alpha_1} \cup... \cup V_{\alpha_k})$。而$I$是欧氏紧集，它的闭子集也是紧集，所以$K$是欧氏紧集。同时，$K$是$I\cap\mathbb{Q}$的子集（因为$V_{\alpha_1}\cup...\cup V_{\alpha_k}$已经覆盖了所有无理点）。
这里的关键结论：欧氏紧的有理数子集一定是有限集。原因很简单：如果$K$是无限集，根据欧氏拓扑的性质，它必然存在一个聚点，而这个聚点一定是无理点（因为$\mathbb{Q}$的聚点都是无理点），但$K$是$I \setminus (V_{\alpha_1}\cup...\cup V_{\alpha_k})$，这个集合是闭集，聚点应该属于$K$，但$K$里全是有理数，矛盾。所以$K$只能是有限个有理点：$q_1, q_2,..., q_m$。
步骤4：构造有限子覆盖
每个$q_j \in K$都被$\mathcal{U}2$中的某个开集$U{\beta_j}$覆盖（因为${U_\alpha}$是$I$的覆盖）。把这些$U_{\beta_j}$和之前的$U_{\alpha_1},..., U_{\alpha_k}$放在一起，就得到了$I$的一个有限子覆盖：
$${U_{\alpha_1}, U_{\alpha_2},..., U_{\alpha_k}, U_{\beta_1}, U_{\beta_2},..., U_{\beta_m}}$$
这样就证明了$I$在新拓扑下是紧的，也就说明无理点$x$有一个紧邻域，满足局部紧的定义。
备注：内容来源于stack exchange，提问作者Bentley Edwards
