Boolean 环与 Stone 空间等价Stone representation

说明

为什么 $\operatorname{Spec}$ 落在 Stone 空间里。 $\operatorname{Spec}(B) \subseteq \mathbb{F}_{2}^{B}$ 是乘积空间的闭子集，而 $\mathbb{F}_{2}$ 有限离散 —— 于是 $\operatorname{Spec}(B)$ 紧、Hausdorff、全不连通，正是 Stone 空间。

为什么只用到 $\mathbb{F}_{2}$。 布尔环上，每个素理想都自动是极大理想：商 $B/\mathfrak{p}$ 是整环，而整环里的幂等元只能是 $0$ 或 $1$，于是它就是 $\mathbb{F}_{2}$。所以 $\operatorname{Spec}(B) = \operatorname{MaxSpec}(B)$ —— Zariski 拓扑退化成 Stone 拓扑，没有「非闭点」这种麻烦。

两个必记的对应：$B = \mathbb{F}_{2}$ 对应单点空间；$B = \mathcal{P}(I)$ 对应 $\beta I$（$I$ 的 Stone–Čech 紧化）—— 幂集对应的正是「最自由」的紧化。

⭐ 这是「Stone 空间为什么特殊」的代数根源。Stone 空间的每一个点、每一个开闭集都能用「幂等元」来读：全不连通性 = 元素幂等、紧性 = 环有单位、闭开集 = 幂等元本身。于是 Stone 空间上的计算可以整个翻译成模 $2$ 的代数。

📌 与「挠 $\leftrightarrow$ Stonean」那条对偶字典连起来看：纯代数侧的「挠」、拓扑侧的「极不连通」、环论侧的「幂等」三个词在同一个地方汇合 —— 这正是凝聚态数学反复用到 Stonean 空间的原因。

证明（两个函子互逆）。

• $S\mapsto \operatorname{Clopen}(S)$ 确实是布尔环：对称差给加法、交是乘法，$S$ 本身是单位元，每个开闭集自带补，而开闭集都是幂等元 ✓；
• $B\mapsto \operatorname{Spec}(B)$ 是石空间：$\operatorname{Spec}(B)\subseteq \mathbb{F}_{2}^{B}$ 是乘积空间的闭子集（它是「每个 $f$ 是环同态」这组等式的公共解集），$\mathbb{F}_{2}$ 有限离散故紧 Hausdorff，于是 $\operatorname{Spec}(B)$ 紧 Hausdorff；而 $\mathbb{F}_{2}^{B}$ 极不连通、闭子空间仍极不连通 $\implies$ $\operatorname{Spec}(B)$ 极不连通，特别地全不连通 ✓；
• 两个复合是恒等：$S\mapsto \operatorname{Clopen}(S)\mapsto \operatorname{Spec}(\operatorname{Clopen}(S))$ —— 每个 $x\in S$ 给求值 $\operatorname{Clopen}(S)\to\mathbb{F}_{2}$，这是双射（Stone 空间里点由开闭集分离）；反向 $B\mapsto \operatorname{Spec}(B)\mapsto \operatorname{Clopen}(\operatorname{Spec}(B))$ —— 每个 $b\in B$ 给 $\{f : f(b) = 1\}$，它在 $\operatorname{Spec}(B)$ 里开闭，且这个对应是环同构（用「每个素理想都是极大、商为 $\mathbb{F}_{2}$」）✓；
• 全忠实由两个复合是恒等给出 ✓。∎

⭐ 由此布尔代数的所有定理都能翻译成 Stone 空间的语言（反之亦然）—— 具体地：$B$ 中的幂等元（＝元素）对应 $\operatorname{Spec}(B)$ 的开闭子集，$B$ 的理想对应 $\operatorname{Spec}(B)$ 的闭子集。