# 弱 Hausdorff 推出 拟分离　`lem.weak-hausdorff-qseparated`
弱 Hausdorff 的紧块相交还是紧块
layer 17 · 引理 · 凝聚态集 · 凝聚态数学
[在星图里打开](../#n=lem.weak-hausdorff-qseparated)　·　[节点索引](../index.md)

设 $X$ 是弱 Hausdorff 空间（且 $X$ 紧生成），$X_{1}, X_{2} \hookrightarrow X$ 是**拟紧**子空间。则纤维积

$$X_{1} \times_{X} X_{2}$$

紧 Hausdorff。特别地，任意两个拟紧开子空间的交是拟紧的，即 $X$ 是**拟分离**的。

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/lem.weak-hausdorff-qseparated.2.md](./lem.weak-hausdorff-qseparated.2.md)

refs: Le Stum, Lemma 4.2.9

> 说明见 `notes/lem.weak-hausdorff-qseparated.md`

引用：`lem.weak-hausdorff-qseparated`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)