Varietät/Rationale Funktion/Rational rechtsäquivalent/Definition

Rational rechtsäquivalent

Es sei  ${}P\in U\subseteq V$  ein Punkt einer Varietät und

$f_{1},f_{2}\colon U\longrightarrow K$

rationale Funktionen auf ${}V$, die in einer offenen Umgebung ${}U$ von ${}P$ definiert seien. Man sagt, dass ${}f_{1}$ zu ${}f_{2}$ rational rechtsäquivalent ist, wenn es offene Mengen  ${}P\in V_{1}$  und  ${}P\in V_{2}$  und einen Isomorphismus

$\varphi \colon V_{1}\longrightarrow V_{2}$

mit

${}f_{1}=\varphi \circ f_{2}\,$

gibt.