拓扑子空间的传递性证明：子空间的子空间仍是原空间的子空间？

安全阿岳

2026-5-19

证明子空间的传递性：若$Y$是$X$的子空间，$Z$是$Y$的子空间，则$Z$是$X$的子空间

哈哈，这个拓扑学的子空间传递性问题我刚学的时候也踩过坑！一开始和你想法一样，觉得$Z \subset X$那直接就是X的子空间啊，哪用得着$Y$？后来才反应过来，题目要我们证的根本不是“$Z$包含于$X$”，而是**$Z$从$Y$继承的子空间拓扑，和直接从$X$继承的子空间拓扑是完全一样的**——这才是“$Z$是$X$的子空间”在拓扑定义里的核心要求！

先明确子空间拓扑的定义

我们先把三个空间的拓扑关系理清楚：

$Y$作为$X$的子空间，$Y$的开集族$\mathcal{T}_Y$是所有形如 $U \cap Y$ 的集合，其中$U$是$X$的开集（即$U \in \mathcal{T}_X$）；
$Z$作为$Y$的子空间，$Z$的开集族$\mathcal{T}_{Z/Y}$是所有形如 $V \cap Z$ 的集合，其中$V$是$Y$的开集（即$V \in \mathcal{T}_Y$）；
我们要证明的是：$\mathcal{T}{Z/Y}$ 和 $Z$直接从$X$继承的开集族$\mathcal{T}{Z/X}$（即所有$U \cap Z$，$U \in \mathcal{T}_X$）完全相等。

双向证明拓扑等价

我们分两个方向来证：

$\mathcal{T}{Z/Y} \subseteq \mathcal{T}{Z/X}$
任取$W \in \mathcal{T}_{Z/Y}$，根据定义，存在$V \in \mathcal{T}_Y$使得$W = V \cap Z$；
而$V$是$Y$的开集，所以又存在$U \in \mathcal{T}X$使得$V = U \cap Y$；
代入得：$W = (U \cap Y) \cap Z = U \cap (Y \cap Z)$，因为$Z \subset Y$，所以$Y \cap Z = Z$，因此$W = U \cap Z$——这正好是$\mathcal{T}{Z/X}$中的元素。
$\mathcal{T}{Z/X} \subseteq \mathcal{T}{Z/Y}$
任取$W \in \mathcal{T}_{Z/X}$，根据定义，存在$U \in \mathcal{T}_X$使得$W = U \cap Z$；
令$V = U \cap Y$，根据$Y$的子空间拓扑定义，$V \in \mathcal{T}Y$；
那么$V \cap Z = (U \cap Y) \cap Z = U \cap (Y \cap Z) = U \cap Z = W$——所以$W$也是$\mathcal{T}{Z/Y}$中的元素。