- Identitätssatz für holomorphe Funktionen
-
Der Identitätssatz für holomorphe Funktionen ist ein wichtiger Satz der Funktionentheorie. Er besagt, dass aufgrund der starken Einschränkungen an holomorphe Funktionen oft schon die lokale Gleichheit zweier solcher Funktionen ausreicht, um diese auch global zu fordern.
Inhaltsverzeichnis
Identitätssatz
Seien f und g holomorphe Funktionen auf einer Umgebung U von z0 und sei z0 ein Häufungspunkt der Koinzidenzmenge
, dann existiert eine Umgebung V von z0 mit f(z) = g(z) auf ganz V.
Identitätssatz für Gebiete
Für Gebiete, insbesondere da sie zusammenhängend sind, lässt sich die Aussage des Identitätssatzes leicht verschärfen.
Aussage
Seien
ein Gebiet und f und g auf diesem Gebiet holomorphe Funktionen. Dann sind folgende Aussagen äquivalent:
- f(z) = g(z) für alle
, das heißt die Funktionen stimmen auf dem ganzen Gebiet überein.
- Die Koinzidenzmenge
hat einen Häufungspunkt in G.
- Es gibt ein
, so dass f(n)(z) = g(n)(z) für alle
, das heißt in einem Punkt von G stimmen die Funktionen und alle ihre Ableitungen überein.
Beispiel
Beim zweiten Punkt ist es essentiell, dass der Häufungspunkt im Gebiet G und nicht auf dessen Rand liegt. Betrachte dazu folgendes Beispiel:
Die Funktion
ist holomorph auf
, die Folge
liegt darin und konvergiert gegen 0. Also ist 0 ein Häufungspunkt der Folge (zn) und es gilt
, aber natürlich gilt auch
. Also stimmt
auf der Menge der zn (die den Häufungspunkt 0 besitzt) mit der Nullfunktion überein, aber offensichtlich nicht auf ganz
.
Folgerungen
Eine wesentliche Folgerung aus dem Identitätssatz ist die eindeutige Fortsetzbarkeit reeller Funktionen:
Kann man eine reelle Funktion holomorph auf die komplexe Ebene fortsetzen (dies ist eventuell nicht möglich), so ist diese Fortsetzung eindeutig. Der komplexe Sinus ist daher wirklich die einzige holomorphe Fortsetzung des reellen Sinus. Insbesondere gelten auch die Additionstheoreme für den komplexen Sinus.
Ein Sonderfall des Identitätssatzes für Gebiete, der sehr häufig angewendet wird, ergibt sich mit g = 0:
Hat die Nullstellenmenge von f in einem Gebiet G einen Häufungspunkt, so gilt
auf ganz G.
Der Ring der holomorphen Funktionen auf einem Gebiet G ist nullteilerfrei, d.h. aus
folgt stets
oder
. Seien hierzu
holomorph mit
und
. Dann gibt es einen Punkt z0 in G und eine Umgebung U von z0 mit
für alle
. Dann gilt aber
, und somit
nach dem Sonderfall.
Literatur
- E. Freitag & R. Busam - Funktionentheorie 1, Springer-Verlag, 4. Auflage, ISBN 3-540-67641-4
- f(z) = g(z) für alle
Wikimedia Foundation.