Holomorphe Funktion – Wikipedia

In der Mathematik sind holomorphe Funktionen (von altgriechisch ὅλος holos „ganz, vollständig“ und μορφή morphē „Form, Gestalt“) komplexwertige Funktionen (Abbildungen von komplexen Zahlen in komplexe Zahlen), die in der Funktionentheorie, einem Teilgebiet der Mathematik, untersucht werden. Eine komplexwertige Funktion mit Definitionsbereich ${\displaystyle U}$ heißt holomorph, falls sie an jeder Stelle von ${\displaystyle U}$ komplex differenzierbar ist.

Die aus der Schulmathematik bekannten Rechenregeln zum Ableiten vormals reeller Funktionen gelten dabei weiterhin für komplexe Funktionen, obgleich der Holomorphiebegriff viel weitreichendere Konsequenzen nach sich zieht. Anschaulich bedeutet Holomorphie, dass sich die betroffene Funktion an jeder Stelle „fast“ wie eine aus mathematischer Sicht leicht zu verstehende (komplexwertige) lineare Funktion verhält. Erstmals eingeführt und studiert wurden holomorphe Funktionen im 19. Jahrhundert von Augustin-Louis Cauchy, Bernhard Riemann und Karl Weierstraß, obgleich sich die Terminologie der Holomorphie erst im 20. Jahrhundert flächendeckend durchsetzte. Besonders in älterer Literatur werden solche Funktionen auch „regulär“ genannt. Aufgrund ihrer breiten Anwendungsmöglichkeiten zählen sie zu den wichtigsten Funktionstypen innerhalb der Mathematik.

Durch die Möglichkeit der Linearisierung in jedem Punkt ihres Definitionsbereichs ${\displaystyle U}$ können für holomorphe Funktionen ${\displaystyle f\colon U\to \mathbb {C} }$, wobei ${\displaystyle \mathbb {C} }$ die Menge der komplexen Zahlen bezeichnet, sehr fruchtbare Resultate hervorgebracht werden. Anschaulich kann die mathematische Rechenvorschrift ${\displaystyle z\mapsto f(z)}$ in der Nähe jedes Wertes ${\displaystyle w}$ ihres Definitionsbereichs ${\displaystyle U}$ sehr gut durch die lineare Funktion ${\displaystyle z\mapsto f(w)+f'(w)(z-w)}$ angenähert werden. Die Annäherung ist dabei so gut, dass sie für die lokale Analyse der Funktion bzw. der Rechenvorschrift ausreicht. Das Symbol ${\displaystyle f'(w)}$ bezeichnet dabei die komplexe Ableitung von ${\displaystyle f}$ in ${\displaystyle w}$. Auch wenn diese Definition analog zur reellen Differenzierbarkeit ist, zeigt sich in der Funktionentheorie, dass die Holomorphie eine sehr starke Eigenschaft ist. Sie produziert eine Vielzahl von Phänomenen, die im Reellen kein Pendant besitzen. Beispielsweise ist jede holomorphe Funktion bereits beliebig oft differenzierbar und lässt sich lokal in jedem Punkt in eine Potenzreihe entwickeln. Das bedeutet, dass man die betreffende Funktion in ihrem Definitionsbereich lokal durch Polynome annähern kann, also unter Verwendung nur der vier Grundrechenarten, wobei zur Konstruktion dieser Polynome nur die Ableitungen der Funktion in einem einzigen Punkt, dem Entwicklungspunkt, benötigt werden. Besonders bei transzendenten holomorphen Funktionen, wie Exponentialfunktionen, trigonometrischen Funktionen (etwa Sinus und Kosinus) und Logarithmen, aber auch bei Wurzelfunktionen, ist dies eine sehr nützliche Eigenschaft, etwa dann, wenn man diese Funktionen und ihre Ableitungen im Entwicklungspunkt gut versteht. Dabei ist zu beachten, dass die genannten Funktionen natürliche Fortsetzungen von den reellen in die komplexen Zahlen besitzen.

Hintergrund der Begriffsstärke der Holomorphie ist, dass die Differenzierbarkeit im Komplexen auf einer offenen „Fläche“ statt nur einem offenen Intervall gelten muss. Dabei müssen beim Grenzübergang zum Differentialquotienten unendlich viele Richtungen (alle Kombinationen aus Nord, Ost, West und Süd) betrachtet werden – eine höhere Anforderung als nur die beiden Richtungen „positiv“ und „negativ“ auf dem reellen Zahlenstrahl. Im Laufe des 19. und 20. Jahrhunderts wurde darauf aufbauend im Rahmen der Funktionentheorie ein eigener Rechenkalkül für holomorphe Funktionen entwickelt. Während Begriffe wie Ableitung, Differenzenquotient und Integral weiterhin existieren, kommen zusätzliche Eigenschaften zum Tragen. Dies betrifft das Abbildungsverhalten holomorpher Funktionen, zusätzliche Techniken in der Integrationstheorie oder auch das Konvergenzverhalten von Funktionenfolgen.

In vielen Teilgebieten der Mathematik bedient man sich der starken Eigenschaften holomorpher Funktionen, um Probleme zu lösen. Beispiele sind die analytische Zahlentheorie, in der über holomorphe Funktionen auf Zahlen rückgeschlossen wird, sowie die komplexe Geometrie oder auch die theoretische Physik. Besonders im Rahmen der Theorie der Modulformen nehmen holomorphe Funktionen eine wichtige Position ein, wobei tiefe Verbindungen zur Darstellungstheorie und zu elliptischen Kurven aufgebaut werden können. Gleich zwei Millennium-Probleme der Mathematik, die Vermutung von Birch und Swinnerton-Dyer und die Riemannsche Vermutung, drehen sich um das Nullstellenverhalten gewisser holomorpher Funktionen.

Komplexe Zahlen erweitern den Bereich der reellen Zahlen durch Hinzunehmen sog. imaginärer Zahlen. Diese sollen die Eigenschaft haben, algebraische Gleichungen zu lösen, die im Reellen nicht lösbar sind. Ein Beispiel ist die quadratische Gleichung ${\displaystyle x^{2}+1=0}$. Sie hat keine reelle Lösung, da das Quadrat einer reellen Zahl stets nicht-negativ ist. Fügt man jedoch den reellen Zahlen eine imaginäre Zahl ${\displaystyle i}$ mit der Eigenschaft ${\displaystyle i^{2}=-1}$ hinzu, so kann die obige Gleichung gelöst werden.

Während die reellen Zahlen eine Zahlengerade aufspannen, breiten die komplexen Zahlen eine Ebene aus. Jede komplexe Zahl ${\displaystyle z}$ ist von der Form ${\displaystyle z=x+iy}$ mit reellen Zahlen ${\displaystyle x}$ und ${\displaystyle y}$. Geht man ${\displaystyle x}$ Schritte in „reelle Richtung“ und ${\displaystyle y}$ Schritte in „imaginäre Richtung“, so wird die komplexe Zahl ${\displaystyle x+iy}$ mit dem Punkt ${\displaystyle (x,y)}$ in der Euklidischen Ebene identifiziert. Dabei wird ${\displaystyle x}$ als Realteil und ${\displaystyle y}$ als Imaginärteil von ${\displaystyle z}$ bezeichnet.

Eine wichtige Eigenschaft komplexer Zahlen ist, dass man mit ihnen, wie im Falle der reellen Zahlen, rechnen kann. Damit ist gemeint, dass Plus, Minus, Mal und Geteilt auch für komplexe Zahlen definiert ist. Um dies umzusetzen, ist lediglich das Beherrschen der reellen Rechenregeln sowie die Regel ${\displaystyle i^{2}=-1}$ vonnöten. Die Addition wird in Real- und Imaginärteil separat ausgeführt, also zum Beispiel ${\displaystyle (-3+2i)+(4+10i)=1+12i}$, und beim Multiplizieren müssen die Klammern verrechnet werden:

${\displaystyle (a+bi)(c+di)=(ac-bd)+(ad+bc)i.}$

Dabei entsteht der Term ${\displaystyle -bd}$ beim Ausmultiplizieren aus dem Produkt ${\displaystyle bidi}$. Auch die Division ist möglich, etwa dadurch, den Nenner durch passendes Erweitern und die dritte binomische Formel reell zu machen:

${\displaystyle {\frac {1+i}{1-2i}}={\frac {(1+i)(1+2i)}{(1-2i)(1+2i)}}={\frac {-1+3i}{5}}=-{\frac {1}{5}}+{\frac {3}{5}}i.}$

Somit bilden auch die komplexen Zahlen eine Zahlenstruktur, in der algebraisch gerechnet werden kann. Man sagt auch, dass die Menge der komplexen Zahlen ${\displaystyle \mathbb {C} }$, genau wie die reellen Zahlen ${\displaystyle \mathbb {R} }$, einen Körper bilden.

Die Holomorphie ist eine Eigenschaft komplexer Funktionen. Dabei stellt eine Funktion ganz allgemein eine Beziehung zwischen zwei Mengen ${\displaystyle M}$ und ${\displaystyle N}$ über eine Abbildungsvorschrift her. Funktionen ${\displaystyle f\colon M\rightarrow N}$ müssen die Regel erfüllen, dass jedem Element aus ${\displaystyle M}$ genau ein Element in ${\displaystyle N}$ zugeordnet wird.

Einige Beispiele reeller Funktionen lassen sich direkt auf die komplexen Zahlen übertragen. Dazu zählt etwa die quadratische Funktion ${\displaystyle f(z)=z^{2}}$.

Reelle Funktionen induzieren Tabellendaten der Form ${\displaystyle (x,f(x))}$, wobei die Eingabewerte ${\displaystyle x}$ den Definitionsbereich von ${\displaystyle f}$ durchlaufen. Die Analogie zu einer Tabelle entsteht dadurch, dass Daten ${\displaystyle x}$ und ${\displaystyle f(x)}$ in Zeilen- oder Spaltenform zusammengestellt werden können. Es ist jedoch nicht möglich, alle Werte einer reellen Funktion in eine Tabelle einzutragen, da es zum Beispiel bereits nicht möglich ist, alle Werte ${\displaystyle 0<x<1}$ aufzulisten. Alle nicht leeren, echten Intervalle der reellen Zahlen sind überabzählbar. Daher ist die Darstellung einer reellen Funktion anhand eines Schaubildes üblich. Dabei macht man sich zunutze, dass der Definitionsbereich ein Teil eines Zahlenstrahles ist, ebenso der Wertebereich. Ergo sammeln sich die Informationen ${\displaystyle (x,f(x))}$ zu Punkten ${\displaystyle (x,y)}$ in einer zweidimensionalen Ebene. Hebt man diese in der Ebene hervor, bekommt man einen Überblick über das Verhalten einer reellen Funktion.

Für komplexe Funktionen ist die Situation anders. Hier ist bereits der Eingangsbereich eine Fläche. Von daher müsste ein Schaubild nach Art reeller Funktionen vierdimensional sein, was nicht verständlich darstellbar ist.^[1] Ein Weg, komplexe, insbesondere holomorphe, Funktionen darzustellen, bedient sich eines Farbschlüssels. Einer komplexen Zahl wird je nach „Himmelsrichtung“ eine Farbe zugeordnet, wobei der Ursprung, also die Null, den Orientierungspunkt bildet. Zusätzlich wird mit der Helligkeit des Farbtons die Größe im Sinne des Abstands zum Ursprung visualisiert. Dabei bedeutet „dunkel“ nahe bei Null, und „hell“ nahe bei „Unendlich“.

• 
  Der Farbschlüssel, gezeigt durch das Schaubild der Selbstabbildung ${\displaystyle z\mapsto z}$. In etwa stehen rötliche Farben für komplexe Zahlen, die annähernd positiv reell sind.
• 
  Schaubild der komplexen Quadratfunktion. Im Zentrum ist ihr Wert 0. Von dort aus nimmt sie links und rechts, also auf der reellen Achse, rote Werte an, denn Quadrate reeller Zahlen sind nie negativ. Von der Mitte startend nach Nord oder Süd ist Türkis präsent: Die Quadrate rein imaginärer Zahlen sind negativ.
• 
  Die komplexe Fortsetzung der Exponentialfunktion. Ihre Beträge werden mit wachsendem Realteil schnell größer, das Schaubild also heller, und für fallende Realteile kleiner, das Schaubild also dunkler. Parallel zur imaginären Achse des Eingabebereichs ist sie eine periodische Funktion.

Die Darstellung komplexer Funktionen durch Kolorierung ist besonders zur Hervorhebung von Null- oder Polstellen sowie anderer Singularitäten einer Funktion üblich.^[2] Die Software Wolfram Mathematica bietet seit Version 12 ein entsprechendes Werkzeug an.^[3]

Im Englischen trägt eine solche Art der Visualisierung die Bezeichnung domain coloring. Diese wurde von Frank Farris geprägt.^[4] Es gab viele frühere Verwendungen von Farbe zur Visualisierung komplexer Funktionen, typischerweise die Zuordnung von Argumenten (Phasen) zu Farbtönen.^[5] Larry Crone verwendete die Methode in den späten 1980er Jahren.^[6] Die Technik der Verwendung kontinuierlicher Farbe zur Abbildung von Punkten des Definitionsbereiches in die Zielmenge wurde 1999 von George Abdo und Paul Godfrey verwendet, und farbige Raster wurden in Grafiken von Doug Arnold benutzt, die er auf 1997 datiert.^[7] Menschen, die farbenblind sind, können jedoch Schwierigkeiten haben, solche Diagramme zu interpretieren, wenn sie mit Standard-Farbkarten erstellt werden.^[8] Dieses Problem kann möglicherweise durch die Erstellung alternativer Versionen unter Verwendung von Farbkarten behoben werden, die in den Farbraum passen, der für Menschen mit Farbenblindheit erkennbar ist. Zum Beispiel kann eine Farbkarte, die auf Blau/Grau/Gelb basiert, für Menschen mit vollständiger Deuteranopie besser lesbar sein als das herkömmliche Schaubild, das auf Blau/Grün/Rot basiert.^[9]

Da mit komplexen Zahlen im Wesentlichen genau wie mit reellen Zahlen gerechnet werden kann, stellt sich die Frage, inwieweit sich die reelle Analysis, mit Begriffen wie Funktionen, Ableitung oder auch Integral, auf die komplexen Zahlen ausweiten lässt.

Im Reellen ist eine Funktion ${\displaystyle f\colon \mathbb {R} \to \mathbb {R} }$ in einem Punkt ${\displaystyle a}$ differenzierbar, wenn sie dort linearisiert werden kann. Das bedeutet, dass sie sich um ${\displaystyle a}$ herum sehr ähnlich zu einer linearen Funktion ${\displaystyle x\mapsto m(x-a)+c}$ verhält. Es gilt also für sehr kleine Werte ${\displaystyle h}$ die Approximation ${\displaystyle f(a+h)\approx mh+c}$, wobei man mit ${\displaystyle h=0}$ auch ${\displaystyle c=f(a)}$ erhält. Um die Begriffe „Linearisierung“, „sehr ähnlich“ und „Approximation“ präzise zu fassen, bedient man sich des Konzepts des Grenzwertes. Demnach ist ${\displaystyle f}$ in ${\displaystyle a}$ genau dann differenzierbar, wenn der Differentialquotient

${\displaystyle \lim _{h\to 0}{\frac {f(a+h)-f(a)}{h}}=f'(a)}$

existiert, der auch als Ableitung von ${\displaystyle f}$ an der Stelle ${\displaystyle a}$ bezeichnet wird. Da bei der Berechnung dieses Quotienten nur die Grundrechenarten Addition, Subtraktion und Division verwendet werden, stellt sich die Frage nach einem Analogon im Komplexen. Da die komplexen Zahlen diese Rechnungen auch zulassen, kann die Bedingung

${\displaystyle \lim _{h\to 0}{\frac {f(z+h)-f(z)}{h}}=:f'(z)\,\,\,}$ existiert

eins zu eins übernommen werden. Der entscheidende Unterschied ist hier aber, dass bei der Berechnung des komplexen Differenzenquotienten das kleiner werdende ${\displaystyle h}$ eine komplexe Zahl sein kann. Es kann sich also aus jeder Richtung in der komplexen Ebene genähert werden. Im Gegensatz dazu sind im Reellen nur endlich viele, nämlich zwei, Richtungen möglich, von links (${\displaystyle h<0}$) und von rechts (${\displaystyle h>0}$).

Für das Verständnis der komplexen Differenzierbarkeit ist essentiell, den Definitionsbereich der komplexen Funktion auch geometrisch wahrzunehmen. Eingabewerte in die Funktion sind somit nicht bloß komplexe Zahlen, sondern auch Punkte einer Ebene. Auf dieser Ebene ist ein Abstandsbegriff definiert, also können Punkte „nah“ und „weit weg“ zu anderen Punkten liegen. Erst diese Vorstellung erlaubt die Formulierung des für die Differenzierbarkeit essentiellen Lokalitätsbegriffs: Eine in einem Punkt ${\displaystyle z}$ komplex differenzierbare Funktion sieht an Punkten sehr nahe zu ${\displaystyle z}$ einer linearen Funktion „sehr ähnlich“. Genau diese Aussage wird durch den Differentialquotienten analytisch präzisiert. Nach Umformung des Differentialquotienten erhält man

${\displaystyle f(z+h)\approx f'(z)h+f(z),}$

wobei der Fehler in dieser Annäherung „viel kleiner“ ist als der „kleine“ Wert ${\displaystyle h}$.

Ist eine komplexe Funktion ${\displaystyle f}$ in ihrem Definitionsbereich holomorph, bedeutet dies, dass sie in jedem Punkt komplex differenzierbar ist. Wegen der ohnehin restriktiveren Bedingung der komplexen (statt nur reellen) Differenzierbarkeit, gepaart mit deren Gültigkeit für alle Punkte auf einer Fläche statt nur eines Intervalls (einer Linie), ist die Holomorphie eine sehr starke Eigenschaft.

Ein zentrales Problem der Analysis besteht darin, „komplizierte“ Funktionen zu studieren. Dabei bedeutet „kompliziert“ zum Beispiel, dass die Rechenvorschrift nicht aus einer endlichen Abfolge aus Anwendungen der vier Grundrechenarten besteht. Eine in diesem Sinne „einfache“ Vorschrift wäre: Nimm die Eingangszahl mal Zwei, dann das Ergebnis plus Eins, multipliziere dies mit sich selbst, teile dann alles durch die Drei. In Kurzform: ${\displaystyle \textstyle z\mapsto {\frac {1}{3}}(2z+1)^{2}}$. Jedoch lassen sich sehr viele Phänomene in der Natur nicht so einfach beschreiben. Die Mathematik ist demnach bestrebt, Analyseverfahren nichttrivialer Funktionen zu entwickeln. Solche Verfahren kommen zum Beispiel dann zum Einsatz, wenn Änderungsraten bei Naturgesetzen oder Bilanzen in der Wirtschaft erstellt werden müssen. Eine Möglichkeit besteht darin, die Funktion zunächst sehr stark einzuschränken, also nur Eingabewerte aus einem sehr „kleinen“ Vorrat einzusetzen. Klein bedeutet in diesem Kontext, dass die betrachteten Eingabewerte sehr nahe beieinander liegen. Soll eine Funktion etwa um 0 herum studiert werden, würden Werte wie 0,000001 möglicherweise noch in Betracht gezogen, möglicherweise aber nicht mehr 1, geschweige denn 100. In diesem Kontext nennt man die 0 auch den Entwicklungspunkt. Phänomene wie die Holomorphie besagen nun, dass betroffene Funktionen in sehr kleinen Bereichen deutlich verständlicheren Funktionen sehr stark ähneln. Diese verständlicheren Funktionen sind Vorschriften, die sich nur aus den vier Grundrechenarten zusammensetzen. Hinter diesem Prinzip steckt eine gewisse Form der „Stetigkeit“: Wurde eine holomorphe Funktion im Punkt 0 gut verstanden, so lässt sich daraus schon auf ihr Verhalten in z. B. 0,000001 schließen, und das nur anhand der vier Grundrechenarten. Präziser wird die Annäherung über Polynome realisiert, also Ausdrücke wie ${\displaystyle z+2}$, ${\displaystyle z^{3}-4z^{2}+3z-1}$ und ganz allgemein

${\displaystyle a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots +a_{0}.}$

Eine holomorphe Funktion kann also um jeden Wert ihres Definitionsbereichs durch Anwendung der Grundrechenarten entwickelt werden. Dabei ist zu beachten, dass es sich bei hinreichend „komplizierten“ Funktionen nur um eine Näherung handelt. Eine zentrale Eigenschaft der Holomorphie ist aber, dass für solche komplizierten Funktionen beliebig lange Polynomketten, also addierte ${\displaystyle z^{n}}$-Terme, zur Annäherung gefunden werden können. Je länger diese Terme sind, desto besser. Lässt man diesen Prozess gegen Unendlich streben, ist die Annäherung in den umliegenden Punkten perfekt, es herrscht also Gleichheit. In diesem Sinne sind also holomorphe Funktionen, zumindest lokal, gerade „unendlich lange Polynome“. Obwohl dabei unendlich viele Terme addiert werden, kann Konvergenz vorliegen, wenn das Funktionsargument nahe genug am Entwicklungspunkt liegt. Wählt man zum Beispiel den Entwicklungspunkt 0 und für die Koeffizienten die Dezimalstellen der Kreiszahl ${\displaystyle \pi }$, also

${\displaystyle f(z):=3+z+4z^{2}+z^{3}+5z^{4}+9z^{5}+2z^{6}+6z^{7}+\cdots ,}$

so gilt

${\displaystyle f\left({\frac {1}{10}}\right)=3+{\frac {1}{10}}+{\frac {4}{100}}+{\frac {1}{1000}}+{\frac {5}{10000}}+\cdots =3{,}1415926\dotsc =\pi .}$

Für Werte ${\displaystyle |z|<{\tfrac {1}{10}}}$ wird dann ${\displaystyle f(z)}$ „erst recht“ endlich sein. Dabei bezeichnet ${\displaystyle |z|}$ die Euklidische Länge der Zahl ${\displaystyle z}$ in der Ebene, was dem Abstand zum Punkt 0 entspricht. Diesem Gedanken folgend kann man zeigen, dass Potenzreihen entweder überall oder innerhalb von Kreisscheiben konvergieren. Dennoch kann es sein, dass im Falle der Potenzreihen nicht immer Holomorphie auf ganz ${\displaystyle \mathbb {C} }$ vorliegt. Ein Beispiel ist die Funktion ${\displaystyle f(z)={\tfrac {1}{1-z}}}$, die an der Stelle ${\displaystyle z=1}$ nicht komplex differenzierbar (ja nicht mal definiert) ist. Jedoch liegt Holomorphie im Bereich aller ${\displaystyle z}$ mit ${\displaystyle |z|<1}$ vor, und es gilt mit der geometrischen Reihe

${\displaystyle 1+z+z^{2}+z^{3}+z^{4}+z^{5}+\cdots ={\frac {1}{1-z}}.}$

Demnach ist Holomorphie stets zunächst nur eine lokale Eigenschaft.

Es folgen einige Beispiele für holomorphe Funktionen.

• Eine in der Schule behandelte Funktion, die sich im Allgemeinen nicht durch nur endlichfache Anwendung der vier Grundrechenarten berechnen lässt, ist der Sinus, also die Vorschrift ${\displaystyle z\mapsto \sin(z)}$. Hier wird die Vorschrift im Reellen zunächst nicht über eine Zahlenrechnung, sondern geometrisch erklärt. Zur Länge eines Kreisbogens soll die zugehörige gerade Strecke gefunden werden, die den Endpunkt des Bogens mit der Grundachse verbindet, analog beim Kosinus (siehe Bild). Alle betrachteten Strecken haben Längen, im Verhältnis zur Einheit dimensionslos, also entspricht dies einer Abbildung von Zahlen auf Zahlen. Krumme Kreislinien („komplizierte Strecken“) werden auf ungleich lange gerade Linien („einfache Strecken“) abgebildet, was vermuten lässt, dass sich diese Umrechnung nicht in einfacher Weise mit den vier Grundrechenarten darstellen lässt. Es zeigt sich jedoch, dass der Sinus eine holomorphe Funktion ist, weshalb eine Annäherung durch einfache Terme möglich ist. Es gilt zum Beispiel für sehr kleine Werte von ${\displaystyle z}$

${\displaystyle \sin(z)\approx z-{\frac {z^{3}}{6}}.}$

Dies entspricht einem „Studium“ der Sinusfunktion in oben erklärtem Sinne, da die komplizierte Sinusfunktion durch eine einfache Abbildung ${\displaystyle \textstyle z\mapsto z-{\frac {z^{3}}{6}}}$ angenähert wurde. Dabei war der Entwicklungspunkt 0, in der Tat ist wegen ${\displaystyle \sin(0)=0}$ die Annäherung hier perfekt, doch auch für umliegende Werte ist sie brauchbar. Es gilt zum Beispiel ${\displaystyle \sin(0{,}2)=0{,}1986693308\dots }$ und ${\displaystyle \textstyle 0{,}2-{\frac {0{,}2^{3}}{6}}=0{,}1986666\dots }$. Für eine exakte Berechnung erhält man für den Sinus

${\displaystyle \sin(z)=z-{\frac {z^{3}}{6}}+{\frac {z^{5}}{120}}-{\frac {z^{7}}{5040}}+{\frac {z^{9}}{362880}}-{\frac {z^{11}}{39916800}}+{\frac {z^{13}}{6227020800}}-{\frac {z^{15}}{1307674368000}}+\cdots =\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n+1}}{(2n+1)!}},}$

wobei ${\displaystyle !}$ die Fakultät bezeichnet und ${\displaystyle \Sigma }$ das Summenzeichen. Die Formel erweitert sich auf alle komplexen Zahlen und setzt den Sinus dort als Funktion fort, wobei dort keine geometrische Interpretation über Dreiecke mehr zur Verfügung steht.

• Für das lokale Verständnis holomorpher Funktionen werden Polynome herangezogen, jedoch ist die Frage entscheidend, wie man auf die Koeffizienten dieser Polynome schließt, also auf die Zahlen vor den Termen ${\displaystyle z^{n}}$. Dafür werden die komplexen Ableitungen der Funktionen am Entwicklungspunkt benötigt. Genau gesagt gilt eine Formel, die in der Mathematik Taylorreihe genannt wird:

${\displaystyle f(z)=f(c)+f'(c)(z-c)+{\frac {f''(c)}{2}}(z-c)^{2}+{\frac {f'''(c)}{6}}(z-c)^{3}+\cdots }$

Hier ist ${\displaystyle z}$ eine Zahl, die nahe am Entwicklungspunkt ${\displaystyle c}$ liegen sollte. Dies lässt sich zum Beispiel an der Wurzelfunktion ${\displaystyle z\mapsto {\sqrt {z}}}$ demonstrieren, etwa um den Punkt ${\displaystyle c=25}$. Diese ist dort holomorph, man hat die Ableitungen ${\displaystyle \textstyle ({\sqrt {z}})'={\frac {1}{2{\sqrt {z}}}}}$ und ${\displaystyle \textstyle ({\sqrt {z}})''=-{\frac {1}{4{\sqrt {z}}^{3}}}}$. Also gilt mit der Taylor-Formel die Approximation

${\displaystyle {\sqrt {z}}\approx {\sqrt {25}}+{\frac {1}{2{\sqrt {25}}}}(z-25)-{\frac {1}{8\cdot {\sqrt {25}}^{3}}}(z-25)^{2}=5+{\frac {1}{10}}(z-25)-{\frac {1}{1000}}(z-25)^{2}}$

für komplexe Zahlen ${\displaystyle z}$, die nahe an ${\displaystyle 25}$ liegen. Der Ausdruck ${\displaystyle \textstyle 5+{\tfrac {1}{10}}(z-25)-{\tfrac {1}{1000}}(z-25)^{2}}$ auf der rechten Seite kann, wie oben, durch Anwendung nur der vier Grundrechenarten schnell berechnet werden. Er stimmt nach Einsetzen von ${\displaystyle z=25}$ exakt mit dem Funktionswert ${\displaystyle 5}$ überein, doch auch in der näheren Umgebung von ${\displaystyle 25}$ ist die Annäherung noch sehr genau. Man hat etwa

${\displaystyle {\sqrt {26}}\approx 5+{\frac {1}{10}}-{\frac {1}{1000}}=5{,}099}$

und es gilt für den exakten Wert ${\displaystyle {\sqrt {26}}=5{,}0990195\dots }$. Da Holomorphie eine Eigenschaft komplexer Funktionen ist, gilt die Annäherung auch für nicht-reelle Zahlen in der Nähe von 25. Für ${\displaystyle 25+0{,}4i}$ erhält man zum Beispiel ${\displaystyle 5{,}00016+0{,}04i}$ als Näherung für ${\displaystyle {\sqrt {25+0{,}4i}}}$, und es gilt rückwirkend ${\displaystyle (5{,}00016+0{,}04i)^{2}=25{,}0000000256+0{,}4000128i}$.

Die Stärke des Holomorphiebegriffs stützt sich auf folgende Säulen.

• Einfache Handhabung der Taylorpolynome: Durch die Eigenschaft einer holomorphen Funktion, durch Polynome, also Summen von Termen ${\displaystyle z^{n}}$, lokal beliebig gut angenähert werden zu können, ist das Betreiben von Analysis für diesen Funktionstyp besonders einfach. So können etwa sowohl Ableitungen als auch Stammfunktionen der einzelnen Ausdrücke ${\displaystyle z^{n}}$ schnell bestimmt werden. Weiß man, dass ${\displaystyle nz^{n-1}}$ die Ableitung von ${\displaystyle z^{n}}$ ist, so kann man aus ${\displaystyle 1+z+z^{2}+z^{3}+\cdots ={\frac {1}{1-z}}}$ bereits ${\displaystyle 1+2z+3z^{2}+4z^{3}+\cdots ={\frac {1}{(1-z)^{2}}}}$ folgern.

Dies ermöglicht es, komplizierte Ableitungen oder Stammfunktionen erneut durch Polynome anzunähern und lokal zu beschreiben.

• Jede Ableitung ist holomorph: Ist eine Funktion holomorph, so auch wieder ihre komplexe Ableitungsfunktion. Wie in einer Kettenreaktion kann gefolgert werden, dass jede holomorphe Funktion bereits unendlich oft komplex differenzierbar ist. Zu dieser Aussage gibt es im Reellen überhaupt keine Entsprechung. So gibt es etwa reelle Funktionen, die zweimal, aber nicht dreimal differenzierbar sind.
• Gleichmäßige Approximation: Die lokale Approximation durch die Polynome erfolgt nicht „willkürlich“, sondern gleichmäßig. Zum Beispiel soll eine holomorphe Funktion ${\displaystyle f}$ auf einer Kreisfläche inklusive Rand bis auf einen Fehler von ${\displaystyle 0{,}001}$ durch Polynome ${\displaystyle p}$ angenähert werden. Es soll also ${\displaystyle |f(z)-p(z)|<0{,}001}$ gelten. Nach Abbruch einer gewissen Schranke im Grad des Polynoms gilt dann für jeden Wert ${\displaystyle z}$ aus der Kreisfläche ${\displaystyle |f(z)-p(z)|<0{,}001}$. Die Annäherung vollzieht sich also nicht unkontrolliert, sondern breitet sich mit „gleicher Geschwindigkeit“ auf Flächen aus. Die untere Bildserie illustriert diese Gleichmäßigkeit bei der Approximation des Sinus um den Nullpunkt anhand seiner Taylorpolynome ${\displaystyle \textstyle p_{k}(z):=\sum _{n=0}^{k}{\frac {(-1)^{n}z^{2n+1}}{(2n+1)!}}.}$ Bereits im Fall ${\displaystyle p_{0}(z)}$ ist um die Null (schwarzer Punkt im Zentrum) eine lokale Ähnlichkeit zu sehen. Erkennbar ist dies an der Farbverteilung und Intensität, die um das Zentrum herum ${\displaystyle \sin(z)}$ (ganz linkes Bild) sehr ähnelt, etwa „gelb in Nord-Ost“.

• 
  Komplexer Graph der Sinusfunktion
• 
  ${\displaystyle p_{0}(z)=z}$
• 
  ${\displaystyle p_{1}(z)=z-{\tfrac {z^{3}}{6}}}$
• 
  ${\displaystyle p_{2}(z)=z-{\tfrac {z^{3}}{6}}+{\tfrac {z^{5}}{120}}}$

• 
  ${\displaystyle p_{3}(z)}$
• 
  ${\displaystyle p_{4}(z)}$
• 
  ${\displaystyle p_{5}(z)}$
• 
  ${\displaystyle p_{6}(z)}$

Zu beachten ist, dass der ausgesuchte Fehler immer größer als 0 sein muss und die Approximation in der Nähe des Entwicklungspunktes grundsätzlich besser ist. Diese Eigenschaft der gleichmäßigen Konvergenz ist in der Mathematik enorm nützlich. Sie erlaubt es zum Beispiel, dass es bei der Ausführung nichttrivialer Prozesse, wie Ableiten, Integrieren oder unendliches Summieren holomorpher Funktionen, die Reihenfolge vertauscht werden darf. Im Falle unendlich vieler Terme ist dies mathematisch nicht trivial. Beispielsweise erhält man unter Kenntnis der Stammfunktionen ${\displaystyle {\tfrac {z^{n+1}}{n+1}}}$ von ${\displaystyle z^{n}}$ für die Logarithmusfunktion ${\displaystyle \textstyle -\log(1-z)=\int \!{\frac {1}{1-z}}\,\mathrm {d} z}$:

${\displaystyle \int \!\left(1+z+z^{2}+z^{3}+z^{4}+\cdots \right)\,\mathrm {d} z=\int \!{\frac {1}{1-z}}\,\mathrm {d} z{\overset {(*)}{\implies }}z+{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}+{\frac {z^{4}}{4}}+\cdots =-\log(1-z).}$

Aus der geometrischen Reihe kann also die Taylorreihe der Logarithmusfunktion in der Nähe von 1 bestimmt werden. In der Umformung ${\displaystyle (*)}$ wurde der Prozess „die Summe wird integriert“ durch „die integrierten Terme werden summiert“, ersetzt. Dies entspricht der Vertauschung ${\displaystyle \textstyle \int (1+z+z^{2}+\cdots )=\int 1+\int z+\int z^{2}+\cdots }$, was wegen der gleichmäßigen Konvergenz der Taylorreihe aber erlaubt ist.

• Wenige Daten reichen aus: Die Regel, dass zwei Punkte eine „Gerade“, also eine lineare Funktion ${\displaystyle z\mapsto az+b}$ eindeutig bestimmen, gilt auch im Komplexen. Weiter sind es drei Punkte für quadratische Funktionen, vier Punkte für kubische Funktionen, und so weiter. Da holomorphe Funktionen lokal wie „unendlich lange Polynome“ aussehen, besagt dies heuristisch, dass auch hier „verhältnismäßig wenige“ Funktionswerte ausreichen sollten, die Funktion eindeutig zu charakterisieren. Stimmen zwei holomorphe Funktionen auf einer Menge von Zahlen ${\displaystyle z_{1},z_{2},z_{3},\dots ,z_{n},\dots }$ überein, die sich einer Zahl ${\displaystyle z_{\infty }}$ beliebig stark annähern, und gilt auch Gleichheit in ${\displaystyle z_{\infty }}$, dann sind diese schon lokal identisch. Sie sehen also um den Punkt ${\displaystyle z_{\infty }}$ herum absolut gleich aus. Die Bedingung der Übereinstimmung in unendlich vielen Zahlen wirkt zunächst schwach, es ist jedoch zu beachten, dass es möglich ist, diese Stellen wie ${\displaystyle 1,2,3,4,\dots }$ aufzulisten. Im Gegensatz dazu kann der Definitionsbereich einer holomorphen Funktion niemals aufgelistet werden, da es sich dabei um zu viele Zahlen handelt. Dazu müssen zwei verschiedene Unendlichkeitsstufen unterschieden werden, nämlich Abzählbarkeit und Überabzählbarkeit. Besonders in Definitionsbereichen, in denen es möglich ist, jeden Punkt durch einen Weg „zu Fuß zu erreichen“, ohne dabei die Fläche zu verlassen, entpuppt sich Holomorphie als sehr stark. Hier genügt die Kenntnis der Funktion in einem lokalen „Ballungsraum“ ${\displaystyle z_{1},z_{2},\dotsc \to z_{\infty }}$, um die Funktion im gesamten Bereich eindeutig zu charakterisieren. Würde eine Funktion etwa jedem Punkt des deutschen Festlandes – hier kann man zu Fuß jeden Ort von jedem Startpunkt aus erreichen, ohne Deutschland zu verlassen – einen komplexen Wert zuordnen, und wäre diese überall holomorph, so reichte die Kenntnis im Ballungsraum Hamburg aus, um ihr Verhalten in München oder Passau zu rekonstruieren, obwohl diese Orte weit weg liegen.

Bedeutsam sind holomorphe Funktionen auch in Anwendungen für reelle Integrale. Es lassen sich einige wichtige Integrale berechnen, ohne eine Stammfunktion angeben zu müssen. Dazu zählt zum Beispiel

${\displaystyle \int _{-\infty }^{\infty }\!\mathrm {e} ^{-t^{2}}\,\mathrm {d} t={\sqrt {\pi }}}$,

und es ist zu beachten, dass zu ${\displaystyle t\mapsto \mathrm {e} ^{-t^{2}}}$ keine geschlossene elementare Stammfunktion angegeben werden kann. Integrale wie das obige spielen eine Rolle in der Wahrscheinlichkeitstheorie, hier im Kontext mit der Gaußschen Normalverteilung.

In der Analysis, die sich mit Grenzwerten von Funktionen oder Zahlenfolgen beschäftigt, treten auch Reihen auf. Diese sind spezielle Folgen, und werden durch unendliche Summen ${\displaystyle a_{1}+a_{2}+a_{3}+\cdots }$ ausgedrückt. Wenn die Summanden ${\displaystyle a_{n}}$ schnell genug klein werden, hat die betroffene Reihe einen Grenzwert. Ein Beispiel ist

${\displaystyle 1+{\frac {1}{10}}+{\frac {1}{10^{2}}}+{\frac {1}{10^{3}}}+{\frac {1}{10^{4}}}+\cdots =1+0{,}1+0{,}01+0{,}001+0{,}0001+\cdots =1{,}11111\ldots ={\frac {10}{9}}.}$

Mit holomorphen Funktionen können in manchen Fällen Grenzwerte weit komplizierterer Reihen bestimmt werden. Beispiele sind

${\displaystyle 1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{5^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}}$ (siehe auch Basler Problem),

${\displaystyle 1+{\frac {1}{2^{3}}}+{\frac {1}{3^{3}}}+{\frac {1}{4^{3}}}+{\frac {1}{5^{3}}}+\cdots ={\frac {7\pi ^{3}}{180}}-2\left({\frac {1}{\mathrm {e} ^{2\pi }-1}}+{\frac {1/8}{\mathrm {e} ^{4\pi }-1}}+{\frac {1/27}{\mathrm {e} ^{6\pi }-1}}+\cdots \right)}$ (siehe auch Apéry-Konstante),^[10]

aber auch Identitäten wie zum Beispiel die für alle ${\displaystyle x>0}$ gültige Transformation^[11]

${\displaystyle \sum _{n=-\infty }^{\infty }\mathrm {e} ^{-\pi xn^{2}}=1+2\mathrm {e} ^{-\pi x}+2\mathrm {e} ^{-4\pi x}+2\mathrm {e} ^{-9\pi x}+\cdots ={\frac {1}{\sqrt {x}}}\left(1+2\mathrm {e} ^{-\pi /x}+2\mathrm {e} ^{-4\pi /x}+2\mathrm {e} ^{-9\pi /x}+\cdots \right)={\frac {1}{\sqrt {x}}}\sum _{n=-\infty }^{\infty }\mathrm {e} ^{-\pi n^{2}/x}.}$

Es bezeichnen dabei ${\displaystyle e}$ die Eulersche Zahl und ${\displaystyle \pi }$ die Kreiszahl. Die letzte Identität geht auf den Mathematiker Carl Gustav Jacobi zurück und hat weitreichende Konsequenzen in der Zahlentheorie. So lässt sich jede positive ganze Zahl als Summe von vier Quadratzahlen schreiben,^[12] zum Beispiel ist ${\displaystyle 78=8^{2}+3^{2}+2^{2}+1^{2}}$, siehe auch Satz von Jacobi.

Holomorphe Funktionen treten in der Zahlentheorie besonders dann in Erscheinung, wenn eine Folge von Zahlen studiert werden soll. Eine Folge ist wie eine Tabelle, wobei den Zahlen ${\displaystyle 0,1,2,3,4,\dots ,n,\dots }$ jeweils Zahlen ${\displaystyle a_{0},a_{1},a_{2},a_{3},a_{4},\dots ,a_{n},\dots }$ zugeordnet werden. Berühmte Beispiele für Folgen sind die Folge der Quadratzahlen ${\displaystyle 0,1,4,9,16,25,\dots }$, die Folge der Primzahlen ${\displaystyle 2,3,5,7,\dots }$ oder auch die Fibonacci-Folge ${\displaystyle 1,1,2,3,5,8,\dots }$ Möchte man eine Zahlenfolge ${\displaystyle a_{0},a_{1},a_{2},\dots }$ mit analytischen Mitteln, also holomorphen Funktionen, untersuchen, kann es helfen, die zugehörige Potenzreihe

${\displaystyle f(z)=a_{0}+a_{1}z+a_{2}z^{2}+a_{3}z^{3}+\cdots +a_{n}z^{n}+\cdots }$

zu betrachten. Wie oben gesehen, handelt es sich dabei um eine um 0 holomorphe Funktion, zumindest dann, wenn die ${\displaystyle a_{n}}$ nicht zu schnell anwachsen. ${\displaystyle f}$ ist durch die ${\displaystyle a_{n}}$ eindeutig festgelegt, und umgekehrt. Das bedeutet, dass die erzeugte Funktion ${\displaystyle f}$ gewissermaßen charakteristisch für die Zahlenfolge ${\displaystyle a_{n}}$ ist, sie also Eigenschaften der Folge „kodieren“ sollte. Im Allgemeinen ist es jedoch schwer oder nahezu unmöglich, daraus exakte Informationen zu erhalten. Allerdings kann in einigen Fällen das Wachstumsverhalten der ${\displaystyle a_{n}}$ für größer werdende ${\displaystyle n}$ ermittelt werden.

Historisches Beispiel ist die Analyse der Partitionsfunktion ${\displaystyle p}$. Diese ordnet einer natürlichen Zahl die Anzahl der Möglichkeiten zu, diese als Summe kleinerer natürlicher Zahlen zu schreiben. Wegen

${\displaystyle {\begin{aligned}4&=4\\&=3+1\\&=2+2\\&=2+1+1\\&=1+1+1+1\end{aligned}}}$

gilt ${\displaystyle p(4)=5}$. Die Folge der Partitionen wächst schnell an. So gilt bereits ${\displaystyle p(100)=190\ 569\ 292}$ und

${\displaystyle p(1000)=24\ 061\ 467\ 864\ 032\ 622\ 473\ 692\ 149\ 727\ 991.}$

Lange Zeit galt ein „geschlossenes Verständnis“ dieser Folge als unerreichbar. Godfrey Harold Hardy und Srinivasa Ramanujan studierten intensiv die von den Partitionen (formal setzt man ${\displaystyle p(0)=1}$) erzeugte holomorphe Funktion

${\displaystyle P(z)=\sum _{n=0}^{\infty }p(n)z^{n}=1+z+2z^{2}+3z^{3}+5z^{4}+{\color {red}{7}}z^{\color {blue}{5}}+11z^{6}+15z^{7}+22z^{8}+\cdots }$

• 
  Die Zahl 5 (blau markiert in obiger Reihe) hat genau 7 Partitionen (rot markiert in obiger Reihe)
• 
  Allgemeinere schematische Übersicht der ersten Partitionen. Man vergleiche mit den ersten Koeffizienten der Potenzreihe ${\displaystyle P.}$
• 
  Komplexes Schaubild der Funktion ${\displaystyle P}$. Am Rand zeichnen sich Bereiche starken Wachstums ab. Diese können genutzt werden, auf die Natur der Koeffizienten ${\displaystyle p(n)}$ der Potenzreihe rückzuschließen

Für jede komplexe Zahl ${\displaystyle z}$ mit ${\displaystyle |z|<1}$ ist diese Reihe im Grenzwert endlich (siehe oberes Bild). Es ist keine holomorphe Fortsetzung in den Bereich ${\displaystyle |z|>1}$ möglich, dieser Bereich ist in Grau gehalten. Hardy und Ramanujan konnten das Verhalten der Funktion nahe an der Kreislinie mit Radius 1 und Mittelpunkt 0, wo also Konvergenz endet, detailliert beschreiben, und rekonstruierten aus ihren Analysen die asymptotische Schätzformel^[13]

${\displaystyle p(n)\approx {\frac {1}{4{\sqrt {3}}n}}\mathrm {e} ^{\pi {\sqrt {\frac {2n}{3}}}},}$

die prozentual immer genauer wird, wenn ${\displaystyle n}$ anwächst. Es bezeichnet dabei ${\displaystyle e^{x}}$ die natürliche Exponentialfunktion, ${\displaystyle \pi =3{,}14159\dots }$ die Kreiszahl und ${\displaystyle {\sqrt {3}}}$ die Quadratwurzel von 3.

Viele Anwendungen machen sich die starken Eigenschaften holomorpher Funktionen zu Nutze. So kann zum Beispiel anhand logischer Argumente, die sich auf die grundlegenden Eigenschaften der Holomorphie gründen, bewiesen werden, dass jede in allen komplexen Zahlen holomorphe Funktion, die global beschränkt ist, bereits konstant sein muss. Interessanterweise ist die analoge Aussage im Reellen falsch. So ist zum Beispiel die Funktion ${\displaystyle x\mapsto {\tfrac {1}{x^{2}+1}}}$ in ganz ${\displaystyle \mathbb {R} }$ differenzierbar und außerdem beschränkt (da der Nenner niemals kleiner und der Zähler niemals größer als 1 wird), aber ganz offensichtlich keine konstante Funktion ${\displaystyle x\mapsto c}$. Für reelle Eingaben beschränkte Funktionen wie der Sinus, die überall komplex differenzierbar sind, müssen folglich durch Eingabe beliebiger komplexer Werte über alle Grenzen hinauswachsen. Es gilt zum Beispiel ${\displaystyle \sin(2+10i)=10014{,}30435528\ldots +4583{,}12202096\dots i.}$

Mit Hilfe dieser Aussage kann man logisch begründen, dass jede Gleichung der Form

${\displaystyle a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots +a_{1}z+a_{0}=0}$

mit ${\displaystyle a_{n}\not =0}$ und ${\displaystyle n\in \mathbb {N} }$, eine komplexe Lösung besitzt. Das Argument kann exemplarisch am Beispiel

${\displaystyle z^{4}-z^{3}+2z^{2}+17z+20=0}$

nachvollzogen werden. Die Funktion ${\displaystyle f(z)=z^{4}-z^{3}+2z^{2}+17z+20}$ ist, da sie ein Polynom ist, holomorph für alle komplexen Zahlen. Wegen der Quotientenregel ist auch ihr Kehrwert ${\displaystyle z\mapsto {\tfrac {1}{f(z)}}}$ komplex differenzierbar an Punkten ${\displaystyle z}$ mit ${\displaystyle f(z)\not =0}$, da sonst durch 0 geteilt wird. Geht man davon aus, dass die Gleichung ${\displaystyle z^{4}-z^{3}+2z^{2}+17z+20=0}$ nicht lösbar ist, so ist

${\displaystyle z\mapsto {\frac {1}{f(z)}}={\frac {1}{z^{4}-z^{3}+2z^{2}+17z+20}}}$

ebenfalls auf ganz ${\displaystyle \mathbb {C} }$ holomorph. Da ${\displaystyle f(z)}$ als Polynom aber in jeder Richtung für wachsende ${\displaystyle z}$ langfristig beliebig anwächst, kann man folgern, dass ${\displaystyle {\tfrac {1}{f(z)}}}$ beschränkt ist. Damit ist es als global holomorphe Funktion konstant. Das ist offenbar falsch, somit ist ein Widerspruch gefunden, und die Gleichung muss über den komplexen Zahlen lösbar sein.^[14]

Dieses Resultat wird auch als der Fundamentalsatz der Algebra bezeichnet.

Auch in der theoretischen Physik treten holomorphe Funktionen auf. Ein Anwendungsgebiet betrifft die sogenannte Stringtheorie. Der Ausgangsgedanke dieser Theorie entspringt der „klassischen“ Quantenfeldtheorie (QFT). In der QFT sind die grundlegenden Objekte Teilchen. Während sie sich durch den Raum ausbreiten und miteinander interagieren, beschreiben sie einen Graphen, der als Feynman-Diagramm bezeichnet wird. Diese Diagramme dienen also der Veranschaulichung von Wechselwirkungen zwischen Teilchen, die unsere bekannte Welt aufbauen. In der Stringtheorie sind die grundlegenden Objekte 1-dimensional (Linien bzw. Strings) und nicht 0-dimensional (Punkte bzw. Teilchen). Sie können sich durch den Raum ausbreiten und interagieren, genau wie Punktpartikel, aber anstatt einen Graphen aufzufächern, fächern sie eine Oberfläche auf.^[15] Diese Oberflächen können mit Hilfe der Theorie der Riemannschen Flächen beschrieben werden. Das sind zweidimensionale Strukturen im Raum, die lokal wie eine flache Ebene aussehen, deren Koordinaten sich also durch komplexe Zahlen ${\displaystyle x+iy}$ beschreiben lassen. Auf diesen Ebenen können holomorphe Funktionen definiert werden. Diese helfen dabei, alle möglichen Flächen eines Typs zu charakterisieren, wobei nur „geschlossene Flächen mit Henkeln“ interessant sind.

• 
  Eine Sphäre: Geschlecht 0, also ohne Löcher bzw. „Henkel“
• 
  Ein Torus: Geschlecht 1
• 
  Geschlecht 2
• 
  Geschlecht 3
• 
  Aus rein topologischer Sicht sieht jeder Torus gleich aus. Sogar eine stetige Umformung in eine Tasse ist möglich.
• 
  Veranschaulichung der Interaktion zweier Strings auf einem Torus

Obwohl etwa verschiedene Tori (Donuts), Flächen vom Geschlecht 1, aus Sicht der Topologie („Theorie der Formen“) nicht zu unterscheiden sind, können sie als Riemannsche Flächen aufgefasst in eine sehr große Schar verschiedener Klassen unterteilt werden. In diesem Sinne „ungleiche“ Riemannsche Flächen können allgemein durch sogenannte Moduli unterschieden werden. Anschaulich sind Moduli Parameter, in etwa Zahlen, die ohne Doppelungen alle Riemannschen Flächen eines Geschlechts bis auf „holomorphe Äquivalenz“ auflisten. Alle Riemannschen Flächen mit ihren zugehörigen Moduli zu konstruieren, ist ein schwieriges mathematisches Problem. Untersuchungen der Stringwechselwirkungen liefern jedoch deutliche Hinweise darauf, dass die sogenannten world-sheets (dt.: „Weltblätter“) der wechselwirkenden Strings genau diese Konstruktion wiedergeben.^[16] Bei world-sheets handelt es sich um Einbettungen von Strings in die Raumzeit.

Die Redeweise „holomorph in (einer offenen Menge) ${\displaystyle U}$“ für „komplex differenzierbar in allen Punkten in ${\displaystyle U}$“ hat sich in der deutschen Literatur erst in den letzten Jahrzehnten etabliert. Etwa noch bei Marvin Knopp war der Begriff „regulär“ bzw. „analytisch“ üblich. Letzterer wird jedoch in manchen Lehrbüchern bis heute konsequent verwendet, etwa bei Eberhard Freitag. Das Wort „holomorph“ wurde im Jahr 1875 von den Mathematikern Charles Briot und Jean-Claude Bouquet im Rahmen ihres Werkes „Théorie des fonctions elliptiques“ eingeführt.^[17] Dabei handelt es sich um das erste Lehrbuch zur Funktionentheorie.^[18] Allerdings tauchte „holomorph“ erst in der zweiten Auflage auf; in der ersten Auflage verwendeten sie noch die auf Cauchy zurückgehende Bezeichnung „synectisch“.^[17]

Es werden durchweg folgende Bezeichnungen verwendet:

• ${\displaystyle \mathbb {N} }$, ${\displaystyle \mathbb {Z} }$, ${\displaystyle \mathbb {Q} }$, ${\displaystyle \mathbb {R} }$ und ${\displaystyle \mathbb {C} }$ bezeichnen die natürlichen, ganzen, rationalen, reellen bzw. komplexen Zahlen. Zudem bedeutet ${\displaystyle \mathbb {E} :=\{z\in \mathbb {C} \colon |z|<1\}}$ die offene Einheitskreisscheibe.
• Es bezeichnen ${\displaystyle \mathrm {Re} (z)}$ bzw. ${\displaystyle \mathrm {Im} (z)}$ den Real- bzw. Imaginärteil der komplexen Zahl ${\displaystyle z}$.
• ${\displaystyle U\subset \mathbb {C} }$ ist eine (nicht leere) offene Menge, speziell ${\displaystyle D\subset \mathbb {C} }$ ist ein Gebiet und ${\displaystyle B_{r}(c):=\{z\in \mathbb {C} \colon |z-c|<r\}}$ die offene Kreisscheibe um ${\displaystyle c}$ mit Radius ${\displaystyle r>0}$.
• Es bezeichnet ${\displaystyle {\mathcal {O}}(U)}$ den Ring der holomorphen Funktionen auf der offenen Menge ${\displaystyle U\subseteq \mathbb {C} }$.
• Das Symbol ${\displaystyle \partial M}$ bezeichnet den Rand der (offenen) Menge ${\displaystyle M}$.
• Das Symbol ${\displaystyle \textstyle \oint _{\gamma }}$ bezeichnet ein geschlossenes Integral, also ein Integral gebildet über eine geschlossene Kurve ${\displaystyle \gamma }$.
• Es bezeichnet ${\displaystyle f^{(n)}}$ die ${\displaystyle n}$-te (komplexe) Ableitung der (holomorphen) Funktion ${\displaystyle f}$. In den Fällen ${\displaystyle n=1}$, ${\displaystyle n=2}$ bzw. ${\displaystyle n=3}$ werden auch die Kurzschreibweisen ${\displaystyle f',f''}$ bzw. ${\displaystyle f'''}$ benutzt.

Die Euklidische Norm induziert auf den komplexen Zahlen eine Topologie. Analog wie in ${\displaystyle \mathbb {R} ^{2}}$ gilt für die Norm ${\displaystyle |x+iy|={\sqrt {x^{2}+y^{2}}}}$. Eine Menge ${\displaystyle U\subset \mathbb {C} }$ heißt offen, wenn jeder Punkt ${\displaystyle z_{0}\in U}$ innerer Punkt ist. Für jedes ${\displaystyle z_{0}\in U}$ gibt es also ein ${\displaystyle \varepsilon >0}$, sodass die Kreisscheibe ${\displaystyle B_{\varepsilon }(z)}$ ganz in ${\displaystyle U}$ liegt. Es gilt also

${\displaystyle B_{\varepsilon }(z):=\{w\in \mathbb {C} \mid |w-z|<\varepsilon \}\subset U.}$

Für die Definition der komplexen Differenzierbarkeit ist der Begriff der offenen Menge essentiell. Er stellt sicher, dass für jeden Punkt des Definitionsbereichs das Verhalten der Funktion in einer Umgebung dieses Punktes studiert werden kann.

Es sei ${\displaystyle U\subseteq \mathbb {C} }$ eine offene Teilmenge der komplexen Ebene und ${\displaystyle z_{0}\in U}$ ein Punkt dieser Teilmenge. Eine Funktion ${\displaystyle f\colon U\to \mathbb {C} }$ heißt komplex differenzierbar im Punkt ${\displaystyle z_{0}}$, falls der Grenzwert

${\displaystyle \lim _{h\to 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}}$

existiert. Man bezeichnet ihn dann als ${\displaystyle f'(z_{0})}$.^[19] Bei dieser Definition ist zu beachten, dass der Limes ${\displaystyle \textstyle \lim _{h\to 0}}$ eine Annäherung aus beliebiger Richtung in der komplexen Ebene darstellt. Äquivalent ist also, dass für jede komplexe Nullfolge ${\displaystyle h_{n}}$, mit ${\displaystyle h_{n}\not =0}$ für alle ${\displaystyle n}$, der Wert

${\displaystyle \lim _{n\to \infty }{\frac {f(z_{0}+h_{n})-f(z_{0})}{h_{n}}}}$

existiert und das Ergebnis unabhängig von der gewählten Folge ${\displaystyle h_{n}}$ ist.

Zu bemerken ist, dass der Differentialquotient von allen Richtungen gebildet werden kann, da ${\displaystyle U}$ offen ist und somit um jeden Punkt aus ${\displaystyle U}$ eine umliegende Kreisscheibe auch noch in ${\displaystyle U}$ enthalten ist. Ist ${\displaystyle h}$ hinreichend klein, liegt also ${\displaystyle z+h}$ in ${\displaystyle U}$, egal welches komplexe Argument ${\displaystyle h}$ besitzt.

Jede komplexwertige Funktion ${\displaystyle f}$ lässt sich in der Form ${\displaystyle f(z)=\operatorname {Re} (f(z))+i\operatorname {Im} (f(z))=u(x,y)+i\ v(x,y)}$ schreiben. Dabei sind ${\displaystyle u,v\colon \mathbb {R} ^{2}\rightarrow \mathbb {R} }$ reellwertige Abbildungen. Man sagt, dass ${\displaystyle f}$ genau dann reell differenzierbar in einem Punkt ${\displaystyle z_{0}=x_{0}+i\ y_{0}}$ ist, wenn

${\displaystyle u(x,y)=u(x_{0},y_{0})+a\Delta x+b\Delta y+o(\Delta x,\Delta y),}$

${\displaystyle v(x,y)=v(x_{0},y_{0})+c\Delta x+d\Delta y+o(\Delta x,\Delta y),}$

wobei die ${\displaystyle o}$-Fehlerterme, siehe Landau-Symbol, für kleiner werdende ${\displaystyle \Delta x,\Delta y}$ gegen 0 gehen. Es gilt also^[20]

${\displaystyle {\frac {o(\Delta x,\Delta y)}{\sqrt {(\Delta x)^{2}+(\Delta y)^{2}}}}\rightarrow 0}$ für ${\displaystyle (\Delta x)^{2}+(\Delta y)^{2}\rightarrow 0.}$

Dabei handelt es sich bei ${\displaystyle a,b,c,d}$ um reelle Zahlen, die sich über die partiellen Ableitungen der Funktionen ${\displaystyle u}$ und ${\displaystyle v}$ bestimmen lassen. Präziser gesagt, bilden sie die sog. Jacobi-Matrix von ${\displaystyle f}$ als Abbildung von ${\displaystyle \mathbb {R} ^{2}}$ in sich selbst aufgefasst, via

${\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}={\begin{pmatrix}{\frac {\partial u}{\partial x}}&{\frac {\partial u}{\partial y}}\\{\frac {\partial v}{\partial x}}&{\frac {\partial v}{\partial y}}\end{pmatrix}}.}$

Die reelle Differenzierbarkeit impliziert unter anderem, dass Differentialquotienten existieren, wenn separat die reellen Variablendifferenzen ${\displaystyle \Delta x}$ und ${\displaystyle \Delta y}$ in ${\displaystyle f(x_{0}+iy_{0}+i\Delta y)}$ bzw. ${\displaystyle f(x_{0}+\Delta x+iy_{0})}$ betrachtet werden. Die Richtungsableitungen können sich indes, je nach Gewichtung von ${\displaystyle \Delta x}$ und ${\displaystyle \Delta y}$, unterscheiden.

Bei der komplexen Differenzierbarkeit liegt insbesondere reelle Differenzierbarkeit vor, allerdings kommt hinzu, dass die Richtungsableitungen alle identisch sein müssen. Es werden also die Komponenten ${\displaystyle \Delta x}$ und ${\displaystyle \Delta y}$ zu Gunsten einer zusammenfassenden Komponente ${\displaystyle \Delta z}$ „vergessen“. Es gilt im Falle komplexer Differenzierbarkeit an einer Stelle ${\displaystyle z_{0}}$ also

${\displaystyle f(z)=f(z_{0})+\omega \Delta z+o(\Delta z),}$ mit ${\displaystyle \Delta z:=z-z_{0}}$.

Die Körperstruktur von ${\displaystyle \mathbb {C} }$ erlaubt es, diesen Sachverhalt nach gewohntem Rechenverfahren in die Gleichung

${\displaystyle {\frac {f(z)-f(z_{0})}{\Delta z}}=\omega +{\frac {o(\Delta z)}{\Delta z}}}$, wobei ${\displaystyle \lim _{\Delta z\to 0}{\frac {o(\Delta z)}{\Delta z}}=0}$,

umzuwandeln. Spaltet man dies nun rückwirkend in den reellen Fall auf, so ergibt sich mit ${\displaystyle \Delta z=\Delta x+i\Delta y}$ und ${\displaystyle \omega =\operatorname {Re} (\omega )+i\operatorname {Im} (\omega )}$ die Gleichheit:

${\displaystyle \omega \Delta z=(\operatorname {Re} (\omega )+i\operatorname {Im} (\omega ))(\Delta x+i\Delta y)=(\operatorname {Re} (\omega )\Delta x-\operatorname {Im} (\omega )\Delta y)+i(\operatorname {Im} (\omega )\Delta x+\operatorname {Re} (\omega )\Delta y)}$.

Es folgt für die Jacobi-Matrix zwingend die Gleichheit

${\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}={\begin{pmatrix}\operatorname {Re} (\omega )&-\operatorname {Im} (\omega )\\\operatorname {Im} (\omega )&\operatorname {Re} (\omega )\end{pmatrix}}={\begin{pmatrix}{\frac {\partial u}{\partial x}}&{\frac {\partial u}{\partial y}}\\{\frac {\partial v}{\partial x}}&{\frac {\partial v}{\partial y}}\end{pmatrix}}.}$

Dies impliziert

${\displaystyle {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}}$ und ${\displaystyle {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}}$

was den Cauchy-Riemannschen Differentialgleichungen entspricht. Eine Funktion ${\displaystyle f\colon U\rightarrow \mathbb {C} }$ ist also genau dann komplex differenzierbar an einer Stelle ${\displaystyle z_{0}\in U}$, wenn sie dort reell stetig differenzierbar ist und zusätzlich die Cauchy-Riemannschen Differentialgleichungen erfüllt.^[21] Es ergibt sich daraus, dass die Funktion ${\displaystyle f=u+iv}$ genau dann holomorph auf ${\displaystyle U}$ ist, wenn sowohl Realteil ${\displaystyle u}$ als auch Imaginärteil ${\displaystyle v}$ überall in ${\displaystyle U}$ stetig partiell differenzierbar sind und die Cauchy-Riemannschen Differentialgleichungen erfüllen.

Die komplexe Differenzierbarkeit in einem einzelnen Punkt bietet noch nicht viel Struktur. Wichtig für die Funktionentheorie ist der Fall, wenn eine Funktion in ihrer Gänze komplex differenzierbar ist. Die Funktion ${\displaystyle f}$ heißt holomorph in ${\displaystyle U}$, falls sie in jedem Punkt ${\displaystyle z\in U}$ komplex differenzierbar ist.^[22] Ist zudem sogar ${\displaystyle U=\mathbb {C} }$, so nennt man ${\displaystyle f}$ eine ganze Funktion.^[23]

In der Fachliteratur werden die Begriffe holomorph und analytisch häufig synonym verwendet. Dies hat den keinesfalls trivialen Hintergrund, dass eine in ${\displaystyle U}$ holomorphe Funktion eine in ${\displaystyle U}$ analytische Funktion ist, und umgekehrt.^[24]

Die Menge der auf einer offenen Menge ${\displaystyle U}$ holomorphen Funktionen wird in der Literatur häufig mit ${\displaystyle {\mathcal {O}}(U)}$ bezeichnet. Diese Schreibweise wird etwa seit 1952 von der französischen Schule um Henri Cartan vor allem in der Funktionentheorie mehrerer Veränderlicher verwendet. Aussagen, es handele sich bei ${\displaystyle {\mathcal {O}}}$ um eine Ehrung des japanischen Mathematikers Oka Kiyoshi, oder eine Reflexion der französischen Aussprache des Wortes holomorph, sind unbestätigt. Vielmehr sei die Notation laut Reinhold Remmert „rein zufällig“, und es heißt in einem Brief von Cartan an Remmert vom 22. März aus dem Jahr 1982:

Sind ${\displaystyle f,g\colon U\to \mathbb {C} }$ an einer Stelle ${\displaystyle z\in U}$ komplex differenzierbar, so auch ${\displaystyle f+g}$, ${\displaystyle f-g}$ und ${\displaystyle f\cdot g}$. Das gilt auch für ${\displaystyle {\tfrac {f}{g}}}$, wenn ${\displaystyle z}$ keine Nullstelle von ${\displaystyle g}$ ist. Es gelten ferner Summen-, Produkt-, Quotienten- und Kettenregel.^[25]

Eine komplexe Abbildung ist winkeltreu, wenn sie zwei sich in einem Punkt schneidende Geradenstücke auf wiederum zwei Geradenstücke abbildet, die sich im gleichen Winkel schneiden.^[26] So sind etwa Drehungen winkeltreue Abbildungen. Nicht-lokalkonstante holomorphe Funktionen sind in, bis auf eine diskrete Teilmenge, allen Punkten ihres Definitionsbereichs winkeltreu. Es sind durch diese Eigenschaft im Wesentlichen sogar holomorphe Funktionen charakterisiert. Verlangt man zusätzlich noch Orientierungstreue, d. h., dass für ${\displaystyle f=u+iv}$ die Funktionaldeterminante

${\displaystyle \operatorname {det} {\begin{pmatrix}u_{x}&u_{y}\\v_{x}&v_{y}\end{pmatrix}}}$

in, bis auf eine diskrete Menge, allen Punkten positiv ist, so ist ${\displaystyle f}$ bereits holomorph.^[27]

Die Winkeltreue holomorpher Funktionen in einem Punkt lässt sich zudem anhand ihrer Jacobi-Matrix an der entsprechenden Stelle erklären. Dazu muss bekannt sein, dass die Abbildung

${\displaystyle \Phi \colon \mathbb {C} \to \mathbb {R} ^{2\times 2}}$

${\displaystyle \Phi (a+ib):={\begin{pmatrix}a&-b\\b&a\end{pmatrix}}}$

nach Einschränkung ihrer Zielmenge auf ihr Bild einen Isomorphismus zwischen Körpern induziert. Wegen Eulers Formel gilt zudem für ${\displaystyle r>0}$ und ${\displaystyle 0\leq \theta <2\pi }$ die Relation

${\displaystyle \Phi (r\mathrm {e} ^{i\theta })=r{\begin{pmatrix}\cos(\theta )&-\sin(\theta )\\\sin(\theta )&\cos(\theta )\end{pmatrix}}.}$

Eine komplexe Zahl kann demzufolge als lineare Abbildung gedeutet werden, nämlich als eine Drehstreckung, wie die rechte Form als Verkettung von Skalierung und Rotationsmatrix verdeutlicht.^[28] Die Cauchy-Riemann-Gleichungen verlangen nichts anderes, als dass die Jacobi-Matrix von dieser Struktur sein soll, wobei dann ${\displaystyle Df(x,y)=\Phi (f'(z))}$ mit ${\displaystyle z=x+iy}$ gilt. Darin liegt die Verbindung zu konformen Abbildungen: Winkeltreue bedeutet schlicht, dass die Jacobi-Matrix eine nichtverschwindende Drehstreckung ist.^[29]

In Punkten, in denen die Ableitung einer holomorphen Funktion verschwindet, liegt keine Winkeltreue vor, wie man am Beispiel der Funktion ${\displaystyle f(z)=z^{n}}$ mit ${\displaystyle n\geq 2}$ sieht. Im Nullpunkt werden die Winkel ver-${\displaystyle n}$-facht.^[30]

Einige klassische Resultate der reellen Analysis besitzen Pendants im Komplexen.

Sei ${\displaystyle f\colon D\to \mathbb {C} }$ eine holomorphe Funktion auf einem konvexen Gebiet ${\displaystyle D}$, und ${\displaystyle a,b\in D}$ mit ${\displaystyle a\not =b}$. Dann existieren^[31]

${\displaystyle z_{1},z_{2}\in (a,b):=\{z=at+b(1-t)\colon t\in (0,1)\}\subset D}$

so dass

${\displaystyle \operatorname {Re} \left({\frac {f(a)-f(b)}{a-b}}\right)=\operatorname {Re} (f'(z_{1}))}$

und

${\displaystyle \operatorname {Im} \left({\frac {f(a)-f(b)}{a-b}}\right)=\operatorname {Im} (f'(z_{2})).}$

Auf gewisse Weise lässt sich dies auf die komplexe Ebene ausweiten, wobei jedoch auf intervallförmige Strukturen verzichtet werden muss. Ist ${\displaystyle f}$ holomorph auf einer offenen Teilmenge ${\displaystyle U\subseteq \mathbb {C} }$ und ${\displaystyle z_{0}\in U}$ ein (innerer) Punkt, so existieren in jeder Umgebung ${\displaystyle z_{0}\in V\subseteq U}$ ein Paar ${\displaystyle z_{2}\not =z_{1}}$, so dass^[32]

${\displaystyle {\frac {f(z_{2})-f(z_{1})}{z_{2}-z_{1}}}=f'(z_{0}).}$

Damit garantiert ist, dass diese mit ${\displaystyle z_{0}}$ auf einer Geraden liegen, ist es im Allgemeinen hinreichend aber auch notwendig, dass ${\displaystyle f}$ eine konstante, lineare oder quadratische Funktion ist.

Sei ${\displaystyle f\colon D\to \mathbb {C} }$ eine holomorphe Funktion auf einem konvexen Gebiet ${\displaystyle D}$, und ${\displaystyle a,b\in D}$ mit ${\displaystyle a\not =b}$, so dass ${\displaystyle f(a)=f(b)=0}$. Dann existieren^[31]