连通空间乘积连通性证明中∪Y_F=Y的疑问解析

嘿，这个问题的关键其实在于先把符号定义搞清楚，不然容易绕晕！我来给你一步步拆解：

首先，在这个无限乘积空间 ( \prod_{i \in I} X_i ) 连通性的证明里，我们会先固定一个参考点 ( \mathbf{a} = (a_i){i \in I} \in \prod{i \in I} X_i )。接下来，对于每个有限子集 ( F \subseteq I )，定义集合 ( Y_F )：

( Y_F = \left{ \mathbf{x} = (x_i){i \in I} \in \prod{i \in I} X_i \mid \text{对所有 } i \notin F, x_i = a_i \right} )

简单来说，( Y_F ) 里的点只有在F对应的坐标上可以自由取 ( X_i ) 中的值，其他所有坐标都必须和参考点 ( \mathbf{a} ) 完全一致。

而这里的 ( Y )，就是所有这样的 ( Y_F ) 的并集，也就是：
( Y = \bigcup_{\substack{F \subseteq I \ F \text{ 有限}}} Y_F )

那为什么 ( \bigcup Y_F = Y )？这其实就是 ( Y ) 的定义呀！不过我猜你可能是混淆了符号，或者真正想问的是证明里的后续核心逻辑——比如为什么 ( Y ) 是连通的，或者为什么 ( Y ) 在整个乘积空间中稠密？我一并给你解释清楚：

为什么 ( Y ) 是连通的？ #

• 每个 ( Y_F ) 都是连通的：它和有限个连通空间的乘积 ( \prod_{i \in F} X_i ) 同胚，而有限乘积的连通性已经通过归纳法证明（比如你提到的两个空间 ( X \times Y ) 的连通性证明）。
• 所有 ( Y_F ) 都包含公共点 ( \mathbf{a} )。根据连通空间的基本性质：包含公共点的若干连通子集的并集仍然是连通的，因此 ( Y = \bigcup Y_F ) 必然是连通的。

为什么 ( Y ) 在乘积空间中稠密？ #

乘积空间的拓扑是由“仅限制有限个坐标为开集”的基生成的。任意取乘积空间中的一个开集 ( U )，它必然包含一个基开集 ( \prod_{i \in I} U_i )，其中只有有限个 ( U_i \neq X_i )（设这些坐标的集合为 ( F )）。
取 ( \mathbf{x} \in \prod U_i )，让 ( \mathbf{x} ) 在 ( F ) 外的坐标等于 ( \mathbf{a} ) 的对应坐标，那么这个 ( \mathbf{x} ) 既属于 ( Y_F )（自然也属于 ( Y )），又属于这个基开集。这说明 ( Y ) 和任意开集都相交，即 ( Y ) 在乘积空间中稠密。

最后，因为乘积空间是完全正则空间，而稠密的连通子集的闭包也是连通的，所以整个乘积空间作为 ( Y ) 的闭包，自然也是连通的。

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