连续统个离散两点空间的积空间拓扑性质求证

先明确问题中的空间定义：设$\mathfrak{c}$为连续统基数（即实数集的基数），令$X = {0,1}^\mathfrak{c}$，也就是连续统个离散两点空间${0,1}$的积空间，装备积拓扑。接下来分三个核心部分论证：

一、证明X中存在无收敛子列的序列 #

咱们直接构造一个具体的序列，再用反证法证明它没有收敛子列：

1. 首先，把X的指标集取为${0,1}^\mathbb{N}$（因为它的基数恰好是$\mathfrak{c}$，和连续统基数一致），这样X就可以写成$X = {0,1}^{{0,1}\mathbb{N}}$，每个元素$f \in X$都是从${0,1}^\mathbb{N}$到${0,1}$的函数。
2. 构造序列${f_n}_{n \in \mathbb{N}}$：对每个自然数$n$，定义$f_n(g) = g(n)$，其中$g \in {0,1}^\mathbb{N}$（简单说，$f_n$就是“取函数$g$的第$n$位值”的映射）。
3. 反证法：假设存在子列${f_{n_k}}$收敛到某个$f \in X$。根据积拓扑的收敛规则，逐点收敛是积空间收敛的充要条件，也就是对每个$g \in {0,1}^\mathbb{N}$，序列${f_{n_k}(g)} = {g(n_k)}$必须收敛到$f(g)$。
4. 现在构造一个“捣蛋”的函数$g_0 \in {0,1}^\mathbb{N}$：让$g_0(n_k) = 1$当$k$为奇数，$g_0(n_k) = 0$当$k$为偶数。那么序列${g_0(n_k)}$就是$1,0,1,0,\dots$，这是一个振荡序列，根本不收敛——这就和“逐点收敛”的要求矛盾了。

因此，原序列${f_n}$不存在收敛子列。

二、用吉洪诺夫定理证明X是紧空间 #

这个论证非常直接，核心就是用吉洪诺夫定理的结论：

吉洪诺夫定理：任意多个紧空间的积空间（装备积拓扑）是紧空间。

首先，离散两点空间${0,1}$是紧空间——因为它是有限集，任何开覆盖都能找到有限子覆盖，满足紧性定义。而X是连续统个这样的紧空间的积，并且装备的是积拓扑，完全符合吉洪诺夫定理的适用条件。因此，X必然是紧空间。

这里要注意：如果是箱拓扑的话，积空间不一定紧，但问题里明确是积空间（默认装备积拓扑），所以没问题。

三、验证X是否同胚于康托尔集 #

结论很明确：X和康托尔集不同胚，咱们从两个核心拓扑/集合性质来论证：

1. 基数差异 #

康托尔集$C$的基数是$\mathfrak{c}$（和实数集一样多），而X的基数是$2^{\mathfrak{c}$（根据集合论的基数运算，${0,1}}\mathfrak{c}$的基数是$2^{\mathfrak{c}$）。根据康托尔定理，$2}\mathfrak{c} > \mathfrak{c}$——两个集合的基数都不一样，显然不可能同胚（同胚映射是双射，必须保持基数）。

2. 拓扑性质差异 #

• 第一可数性：康托尔集是第一可数的（每个点都有可数邻域基），而X不是。假设X中某个点$f$有可数邻域基${V_n}$，每个$V_n$是积拓扑的基本开集，即只限制有限个指标的取值。把所有这些有限指标集合起来，得到一个可数集$A$，取一个不在$A$中的指标$\alpha$，那么开集$U = {g \in X | g(\alpha) = f(\alpha)}$是$f$的邻域，但没有任何$V_n$能包含在$U$里（因为$V_n$不限制$\alpha$的取值，总能找到属于$V_n$但不属于$U$的点），矛盾。
• 可分性：康托尔集是可分的（有可数稠密子集，比如所有有限二进制序列对应的点），而X是不可分的。假设X有可数稠密子集${f_n}$，对每个指标$\alpha$，开集$U_\alpha = {g \in X | g(\alpha)=1}$必须包含某个$f_n$，但$\mathfrak{c}$是连续统，可数个$f_n$不可能覆盖这么多不同的$U_\alpha$（每个$f_n$最多对应可数个$\alpha$使得$f_n(\alpha)=1$），矛盾。

综上，X和康托尔集在基数和拓扑性质上都有本质差异，不可能同胚。

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