# Stonean 是收缩核　`cor.stonean-retract`
Stonean 空间 = 自由紧 Hausdorff 空间的收缩核
layer 18 · 推论 · Stone 与 Stonean · 拓扑学
[在星图里打开](../#n=cor.stonean-retract)　·　[节点索引](../index.md)

Stonean 空间恰好是自由紧 Hausdorff 空间的**收缩核**：存在连续映射 $r : X \to A$ 使 $r|_{A} = 1_{A}$（这样的 $A$ 叫 $X$ 的收缩核）。

## 为什么成立（入边，证明在 proofs/）
- [`thm.gleason`](../nodes/thm.gleason.md) Gleason 定理：用到了定义 Gleason 定理　[proofs/def-dep.gleason-retract.md](../proofs/def-dep.gleason-retract.md)

refs: Le Stum, An introduction to condensed mathematics, §2.2

> 说明见 `notes/cor.stonean-retract.md`

引用：`cor.stonean-retract`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)