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_{+}(𝔞)\subseteq {\mathbb{P}}_K^n$  zu einem homogenen Ideal  $𝔞\subseteq K[X_0,X_1,\dots ,X_n]$  als abgeschlossen erklärt werden.