Wir betrachten die affine Gerade zweifach, also
und
mit den offenen Teilmengen
und
.
Wir betrachten den
Isomorphismus
-
der durch festgelegt ist und wir wollen
und
im Sinne von
Fakt
miteinander verkleben. Das sich ergebende Gebilde
ist ein Modell für die projektive Gerade über . Die beiden durch
bzw.
gegebenen Punkte auf nennen wir
bzw. .
Wenn bei
oder
(mit der metrischen Topologie)
eine Folge in gegen
konvergiert, so divergiert sie in bestimmt gegen unendlich.
Es liegt das kommutative Diagramm
(von Restriktionshomomorphismen)
-
vor, wobei wir die Identifizierung
vorgenommen haben. Aus der Garbenbedingung folgt
-
da nur die konstanten Funktionen sowohl in als auch in sind
(es wird der Durchschnitt im
Funktionenkörper
genommen).
Es ist
und
.