Quasiaffine Varietäten/K-Spektrum/Morphismus/Definition

Morphismus

Es seien ${}X$ und ${}Y$ quasiaffine Varietäten und sei

${\psi }\colon Y\longrightarrow X$

eine stetige Abbildung. Dann nennt man ${}{\psi }$ einen Morphismus (von quasiaffinen Varietäten), wenn für jede offene Teilmenge ${}U\subseteq X$ und jede algebraische Funktion ${}f\in \Gamma (U,{\mathcal {O}})$ gilt, dass die zusammengesetzte Funktion

$f\circ {\psi }:{\psi }^{-1}(U)\longrightarrow U{\stackrel {f}{\longrightarrow }}{\mathbb {A} }_{K}^{1}$

zu ${}\Gamma ({\psi }^{-1}(U),{\mathcal {O}})$ gehört.