线性连续统的笛卡尔积：带序拓扑的两线性连续统积是否为线性连续统？

先得澄清一个关键歧义：你这里说的“积”，是指积拓扑下的笛卡尔积空间，还是给笛卡尔积赋予字典序后配备序拓扑？这两种情况的结论完全不同，咱们逐一分析：

1. 积拓扑下的积空间 #

首先要明确：线性连续统的核心前提是它是一个全序集，并且配备的是序拓扑。而两个非单点线性连续统的积空间（积拓扑），根本没法定义一个全序关系使得积拓扑等于这个全序的序拓扑——它本质上不是全序空间，所以直接排除在“线性连续统”的范畴之外。

2. 赋予字典序的序拓扑空间 #

这应该是你想问的情况：把两个线性连续统$X,Y$的笛卡尔积$X\times Y$赋予字典序（即$(x_1,y_1) < (x_2,y_2)$当且仅当$x_1 < x_2$，或者$x_1=x_2$且$y_1 < y_2$），然后配备序拓扑，问这个空间是不是线性连续统。

你提到“显然它满足稠密性”，这点完全正确：任取两个不同的点$(x_1,y_1) < (x_2,y_2)$，如果$x_1 < x_2$，利用$X$的稠密性取$x' \in X$满足$x_1 < x' < x_2$，那么$(x', y_1)$就是介于两者之间的点；如果$x_1=x_2$，利用$Y$的稠密性取$y' \in Y$满足$y_1 < y' < y_2$，则$(x_1,y')$在两者之间。所以稠密性成立。

接下来你说问题等价于证明连通性——这里得看你用的线性连续统定义：

• 如果你的教材定义线性连续统为稠密且连通的全序序拓扑空间，那确实等价；
• 如果定义是稠密且满足上确界性质的全序集（这是更标准的定义），那连通性和上确界性质在这里并不完全等价，咱们分开说：

连通性结论：是连通的 #

假设我们尝试把$X\times Y$分成两个非空不交开集$U$和$V$，且$U\cup V = X\times Y$。取$u\in U$，$v\in V$，不妨设$u < v$。考虑集合$S = { w \in X\times Y \mid u < w < v, w \in U }$。如果$S$有上确界$w_0$：

• 若$w_0 \in U$，因为$U$是开集，存在序拓扑中的基区间$(a,b)$包含$w_0$且完全在$U$内，那么$(w_0, b)$中的点也属于$U$，这与$w_0$是$S$的上确界矛盾；
• 若$w_0 \in V$，同理，$V$是开集，存在基区间$(c,w_0)$包含在$V$内，而$(c,w_0)$中必然有大于$u$的点，这意味着$S$中存在点与$V$相交，矛盾。

如果$S$没有上确界，说明存在一个“空隙”：即存在$x_0 \in X$，使得所有第一个分量小于$x_0$的点都属于$U$，而第一个分量大于$x_0$的点都属于$V$，但第一个分量等于$x_0$的点呢？因为$X$是线性连续统，$x_0$是$S$中所有点的第一个分量的上确界，而$X$没有跳跃点，所以对于任意$x < x_0$，存在$x' \in (x,x_0)$，对应点$(x', y) \in U$。而$(x_0, y)$的任何邻域都包含第一个分量小于$x_0$的点（属于$U$），所以$(x_0,y)$不可能属于$V$（否则$V$的邻域会包含$U$的点，与$U,V$不交矛盾），同理也不能属于$U$？不对，其实这种情况不可能发生，因为$X$是线性连续统，$x_0$要么是某个点的第一个分量，要么是极限，但无论如何，$X\times Y$在字典序下是连通的——你找不到两个非空不交开集覆盖它。

上确界性质（标准线性连续统定义）：不一定满足 #

比如取$X=Y=\mathbb{R}$（都是线性连续统），考虑子集$S = { (x, 0) \mid x < 0 }$。$S$有上界（比如$(0, 0)$，$(1, 5)$都是上界），但它没有上确界：对于任何上界$(0, y)$，我们总能找到$(0, y')$其中$y' < y$，而$(0, y')$也是$S$的上界（因为所有$x <0$的点$(x,0)$都小于$(0,y')$），不存在最小的上界。这说明$X\times Y$不满足上确界性质，按照标准定义，它不是线性连续统。

总结 #

• 如果你的线性连续统定义是稠密且连通的全序序拓扑空间，那么答案是是；
• 如果是标准定义（稠密+上确界性质），答案是不是，因为它不满足上确界性质。

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