PlanetMath: Zariski topology

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (198)
Orphanage
Unclass'd
Unproven (490)
Corrections (7)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

Zariski topology

(Definition)

Let $\mathbb{A}_k^n$ denote the affine space over a field . The Zariski topology on $\mathbb{A}_k^n$ is defined to be the topology whose closed sets are the sets

$\displaystyle V(I) := \{ x \in \mathbb{A}_k^n \mid f(x) = 0$ for all $\displaystyle f \in I\} \subset \mathbb{A}_k^n,$

where $I \subset k[X_1, \ldots, X_n]$ is any ideal in the polynomial ring $k[X_1, \ldots, X_n]$ . For any affine variety $V \subset \mathbb{A}_k^n$ , the Zariski topology on

is defined to be the subspace topology induced on

as a subset of $\mathbb{A}_k^n$ .

Let $\P _k^n$ denote -dimensional projective space over . The Zariski topology on $\P _k^n$ is defined to be the topology whose closed sets are the sets

$\displaystyle V(I) := \{ x \in \P _k^n \mid f(x) = 0$ for all $\displaystyle f \in I\} \subset \P _k^n,$

where $I \subset k[X_0, \ldots, X_n]$ is any homogeneous ideal in the graded

-algebra $k[X_0, \ldots, X_n]$ . For any projective variety $V \subset \P _k^n$ , the Zariski topology on

is defined to be the subspace topology induced on

as a subset of $\P _k^n$ .

The Zariski topology is the predominant topology used in the study of algebraic geometry. Every regular morphism of varieties is continuous in the Zariski topology (but not every continuous map in the Zariski topology is a regular morphism). In fact, the Zariski topology is the weakest topology on varieties making points in $\mathbb{A}_k^1$ closed and regular morphisms continuous.

"Zariski topology" is owned by djao.

(view preamble)