Der projektive Raum/Punkt ist abgeschlossen/Beschreibung/Bemerkung

Ein Punkt  ${}P=(a_{0},\ldots ,a_{n})\in {\mathbb {P} }_{K}^{n}$  ist abgeschlossen, und zwar ist  ${}P=V_{+}({\mathfrak {a}})$  mit

${}{\mathfrak {a}}={\left(a_{i}X_{j}-a_{j}X_{i}:\,0\leq i,j\leq n\right)}\,.$

Wenn  ${}a_{0}\neq 0$  ist, so kann man dies auch als ${}{\left(X_{j}-{\frac {a_{j}}{a_{0}}}X_{0}:\,j\neq 0\right)}$ schreiben. Die Erzeuger ${}a_{i}X_{j}-a_{j}X_{i}$, ${}i\neq 0$, sind dann überflüssig. Dieses Ideal ist offenbar homogenen, und ${}P$ liegt in ${}V_{+}({\mathfrak {a}})$. Sei  ${}a_{0}\neq 0$  angenommen. Für einen weiteren Punkt  ${}Q=(b_{0},\ldots ,b_{n})\in V_{+}({\mathfrak {a}})$  folgt sofort  ${}b_{j}-{\frac {a_{j}}{a_{0}}}b_{0}=0$  für alle ${}j$ bzw.

${}(b_{0},\ldots ,b_{n})={\frac {b_{0}}{a_{0}}}(a_{0},\ldots ,a_{n})\,,$

sodass es sich projektiv um den gleichen Punkt handelt.

Das Ideal ${}{\mathfrak {a}}$ ist kein maximales Ideal im Polynomring, es ist aber maximal unter allen homogenen Idealen, die von ${}(X_{0},\ldots ,X_{n})$ verschieden sind. In ${}{{\mathbb {A} }_{K}^{n+1}}$ definiert es eine Gerade durch den Nullpunkt, und zwar die Gerade, die dem projektiven Punkt ${}P$ entspricht.