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