05.11.2012 Aufrufe

FUNKTIONENTHEORIE - D-MATH - ETH Zürich

FUNKTIONENTHEORIE - D-MATH - ETH Zürich

FUNKTIONENTHEORIE - D-MATH - ETH Zürich

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

1.4. DIE RIEMANNSCHE ZAHLENKUGEL 13<br />

1.4 Die Riemannsche Zahlenkugel<br />

Die Topologie der komplexen Ebene<br />

Wir beginnen mit einigen Erinnerungen aus der Analysis-Vorlesung [6]. Die<br />

Standardmetrik auf der komplexen Ebene ist durch die Formel<br />

d(z,w) := |z −w|<br />

für z,w ∈ C gegeben. (Siehe Anhang B für den Begriff eines metrischen<br />

Raumes.) Die offenen Bälle in dieser Metrik bezeichnen wir mit<br />

Br(z0) := {z ∈ C| |z −z0| < r}<br />

für z0 ∈ C und r > 0. Eine Teilmenge Ω ⊂ C heisst offen wenn es für jeden<br />

Punkt z0 ∈ Ω ein ε > 0 gibt so dass Bε(z0) ⊂ Ω. In etwas anschaulicher<br />

Sprechweise heisstdies, dass dieRandpunkte von Ω nicht selbstzu Ω gehören<br />

(siehe Abbildung 1.4).<br />

z 0<br />

Ω B (z )<br />

Abbildung 1.4: Offene Mengen<br />

Die Gesamtheit der offenen Teilmengen von C bildet eine Topologie. Das<br />

heisst die Mengen Ω = ∅ und Ω = C sind offen, jeder endliche Durchschnitt<br />

offener Mengen ist wieder offen, und jede beliebige (auch unendliche) Vereinigung<br />

offener Mengen ist wieder offen. Eine Teilmenge A ⊂ C heisst abgeschlossen<br />

wenn ihr Komplement C\A offen ist oder, äquivalenterweise,<br />

wenn der Grenzwert einer jeden konvergenten Folge in A auch selbst wieder<br />

in A liegt (siehe Anhang B.1). Eine Teilmenge K ⊂ C heisst kompakt wenn<br />

jede Folge in K eine Teilfolge besitzt, die gegen ein Element von K konvergiert.<br />

Nach Satz C.1 im Anhang C ist dies äquivalent zu der Bedingung,<br />

dass jede offene Überdeckung von K eine endliche Teilüberdeckung besitzt.<br />

Nach Heine–Borel ist eine Teilmenge K ⊂ C genau dann kompakt wenn sie<br />

abgeschlossen und beschränkt ist. Insbesondere ist also der gesamte Raum<br />

C nicht kompakt.<br />

ε<br />

0

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!