Nullstelle

Als Nullstelle bezeichnet man in der Mathematik den Punkt, an dem der Graph einer Funktion f(x) die x-Achse berührt oder schneidet. Der Wert der Funktion ist an dieser Stelle gleich Null.

Nullstellen graphisch

Nullstellen reeller Funktionen

Einfache Nullstellen

Ein Element $x_{0}$ der Definitionsmenge $D$ einer Funktion $f\colon D\to \mathbb {R}$ heißt Nullstelle von $f$, wenn $f(x_{0})=0$ gilt. Man sagt dann auch: $f$ hat eine Nullstelle bei $x_{0}$, oder $f$ verschwindet an der Stelle $x_{0}.$

Mehrfache Nullstellen

Es sei $k$ eine natürliche Zahl. Eine $(k-1)$-mal differenzierbare Funktion $f\colon D\to \mathbb {R}$ mit einer offenen Teilmenge $D\subseteq \mathbb {R}$ hat in $x_{0}\in D$ eine $k$-fache Nullstelle oder eine Nullstelle der Ordnung $k$, wenn die ersten $k-1$ Ableitungen von $f$ an der Stelle $x_{0}$ den Wert null annehmen:

$f(x_{0})=0,\quad f'(x_{0})=0,\quad f''(x_{0})=0,\quad \ldots ,\quad f^{(k-1)}(x_{0})=0.$

Beispielsweise hat eine Funktion genau dann eine zweifache Nullstelle, wenn sie und ihre Ableitung eine gemeinsame Nullstelle haben.

Weitere Eigenschaften:

• Eine Funktion $f$ hat genau dann eine $k$-fache Nullstelle bei $x_{0}$, wenn $f$ eine Nullstelle und $f^{\prime }$ eine $(k-1)$-fache Nullstelle bei $x_{0}$ hat.
• Eine $(k-1)$-mal stetig differenzierbare Funktion $f$ hat genau dann eine $k$-fache Nullstelle bei $x_{0}$, wenn es eine stetige Funktion $g$ gibt, so dass

$f(x)=(x-x_{0})^{k-1}g(x)$ und $g(x_{0})=0$

gilt.

Existenz und Berechnung von Nullstellen

Aus dem Zwischenwertsatz kann man oft indirekt die Existenz einer Nullstelle erschließen: Ist von zwei Funktionswerten $f(a)$, $f(b)$ einer stetigen Funktion einer positiv und einer negativ, so hat $f$ mindestens eine Nullstelle zwischen $a$ und $b$. (Anschaulich gesprochen muss der Funktionsgraph, der die beiden Punkte $(a,f(a))$ und $(b,f(b))$ verbindet, die $x$-Achse schneiden.)

Je nach Funktion kann es schwer oder unmöglich sein, die Nullstellen explizit zu bestimmen, d.h. die Gleichung

$f(x)=0$

nach $x$ aufzulösen. In diesem Fall kann man Näherungswerte für Nullstellen mithilfe verschiedener numerischer Verfahren, beispielsweise der Bisektion, des Newton-Verfahrens oder der Fixpunktiteration bestimmen.

Nullstellen von Polynomen

Ist $R$ ein Ring und $f\in R[X]$ ein Polynom über $R$, so heißt ein Element $x\in R$ Nullstelle von $f$, wenn die Einsetzung von $x$ in $f$ Null ergibt:

$f(x)=0.$

Ist $R\to S$ ein Ringhomomorphismus, so können analog Nullstellen von $f$ in $S$ definiert werden.

Mithilfe der Polynomdivision kann man zeigen, dass $x\in R$ genau dann eine Nullstelle von $f$ ist, wenn $f$ durch $X-x$ teilbar ist, d.h. wenn es ein Polynom $g$ gibt, so dass

$f(X)=(X-x_{0})g(X)$

gilt. Diese Aussage wird manchmal auch Nullstellensatz genannt; es besteht jedoch Verwechslungsgefahr mit dem hilbertschen Nullstellensatz.

Eine $k$-fache Nullstelle oder Nullstelle der Ordnung $k$ ist ein Element $x\in R$, so dass $f$ durch $(X-x)^{k}$ teilbar ist. Man nennt $k$ auch die Vielfachheit oder Multiplizität der Nullstelle.

Bestimmung der Nullstellen von Polynomen kleinen Grades

Für Polynome über einem Körper, deren Grad höchstens vier ist, gibt es allgemeine Verfahren, die Nullstellen zu bestimmen:

• Grad 1: siehe lineare Gleichung. Das Polynom $ax+b$ hat die Nullstelle $x=-b/a$.
• Grad 2: siehe quadratische Gleichung
• Grad 3: siehe kubische Gleichung
• Grad 4: siehe biquadratische Gleichung oder quartische Gleichung

Polynome mit ganzzahligen Koeffizienten

Ist $a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{1}x+a_{0}$ ein Polynom mit ganzzahligen Koeffizienten, so ist jede ganzzahlige Nullstelle ein Teiler von $a_{0}$.

Aus dem Lemma von Gauß folgt: Ist $x^{n}+a_{n-1}x^{n-1}+\ldots +a_{1}x+a_{0}$ ein normiertes Polynom mit ganzzahligen Koeffizienten, so ist jede rationale Nullstelle ganzzahlig und damit ein Teiler von $a_{0}$.

Beispiel

Die Teiler $-2,-1,1,2$ des Absolutglieds von $p(X)=X^{3}-X-2$ sind keine Nullstellen, also hat $p$ keine rationalen Nullstellen. Da jede Faktorisierung von $p$ einen Linearfaktor enthalten müsste, folgt daraus, dass $p$ über $\mathbb {Q}$ irreduzibel ist.

Polynome mit reellen Koeffizienten

Polynome ungeraden Grades über den reellen Zahlen haben stets mindestens eine reelle Nullstelle; das folgt aus dem Zwischenwertsatz. Eine andere Begründung ist die folgende: Echt komplexe Nullstellen reeller Polynome treten stets als Paare komplex konjugierter Zahlen auf. Polynome geraden bzw. ungeraden Grades haben also stets gerade bzw. ungerade viele reelle Nullstellen, wenn man jede Nullstelle entsprechend ihrer Vielfachheit zählt.

Beispiel

Das Polynom $X^{3}-2X+4$ hat die Nullstelle $-2$, die sich als Teiler des Absolutgliedes leicht erraten lässt. Damit erhält man durch Polynomdivision

$X^{3}-2X+4=(X+2)(X^{2}-2X+2),$

woraus sich noch die beiden zueinander komplex konjugierten Nullstellen $1+\mathrm {i}$ und $1-\mathrm {i}$ ergeben.

Polynome mit komplexen Koeffizienten

Der Fundamentalsatz der Algebra besagt: Jedes nichtkonstante Polynom über den komplexen Zahlen hat mindestens eine Nullstelle. Indem man wiederholt Linearfaktoren zu Nullstellen abspaltet, erhält man die Aussage, dass sich jedes Polynom

$p(X)=a_{n}X^{n}+a_{n-1}X^{n-1}+\ldots +a_{1}X+a_{0}\quad (a_{n}\neq 0)$

über den komplexen Zahlen in der Form

$p(X)=a_{n}(X-x_{1})^{m_{1}}\cdots (X-x_{k})^{m_{k}}$

schreiben lässt. Dabei sind $x_{1},\ldots ,x_{k}$ die verschiedenen Nullstellen von $p$ und $m_{1},\ldots ,m_{k}$ ihre jeweiligen Vielfachheiten.

Polynome über vollständig bewerteten Körpern

Es sei $K$ ein vollständig bewerteter Körper mit Bewertungsring $A$ und Restklassenkörper $k$, und es sei $p\in A[X]$ ein normiertes Polynom. Aus dem henselschen Lemma folgt: Hat die Reduktion ${\bar {p}}\in k[X]$ eine einfache Nullstelle in $k$, so hat $p$ eine Nullstelle in $A$.

Beispiel

Es sei $K=\mathbb {Q} _{p}$ der Körper der p-adischen Zahlen für eine Primzahl $p$. Dann ist $A=\mathbb {Z} _{p}$ und $k=\mathbb {F} _{p}$. Das Polynom $X^{p-1}-1\in \mathbb {Z} _{p}[X]$ zerfällt über $\mathbb {F} _{p}$ in verschiedene Linearfaktoren, also hat es auch über $\mathbb {Z} _{p}$ genau $p-1$ Nullstellen, d.h. $\mathbb {Z} _{p}$ enthält $(p-1)$-te Einheitswurzeln.