Satz von der Isoliertheit der Nullstellen

Der Satz von der Isoliertheit der Nullstellen ist ein Satz aus der Funktionentheorie über das Nullstellenverhalten von komplexen Funktionen. Eine isolierte Nullstelle ist eine Nullstelle, für die eine Umgebung existiert, so dass keine weitere Nullstelle darin liegt. Eine solche Nullstelle kann für die Bestimmung der Eigenschaften der Funktion, wie zum Beispiel ihrer Asymptoten oder Wendepunkte, verwendet werden.

Satz von der Isoliertheit der Nullstellen

Sei $f$ eine holomorphe Funktion mit einer Nullstelle $f(x_0)=0$. Falls ein offener Ball $B=B_r(x_0)$ existiert, so dass für alle $z\in B\setminus \{x_0\}$ gilt, dass $f(z)\ne 0$, dann ist $x_0$ eine isolierte Nullstelle.

Sei $U\subset ℂ$ offen und zusammenhängend und $f:U\to ℂ$ holomorph.

Dann gilt, entweder ist $f$ konstant gleich $0$ oder die Menge der Nullstellen $\{x\in U:f(x)=0\}$ hat keinen Häufungspunkt, das heißt alle Nullstellen sind isolierte Punkte.

Beweis

Sei $H$ die Menge der Häufungspunkte von Nullstellen von $f$ in $U$. Da $f$ stetig ist, ist $H$ abgeschlossen.

Ist $a\in H$, so gibt es eine Kreisscheibe $D_r(a)\subset U$, in der $f$ eine Potenzreihenentwicklung besitzt. Nach dem Identitätssatz für Potenzreihen folgt $f\equiv 0$ in $D_r(a)$. Also ist $H$ auch offen.

Da $U$ zusammenhängend ist, folgt $H=\mathrm{\varnothing }$ oder $H=U$. Die letzte Möglichkeit scheidet aus, da $f\equiv ̸0$.

Folgerung

Vorlage:Hauptartikel Seien $f,g:U\to ℂ$ holomorph und $\{z|f(z)=g(z)\}$ habe einen Häufungspunkt in $U$. Dann ist $f=g$.

Beispiel

Die Nullstellen einer Funktion $f:\mathrm{\Omega }\setminus \{a\}\to ℂ$ können aber einen Häufungspunkt $\{a\}$ außerhalb ihres Definitionsbereichs haben. Zum Beispiel hat

$f:\mathrm{\Omega }\setminus \{0\}\to ℂ,z\mapsto e^{\frac{1}{z}}-1$

die Nullstellen $z_0=\frac{1}{2n\pi i}$, deren Häufungspunkt $0$ gehört aber nicht zum Definitionsbereich der Funktion.

Literatur

• Vorlage:Literatur