证明：X赋离散拓扑时X×X的积拓扑等于离散拓扑

嘿，我来帮你理清这个拓扑学问题——你一开始的等价性判断有点小误区，这正是卡住你的原因，先纠正这个点，再一步步完成证明：

先澄清关键误区 #

你误以为要证明 ( \mathcal{P}(X) \times \mathcal{P}(X) = \mathcal{P}(X \times X) )，但这个等式是不成立的：

• ( \mathcal{P}(X) \times \mathcal{P}(X) ) 是所有形如 ( V \times W )（其中 ( V,W \subseteq X )）的集合构成的族；
• ( \mathcal{P}(X \times X) ) 是 ( X \times X ) 的所有子集，比如当X有至少两个元素时，子集 ( {(x_1,y_1), (x_2,y_2)} )（其中 ( x_1 \neq x_2, y_1 \neq y_2 )）就没法写成 ( V \times W ) 的形式。

积拓扑的定义是基元素（即 ( V \times W ) 型集合）的任意并，而不是基元素本身的集合，所以我们的目标不是证明两个幂集的笛卡尔积等于笛卡尔积的幂集，而是证明积拓扑能生成 ( X \times X ) 的所有子集。

正式证明：X×X的积拓扑等价于离散拓扑 #

离散拓扑的核心是“所有子集都是开集”，所以我们只需证明积拓扑包含 ( X \times X ) 的每一个子集（因为积拓扑本身是拓扑，而离散拓扑是集合上最大的拓扑，只要积拓扑包含所有子集，两者就相等）。

步骤1：利用X上离散拓扑的性质 #

X赋予离散拓扑，意味着X的每个单点集都是开集——对任意 ( x \in X )，( {x} \in \mathcal{P}(X) = \mathcal{T} )（离散拓扑就是所有子集构成的拓扑）。

步骤2：证明X×X中的单点集是积拓扑的开集 #

对任意 ( (x,y) \in X \times X )，考虑单点集 ( { (x,y) } )：

• 它可以写成 ( {x} \times {y} )，而 ( {x} )、( {y} ) 都是X中的开集；
• 根据积拓扑的定义，两个开集的笛卡尔积是积拓扑的基元素，基元素本身就是积拓扑中的开集，所以 ( { (x,y) } ) 是积拓扑里的开集。

步骤3：证明X×X的任意子集都是积拓扑的开集 #

设 ( U ) 是 ( X \times X ) 的任意子集，那么U可以表示为所有包含于它的单点集的并：
[ U = \bigcup_{(x,y) \in U} { (x,y) } ]
拓扑的基本性质之一是“对任意并运算封闭”，既然每个单点集都是积拓扑的开集，它们的任意并（也就是U）自然也是积拓扑的开集。

步骤4：得出结论 #

因为 ( X \times X ) 的每一个子集都属于积拓扑，而离散拓扑恰好是由所有子集构成的拓扑，所以X×X上的积拓扑与离散拓扑完全相同。

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