Projektiver Raum/Schema/Projektion weg von einem Punkt/Beispiel

Die Unterringbeziehung

$K[X_1,\dots ,X_n]\subseteq K[X_0,X_1,\dots ,X_n]$

führt im Sinne von Fakt zu einem Schemamorphismus

${\mathbb{P}}_K^n\supset D_{+}(X_1,\dots ,X_n)⟶{\mathbb{P}}_K^{n-1}.$

Einem $K$-Punkt mit den homogenen Koordinaten $(x_0,x_1,\dots ,x_n)$ wird der Punkt $(x_1,\dots ,x_n)$ zugeordet, und diese Abbildung ist nur auf der angegebenen offenen Teilmenge definiert, es gibt keine sinnvolle Fortsetzung auf den Punkt $(1,0,\dots ,0)$. Man spricht von der Projektion weg von einem Punkt. In den affinen Räumen ${𝔸}_K^{n+1}$ bzw. ${𝔸}_K^n$ interpretiert bedeutet die Abbildung, dass eine jede Gerade auf eine Hyperebene projiziert wird. Für die Gerade, die „senkrecht“ auf der Hyperebene steht, ist dies nicht wohldefiniert, da die Projektion keine Gerade liefert.