Sie sind auf Seite 1von 20

INHALTSVERZEICHNIS 1

Funktionentheorie in mehreren Variablen


-
Komplexe Analysis
1
Frank Werner
2
Literatur
[EW] Wolfgang Ebeling: Funktionentheorie, Dierentialtopologie und Singularitaten - mit Aus-
blicken
Viewegverlag Braunschweig, 2001, ISBN: 3-528-03174-3
[CO] W.F. Osgood: Lehrbuch der Funktionentheorie
Springerverlag Wien
[Kaup] Ludger Kaup, Burchard Kaup, Gottfried Barthel: Holomorphic Funktions of Serveral Variables
De Gruyter, 1983, ISBN: 3-110-04150-2
Inhaltsverzeichnis
1 Einleitung 2
1.1 Topologie und Strukturen auf dem C
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Stetige Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Holomorphe Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Holomorphe Abbildungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5 Die Cauchy-Integralformel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6 Satz von der lokalen Umkehrbarkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Mannigfaltigkeiten 11
2.1 Untermannigfaltigkeiten und analytische Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Analytische Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Mannigfaltigkeiten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3 Nach den Vortragen 17
3.1 Erinnerung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2 Konvexitat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3 Pseudokonvexitat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4 Zusammenfassung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1
In Anlehung an die Vorlesung mit Seminar Funktionentheorie in mehreren Variablen an der Georg-August-Universitat
Gottingen von PD. Dr. Hartje Kriete
2
Keine Garantie f ur Vollstandigkeit oder Richtigkeit
2 1 Einleitung
1 Einleitung
1.1 Topologie und Strukturen auf dem C
n
Wir alle kennen den Vektorraum R
n
und seinem Spezialfall n = 2.
1.1 Denition:
Der Vektorraum
R
2
:= (x, y) [ x, y R
hat die euklidische Norm, welche auf im eine Metrik induziert. Diese wiederum induziert auch die Topologie auf
R
2
.
1.2 Denition:
Wir identizieren jetzt
R
2

= C = x + i y [ x, y R (1)
Wir sprechen in diesem Zusammenhang auch von der komplexen Ebene . Wir konnen darauf Operationen +
und denieren, s.d. C ein Korper wird.
1.3 Denition:
Wir betrachten stets
N = 0, 1, 2, ...
und von nun an sei immer n N

= N 0.
1.4 Denition:
Wir denieren C
n
als das n-fache kartesische Produkt von C als Vektorraum uber C:
C
n
:= C C ... C
. .
n mal
1.5 Denition (Normen):
Sei z C
n
, z = (z
1
, ..., z
n
)
t
, z

= x

+ i y

.
Wir betrachten stets eine der beiden folgenden Normen auf C
n
:
Die euklidische Norm:
|z| =

_
n

=1
(x
2

+y
2

) =

_
n

=1
z

Die Maximumsnorm:
[z[ := max
=1,...,n
[z

[ mit [z

[ =

Bemerkung 1.1:
Wegen der Identikation (1) ist oensichtlich auch
C

= R
2n
Daher sind alle Normen auf C
n
aquivalent und somit erzeugen | | und [ [ die selbe Topologie auf C
n
.
1.6 Denition (Oene Umgebungen):
Sei a C, r = (r
1
, ..., r
n
) ]0, [ = R
n
>0
. Dann betrachten wir im folgenden immer eine der beiden folgenden
Moglichkeiten als oene Umgebungen von a:
P (a; r) := z C
n
[ [z

[ < r

1 n
Dies ist die sogenannte n-dimensionale Polydisc mit dem Polyradius r und Zentrum a. Es gilt also
P (a; r) = D
r
1
(a
1
) ... D
r
n
(a
n
)
wobei D
r
(a) = z C [ [z a[ < r die

normale Kreisscheibe in C mit Radius r > 0 und Mittelpunkt


a C ist.
B(a; ) := z C [ |z a| < mit ]0, [.
Dies ist der n-dimensionale Ball mit dem Radius und Zentrum a.
Zur Notation 1.1:
Wir werden f ur a C und r > 0 schreiben:
1 Einleitung 3
P (a; r) := z C [ [z

[ < r 1 n
C

:= C 0
(C

)
n
:= C

... C

(C
n
)

:= C
n
0
Ist zusatzlich w (C

)
n
, so denieren wir
P (a; w) := z C
n
[ [z

[ < [w

[
= P (a; ([w
1
[, ..., [w
n
[))
= P (a; [w
1
[, ..., [w
n
[)
Bemerkung 1.2:
Beachte, dass (C

)
n
,= (C
n
)

gilt!
1.7 Denition:
Wir nennen eine oene Teilmenge X C
n
Bereich (

region), also falls f ur alle Punkte z X eine Umgebung


U mit z U existiert, s.d. U X gilt.
1.8 Denition:
Falls ein Bereich X zusammenhangend (

connected) ist, so nennen wir ihn auch ein Gebiet (

domain).
Bemerkung 1.3:
Ein Bereich X C
n
ist genau dann zusammenhangend, wenn sie wegweise zusammenhangend ist (

pathwise
connected), also falls f ur alle Punkte z, w X eine stetige Funktion : [0, 1]
//
X mit (0) = z und
(1) = w existiert.
Bemerkung 1.4:
C
n
ist hausdorsch, d.h. a, b C
n
, a ,= b existieren oene Umgebungen U a, V b s.d.
U V =
1.2 Stetige Funktionen
Sei T ein lokal kompakter Vektorraum.
1.9 Denition:
C (T) := C (T, C) ist die Menge aller stetigen, komplexwertigen Funktionen auf T. Es handelt sich dabei be-
kanntlich um eine C-Algebra.
1.10 Denition:
Ist A T, so ist
| |
A
: C (T)
//
R = [0, ] , f sup
xA
[f (x) [
eine Funktion!
Bemerkung 1.5 (Eigenschaften von | |
A
):
1. |f|
A
0 f C (T)
2. | f|
A
= [[ |f|
A
C, f C (T)
3. |f +g|
A
|f|
A
+|g|
A
f, g C (T)
Abgesehen von der Tatsache, dass | |
A
den Wert annehmen kann, handelt es sich also um eine Halbnorm.
Ist A allerdings kompakt oder relativ kompakt (d.h. A ist kompakt, wir schreiben in beiden Fallen A T),
so ist | |
A
eine Halbnorm!
Bemerkung 1.6:
Ist T selbst kompakt, so ist insbesondere | |
T
eine Norm auf C (T)! Die dadurch entstehende Topologie liefert
uns den Konvergenzbegri, welcher in diesem Fall bez uglich der Supremumsnorm genau der gleichmaigen
Konvergenz (

uniform convergence) auf T entspricht.


4 1 Einleitung
Bemerkung 1.7:
Bez uglich dieser Topologie konvergiert jede Cauchyfolge in C (T), also ist C (T) dann vollstandig (

complete).
Bemerkung 1.8:
Leider ist der Raum T = C
n
mit der

nat urlichen Topologie nicht kompakt! Allerdings besitzt diese Topologie


des C
n
eine abzahlbare Topologiebasis, was wir uns nun zu Nutze machen wollen.
Folgerung 1.1 (Konstruktion einer vollstandigen Topologie auf C (T)):
Besitzt der lokal kompakte topologische Vektorraum T eine abzahlbare Topologiebasis, so ist
T =

_
j=1
T
j
mit T
j
T

j+1
. Folglich ist C (T) mit einer Familie
_
| |
T
j
_
jN
von Halbnormen | |
T
j
, j N ausgestattet.
Diese Familie von Halbnormen deniert eine Topologie auf C (T) mit einer Basis bestehend aus Mengen der
Form
W (v, , T
j
) :=
_
w C (T) [ |v w|
T
j
<
_
Diese Topologie reektiert die lokal gleichmaige Konvergenz (

locally uniform convergence) auf C (T), d.h.


die gleichmaige Konvergenz auf den kompakten Teilmengen T
j
.
Aufgabe 1.1:
Zeigen Sie, dass C (T) mit dieser Topologie vollstandig und die Topologie hausdorsch ist.
Bemerkung 1.9:
Daraus folgt dann, dass C (T) ein Frechetraum ist.
1.3 Holomorphe Funktionen
1.11 Denition:
Sei G C ein Gebiet (

domain), f C (G) und z


0
G.
1. f heit holomorph am Punkt z
0
, falls der Grenzwert
lim
zz
0
f (z) f (z
0
)
z z
0
existiert.
2. f heit holomorph in G, falls f an allen Punkten z
0
G holomorph ist.
Mit O(G) bezeichnen wir die Menge aller in G holomorphen Funktionen.
Bemerkung 1.10:
Wir erinnern uns an C

= R
2
, weshalb wir eine holomorphe Funktion f : G
//
C auch als Abbildung
f : G
//
R
2
betrachten konnen. Als solche Abbildung existieren dann die partiellen Ableitungen von f an z
0
. Beachte aber
stets, das die Umkehrung nicht gilt!
Daf ur haben holomorphe Funktionen auch deutlich starkere Eigenschaften:
1.1 Satz (ohne Beweis):
Sei G C ein Gebiet, f : G
//
C eine holomorphe Funktion, d.h. f O(G). Dann gilt:
1. f C (G)
2. f C

(G)
1 Einleitung 5
3. F ur jede zusammenziehbare (

contractible), st uckweise glatte geschlossene Kurve G gilt


_

f () d = 0
4. Ist D
r
(z
0
) := B(z
0
, r) G, so besitzt f eine Darstellung als Potenzreihe (

powerseries) auf B(z


0
, r).
Bemerkung 1.11:
Ist f C (G), so sind die Eigenschaften 3. und 4. des obigen Satzes jeweils sogar aquivalent zu f O(G).
Sei nun X C
n
(f ur n N

) ein Gebiet.
1.12 Denition:
1. Eine Funktion f : X
//
C heit partiell holomorph (

partial holomorphic) im Punkte


z
0
=
_
z
0
1
, ..., z
0
n
_
X
genau dann, wenn f ur jedes 1 j n die Funktion
z
j
f
_
z
0
1
, ..., z
0
j1
, z
j
, z
0
j+1
, ..., z
0
n
_
als Funktion in der komplexen Variablen z
j
holomorph ist.
2. f C (X) heit genau dann holomorph in X, wenn f an jedem Punkte z
0
X partiell holomorph ist.
3. Mit O(X) bezeichnen wir die Menge aller Funktion f C (X), welche holomorph in X sind.
Bemerkung 1.12:
Summen, Produkte und Produkte mit komplexen Skalaren holomorpher Funktionen sind wieder holomorph,
also
f, g O(X) , C f +g, f g, f O(X)
Folglich ist O(X) eine CAlgebra! Dabei ist f 1 das neutrale Element, und die Einheiten (

units) sind die


nicht verschwindenden (

non-vanishing) Funktionen.
Korollar 1.1:
O(X) ist eine Algebra und die Menge ihrer Einheiten O

(X) ist genau die Menge der holomorphen Funktionen


ohne Nullstellen in X.
Beispiel 1.1 (f ur holomorphe Funktionen):
1. f c C
2. f (z) = z
j
f ur z = (z
1
, ..., z
n
) X C
n
und 1 j n.
3. Komplexe Polynome, also C[z
1
, ..., z
n
] O(X)
Bemerkung 1.13:
Oenbar ist O(X) eine Unteralgebra der Frechetalgebra C (X) (vergleiche 1.9). Wenn wir also zeigen konnen,
dass O(X) in der Topologie von C (X) abgeschlossen ist, so ist O(X) also auch vollstandig, d.h. ebenfalls ein
Frechetraum.
1.1 Lemma:
O(X) C (X) ist abgeschlossen.
Beweis:
Sei G C ein Gebiet und f

N
eine Folge in C (G) mit f

n
//

//
f bez uglich der oben denierten Norm
auf C (T) (d.h. Konvergenz auf kompakten Teilmengen).
Dann gilt f ur eine beliebige zusammenziehbare, st uckweise glatte geschlossene Kurve G, dass
_

f () d =
_

lim

() d = lim

() d = 0
da G eine abgeschlossene und somit kompakte Teilmenge ist. Daher gilt f O(G).
Da Holomorphie auf X C
n
uber partielle Holomorphie (also komponentenweise) deniert ist, folgt sofort die
Aussage.
Korollar 1.2:
F ur jedes Gebiet X C
n
ist die Unteralgebra O(X) von C (X) mit der von C (X) induzierten Topologie eine
Frechetalgebra (Und dies ist die Topologie der kompakten Konvergenz).
6 1 Einleitung
1.4 Holomorphe Abbildungen
Seien X C
n
und Y C
m
Gebiete (f ur Umgebungen konnen wir ganz analog vorgehen...). Wir wollen nun
Abbildungen zwischen diesen hoher-dimensionalen C-Vektorraumen studieren.
1.13 Denition:
1. Eine Abbildung f : X
//
Y heit holomorphe Abbildung, falls f ur jedes = 1, ..., m die -te Kom-
ponente f

: X
//
C von f holomorph ist.
2. Ist f : X
//
Y holomorph und bijektiv und f
1
: Y
//
X wieder holomorph, so nennen wir f
biholomorph.
3. Die Menge aller holomorphen Abbildungen f : X
//
Y wird mit
Hol (X, Y )
bezeichnet.
Bemerkung 1.14:
Sind X, Y C Gebiete und ist f : X
//
Y holomorph und bijektiv, so ist f automatisch biholomorph (Dies
betrit wirklich nur den Fall n = m = 1!)!
Bemerkung 1.15:
Sei p

: C
n
//
C, 1 n die Projektion, also (z
1
, ..., z
n
) z

. Oensichtlich ist p

O(C
n
).
Dann ist f : X
//
Y genau dann holomorph, wenn p

f O(X) f ur alle = 1, ..., n gilt. Es gilt sogar


folgendes Lemma:
1.2 Lemma:
Es gilt:
f Hol (X, Y ) (g f) O(X) g O(Y )
Beweis:

Ist (g f) O(X) g O(Y ), so ist auch insbesondere p

f = f

O(X) 1 m. Dies
entspricht genau der Denition einer holomorphen Abbildung, also f Hol (X, Y ).

Aufgabe!
Korollar 1.3:
Seien X C
n
, Y C
m
, Z C
k
Gebiete und f Hol (X, Y ) , g Hol (Y, Z). Dann ist auch
(g f) Hol (X, Z)
Aufgabe 1.2:
Beweisen Sie dieses Korollar!
Bemerkung 1.16:
Wir xieren ein f Hol (X, Y ). F ur g O(Y ) erhalten wir (g f) O(X). Folglich induziert f ein lineares
Funktional
f

: O(Y )
//
O(X) , g g f
von Algebren (d.h. f erhalt die Algebra-Struktur). In der Tat, es gilt:
f

(g
1
+g
2
) = (g
1
+g
2
) f = g
1
f +g
2
f = f

(g
1
) +f

(g
2
)
f

(1
Y
) = 1
X
Also ist f ein Algebra-Homomorphismus!
Wir konnen uns nat urlich auch die Frage stellen, ob f

topologische Strukturen erhalt. Sei dazu g


j

jN
O(Y )
eine Folge und K X kompakt. Da f stetig ist, ist auch f (K) Y kompakt, es gilt also
|f

(g
j
) |
K
= |g
j
|
f(K)
j N
Also erhalt f

die Norm , insbesondere gilt auch folgendes


1 Einleitung 7
1.3 Lemma:
g
j

jN
ist genau dann eine Cauchyfolge in O(Y ) (bez uglich der Konvergenz auf kompakten Teilmengen), wenn
f

(g
j
)
jN
eine Cauchyfolge in O(X) (bez uglich der Konvergenz auf kompakten Teilmengen) ist.
Bemerkung 1.17:
1. Da O(X) und O(Y ) vollstandig sind, erhalt f

also auch die topologische Struktur!


2. Ist f : X
//
Y nicht nur holomorph, sondern sogar biholomorph, so gibt uns f
1
: Y
//
X ein
Funktional
_
f
1
_

: O(X)
//
O(Y )
und es gilt
_
f
1
_

= (f

)
1
.
Wir fassen unsere Ergebnisse in folgendem Satz zusammen:
1.2 Satz (Zusammenfassung):
Jede Abbildung f Hol (X, Y ) produziert einen stetigen Algebrahomomorphismus f

: O(Y )
//
O(X).
Ist f sogar biholomorph, so ist f

invertierbar mit (f

)
1
=
_
f
1
_

. In diesem Fall haben wir also einen


Isomorphismus von topologischen Algebren O(X) und O(Y ).
1.5 Die Cauchy-Integralformel
Bemerkung 1.18:
Im Fall n = 1 gilt bekanntlich Folgendes:
Sei G C ein Gebiet, a G und r > 0 s.d. D
r
(a) G gilt. Dann liefert uns jede Funktion f C (D
r
(a))
eine Funktion h
f
O(D
r
(a)) durch
h
f
(z) :=
1
2 i
_
D
r
(a)
f ()
z
d
Dabei bezeichnet D
r
(a) den topologischen Rand von D
r
(a).
Ist f C
_
D
r
(a)
_
O(D
r
(a)), so gilt
f = h
f
auf D
r
(a), d.h. h
f
ist dann eindeutig bestimmt.
Sei jetzt stets X C
n
mit n N

eine Umgebung, a X und ]0, [


n
s.d.
P := P
n
(a, ) X
gilt.
1.14 Denition:
Wir denieren durch
T := T
n
(a, ) = z C
n
[ [z
j
a
j
[ =
j
1 j n
den erkennbaren Rand (

distinguished boundary) der Polydisc P.


Bemerkung 1.19:
Es gilt
T P aber T ,= P
Zur Notation 1.2:
Sei z C
n
und N
n
ein Multiindex. Dann ist:
[[ :=
n

j=1

j
z
1
:=
n

j=1
z
j
z

:= z

1
1
... z

n
n
=
n

j=1
z

j
j
! :=
n

j=1
(
j
!)
8 1 Einleitung
+ 1 := (
1
+ 1, ...,
n
+ 1)
Bemerkung 1.20:
Ist jetzt N
n
ein Multiindex und f : X
//
C [[-fach dierenzierbar, so ist D

f : X
//
C eine
wohldenierte Funktion f ur
D

f :=

||
f
(z
1
)

1
... (z
n
)

n
Insbesondere ist D

: O(X)
//
O(X) f ur jeden Multiindex N
n
ein lineares Funktional!
1.3 Satz (Cauchy-Integralformel):
Sei X C
n
eine Umgebung von a X und ]0, [
n
s.d. P = P
n
(a, ) X kompakt ist.
1. F ur jedes f C(T) ist die Funktion
h
f
(z) :=
_
1
2 i
_
n
_
T
f ()
( z)
1
d =
_
1
2 i
_
n
_
|
n
z
n
|=
n
...
_
|
1
z
1
|=
1
f (
1
, ...,
n
)
(
1
z
1
) ... (
n
z
n
)
d
1
... d
n
holomorph auf P.
2. Ist h
f
fortsetzbar zu

h
f
C
_
P
_
, so ist

h
f
|
T
= f.
3. Ist f C
_
P
_
O(P), so ist

h
f
= f
|
P
.
Beweis:
1. Die Funktion
f()
(z)
1
mit T und z P wohldeniert wegen z
j
,=
j
1 j n. Insbesondere ist
f ()
( z)
1
stetig in T O. Damit ist auch h
f
: P
//
C wohldeniert und stetig, also h
f
C (P).
Nach Fubini hangt dieses Multiintegral nicht von der Reihenge der Integration ab, daher konnen wir f ur
beliebiges j 1, ..., n annehmen, dass d
j
das innerste Integral ist. In diesem Fall konnen wir - wie aus
der

gewohnlichen Funktionentheorie bekannt - Dierentiation und Integration vertauschen.


Also ist h
f
partiell holomorph in Richtung z
j
f ur beliebiges j 1, ..., n.
h
f
O(P)
2. Dies ist das n-dimensionale Dirichlet-Problem und genauso schwer zu beweisen wie im eindimensionalen
Fall.
3. Siehe zum Beispiel [CO].
Durch Dierenzieren unter dem Integral erhalten wir mit leichten Rechnungen einige Korollare:
Korollar 1.4:
F ur jedes f O(X) und jeden Multiindex N
n
gilt:
1. D

f (z) =
!
(2 i)
||
_
T
f()
(z)
+1
d z P
2. [D

f (a)[
!

|f|
T
(a war der Mittelpunkt von P)
Korollar 1.5:
Sei f
j

jN
O(X) eine Folge s.d. f
j
j
//

//
f O(X) (bez uglich der Konvergenz auf kompakten Teil-
mengen). Dann gilt f ur jeden Multiindex N
n
:
D

f
j
j
//

//
D

f in O(X)
Beweis:
Korollar 1.4 Teil 1. und Vertauschen von Integration und Grenzwertbildung.
1 Einleitung 9
Korollar 1.6:
F ur alle Multiindizes N
n
ist
D

: O(X)
//
O(X)
ein stetiger Endomorphismus von O(X).
Korollar 1.7 (Satz von Liouville):
Ist f O(C
n
) beschrankt, so ist f konstant.
Beweis:

Ubungsaufgabe!
1.15 Denition:
Eine Funktion f O(C
n
) nennen wir auch ganz (

entire).
Korollar 1.8:
Sei f : C
n
//
C eine ganze Funktion. Ist
[f (z)[ C [z

[ z C
n
mit C > 0, so ist f ein Polynom in z
1
, ..., z
n
vom mit grad (f) [[.
Korollar 1.9 (Identitatssatz):
1. Seien f, g O(X). Gibt es einen Punkt z X s.d.
D

f (x) = D

g (x) Multiindizes N
n
so gilt f = g auf der Zusammenhangskomponente B von X mit x B.
2. Seien f, g O(X). Falls f
|
P
= g
|
P
auf einer Polydisc P X, so gilt f = g auf der Zusammenhangskom-
ponente B von X mit P B.
Korollar 1.10:
Sei X C
n
eine Umgebung. Dann ist O(X) genau dann ein Integritatsbereich (

integral domain) - also ein


kommutativer, nullteilerfreier Ring mit 1 - wenn X ein Gebiet ist.
Beweis:

Wir nehmen an, dass es mindestens zwei Zusammenhangskomponenten X


1
und X
2
von X gibt. Weiter
betrachten wir die charakteristischen Funktionen dieser Mengen
1
,
2
O(X). Oensichtlich ist
1
,=
0 ,=
2
, aber

1

2
= 0
wegen X
1
X
1
= . Damit hat O(X) also Nullteiler.

Sei X zusammenhangend und seien f, g O(X) mit f g 0 auf X. Wir nehmen an, dass f , 0 auf X,
d.h. z
0
X s.d. f (z
0
) ,= 0. Da f stetig ist, nden wir eine ganze Polydisk P X s.d. f (z) ,= 0 z P.
Aus f g 0 folgt entsprechend g
|
P
0, und somit mit dem Identitatssatz
g 0
Also ist O(X) nullteilerfrei.
Bemerkung 1.21:
Die aus der

normalen Funktionentheorie bekannten Satze uber die oene Abbildung und das Maximumsprinzip
ubertragen sich ganz analog auf den mehrdimensionalen Fall. Die Themen
Lemma von Schwarz
Runge Gebiete (

Runge domains)
Cartans Zusammenhangstheorem (

Cartans Uniquenes Theorem)


stehen f ur Seminarvortrage oen.
10 1 Einleitung
1.6 Satz von der lokalen Umkehrbarkeit
F ur diesen Teil sei stets X C
n
, Y C
m
und f Hol (X, Y ), d.h.
f = (f
1
, ..., f
m
)
mit f

O(X) f ur 1 m.
1.16 Denition:
F ur f Hol (X, Y ) und a X sei
f
z
die Abbildung X
//
Hom(C
n
, C
m
) welche durch
a
_
f

(a)
_
1m
1n
gegeben ist.
f
z
(a) wird auch die (holomorphe) Funktionalmatrix oder auch die (holomorphe) Jacobi-Matrix
von f am Punkte a genannt.
Bemerkung 1.22:
Das liefert uns eine lineare Abbildung
d
a
f : C
n
//
C
m
,
_
f
z
(a)
_

Anders gesagt: Die holomorphe Jacobi-Matrix beschreibt die Abbildung d
a
f auf den kanonischen Basen des C
n
und des C
m
als Matrix.
Bemerkung 1.23:
Alles, was wir aus der reellen Analysis kennen, sollte sich entsprechend auf den komplexen Fall ubertragen!
Aufgabe 1.3 (Kettenregel):
Sei f Hol (X, Y ) und g H (X, Y, Z) f ur Gebiete X C
n
, Y C
m
und Z C
k
. Zeigen sie, dass dann auch
g f Hol (X, Z) und
(g f)
z
(a) =
g
u
(f (a))
f
z
(a)
gilt.
Von speziellem Interesse f ur uns ist jetzt der Fall n = m.
Bemerkung 1.24:
Wir erinnern uns an den Fall f : R
//
R, x x
3
. Hier gilt f C

(R) und es gibt eine Umkehrabbildung


f
1
C

(R) x
3

x, aber da f
1
an der Stelle x = 0 nicht dierenzierbar ist, handelt es sich nicht um
einen Dieomorphismus. Allerdings ist f f ur alle x R mit f

(x) ,= 0 ein lokaler Dieomorphismus, d.h. es gibt


Umgebungen U x, V f (a) s.d.
f
|
U
: U
//
V
ein Dieomorphismus ist.
Diese Aussage ubertragt sich analog auf hohere Dimensionen, wie wir wissen.
1.17 Denition:
Wir nennen eine Abbildung : X
//
Y genau dann einen lokalen Dieomorphismus um a X, wenn es
oene Umgebungen a U X und (a) V X s.d.

|
U
: U
//
V
ein Dieomorphismus im eigentlichen Sinne ist.
Beispiel 1.2:
1. Sei X = Y = C

und k N

. Dann ist
f : X
//
Y, z z
k
eine holomorphe Abbildung mit der Ableitung f

(z) = k z
k1
und f ur jedes a C gilt f

(a) ,= 0.
Trotzdem ist f nur genau dann ein Dieomorphismus, wenn k = 1.
2 Mannigfaltigkeiten 11
2. Sei X = C, Y = C

und f : X
//
Y gegeben als f (z) = exp (z). Diese Funktion ist an jeder Stelle
a X ein lokaler Dieomorphismus, aber kein Dieomorphismus im eigentlichen Sinne, da jedes y C

unendlich viele Urbilder hat!


1.4 Satz (Zusammenfassung - Satz von der lokalen Umkehrbarkeit):
Sei X C
n
, Y C
m
, a X und f Hol (X, Y ). Dann sind folgende Aussagen aquivalent:
1.
f
(a) := det
_
f
z
(a)
_
,= 0
2. Es gibt Gebiete U und V s.d. a U X, f (a) V Y s.d. die Abbildung
f
|
U
: U
//
V
biholomorph ist.
Beweis (Skizze):


1. 2.
Die Funktionaldeterminante
f
(a) ist genau dann ,= 0, wenn die zu
f
z
(a) gehorige reelle Matrix eine
Determinante ,= 0 hat, d.h. genau dann, wenn es oene Umgebungen U, V gibt, s.d. a U X, f (a)
V Y und
f
|
U
: U
//
V
ein reeller Dieomorphismus ist. Also gibt es auch eine Abbildung f
1
: V
//
U, welche ebenfalls ein
reeller Dieomorphismus ist. Damit sind f und f
1
stetig, und nach Voraussetzung ist f holomorph. Wir
m ussen also lediglich die Holomorphie von f
1
zeigen.
Mit Hilfe der Cauchy-Riemann-Dierentialgleichungen ist also zu zeigen, dass

_
f
1
_

== v V, 1 , n
Gleichzeitig wissen wir aber, dass f f
1
: V
//
V die Identitat, also insbesondere holomorph ist.
Dierenzieren liefert:
0 =

_
f f
1
_
v
(b)
reelle Kettenregel
=
f
z
_
f
1
(b)
_

f
1
v
(b) b V
Da f holomorph ist, folgt
f
z
_
f
1
(b)
_
,= 0 und daher entsprechend
f
1
v
(b) = 0 b V


2. 1.

Ubungsaufgabe!
Korollar 1.11:
Sei X C
n
ein Gebiet und f Hol (X, C
n
). Ist f injektiv, so ist f (X) oen in C
n
und f : X
//
f (X) C
n
ist biholomorph.
1.18 Denition:

f
(a) := det
_
f
z
(a)
_
wird die holomorphe (oder komplexe) Funktionaldeterminante von f an der Stelle a
genannt. (oder auch holomorphe (oder komplexe) Jacobi-Determinante).
Bemerkung 1.25:
Es gilt
f
(a) ,= 0
f
z
(a) : C
n
//
C
n
ist ein Isomorphismus.
2 Mannigfaltigkeiten
2.1 Untermannigfaltigkeiten und analytische Mengen
2.1.1 Motivation
Wir wollen nicht injektive Abbildungen, z.B. f : C
2
//
C, (z
1
, z
2
) z
1
z
2
, und deren Nullstellen studieren. Ge-
nauer interessieren wir uns f ur f
1
(0). Bei der Beispielfunktion f ist f
1
(0) =
_
(z
1
, z
2
) C
2
[ z
1
= 0 oder z
2
= 0
_
sehr einfach zu berechnen, in der Realitat ist dies jedoch meistens deutlich schwieriger. Wichtig f ur Unterman-
nigfaltigkeiten ist der
12 2 Mannigfaltigkeiten
2.1.2 Satz uber die implizite Funktion
Bemerkung 2.1 (Erinnerung):
Sind X, Y C Gebiete, f : X
//
Y eine holomorphe Funktion, die nicht konstant ist. Dann ist
f
1
(w) = z X [ f (z) = w
f ur jedes w Y diskret.
Seien nun X C
n
, Y C
m
Gebiete und f Hol (X Y, C
p
) mit n, m, p N

. Dann ist f ur jeden festen Punkt


a X die Abbildung
f
a
:= f (a, ) : Y
//
C
p
, w f (a, w)
gegeben und es gilt f
a
Hol (Y, C
p
). Wie schon in der Motivation sind wir an den Fasern der Funktion f
interessiert, insbesondere an
f
1
(0) := (u, v) X Y [ f (u, v) = 0
Diese Menge ist nicht zwangslaug diskret, siehe das Beispiel in der Motivation.
Um diese Fasern leichter berechnen zu konnen, xieren wir z X und betrachten
^
z
:= w Y [ f (z, w) = 0
Dann ist die Abbildung g : X
//
T (Y ) , z ^
z
Y wohldeniert.
Bemerkung 2.2:
Wir suchen jetzt Bedingungen an f s.d. [^
z
[ = 1 f ur alle z X gilt, wir also letztendlich eine Abbildung
g Hol (X, Y ) erhalten.
2.1 Satz ( uber die implizite Funktion):
Sei f Hol (X Y, C
m
), a X, w
0
Y s.d. f (a, w
0
) = 0 und gelte
rang
_
f
a
w
(w
0
)
_
= m
Dann gibt es oene Umgebungen U; W s.d. a U X, w
0
W Y und die Abbildung g : U
//
W ist wie
in der Bemerkung

schon, d.h.
f (z, w) = 0 w = g (z) , z U, w W
und g Hol (U, W).
Beweis:
Wir betrachten die Abbildung F : XY
//
C
n+m
, (z, w) (z, f (z, w)). F ist oensichtlich holomorph, und
im Punkte (a, w
0
) hat die komplexe Jacobi-Matrix von F vollen Rang n + m. Nach dem Satz von der lokalen
Umkehrbarkeit ist F also lokal um (a, w
0
) injektiv. Verkleinere XY entsprechend, und somit nehmen wir jetzt
einfach an, dass F injektiv auf XY ist. Dann ist F (X Y ) =: V C
n+m
oen. Weiter gilt F (a, w
0
) = (a, 0)
und F : XY
//
V ist biholomorph (Satz uber die lokale Umkehrbarkeit). Wir nehmen jetzt weiter an, dass
X 0 V , denn im Zweifelsfall konnen wir X so weit verkleinern, dass X 0 in der oenen Menge V
enthalten ist. Wir nden nun eine holomorphe Umkehrabbildung
H : V
//
X Y
von F mit der Darstellung H = id
C
n H
y
. Entsprechend ist die Abbildung h := H
y
|
X{0}
holomorph, und nach
Konstruktion gilt
f (z, w) = 0 w = h(z)
Damit ist die Aussage gezeigt.
2.2 Satz (Rang-Theorem):
Sei X C
n
oen, f : X
//
Y = C
m
holomorph und a X. Hat
f
z
(x) konstanten Rang r N

f ur alle x in
einer Umgebung U

X von a, so gilt:
1. Es gibt oene Umgebungen a U X, b := f (a) V Y
2. Es gibt Polydiscs P
n
C
n
, P
m
C
m
mit Zentrum 0
2 Mannigfaltigkeiten 13
3. Es gibt biholomorphe Abbildungen : P
n
//
U, .P
m
//
V mit (0) = a, (0) = b s.d. das
Diagramm
P
n
P
m

//
U
P
n

U V
f
//
V
P
m

f ur : P
n
//
P
m
, (z
1
, ..., z
n
) = (z
1
, ..., z
r
, 0, ..., 0) kommutiert.
Bemerkung 2.3:
Anders ausgedr uckt transformieren und die Abbildung f in einer simple, lineare Projektion.
Bemerkung 2.4:
Sei

X := z P
n
[ z
r+1
= ... = z
n
= 0.
1. Ist f biholomorph, so folgt dim(X) = dim(Y ) = rang
_
f
z
(a)
_
f ur alle a X.
2. Die Abbildung
|

X
= id

X
ist injektiv, also ist es auch
f
|
(

X)
3. Sei

Y := f
_

_

X
__
. Dann ist

f := f
|
(

X)
:
_

X
_
//
Y injektiv. Eigentlich w urden wir

f
Hol
_

_

X
_
,

Y
_
erwarten, aber die Mengen
_

X
_
und

Y sind nicht oen! Dazu brauchen wir Un-
termannigfaltigkeiten.
2.1.3 Untermannigfaltigkeiten
2.1 Denition:
Eine abgeschlossene Teilmenge T X f ur eine Umgebung X C
n
heit Untermannigfaltigkeit von X, falls
es eine Zahl s N

gibt und f ur jeden Punkt a T folgende Bedingungen erf ullt sind:


1. Es gibt eine oene Umgebung U X von a und
2. eine biholomorphe Abbildung : U
//
P in eine Polydisc P
n
C
n
mit Zentrum 0 = (a) s.d.
T =
1
_
P
s
..
C
s
0
..
C
ns
_
gilt.
Bemerkung 2.5 (

Aquivalente Charakterisierung):
Eine Untermannigfaltigkeit ist lokal das Urbild
1
(0) welches eine Faser von 0 einer

schonen, geeigneten
(

suitable) Abbildung ist:


Sei : C
n
//
C
ns
gegeben durch (z
1
, ..., z
n
) (z
s+1
, ..., z
n
). Dann ist
T U = ( )
1
_
0
..
C
ns
_
im Sinne der obigen Denition. Untermannigfaltigkeiten sind also Nullstellenmengen.
Korollar 2.1:
Sei X C
n
oen, T X abgeschlossen. T ist eine Untermannigfaltigkeit von X genau dann, wenn es f ur alle
Punkte a T gibt es eine Umgebung U X von a und eine Abbildung
f Hol (U, C
m
)
s.d.
1. U T = f
1
(0) = z U [ f (z) = 0 C
m

2. rang
_
f
z
_
const auf U
14 2 Mannigfaltigkeiten
Beweis:
Die Hinrichtung haben wir schon in der obigen Bemerkung 2.5 gezeigt, die R uckrichtung rechnet man leicht
nach.
Bemerkung 2.6:
1. Ist T Untermannigfaltigkeit , so ist
dim
a
(T) = n rang
_
f
z
(a)
_
f ur a T. Ist T also nicht zusammenhangend, so kann dim
a
(T) auf den Zusammenhangskomponenten
von T variieren.
2. Nicht jede Nullstellenmenge ist eine Untermannigfaltigkeit:
Betrachte T =
_
(z
1
, z
2
) C
2
[ z
1
= z
2
= 0
_
und f (z
1
, z
2
) = z
1
z
2
. Da rang
_
f
z
_
in einer beliebigen
Umgebung von 0 nicht konstant ist, kann T keine Untermannigfaltigkeit sein.
2.2 Analytische Mengen
2.2 Denition:
Sei X C
n
oen. Eine Teilmenge A X heit analytische Menge (

analytic set) in X , falls es f ur jeden


Punkt z X eine Umgebung z U X und Funktionen f
1
, ..., f
m
O(U) gibt, s.d.
A U = u U [ f
1
(u) = ... = f
m
(u) = 0
gilt.
Ist zusatzlich A ,= X, so heit A echte analytische Teilmenge von X.
Bemerkung 2.7:
1. Wir schreiben
N (U; f
1
, ..., f
m
) = u U [ f
1
(u) = ... = f
m
(u) = 0
2. F ur m = 1 und f 0 erhalten wir X selbst als analytische Menge in X.
3. F ur X C
n
oen und z = ( z
1
, ..., z
n
) X erhalten wir z als echte analytische Teilmenge von X, indem
man f

(z) = z

f ur 1 n betrachtet.
4. Seien A
1
= N (U; f
1
, ..., f
m
1
) und A
2
= N (U; g
1
, ..., g
m
2
) analytische Mengen. Dann ist auch
A
1
A
2
= N (U; f
1
, ..., f
m
1
, g
1
, ..., g
m
2
)
eine analytische Menge.
Analog ist dann auch A
1
A
2
wieder eine analytische Menge.
5. Seien X C
n
und Y C
m
Gebiete, A Y eine analytische Menge und f Hol (X, Y ). Dann ist auch
f
1
(A) eine analytische Menge.
Dagegen sind Bilder analytischer Mengen unter holomorphen Abbildungen i.A. nicht mehr analytisch.
6. Da holomorphe Funktionen f
1
, ..., f
m
O(U) insbesondere stetig sind, muss jede analytische Menge
abgeschlossen sein.
7. F ur jeden Untervektorraum V C
n
und jeden Punkt a V ist die Teilmenge a + V eine analytische
Menge. Sie wird auch aner Unterraum genannt.
2.3 Denition:
Sei X C
n
ein Gebiet. Eine Teilmenge A X heit lokal analytische Menge, falls f ur alle a A eine
Umgebung a U X existiert, s.d.
A U
jeweils eine analytische Menge ist.
Beispiel 2.1 (einer nicht-analytischen Menge):
Sei X = C und A =
_
1
n
[ n N

_
. Da A nicht abgeschlossen ist, kann A insbesondere keine analytische Menge
sein.
Aber diese Menge ist oensichtlich lokal analytisch.
2.1 Lemma:
Eine Teilmenge A X ist genau dann analytische Menge, wenn A abgeschlossen und lokal analytische Menge
ist.
2 Mannigfaltigkeiten 15
2.3 Mannigfaltigkeiten
Sei X eine Menge mit der Topologie . Sei weiter U = U
j

jI
eine oene

Uberdeckung von X mit einer
beliebigen Indexmenge I, also U
j
j I und
X
_
jI
U
j
Sei zuletzt =
j
: U
j
//
V
j

jI
eine Menge von Homoomorphismen mit Teilemengen V
j
C
n
j
f ur alle
j I.
Bemerkung 2.8:
Daraus folgt dann schon, dass die V
j
C
n
j
oen sein m ussen.
2.4 Denition:
(X, , U, ) heit komplexe Mannigfaltigkeit genau dann, wenn
1. (X, ) hausdorsch ist
2. und f ur alle j, k I die Abbildung

j

1
k
:
k
(U
j
U
k
)
//

j
(U
j
U
k
)
biholomorph ist.
Bemerkung 2.9:
Aus
j

1
k
biholomorph folgt direkt n
j
= n
k
. Daher ist die

Dimension n
j
einer komplexen Mannigfaltigkeit
auf den Zusammenhangskomponenten von (X, ) konstant.
2.3.1 Wozu

hausdorsch?
Beispiel 2.2:
1. Sei X eine Menge mit der trivialen Topologie = , X. Sei [X[ 2. Nehmen wir an, es gibt eine
nicht-konstante, stetige Funktion f : X
//
R, d.h. x, y X mit f (x) ,= f (y). Dann sei

_
0,
[f (x) f (y)[
2
_
und damit ist
D

(f (x)) D

(f (y)) =
Da f stetig ist, muss es oene Mengen U
x
, U
y
X geben, s.d. x U
x
, y U
y
und f (U
x
) D

(f (x)),
f (U
y
) D

(f (y)), was aber direkt zu


U
x
U
y
=
und somit zu einem Widerspruch f uhrt.
Die Eigenschaft

hausdorschcheint also notwendig f ur die Existenz von stetigen, nicht-konstanten Funk-


tionen.
2. Betrachte den Raum
(R,
triv.
) (R,
std.
) =: (M)
mit der Produkttopologie. Dann konnen wir Punkte (t, x) M (t, y) f ur beliebiges t R und verschie-
dene Punkte x, y R nie durch stetige Funktionen trennen.
2.3.2 Anwendungen
2.5 Denition:
Sei (X, , U, ) eine komplexe Mannigfaltigkeit. Eine Funktion f : X
//
C heit genau dann holomorph,
wenn f ur alle j I gilt:
f
1
j
O(V
j
)
Bemerkung 2.10:
In den Meisten Fallen wird der zu Grunde liegende Raum X komplexe Mannigfaltigkeit genannt. Wir machen
das dann, wenn , U und auf X klar sind.
16 2 Mannigfaltigkeiten
Beispiel 2.3:
1. C
n
ist eine komplexe Mannigfaltigkeit. Setze dazu X = C
n
, =
std.
, U = X und
= id : X
//
C
n

Ganz analog geht das f ur oene Teilmengen.


2. Setzt man X = C
n
, = , X , U = X und = id so erhalt man keine komplexe Mannigfaltigkeit,
da der Raum nicht hausdorsch und die id hier nicht stetig ist.
3. F ur A C
nn
ist det (A) C, d.h. wir haben so eine Abbildung
det : C
nn
//
C
Wir betrachten jetzt mit N (det) C
nn
eine abgeschlossene Teilmenge, welche N (det) ,= C
nn
erf ullt.
Ergo ist
Gl (n, C) := C
nn
N (det)
eine oene Teilmenge und somit eine komplexe Mannigfaltigkeit.
4. Jede Riemannsche Flache ist eine komplexe Mannigfaltigkeit mit n
j
= 1 f ur alle j I.
2.6 Denition:
Seien (X,
X
, U
X
,
X
) und (Y,
Y
, U
Y
,
Y
) zwei komplexe Mannigfaltigkeiten. Eine stetige Abbildung
f : X
//
Y
heit genau dann holomorph , wenn es f ur alle x X Abbildungen
x
: U
x
//
V
x
mit x U
x
und

y
: U
y
//
V
y
mit f (x) U
y
gibt, s.d.

y
f
1
x
:
x
_
U
x
f
1
(U
y
)
_
//
V
y
holomorph ist.
Bemerkung 2.11:
Die Stetigkeit von f m ussen wir voraussetzen, damit

x
_
U
x
f
1
(U
y
)
_
oen und die Holomorphie somit wohldeniert ist.
2.7 Denition:
Sei G eine komplexe Mannigfaltigkeit mit Gruppenstruktur. G heit komplexe Liegruppe genau dann, wenn
die Operationen
GG
//
G, (g, h) g h
G
//
G, g g
1
holomorphe Abbildungen darstellen.
Beispiel 2.4:
Bei Gl (n, C) und (C
nm
, +) handelt es sich um komplexe Liegruppen.
Beispiel 2.5:
6. Der komplexe Projektive Raum.
Wir beginnen mit
_
C
n+1
_

= C
n+1
0 und denieren darauf eine

Aquivalenzrelation durch
z w : C

s.d. z = w
Setze nun
CP
n
:=
_
C
n+1
_

/
Bemerkung 2.12:
F ur n = 1 ist
CP
1

= S
2

= C
genau die Riemannsche Zahlenkugel bzw. die Kompaktizierung der Ebene.
3 Nach den Vortragen 17
3 Nach den Vortragen
3.1 Erinnerung
3.1 Denition:
Ein Gebiet G C
n
heit Runge-Gebiet , falls jedes f O(G) durch Polynome approximiert werden kann,
anders ausgedr uckt:
Die Polynome liegen dich in O(G).
Bemerkung 3.1:
Das ist aquivalent dazu, dass
O(G)

= O(C
n
)
gilt.
Beispiel 3.1:
Sei n = 1. Dann gilt:
G ist Runge-Gebiet G ist polynom-konvex
CG ist Gebiet
G ist einfach zusammenhangend
Im letzten Schritt gilt die R uckrichtung nicht.
3.2 Konvexitat
Wir denieren Konvexitat via einer Familie von stetigen Funktionen.
3.2 Denition:
Sei X C
n
und K X kompakt. Dann ist die T-konvexe H ulle von K gegeben als

K
F
:= x X [ [f (x)[ |f|
K
f T
3.3 Denition:
X C
n
heit T-konvex , falls f ur alle Kompakta K X auch

K
F
X
gilt.
3.4 Denition:
Ist T die Menge aller an-linearen Abbildungen, so spricht man von elementarer Konvexitat.
3.5 Denition:
Ist T = C[z], so spricht man von polynomieller Konvexitat.
3.6 Denition:
Ist T = O(X), so spricht man von holomorpher Konvexitat.
3.7 Denition:
Ist T die Menge aller plurisubharmonischen Funktionen, so spricht man von Pseudokonvexitat.
3.1 Satz (ohne Beweis):
Sei X C
n
ein Gebiet. Dann sind die folgenden Aussagen aquivalent:
1. X ist holomorph konvex.
2. F ur alle Folgen (z
n
)
nN
X mit
z
n
[ n N z
n
[ n N X
gibt es ein f O(X) mit
lim
n
[f (z
n
)[ =
18 3 Nach den Vortragen
3. Es gibt ein f O(X) s.d.
lim
n
[f (z
n
)[ =
f ur eine Folge (z
n
)
nN
in X mit
z
n
[ n N z
n
[ n N = X
4. F ur alle X gibt es eine Folge (z
n
)
nN
und ein f O(X) s.d.
lim
n
z
n
= und lim
n
[f (z
n
)[ =
Bemerkung 3.2:
Die Aussage 3. bedeutet per Denition, dass X ein Holomorphie-Gebiet ist.
Die Aussage 1. scheint eine lokale Eigenschaft zu sein.
Bei Aussage 3. handelt es sich um eine globale Eigenschaft.
Auch bei Aussage 4. scheint es sich um eine lokale Eigenschaft zu handeln.
Notig f ur den Beweis des Satzes ist unter anderem das folgende Lemma:
3.1 Lemma (Thullens Lemma):
Sei X C
n
, K X kompakt und g O(X). Falls f ur alle x K gilt, dass
[g (x)[ d
X
(x) := supr R [ P (x; r) X
so kann jedes f O(X) holomorph auf
P (a; [g (a)[)
f ur beliebiges a

K
O(X)
fortgesetzt werden.
3.3 Pseudokonvexitat
3.8 Denition:
Eine komplexe Kreisscheibe D in X C
n
ist an-lineares Bild von D = z C [ [z[ < 1:
D = d +D b
mit d C
n
, b (C
n
)

.
Analog setzt man
D := d +S
1
b
D := d +D b
Sei nun D X C
n
. Dann ist die oben denierte Abstandsfunktion
x
stetig auf X und wohldeniert.
Insbesondere ist

xD
stetig und wegen der Prakompaktheit positiv. Also ist auch
log
xD
: D
//
R
wohldeniert und es gibt genau eine harmonische Fortsetzung h
D
: D
//
R mit
h
DD
= log
xD
3.2 Satz:
Sei D X und a D. Eine holomorphe Funktion f O(X) ist dann fortsetzbar auf
P (a; exp (h
D
(a)))
Beweis:
Da h
D
harmonisch in D ist, gibt es ein g O(D) mit
g = h
D
3 Nach den Vortragen 19
Die Runge-Approximation liefert uns nun f ur beliebiges > 0 ein P C[z] s.d.
h
D
< P < h
D
auf D
gilt. Weiter sind h
D
und P harmonisch, daher folgt aus dem Maximumsprinzip
h
D
< P < h
D
auf D
Jetzt gilt aber
exp (h
D
) < exp (P) = [exp (P)[ < exp (h
D
)
Auf K := D gilt dann insbesondere
[exp (P)[ exp (h
D
) =
x
und Thullens Lemma liefert, dass jede holomorphe Funktion f O(X) eine holomorphe Fortsetzung auf die
Polydisk
P (a; [exp (P (a))[)
f ur jedes a

K
O(X)
= D (Maximumsprinzip!).
Da > 0 beliebig war, konnen wir den Grenzwert lim
0
bilden und erhalten die Behauptung.
Sei X ab jetzt stets ein Holomorphiegebiet oder wenigstens holomorph konvex. Sei weiter D X und a D.
Per Denition gilt dann
P (a; exp (h
D
(a))) X
und insbesondere haben wir
h
D
ln
_

x|
D
_
3.3 Satz:
Es gilt
h
D
ln
_

x|
D
_
Denition
ln (
x
) ist plurisubharmonisch
X ist pseudokonvex
3.4 Zusammenfassung
Wir haben also:
X holomorph konvex X pseudokonvex
Es stellt sich die Frage, ob die R uckrichtung auch gilt. Dieses Problem ist als Levins Problem bekannt und die
Losung dauerte etwa 50 Jahre. Siehe dazu [Kaup] Seite 300 .
Zusatz:
X C
n
ist pseudokonvex a X U a s.d. U X pseudokonvex ist
Index
T-konvexe H ulle, 17

Aquivalenzrelation, 16
Abbildung
bilholomorph, 6
Faser, 12
holomorph, 6, 16
Funktionaldeterminante, 11
Funktionalmatrix, 10
Jacobi-Determinante, 11
Jacobi-Matrix, 10, 12
Algebra
C (T), 3
O(X), 5
Nullteiler, 9
-Homomorphismus, 6
stetiger, 7
lineares Funktional, 6
Unteralgebra
O(X), 5
Bereich, 3
Cauchy
Integralformel, 8
Cauchy-Riemann-Dierentialgleichungen, 11
Dieomorphismus, 10
lokaler, 10
Ebene
komplexe, 2
Frechetraum, 4, 5
Fubini
Satz von, 8
Funktion
C (T), 3
O(G) f ur G C Gebiet, 4
O(X) f ur X C
n
Gebiet, 5
ganz, 9
holomorph, 4, 5, 15
Eigenschaften, 4
Identitatssatz, 9
partiell holomorph, 5
plurisubharmonisch, 17
Gebiet, 3
T-konvex, 17
elementar konvex, 17
holomorph konvex, 17
Holomorphie-Gebiet, 18
polynomiell konvex, 17
pseudokonvex, 17
Runge-Gebiet, 17
Halbnorm, 3
Familie, 4
hausdorsch, 3
Identitatssatz, 9
Integritatsbereich, 9
Korper
C, 2
Konvergenz
gleichmaige, 3
Liegruppe
komplexe, 16
Liouville
Satz von, 9
Mannigfaltigkeit
komplexe, 15
Menge
analytisch, 14
diskret, 12
lokal analytisch, 14
Teilmenge
echte analytische, 14
Multiindex, 7
Norm, 6
euklidische, 2
Maximumsnorm, 2
Supremumsnorm, 3
Polydisc, 12, 13
erkennbarer Rand, 7
Raum
hausdorsch, 15
Riemannsche Flache, 16
Riemannsche Zahlenkugel, 16
Runge
Runge-Gebiet, 17
Satz
uber die implizite Funktion, 12
Rang-Theorem, 12
von der lokalen Umkehrbarkeit, 11
Thullens Lemma, 18
Umgebung
Polydisc, 2
Untermannigfaltigkeit, 13, 14
Unterraum
aner, 14
Vergleiche das Riemannsche Flachen Skript, 16
Vollstandigkeit, 4
Zusammenhangskomponente, 9, 14
20