Rationale Funktion

rot: Graph der gebrochenrationalen Funktion $f(x)={\tfrac {2(x+2)(x+1)(x-1)^{2}}{(x+1)(2x-1)}}$
blau: Polgerade durch die Polstelle bei

grün: Asymptotenfunktion $g(x)=x^{2}+x/2-11/4$ , stetig behebbare Definitionslücke bei

Eine rationale Funktion ist in der Mathematik eine Funktion, deren Term sich in der Form

$f(x)={\frac {a_{z}x^{z}+a_{{z-1}}x^{{z-1}}+\dotsb +a_{1}x+a_{0}}{b_{n}x^{n}+b_{{n-1}}x^{{n-1}}+\dotsb +b_{1}x+b_{0}}}={\frac {P_{z}(x)}{Q_{n}(x)}}$

mit natürlichen Zahlen schreiben lässt, also als Quotient zweier Polynome darstellbar ist. Die Funktion ist also ein Quotient zweier ganzrationaler Funktionen. Die Zahlen $a_{z},\dotsc ,a_{0},b_{n},\dotsc ,b_{0}$ können beliebige reelle Zahlen (oder auch komplexe Zahlen) sein; die einzige Einschränkung ist, dass $b_{n}\neq 0$ sein muss. Die rationalen Funktionen gehören zu den meromorphen Funktionen.

Einteilung

Ist das Nennerpolynom vom Grad , also konstant, so spricht man von einer ganzrationalen Funktion oder von einer Polynomfunktion.
Kann man den Funktionsterm nur mit einem Nennerpolynom vom Grad darstellen, so handelt es sich um eine gebrochenrationale Funktion.
- Ist und , so handelt es sich um eine echt gebrochenrationale Funktion.
- Ist und $z\geq n$ , so handelt es sich um eine unecht gebrochenrationale Funktion. Sie kann über Polynomdivision in eine ganzrationale Funktion und eine echt gebrochenrationale Funktion aufgeteilt werden (siehe unten).

Beispiele für rationale Funktionen mit unterschiedlichen Zählergraden und Nennergraden :

Beispiel	alternative Schreibweise	z =	n =	Funktionstyp
$f\colon x\mapsto {\frac {3x^{3}-4x+5}{2}}$	$f\colon x\mapsto {\frac {3}{2}}x^{3}-2x+{\frac {5}{2}}$	3	0	ganzrational
$f\colon x\mapsto {\frac {2x-1}{x^{2}+1}}$		1	2	echt gebrochenrational
$f\colon x\mapsto {\frac {(x-1)^{2}\cdot (x+2)}{x\cdot (2-3x^{2})}}$	$f\colon x\mapsto {\frac {x^{3}-3x+2}{2x-3x^{3}}}$	3	3	unecht gebrochenrational
$f\colon x\mapsto x+1+{\frac {1}{x-1}}$	$f\colon x\mapsto {\frac {x^{2}}{x-1}}$	2	1	unecht gebrochenrational

Asymptotisches Verhalten

Für das Verhalten für gegen Unendlich sind die Grade bzw. des Zähler- bzw. Nenner-Polynoms entscheidend:

Für $x\to\infty$ geht f(x)

gegen $\operatorname{sgn} \left({\tfrac {a_{z}}{b_{n}}}\right)\cdot \infty$ , falls , wobei $\sgn$ die Vorzeichenfunktion darstellt.
gegen $\tfrac{a_z}{b_n}$ , falls (die Asymptote ist parallel zur -Achse),
gegen $0$ (die -Achse ist waagrechte Asymptote), falls .

Für $x\to -\infty$ ergibt sich im zweiten und dritten Fall jeweils derselbe Grenzwert wie für $x\to \infty$ . Im ersten Fall muss man Zähler- und Nennergrad noch genauer berücksichtigen:

Ist gerade, so ergibt sich derselbe Grenzwert wie für $x\to \infty$ .
Ist ungerade, so ändert sich im Vergleich zu $x\to \infty$ das Vorzeichen des Grenzwerts.

Wie weiter unten beschrieben, kann man im ersten Fall den Funktionsterm mittels Polynomdivision immer in ein Polynom und einen echt gebrochenrationalen Term zerlegen; das Polynom beschreibt dann eine sogenannte Asymptotenkurve. (Das Verhalten der Funktionswerte für $x \to \pm \infty$ kann man dann auch einfacher erhalten, indem man nur das Verhalten der Asymptotenkurve untersucht.) Im Sonderfall z=n+1 ergibt sich eine schräg verlaufende Asymptote.

Beispiele:

Bei der gebrochenrationalen Funktion $f\colon x\mapsto {\frac {2x-1}{x^{2}+1}}$ ist der Zählergrad und der Nennergrad , der Grenzwert für $x \to \pm \infty$ ist also $0$ .
Die gebrochenrationale Funktion $f\colon x\mapsto {\frac {x^{3}-3x+2}{2x-3x^{3}}}$ hat den Zählergrad und auch den Nennergrad ; da hier $a_{3}=1$ und $b_{3}=-3$ ist, ergibt sich für die Gleichung der waagrechten Asymptote: $y=-{\frac {1}{3}}$ .
Die gebrochenrationale Funktion $f\colon x\mapsto {\frac {x^{2}}{x-1}}$ hat den Zählergrad und den Nennergrad ; mit den Koeffizienten $a_{2}=1$ und $b_{1}=1$ ergibt sich also: $f(x)\to \operatorname{sgn} \left({\tfrac {1}{1}}\right)\cdot \infty =+\infty$ für $x\to \infty$ . Da hier ungerade ist, folgt für den Grenzwert für $x\to -\infty$ das umgedrehte Vorzeichen, also $f(x)\to -\infty$ . Diese Funktion kann man auch schreiben als $f\colon x\mapsto x+1+{\frac {1}{x-1}}$ , das heißt, die (schräge) Asymptote hat die Gleichung (und daraus ergibt sich auch leicht wieder das eben geschilderte Grenzverhalten).

Kurvendiskussion

Anhand des Funktionsterms der rationalen Funktion $f={p \over q}\colon x\mapsto {\frac {p(x)}{q(x)}}$ lassen sich folgende Aussagen zum Funktionsgraphen machen (Kurvendiskussion).

Symmetrie

Eine Polynomfunktion (ganzrationale Funktion) ist gerade/ungerade, wenn alle Exponenten gerade/ungerade sind. Sind Zählerpolynom und Nennerpolynom von einem dieser beiden Typen, so ist auch die rationale Funktion gerade oder ungerade:

Sind und beide gerade oder beide ungerade, so ist gerade (d.h. der Graph ist symmetrisch zur y-Achse)
Ist gerade und ungerade, so ist ungerade (d.h. der Graph ist punktsymmetrisch zum Ursprung); gleiches gilt, wenn ungerade und gerade ist.

In allen anderen Fällen, wenn also Zähler- oder Nennerfunktion oder beide weder gerade noch ungerade sind, sind Symmetrieeigenschaften von schwieriger zu entscheiden. (Siehe auch Symmetrie in der Geometrie).

Beispiele:

Der Graph zur Funktion mit $f(x)={\frac {2x^{3}-3x}{x^{2}+1}}$ ist symmetrisch zum Ursprung, da ungerade und gerade, die Funktion insgesamt also ungerade ist.
Der Graph zur Funktion $f\colon x\mapsto {\frac {x^{5}-x^{3}}{x^{3}+x}}$ ist symmetrisch zur y-Achse, da und beide ungerade, die Funktion insgesamt also gerade ist. Das kann man auch anders sehen: Klammert man in Zähler und Nenner jeweils x aus, kann man den Funktionsterm kürzen zu $f(x)={\frac {x^{4}-x^{2}}{x^{2}+1}}$ ; nun sind und gerade, die Funktion insgesamt also wiederum gerade.
Beim Graph zur Funktion mit dem Term $f(x)={\frac {x}{x-1}}$ ist zunächst keine Symmetrie erkennbar ( ist ungerade, aber weder gerade noch ungerade); man kann aber zeigen, dass der Graph symmetrisch zum Punkt P(1|1) ist; es gilt nämlich:

$f(1+x)-1={\frac {1+x}{(1+x)-1}}-1={\frac {1+x}{x}}-{\frac {x}{x}}={\frac {1}{x}}$ und

$1-f(1-x)=1-{\frac {1-x}{(1-x)-1}}={\frac {x}{x}}+{\frac {1-x}{x}}={\frac {1}{x}}$ ,

also insgesamt: f(1+x)-1=1-f(1-x)

, was eben gerade Symmetrie zum Punkt P(1|1) bedeutet. Alternativ kann man auch zeigen, dass der Graph von aus dem Graph der Funktion $g\colon x\mapsto {\frac {1}{x}}$ (welcher symmetrisch zum Ursprung ist) durch Verschieben um 1 in x-Richtung und um 1 in y-Richtung hervorgeht.

Definitionsbereich, Nullstellen und Polstellen

Die gebrochenrationale Funktion ist an den Nullstellen der Nennerfunktion nicht definiert.

Die Nullstellen einer gebrochenrationalen Funktion werden durch diejenigen Nullstellen der Zählerfunktion bestimmt, die zum Definitionsbereich der gesamten Funktion gehören.

Ein Spezialfall ergibt sich, wenn eine reelle Zahl $a\in \mathbb{R}$ gleichzeitig Nullstelle des Zählerpolynoms und des Nennerpolynoms ist. Dann sind Zähler- und Nennerpolynom durch den zugehörigen Linearfaktor x-a (eventuell sogar mehrfach) teilbar, das heißt, der Funktionsterm kann mit diesem Faktor (eventuell mehrfach) gekürzt werden.

Kommt im Nenner öfter vor als im Zähler, so liegt eine Polstelle vor (die entsprechende Potenz heißt dann die Vielfachheit der Polstelle);
andernfalls hat die rationale Funktion an der Stelle eine stetig behebbare Definitionslücke, und man kann die Funktion stetig fortsetzen

Beispiele:

Die Funktion $f\colon x\mapsto {\frac {x-1}{(2x-4)^{2}}}$ hat den Definitionsbereich ${\mathbb {D}}={\mathbb {R}}\setminus \{2\}$ , da die Nennerfunktion $q\colon x\mapsto (2x-4)^{2}$ die Nullstelle hat, und die Nullstelle , da das die einzige Nullstelle der Zählerfunktion $p\colon x\mapsto x-1$ ist (und zu $\mathbb {D}$ gehört). ist eine (doppelte) Polstelle.
Die Funktion $f\colon x\mapsto {\frac {x^{2}-x}{x^{2}-1}}$ hat den Definitionsbereich ${\mathbb {D}}_{f}={\mathbb {R}}\setminus \{\pm 1\}$ . Hier ist aber nun eine Nullstelle der Zähler- und der Nennerfunktion. Um den entsprechenden Linearfaktor zu kürzen, faktorisiert man Zähler und Nenner zunächst (durch Ausklammern bzw. Anwenden der binomischen Formeln); das führt auf $f\colon x\mapsto {\frac {x\cdot (x-1)}{(x+1)\cdot (x-1)}}$ bzw. nach kürzen auf $f\colon x\mapsto {\frac {x}{x+1}}$ . Damit ergibt sich: ist eine (einfache) Polstelle, dagegen eine stetig behebbare Definitionslücke von , und hat die Nullstelle (beachte: ist keine Nullstelle von , da dieser Wert nicht zu $\mathbb {D}$ gehört!). Für die stetige Fortsetzung von ergibt sich: ${\tilde {f}}(x)={\frac {x}{x+1}}$ und ${\mathbb {D}}_{{{\tilde {f}}}}={\mathbb {R}}\setminus \{-1\}$ .

Asymptote

Durch die Polynomdivision von durch erhält man $p = g\cdot q + r$ mit Polynomen und , wobei der Grad von kleiner als der von ist. Das asymptotische Verhalten von

$f={p \over q}=g+{r \over q}$

ist damit durch die ganzrationale Funktion ("Asymptotenfunktion") bestimmt (die konkrete Durchführung der Polynomdivision ist nur bei 3. und 4. notwendig):

→ x-Achse ist Asymptote:
→ waagerechte Asymptote: $g(x) = \frac{a_z}{b_n}$
→ schräge Asymptote: $g(x) = mx + c \,; m \ne 0$ (Spezialfall von 4)
→ ganzrationale Näherungsfunktion

Ableitung

Zum Ableiten gebrochenrationaler Funktionen muss man im Allgemeinen die Quotientenregel verwenden; zusätzlich kann auch oft die Kettenregel nützlich sein, beispielsweise wenn die Nennerfunktion eine Potenz eines Binoms ist. Vor dem Ableiten empfiehlt es sich oft, den Funktionsterm zunächst mit Hilfe einer Polynomdivision umzuschreiben und den übrigen echt gebrochenrationalen Term zu kürzen.

Beispiele:

Bei der Funktion $f\colon x\mapsto {\frac {2x-1}{(x^{2}+1)^{2}}}$ ist es sinnvoll, neben der Quotientenregel auch die Kettenregel anzuwenden, statt zunächst im Nenner die erste binomische Formel anzuwenden. Mit der Kettenregel ergibt sich zunächst für die Ableitung der Nennerfunktion (in der Quotientenregel meist mit bezeichnet):

$q'(x)=2(x^{2}+1)\cdot 2x=4x(x^{2}+1)$ ,

und damit insgesamt für die Ableitungsfunktion von :

$f'(x)={\frac {2\cdot (x^{2}+1)^{2}-(2x-1)\cdot 4x(x^{2}+1)}{(x^{2}+1)^{4}}}$ .

Nun kann man im Zähler einen Faktor $(x^{2}+1)$ ausklammern und kürzen:

$f'(x)={\frac {2\cdot (x^{2}+1)-(2x-1)\cdot 4x}{(x^{2}+1)^{3}}}$ .

Vereinfachen des Zählers führt schließlich auf

$f'(x)={\frac {-6x^{2}+4x+2}{(x^{2}+1)^{3}}}$ .

Den Funktionsterm $f(x)={\frac {x^{4}+x^{3}-7x^{2}-12x-4}{3x^{3}+12x^{2}+12x}}$ bringt man mit Hilfe einer Polynomdivision zunächst auf die Form

$f(x)={\frac {1}{3}}x-1+{\frac {x^{2}-4}{3x^{3}+12x^{2}+12x}}$ ,

woran man auch gleich die Gleichung der schrägen Asymptote ablesen kann:

$y={\frac {1}{3}}x-1$ .

Faktorisieren von Zähler und Nenner führt dann auf

$f(x)={\frac {1}{3}}x-1+{\frac {(x+2)(x-2)}{3x(x+2)^{2}}}$ ,

man kann also einen Faktor (x+2)

kürzen. Schließlich hat man:

$f(x)={\frac {1}{3}}x-1+{\frac {x-2}{3x^{2}+6x}}$ ;

in dieser Form kann man die Funktion nun deutlich leichter ableiten als in der ursprünglich gegebenen.

Mit Hilfe der Quotientenregel ergibt sich:

$f'(x)={\frac {1}{3}}+{\frac {1\cdot (3x^{2}+6x)-(x-2)\cdot (6x+6)}{(3x^{2}+6x)^{2}}}={\frac {1}{3}}+{\frac {-3x^{2}+12x+12}{(3x^{2}+6x)^{2}}}={\frac {1}{3}}+{\frac {-x^{2}+4x+4}{3x^{2}(x+2)^{2}}}$ .

Setzt man die erste Ableitung gleich Null, um die Extremstellen zu suchen, so empfiehlt es sich vorher, die beiden Brüche wieder zusammenzufassen:

$f'(x)={\frac {x^{2}(x+2)^{2}-x^{2}+4x+4}{3x^{2}(x+2)^{2}}}={\frac {x^{4}+4x^{3}+3x^{2}+4x+4}{3x^{2}(x+2)^{2}}}$ .

Stammfunktion

Im Gegensatz zu den ganzrationalen Funktionen ist es bei gebrochenrationalen Funktionen oft relativ schwierig, eine Stammfunktion zu finden. Dafür kann man, je nach Form der gebrochenrationalen Funktion, unter anderem folgende Regeln anwenden (meist muss man den Funktionsterm durch Umformungen und/oder Substitution zunächst in eine passende Form bringen):

$\int {\frac {1}{mx+a}}dx={\frac {1}{m}}\cdot \ln(mx+a)+C$ für $m,a\in {\mathbb {R}},m\neq 0$

$\int {\frac {1}{(mx+a)^{n}}}dx={\frac {1}{m}}\cdot {\frac {-1}{n-1}}\cdot {\frac {1}{(mx+a)^{{n-1}}}}+C$ für $m,a\in {\mathbb {R}},m\neq 0,n\in {\mathbb {N}}\setminus \{0;1\}$

$\int {\frac {1}{x^{2}+1}}dx=\arctan(x)+C$ oder $=-{\rm {arccot(x)+C}}$

$\int {\frac {1}{x^{2}-1}}dx=\operatorname {artanh}(x)+C={\frac {1}{2}}\ln \left({\frac {1+x}{1-x}}\right)$ für |x| < 1

$\int {\frac {1}{x^{2}-1}}dx=\operatorname {arcoth}(x)+C={\frac {1}{2}}\ln \left({\frac {x+1}{x-1}}\right)$ für |x| > 1

$\int {\frac {u'(x)}{u(x)}}dx=\ln |u(x)|+C$ für $u(x)\neq 0$

Oft kann für die Bestimmung einer Stammfunktion auch die Partialbruchzerlegung hilfreich sein. Beispiele:

Gesucht sei eine Stammfunktion zu $f(x)={\frac {5x-1}{3x+2}}$ . Mittels einer Polynomdivision kann man das zunächst umschreiben zu:

$f(x)={\frac {5}{3}}-{\frac {13}{9x+6}}$ .

Anwenden der ersten Regel liefert dann als mögliche Stammfunktion:

$F(x)={\frac {5}{3}}x-{\frac {13}{9}}\ln(9x+6)$ .

Gesucht sei eine Stammfunktion zu $f(x)={\frac {x^{2}+1}{x^{2}-1}}$ , wobei zwischen -0,5 und 0,5 liegen soll. Wieder kann man den Funktionsterm zunächst mittels einer Polynomdivision umschreiben:

$f(x)=1+{\frac {2}{x^{2}-1}}$ .

Anwenden der vierten Regel liefert dann als mögliche Stammfunktion:

$F(x)=x+2\cdot \operatorname {artanh}(x)$ .

Gesucht sei eine Stammfunktion zu $f(x)={\frac {x+2}{x^{2}+4x+5}}$ . Das kann auch geschrieben werden als

$f(x)={\frac {1}{2}}{\frac {2x+4}{x^{2}+4x+5}}={\frac {1}{2}}{\frac {u'(x)}{u(x)}}$ mit $u(x)=x^{2}+4x+5$ .

Anwenden der letzten Regel liefert dann als mögliche Stammfunktion:

$F(x)={\frac {1}{2}}\ln(x^{2}+4x+5)$ .

Eine Stammfunktion zu $f(x)={\frac {1}{x^{2}+2x+2}}$ kann man mit Hilfe der Substitution bestimmen, nachdem man den Nenner mittels quadratischer Ergänzung umgeformt hat:

${\begin{aligned}\int {\frac {1}{x^{2}+2x+2}}dx&=\int {\frac {1}{(x+1)^{2}+1}}dx=\int {\frac {1}{y^{2}+1}}dy\\&=\arctan(y)+C=\arctan(x+1)+C\end{aligned}}$
Eine Stammfunktion zu $f(x)={\frac {1}{x^{2}-x-6}}$ kann man mit Hilfe der Partialbruchzerlegung erhalten, nachdem man den Nenner zunächst faktorisiert hat:

${\begin{aligned}\int {\frac {1}{x^{2}-x-6}}dx&=\int {\frac {1}{(x-3)(x+2)}}dx=\int {\frac {1}{5}}\left({\frac {1}{x-3}}-{\frac {1}{x+2}}\right)dx\\&={\frac {1}{5}}\left(\ln(x-3)-\ln(x+2)\right)+C={\frac {1}{5}}\ln \left({\frac {x-3}{x+2}}\right)+C\end{aligned}}$

Anwendungen

Rationale Funktionen haben vielfältige Anwendungen in Naturwissenschaften und Technik:

Viele Größen sind umgekehrt proportional zueinander, eine der Größen ist also eine rationale Funktion der anderen, wobei der Zähler konstant und der Nenner eine (homogene) lineare Funktion ist. Einige wenige Beispiele:
- Die Geschwindigkeit v und die für eine feste Strecke s benötigte Zeit t sind umgekehrt proportional zueinander: $t(v)={\tfrac {s}{v}}$
- Die Konzentration c eines Stoffes ist bei fester Stoffmenge n umgekehrt proportional zum Volumen V des Lösungsmittels: $C(V)={\tfrac {n}{V}}$
- Beschleunigung und Masse sind bei fester Kraft F umgekehrt proportional zueinander: $a(m)={\tfrac {F}{m}}$ .
- Für die Kapazität C eines Plattenkondensators gilt in Abhängigkeit vom Plattenabstand d: $C(d)=\epsilon _{0}\epsilon _{r}{\tfrac {A}{d}}$ mit dem Flächeninhalt A der Platten, der elektrischen Feldkonstante $\epsilon _{0}$ und der Permittivität $\epsilon_r$ .
In vielen Bereichen der Physik kommen Funktionen von zwei Variablen x und y der folgenden Form vor: . Ist eine der beiden Variablen, z.B. y, konstant oder wählt man sie als Parameter, so ergibt sich eine rationale Funktion (bzw. Funktionenschar) von x. Solche Funktionen treten immer dann auf, wenn sich der gesamte Kehrwert irgendeiner Größe als Summe oder Differenz der Kehrwerte zweier anderer Funktionen ergibt.
- Mittels der Linsengleichung der Optik kann man die Brennweite f als Funktion von Gegenstandsweite g und Bildweite b darstellen: $f(g;b)={\tfrac {gb}{g+b}}$ ; umstellen nach g oder b liefern eine sehr ähnliche Funktion, allerdings mit - statt mit +.
- Für den Gesamtwiderstand R einer Parallelschaltung zweier Widerstände $R_{1}$ und $R_{2}$ ergibt sich: $R={\tfrac {R_{1}R_{2}}{R_{1}+R_{2}}}$ ; eine analoge Formel gilt bei der Reihenschaltung zweier Kondensatoren.
- In der Mechanik ergibt sich, wenn man zwei Federn mit Federkonstanten $D_{1}$ und $D_{2}$ aneinander hängt, für die gesamte Federkonstante D der Anordnung: $D={\tfrac {D_{1}D_{2}}{D_{1}+D_{2}}}$
Bei einem Spannungsteiler ist die gesamte an einem Widerstand R abfallende Spannung U gegeben durch: $U(R)={\tfrac {U_{0}R}{R+R'}}$ , wobei $U_{0}$ die zu teilende Spannung und der andere Widerstand ist.
Für die elektrische Leistung P, die ein Gerät mit Widerstand R erbringt, das an einer Spannungsquelle (Spannung U) mit Innenwiderstand $R_{i}$ angeschlossen ist, ergibt sich: $P(R)={\tfrac {U^{2}R}{(R+R_{i})^{2}}}$ . Die größtmögliche Leistung (zu bestimmen mit Hilfe der Differenzialrechnung) erhält man also dann, wenn $R=R_{i}$ ist (Leistungsanpassung).
Für die Induktivität L einer (nicht zu kurzen) Spule in Abhängigkeit von ihrem Radius r gilt: $L(r)={\tfrac {\mu _{0}N^{2}\pi r^{2}}{l+r/1,1}}$ . Dabei ist l die Länge der Spule (man kann L also auch als rationale Funktion von l auffassen), N die Windungszahl und $\mu _{0}$ die magnetische Feldkonstante.
Die Bremskraft B einer Wirbelstrombremse hängt folgendermaßen von der Geschwindigkeit v ab: $B(v)={\tfrac {av}{b+v^{2}}}$ mit Konstanten a und b.
Auch geometrische Fragestellungen führen oft auf rationale Funktionen. Beispiel: Bei einer Truhe, die aus einem Quader (Grundseitenlängen l und 2r, Höhe r) mit aufgesetztem Halb-Zylinder (Höhe l, Radius r) besteht, gilt für den Oberflächeninhalt O in Abhängigkeit von r bei gegebenem Volumen V: $O(r)={\tfrac {(\pi +4)r^{3}+2V}{r}}$

Abweichende Bedeutung in der abstrakten Algebra

In der abstrakten Algebra wird der Begriff einer rationalen Funktion in einem allgemeineren und etwas unterschiedlichen Sinne verwendet. Und zwar versteht man unter einer rationalen Funktion in Variablen $X_1, X_2, \dotsc, X_n$ über einem Körper ein Element des Quotientenkörpers des Polynomrings $K\left[X_{1},X_{2},\dotsc ,X_{n}\right]$ . Dieser Quotientenkörper wird Rationaler Funktionenkörper genannt. Im Allgemeinen ist eine rationale Funktion also keine Funktion irgendeiner Art, sondern ein (formaler) Bruch aus zwei Polynomen. Der Unterschied macht sich allerdings nur über endlichen Körpern bemerkbar: So ist z. B. für jede Primzahl über dem endlichen Körper $\mathbb {F} _{p}$ (dem Körper aller Restklassen ganzer Zahlen modulo ) der Bruch ${\tfrac {1}{X^{p}-X}}$ eine wohldefinierte rationale Funktion in der Variablen , aber keine Funktion im eigentlichen Sinne des Begriffes, weil man in diese Funktion keinen einzigen Wert einsetzen darf, ohne dass der Nenner 0 wird. (Denn setzt man irgendein $x\in {\mathbb F}_{p}$ in diese „Funktion“ ein, erhält man ${\tfrac {1}{x^{p}-x}}$ , was undefiniert ist, weil der Nenner $x^{p}-x$ nach dem kleinen Fermatschen Satz gleich 0 ist.) Über unendlichen Körpern allerdings ist eine rationale Funktion immer eine Funktion, die zwar eine Definitionslücke haben kann, aber diese Definitionslücke ist nur sehr klein im Vergleich zum Definitionsbereich. Dieser Gedanke wird mit dem Begriff der Zariski-Topologie formalisiert: Die Definitionslücke ist eine Zariski-abgeschlossene Menge, und die abgeschlossene Hülle des Definitionsbereiches ist die ganze Menge.

Der Körper der rationalen Funktionen auf einer algebraischen Varietät

Sei eine algebraische Varietät definiert durch Polynome $f_{1},\dotsc ,f_{m}\in k\left[x_{1},\dotsc ,x_{n}\right]$ , also

$V=\{x\in {\mathbb A}^{n}\mid f(x)=0{\text{ für alle }}f\in S\}.$

Sei

$I(V)=\{f\in k[x_{1},\dotsc ,x_{n}]\mid f(x)=0{\text{ für alle }}x\in V\}.$

Der Ring der ganzen Funktionen ist $k[x_{1},\dotsc ,x_{n}]/I(V)$ . Der Körper der rationalen Funktionen ist der Quotientenkörper des Ringes der ganzen Funktionen.

Basierend auf einem Artikel in:

Wikipedia.de