Zariski topology

In mathematics, the Zariski topology is a structure basic to algebraic geometry, especially since 1950. It is named after its originator, Oscar Zariski.

Remarks

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.

Related Topics:
Vector space - Field

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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.

Related Topics:
Noetherian - Finite

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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 ring constructions, as local models.

Related Topics:
Projective space - Algebraic variety - Affine scheme - Spectrum of a ring

~ ~ ~ ~ ~ ~ ~ ~ ~ ~