# Gleason 定理　`thm.gleason`
Gleason 定理：$\mathbf{CHaus}$ 的投射对象
layer 17 · 定理 · Stone 与 Stonean · 拓扑学
[在星图里打开](../#n=thm.gleason)　·　[节点索引](../index.md)

$\mathbf{CHaus}$ 中的**投射对象恰好是 Stonean 空间**。

## 为什么成立（入边，证明在 proofs/）
- [`def.projective-object`](../nodes/def.projective-object.md) 投射 / 内射对象 + [`def.stone-space`](../nodes/def.stone-space.md) 全不连通与 Stone 空间 + [`def.chaus`](../nodes/def.chaus.md) 紧 Hausdorff 空间范畴：投射对象 $\iff$ Stonean 空间　[proofs/imp.gleason.md](../proofs/imp.gleason.md)

- …另有入边，续页见 [nodes/thm.gleason.2.md](./thm.gleason.2.md)

## 它能推出什么 / 谁在用它
- 被 [`cor.stonean-retract`](../nodes/cor.stonean-retract.md) Stonean 是收缩核 用

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

引用：`thm.gleason`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)