Der projektive Raum/Mit Zariski-Topologie/Definition/Begriff/Inhalt

Die Zariski-Topologie auf dem projektiven Raum ${}{\mathbb {P} }_{K}^{n}$ ergibt sich dadurch, dass 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.