Zariski 拓扑是一种拓扑,非常适合研究代数几何中的多项式方程,因为 Zariski 拓扑的开集比通常的度量拓扑少得多。 实际上,唯一的闭集是代数集,即多项式的零点。
例如,在 中,唯一的非平凡闭集是有限的点集。 在
中,也有多项式的零点,例如直线
和尖点
。
Zariski 拓扑不是 T2 空间。 实际上,任何两个开集都必须相交,并且不能是不相交的。 此外,开集是稠密的,在 Zariski 拓扑以及通常的度量拓扑中都是如此。
由于 Zariski 拓扑的开集比通常拓扑少,因此函数在 Zariski 拓扑中更难连续。 例如,连续函数 必须是常数函数。 相反,当值域具有 Zariski 拓扑时,函数更容易连续。 特别是,多项式是连续函数
。
一般来说,环 的 Zariski 拓扑是素理想集上的一种拓扑,称为环谱。 它的闭集是
,其中
是
中的任何理想,
是包含
的素理想集。