乘积空间中的子空间定理
设 \(A\) 和 \(B\) 分别是拓扑空间 \(X\) 与 \(Y\) 的子集，$$ A \subset X $$ $$ B \subset Y $$ 如果把 \(A \times B\) 看作乘积空间 \(X \times Y\) 的一个子空间，那么它所得到的子空间拓扑，与利用 \(A\) 和 \(B\) 从 \(X\) 与 \(Y\) 继承的拓扑直接构造出的乘积拓扑完全一致。 $$ \quad \tau_{A \times B}^{\text{sub}} = \tau_A^{\text{sub}} \times \tau_B^{\text{sub}} $$
其中，\(\tau_{A \times B}^{\text{sub}}\) 表示由 \(X \times Y\) 在 \(A \times B\) 上诱导得到的子空间拓扑，
而 \(\tau_A^{\text{sub}}\) 与 \(\tau_B^{\text{sub}}\) 分别表示 \(A\) 和 \(B\) 从 \(X\) 与 \(Y\) 继承得到的子空间拓扑。
这个定理的核心思想其实很简单：
对于集合 \(A \times B\)，无论你是先构造大空间 \(X \times Y\) 的拓扑，再限制到 \(A \times B\) 上；还是直接利用 \(A\) 和 \(B\) 自身的拓扑来定义乘积拓扑，最终得到的拓扑结构完全相同。
也就是说，这两种看似不同的方法，本质上描述的是同一个拓扑空间。
一个直观的例子
下面通过一个具体例子来理解这个定理。
设 \(X\) 和 \(Y\) 是两个拓扑空间。为了便于想象，可以把它们分别看作平面中的两条坐标轴：
- \(X\) 表示 \(x\) 轴
- \(Y\) 表示 \(y\) 轴
现在，从这两个空间中各取一个子集：
- \(A \subset X\)
- \(B \subset Y\)
例如，可以取：
$$ A=[1,2] \qquad B=[3,4] $$
其中，\(A\) 是 \(x\) 轴上的一个区间，\(B\) 是 \(y\) 轴上的一个区间。
它们的笛卡尔积 \(A \times B\)，由所有满足
$$ x \in A \qquad y \in B $$
的有序对 \((x,y)\) 组成。
因此，在平面上，\(A \times B\) 对应的是一个矩形区域：
- \(x\) 的取值范围是 1 到 2
- \(y\) 的取值范围是 3 到 4
两种不同的构造方式
现在，我们来看 \(A \times B\) 上的两种拓扑构造方法。
- 子空间拓扑
首先，把 \(A \times B\) 看作整个乘积空间 \(X \times Y\) 的一个子空间。由于 \(X \times Y\) 已经带有拓扑结构，因此可以直接把这个拓扑限制到 \(A \times B\) 上，从而得到子空间拓扑。 - 乘积拓扑
另一种方法是分别考虑 \(A\) 与 \(B\) 的拓扑。这里，\(A\) 使用从 \(X\) 继承而来的拓扑，\(B\) 使用从 \(Y\) 继承而来的拓扑，然后直接在 \(A \times B\) 上构造乘积拓扑。
为什么这个定理重要
这个定理说明：
"先取乘积，再取子空间" 与 "先取子空间，再构造乘积" 最终得到的拓扑结构是一样的。
因此，在研究乘积空间中的子集时，我们不需要担心不同构造方式会产生不同的拓扑。
这一定理在拓扑学中非常重要，因为它保证了子空间构造与乘积构造之间具有良好的相容性。
在后续学习连续映射、嵌入、积空间性质以及更高层次的拓扑结构时，这个结果会被频繁使用。
