# 投影公式　`prop.projection-formula-cond`
投影公式：$S \times X(\cdot) \cong (S \times X)(\cdot)$
layer 19 · 命题 · 凝聚态集 · 凝聚态数学
[在星图里打开](../#n=prop.projection-formula-cond)　·　[节点索引](../index.md)

设 $X$ 是凝聚态集，$S$ 是**局部紧 Hausdorff** 拓扑空间。则

$$S \times X(\cdot) \;\cong\; (S \times X)(\cdot).$$

（左边是底空间 $X(\cdot)$ 与 $S$ 的拓扑积；$S$ 紧 Hausdorff 时这就是「把 $S$ 拉进来不影响 $k$-化」。）

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.projection-formula-cond.2.md](./prop.projection-formula-cond.2.md)

refs: Le Stum, An introduction to condensed mathematics, Exercise 4.11

> 说明见 `notes/prop.projection-formula-cond.md`

引用：`prop.projection-formula-cond`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)