TOPICS
Search

Zariski Topology


The Zariski topology is a topology that is well-suited for the study of polynomial equations in algebraic geometry, since a Zariski topology has many fewer open sets than in the usual metric topology. In fact, the only closed sets are the algebraic sets, which are the zeros of polynomials.

For example, in C, the only nontrivial closed sets are finite sets of points. In C^2, there are also the zeros of polynomials such as lines ax+by and cusps x^2+y^3.

On C^n for n>=1, the Zariski topology is not a T2-space. Any two nonempty open sets intersect. Every nonempty open set is dense both in the Zariski topology and in the usual metric topology. These statements hold because affine space is an irreducible variety and do not hold for arbitrary algebraic sets.

Because there are fewer open sets than in the usual topology, it is more difficult for a function to be continuous in Zariski topology. For example, a continuous function (C^n,Zariski)->(C,metric) must be a constant function. Conversely, when the range has the Zariski topology, it is easier for a function to be continuous. In particular, the polynomials are continuous functions (C^n,Zariski)->(C,Zariski).

In general, the Zariski topology of a commutative ring R with multiplicative identity is a topology on the set of prime ideals, known as the ring spectrum. Its closed sets are V(a), where a is any ideal in R and V(a) is the set of prime ideals containing a.


See also

Algebraic Variety, Category Theory, Commutative Algebra, Conic Section, Ideal, Prime Ideal, Scheme

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

References

Reid, M. Undergraduate Algebraic Geometry. New York: Cambridge University Press, 1988.

Referenced on Wolfram|Alpha

Zariski Topology

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland. "Zariski Topology." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ZariskiTopology.html

Subject classifications