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.