素谱上的 Zariski 拓扑

形式陈述

设 $R$ 为交换含幺环。对任意理想 $I\subseteq R$ ，定义

V(I)=\{\,\mathfrak p\in\operatorname{Spec}R:I\subseteq\mathfrak p\,\}.

把所有这类集合规定为素谱的闭集，所得拓扑称为 Zariski 拓扑。方向必须读成“素理想包含 $I$ ”，不是 $\mathfrak p\subseteq I$ 。闭集公理来自

V((0))=\operatorname{Spec}R,\qquad V(R)=\varnothing,

\bigcap_{\lambda}V(I_\lambda) =V\!\left(\sum_\lambda I_\lambda\right),\qquad V(I)\cup V(J)=V(IJ)=V(I\cap J).

对 $f\in R$ ，主开集

D(f)=\operatorname{Spec}R\setminus V((f)) =\{\,\mathfrak p:f\notin\mathfrak p\,\}

构成一组拓扑基，并满足 $D(f)\cap D(g)=D(fg)$ 。由于 $V(I)=V(\sqrt I)$ ，闭集只看见理想的根。

直觉

在经典仿射几何中，一族多项式的公共零点形成闭集。素谱把“点 $a$ 使函数 $f$ 为零”改写成“对应素理想 $\mathfrak p$ 含有 $f$ ”。于是 $V(I)$ 是 $I$ 中每个函数同时消失的点集。理想越大，施加的方程越多，零点越少，所以

I\subseteq J\quad\Longrightarrow\quad V(J)\subseteq V(I).

这个反序关系是 Zariski 拓扑的核心，而不是需要纠正的怪现象。

主开集 $D(f)$ 则是 $f$ 不消失的区域。在该区域内， $f$ 可以安全地当作分母；相应函数环是局部化 $R_f$ 。因此拓扑基与代数操作严丝合缝：用乘积描述开集交，对应把两个函数同时变成可逆。Zariski 拓扑很粗，但这种粗糙恰好保留代数族的不可约性与特化关系。

例子与边界

在 $\operatorname{Spec}\mathbb Z$ 中，对非零整数 $n$ ，

V((n))=\{\,(p):p\mid n\,\},

只含有限多个闭点；例如 $V((12))=\{(2),(3)\}$ 。主开集 $D(6)$ 含泛点 $(0)$ 以及所有 $(p)$ ，唯独去掉 $(2)$ 、 $(3)$ 。点 $(0)$ 的闭包是整个谱，因为 $V((0))=\operatorname{Spec}\mathbb Z$ ；因此它不是闭点，却是稠密的泛点。

在 $k[x,y]$ 中， $V((x))$ 是一条闭直线， $D(x)$ 是其补集。若 $k$ 代数闭，极大理想 $(x-a,y-b)$ 给出熟悉的平面点，但素理想 $(x)$ 也必须保留，它是整条直线的泛点。拓扑通常不是 Hausdorff：若 $\mathfrak p\subsetneq\mathfrak q$ ，则 $\mathfrak q$ 属于 $\mathfrak p$ 的闭包，二者不可能被不交开集分离。有限集合也未必闭，因为非闭素点的单点就不是闭集。

还有一个易错边界：任意并的闭集不必闭。公式只保证有限并；例如仿射直线的全部闭点之并在许多情形下是一个稠密真子集，而不是闭集。相反，任意交确实闭，并由理想之和描述。

推论与应用

每个闭集 $V(I)$ 都有由 $\sqrt I$ 唯一确定的约化代数内容。其不可约闭子集恰为 $V(\mathfrak p)$ ，其中 $\mathfrak p$ 是素理想； $\mathfrak p$ 本身是该闭集唯一的泛点。于是代数中的素性与拓扑中的不可约性完全对应。极小素理想给出 $\operatorname{Spec}R$ 的不可约分支，而素理想包含链给出点的特化链。

环同态 $\varphi:R\to S$ 诱导的 $\varphi^\ast:\operatorname{Spec}S\to\operatorname{Spec}R$ 连续，因为

(\varphi^\ast)^{-1}(V(I))=V(IS).

这里 $IS$ 表示由 $\varphi(I)$ 生成的理想。局部化映射 $R\to R_f$ 则把 $\operatorname{Spec}R_f$ 同胚地识别为主开集 $D(f)$ 。这些性质让“环反变为仿射空间”不仅在点集层面成立，也在拓扑层面成立，并为结构层的黏合提供标准开集。

参考资料

Robin Hartshorne, Algebraic Geometry, Springer, 1977，Chapter II, §2, the spectrum of a ring。
M. F. Atiyah and I. G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley, 1969，Chapter 1, the prime spectrum and closed sets。
Ravi Vakil, The Rising Sea: Foundations of Algebraic Geometry, Princeton University Press, 2024，Chapters 3–4, spectra and the Zariski topology。

形式陈述 ​

形式陈述