Analytische Fortsetzung

In der Analysis versteht man unter der analytischen Fortsetzung einer Funktion, die auf einer Teilmenge $M$ der reellen oder komplexen Zahlen definiert ist, eine analytische Funktion, die auf einem komplexen Gebiet, das $M$ umfasst, definiert ist und auf der Teilmenge $M$ mit der ursprünglichen Funktion übereinstimmt. Hier sind fast ausschließlich die Fälle von Interesse, in denen die Fortsetzung (und in der Regel auch ein maximales Gebiet) durch die vorgegebene Menge $M$ und die auf ihr definierte Funktion $f$ eindeutig bestimmt ist.

In der Funktionentheorie, insbesondere bei Untersuchungen von Funktionen in mehreren komplexen Variablen, wird der Begriff abstrakter gefasst. Hier bedeutet analytische Fortsetzung das Fortsetzen einer holomorphen Funktion bzw. eines holomorphen Funktionskeims. Dabei wird unterschieden zwischen der Fortsetzung des Keimes entlang eines Weges und der Fortsetzung zu einer Funktion auf einem Gebiet.

Bedeutungsvoll ist, dass holomorphe Funktionen – anders als etwa stetige oder lediglich beliebig oft differenzierbare Funktionen – bereits aus lokalen Daten auf einer sehr kleinen Umgebung sehr gut rekonstruiert werden können.

Analytische Fortsetzung in der Analysis

→ Hauptartikel: Identitätssatz für holomorphe Funktionen

Für die elementare Analysis wichtige Aussagen über Fortsetzbarkeit sind die folgenden:

• Sei $M$ ein reelles (offenes oder abgeschlossenes) Intervall. Dann ist eine Funktion $f\colon M\rightarrow \mathbb {R}$ genau dann analytisch fortsetzbar,

• wenn für jeden Punkt des Intervalls eine offene Umgebung existiert, auf der sich die Funktion durch eine absolut konvergente Potenzreihe darstellen lässt, oder
• wenn $f$ in jedem Punkt des Intervalls beliebig oft differenzierbar ist und die Taylorreihe zu jedem Punkt des Intervalls einen nicht verschwindenden Konvergenzradius hat.

In beiden Fällen liefern die genannten Reihen – theoretisch nur lokal, in vielen praktisch wichtigen Fällen aber bei geeigneter Wahl des Entwicklungspunktes auf einem komplexen Gebiet, das das gesamte Intervall $M$ umfasst – eine Beschreibung der hier eindeutig bestimmten analytischen Fortsetzung als Potenzreihe.

• Wenn die abgeschlossene Hülle einer unendlichen Menge $M\subset \mathbb {C}$ zusammenhängend, also zum Beispiel ein reelles Intervall ist und eine analytische Fortsetzung $g$ von $f\colon M\rightarrow \mathbb {C}$ auf ein Gebiet $G\supset M$ existiert, dann stimmt eine zweite auf $G$ holomorphe Funktion $h$ bereits dann mit der Fortsetzung $g$ überein,

• wenn sie mit $f$ auf einer unendlichen Teilmenge von $M$, die sich in $M$ häuft, übereinstimmt oder
• wenn in irgendeinem festen Punkt von $M$ die Funktionswerte und alle Ableitungen von $g$ und $h$ übereinstimmen.

Die hier genannten und einige andere Sätze über die analytische Fortsetzbarkeit und die Eindeutigkeit der Fortsetzung sind in den nachfolgenden, abstrakteren Formulierungen der Funktionentheorie als Spezialfälle enthalten.

Beispiele

• Jede ganzrationale Funktion auf $\mathbb {R}$, also jede reelle Funktion, deren Funktionsterm ein Polynom in $\mathbb {R} [x]$ ist, lässt sich auf $\mathbb {C}$ analytisch durch die Funktion mit dem gleichen Funktionsterm fortsetzen.
• Die gebrochenrationale Funktion $f(x)={\tfrac {1}{(1-x^{2})}}$ lässt sich auf das Gebiet $F=\mathbb {C} \setminus \lbrace \pm 1\rbrace$ fortsetzen. Im Inneren des Einheitskreises $G=\lbrace z\in \mathbb {C} :|z|<1\rbrace$ kann die Fortsetzung durch die Potenzreihe ${\textstyle g(z)=\sum _{k=0}^{\infty }z^{2k}}$ dargestellt werden, im Äußeren $H=\lbrace z\in \mathbb {C} :|z|>1\rbrace$ durch die Laurentreihe ${\textstyle h(z)=-\sum _{k=1}^{\infty }z^{-2k}}$. Beide Fortsetzungen $g,h$ lassen sich lokal über ihr Konvergenzgebiet hinaus durch Potenzreihen analytisch fortsetzen. Sie lassen sich also zu einer gemeinsamen analytischen Fortsetzung auf $F$ zusammensetzen, dies ist, wie immer bei gebrochenrationalen reellen Funktionen natürlich die komplexe gebrochenrationale Funktion $z\mapsto {\tfrac {1}{(1-z^{2})}}$.
• Die reellen Exponentialfunktionen, die Sinus-Funktion und die Cosinus-Funktion lassen sich als Potenzreihen mit dem Konvergenzradius $\rho =\infty$ darstellen. Daher kann man sie analytisch zu ganzen Funktionen fortsetzen, die dann durch die gleichen Potenzreihen darstellbar sind.
• Die auf $M=\mathbb {N} _{0}$ definierte Fakultätsfunktion $f(n)=n!$ besitzt als analytische Fortsetzung die Gammafunktion $z\mapsto \Gamma (z+1)$. Diese Fortsetzung wird allerdings erst durch die zusätzliche Bedingung eindeutig, dass die Fortsetzung logarithmisch konvex sein soll. → Siehe Satz von Bohr-Mollerup.

Keim

Um eine präzise Definition einer analytischen Fortsetzung im Sinne der Funktionentheorie zu geben, müssen zuerst die Begriffe Halm und Funktionskeim erläutert werden: Sei $X$ eine komplexe Mannigfaltigkeit und $a\in X$ ein Punkt. Zudem seien $U,V$ zwei Umgebungen von $a$ und $f\colon U\rightarrow \mathbb {C} ,\;g\colon V\rightarrow \mathbb {C}$ zwei holomorphe Funktionen. Die beiden Funktionen heißen äquivalent im Punkt $a$, falls eine Umgebung $W\subseteq U\cap V$ von $a$ existiert mit $f|W=g|W$. Die Menge all dieser Äquivalenzklassen wird als Halm ${\mathcal {O}}_{a}$ bezeichnet, die Äquivalenzklassen als (Funktions-)Keime. Die Projektion einer Funktion $f$ auf ihren Keim im Punkt $a$ wird mit $\rho _{a}(f)$ notiert.

Anschaulich beschreibt der Keim $\rho _{a}(f)$ einer Funktion das Verhalten von $f$ in „unmittelbarer“ Umgebung von $a$. Das ist mehr als der bloße Funktionswert $f(a)$, denn auch die Ableitungen $f'(a),f''(a)$ usw. lassen sich aus dem Keim ablesen, da sie sich aus jeder noch so kleinen Umgebung von $a$ ergeben.

Der Halm ${\mathcal {O}}_{a}$ trägt auf natürliche Weise die Struktur einer $\mathbb {C}$-Algebra. Er ist isomorph zur $\mathbb {C}$-Algebra der in $a$ konvergenten Potenzreihen, da das lokale Verhalten einer holomorphen Funktion durch ihre Potenzreihenentwicklung eindeutig bestimmt ist.

Fortsetzung entlang eines Weges

Sei $X$ eine zusammenhängende komplexe Mannigfaltigkeit, $a,b\in X$ zwei Punkte und $\varphi \in {\mathcal {O}}_{a}$ sowie $\psi \in {\mathcal {O}}_{b}$ zwei Funktionskeime. $\psi$ heißt analytische Fortsetzung von $\varphi$ entlang des Weges $c\colon [0,1]\rightarrow X$ mit $c(0)=a,c(1)=b$, falls folgendes gilt: Es existieren Punkte $x_{0},x_{1},\dots ,x_{n}\in c([0,1])$ mit offenen Umgebungen $U_{0},U_{1},\dots ,U_{n}\subseteq X$ und holomorphen Funktionen Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f_{k}\colon U_{k}\rightarrow \mathbb {C} ,\;k=0,1,\dots ,n} derart, dass

• $x_{0}=a,\;x_{n}=b$
• $c([0,1])\subset \bigcup _{k=0}^{n}U_{k}$
• $\rho _{a}(f_{0})=\varphi ,\;\rho _{b}(f_{n})=\psi$
• Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f_{k-1}|_{U_{k-1}\cap U_{k}}=f_{k}|_{U_{k-1}\cap U_{k}}} für Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle k=1,2,\dots ,n}

Mit anderen Worten: Es gibt eine endliche Folge von offenen Umgebungen, welche die Kurve überdecken. Auf diesen Umgebungen sind jeweils holomorphe Funktionen definiert, welche in den Bereichen übereinstimmen, wo sich die Umgebungen überlappen. Häufig wählt man offene Kreise als Mengen $U_{k}$, denn diese treten als Konvergenzbereiche von Reihenentwicklungen auf; in diesem Fall spricht man von einer Kreiskette.

Diese Fortsetzung hängt im Allgemeinen von der Wahl des Weges ab (nicht jedoch von den Zwischenpunkten $x_{k}$ und den Umgebungen $U_{k}$). Auch gibt es im Allgemeinen keine in einer Umgebung $U$ von ganz $c([0,1])$ holomorphe Funktion $f$ mit $\rho _{a}(f)=\varphi$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_b(f) = \psi} .

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine zusammenhängende komplexe Mannigfaltigkeit, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in X} ein Punkt und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi \in \mathcal{O}_a} ein Funktionskeim. Das Quadrupel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Y, p, f, b)} heißt eine analytische Fortsetzung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} , falls gilt:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} ist eine zusammenhängende komplexe Mannigfaltigkeit.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p\colon Y \rightarrow X} ist eine holomorphe Abbildung und ein lokaler Homöomorphismus.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon Y \rightarrow \mathbb{C}} ist eine holomorphe Funktion.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \in Y} so, dass $p(b)=a$ und $\rho _{b}(f)=\varphi \circ p$, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_b(f)} die Projektion von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} auf die Äquivalenzklasse ihres Keims in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} bezeichnet.

Die auf diese Weise definierte analytische Fortsetzung hängt mit der Fortsetzung entlang eines Weges zusammen: Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c\colon[0, 1] \rightarrow Y} ein Weg mit Anfangspunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c(0) = b} und Endpunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c(1) = d} ist, dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p \circ c\colon [0, 1] \rightarrow X} ein Weg mit Anfangspunkt $a=p(b)$ und Endpunkt $p(d)$. Die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon Y \rightarrow \mathbb{C}} definiert in einer Umgebung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(d)} durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \circ p^{-1}} einen Funktionskeim in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{O}_{p(d)}} .

Beispiel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = \mathbb{C}, a = 1} und sei $\varphi$ der Keim in $1$ desjenigen Zweiges der holomorphen Quadratwurzel mit ${\sqrt {1}}=1$. Analytische Fortsetzungen davon beispielsweise sind:

• Die durch die Taylorreihe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle\sum_{n=0}^\infty \frac{(-1)^{n}(2n)!}{(1-2n)n!^2 4^n}(x-1)^n} um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} in der offenen Kreisscheibe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(1,1)} definierte Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon Y = B(1,1) \rightarrow \mathbb{C}} . Die Projektion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p \colon Y \rightarrow \mathbb{C}} ist die natürliche Inklusionsabbildung.
• Der Hauptzweig der Quadratwurzel, definiert auf der geschlitzten komplexen Ebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y := \mathbb{C} \setminus \left\{z \in \mathbb{C} \,:\, \mathrm{Im}\,z = 0, \; \mathrm{Re}\,z \leq 0 \right\}} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p\colon Y \rightarrow \mathbb{C}} wieder die natürliche Inklusionsabbildung ist.

Alle Beispiele haben gemeinsam, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} als Teilmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = \mathbb{C}} aufgefasst werden kann. Die beiden letzten Beispiele zeigen zudem, dass es innerhalb von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{C}} kein größtes Gebiet gibt, auf dem die Funktion holomorph fortgesetzt werden kann. Die Frage nach der größtmöglichen Fortsetzung führt zur Definition der maximalen analytischen Fortsetzung:

Maximale Analytische Fortsetzung

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine zusammenhängende komplexe Mannigfaltigkeit, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in X} ein Punkt und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi \in \mathcal{O}_a} ein Funktionskeim. Eine analytische Fortsetzung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Y, p, f, b)} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} heißt maximale analytische Fortsetzung, falls für jede andere analytische Fortsetzung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Z, q, g, c)} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} gilt: Es existiert eine holomorphe Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F\colon Z \rightarrow Y} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \circ F = g} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(c) = b} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q = p \circ F } .

Existenz und Eindeutigkeit

Direkt aus der Definition folgt die Eindeutigkeit der maximalen analytischen Fortsetzung bis auf holomorphe Isomorphie. Die Existenz kann mit Hilfe der Garbentheorie gezeigt werden: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} ist die Zusammenhangskomponente des Überlagerungsraumes der Garbe der holomorphen Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{O}} , welche ein fest gewähltes Urbild des Keimes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} enthält.

Beispiel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = \mathbb{C}, \; a = 1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} sei der Keim desjenigen Zweiges der holomorphen Quadratwurzel mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sqrt{1} = 1} . Die maximale analytische Fortsetzung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Y,b,p,f)} ist gegeben durch:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y := \left\{(y_1,y_2) \in \mathbb{C}^2 \,:\, y_2 = y_1^2, y_1 \neq 0 \right\} \subset \mathbb{C}^2}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b = (1,1)}

$p(y_{1},y_{2})=y_{2}$

$f(y_{1},y_{2})=y_{1}$

Zu einer anderen analytischen Fortsetzung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Z, q, g, c)} wird die Abbildung $F\colon Z\rightarrow Y$ definiert durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(z) := \left(g(z), q(z)\right)} .

Literatur

• Heinrich Behnke und Friedrich Sommer: Theorie der analytischen Funktionen einer komplexen Veränderlichen. Studienausgabe, 3. Auflage. Springer, Berlin/Heidelberg/New York 1972, ISBN 3-540-07768-5. 
• Hans Grauert, Klaus Fritzsche: Einführung in die Funktionentheorie mehrerer Veränderlicher. Springer-Verlag, Berlin 1974, ISBN 3-540-06672-1 u. ISBN 0-387-06672-1
• Otto Forster: Riemannsche Flächen. Springer-Verlag 1977. (vergriffen; engl. Übersetzung lieferbar, ISBN 0-387-90617-7)