Zum Inhalt springen

Affine Varietäten/K-Spektren als Funktor/Fakt/Beweis

Aus Wikiversity
Beweis

Die Existenz der Abbildung ist klar, dem -Algebrahomomorphismus

wird einfach die Hintereinanderschaltung

zugeordnet. Das Urbild der offenen Menge ist dabei

Daher sind generell Urbilder von offenen Mengen wieder offen und die Abbildung ist stetig.