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.