K-Spektrum/Ring der algebraischen Funktionen/Restriktion/Fakt/Beweis

Beweis

Die Funktion ${}f:U_{2}\rightarrow K$ liefert sofort durch Einschränkung eine auf ${}U_{1}$ definierte Funktion. Die lokal-algebraische Beschreibung, die für ${}f$ an jedem Punkt ${}P\in U_{2}$ vorliegt, kann direkt auf der kleineren Teilmenge ${}U_{1}$ interpretiert werden.