Der projektive Raum/Mit Zariski-Topologie/Definition

Die Zariski-Topologie auf dem projektiven Raum

Der projektive Raum ${}{\mathbb {P} }_{K}^{n}$ wird mit der Zariski-Topologie versehen, bei der die Mengen ${}V_{+}({\mathfrak {a}})\subseteq {\mathbb {P} }_{K}^{n}$ zu einem homogenen Ideal ${}{\mathfrak {a}}\subseteq K[X_{0},X_{1},\ldots ,X_{n}]$ als abgeschlossen erklärt werden.