| • Science | • People | • Locations | • Timeline |
The Zariski topology is defined by defining the closed sets to be the sets consisting of the mutual zeroes of a set of polynomials. (See affine varieties)
This definition indicates the kind of space that can be given a Zariski topology: for example, we define the Zariski topology on an n-dimensional vector space Fn over a field F, using the definition above. That this definition yields a true topology is easily verified.
Using the Noetherian property of the ring of polynomials over F, one sees that any closed set is the set of zeroes of a finite set of equations.
The Zariski topology given to some finite-dimensional vector space doesn't depend on the specific basis chosen; for that reason it is an intrinsic structure. It is usually regarded as belonging to the underlying affine space, since it is also invariant by translations.
One can generalise the definition of Zariski topology to projective spaces, and so to any algebraic variety as subsets of these. The general case of the Zariski topology is based on the affine scheme and spectrum of a ringAlgebra Abstract algebra Ring theory Algebraic geometry In abstract algebra and algebraic geometry, the spectrum of a commutative ring R denoted by Spec R , is defined to be the set of all prime ideals of R''. It is commonly augmented with a topology, the constructions, as local models.
Algebraic geometry General topologyIn mathematics, general topology or point set topology is that branch of topology which studies elementary properties of topological spaces and structures defined on them. It grew out of a number of areas, such as the detailed study of sets of points (as