Vorlesungsmanuskript zu

Topologie
Werner Balser
Institut fr Angewandte Analysis
Wintersemester 2008/09
Inhaltsverzeichnis
1 Topologische Rume 5
1.1 Normierte und metrische Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Topologien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Basen einer Topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Ordnungstopologien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Unterrume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Umgebungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Abgeschlossene Mengen und Berhrungspunkte . . . . . . . . . . . . . . . . . . . . . . . . 15
1.8 Innere Punkte, abgeschlossene Hlle und oener Kern . . . . . . . . . . . . . . . . . . . . 16
1.9 Hufungspunkte, isolierte Punkte und Rand . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2 Stetige Abbildungen und Konvergenz 18
2.1 Denition der Stetigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2 Stetigkeit und Basen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3 Erzeugen von Topologien zu vorgegebenen Abbildungen . . . . . . . . . . . . . . . . . . . 19
2.4 Die Produkttopologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.5 Quotiententopologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.6 Konvergente Folgen und Folgenstetigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 Trennungsaxiome 24
3.1 Hausdor-Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2 Regulre Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 Normale Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.4 Reellwertige Funktionen und der Satz von Urysohn . . . . . . . . . . . . . . . . . . . . . . 27
2
3.5 Der Fortsetzungssatz von Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4 Die Topologie metrischer Rume 31
4.1 Normalitt metrischer Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2 Folgenstetigkeit und gleichmige Konvergenz . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.3 quivalente Metriken . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5 Die Abzhlbarkeitsaxiome 35
5.1 Das erste Abzhlbarkeitsaxiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.2 Das zweite Abzhlbarkeitsaxiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5.3 Der Urysohnsche Metrisationssatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6 Kompakte Rume 39
6.1 Denition der Kompaktheit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6.2 Kompaktheit von Unterrumen und Normalitt . . . . . . . . . . . . . . . . . . . . . . . . 40
6.3 Stetige Abbildungen auf kompakten Rumen . . . . . . . . . . . . . . . . . . . . . . . . . 41
6.4 Kompaktheit kartesischer Produkte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
6.5 Lokalkompaktheit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.6 Ein-Punkt-Kompaktizierung lokalkompakter Rume . . . . . . . . . . . . . . . . . . . . . 42
7 Zusammenhang 44
7.1 Topologischer Zusammenhang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
7.2 Stetige Abbildungen auf zusammenhngenden Rumen . . . . . . . . . . . . . . . . . . . . 45
7.3 Weitere Eigenschaften des Zusammenhangs . . . . . . . . . . . . . . . . . . . . . . . . . . 45
7.4 Zusammenhangskomponenten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
7.5 Lokaler Zusammenhang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7.6 Kurvenzusammenhang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
8 Vollstndigkeit metrischer Rume 49
8.1 Cauchyfolgen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
8.2 Vervollstndigung metrischer Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
8.3 Gleichmige Stetigkeit und Fortsetzung stetiger Abbildungen . . . . . . . . . . . . . . . . 52
8.4 Der Banachsche Fixpunktsatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3
8.5 Der Bairesche Kategoriensatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
9 Kompakte metrische Rume 57
9.1 quivalente Formulierungen der Kompaktheit . . . . . . . . . . . . . . . . . . . . . . . . . 57
9.2 Funktionenrume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
9.3 Gleichgradige Stetigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
9.4 Der Satz von Arzela-Ascoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
9.5 Der Satz von Stone-Weierstra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
10 Die Fundamentalgruppe 64
10.1 Homotopie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
10.2 Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
10.3 Invarianz der Fundamentalgruppe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
10.4 berlagerungsrume und Liftungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
10.5 Die Fundamentalgruppe des Einheitskreises . . . . . . . . . . . . . . . . . . . . . . . . . . 68
11 Anwendungen und Zugaben 69
11.1 Peano-Kurven . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
11.2 Nirgends dierenzierbare stetige Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11.3 Das Zornsche Lemma und seine Anwendungen . . . . . . . . . . . . . . . . . . . . . . . . 71
11.4 Topologische Vektorrume und Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4
Kapitel 1
Topologische Rume
Topologische Rume sind grob gesprochen nicht-leere Mengen, fr welche geregelt ist, welche ihrer Teil-
mengen oen heien sollen. Allein mit Hilfe dieser oenen Mengen kann man dann Konvergenz von Folgen
sowie Stetigkeit von Funktionen denieren. Bevor wir dies tun, wollen wir aber als wichtigste Beispiele
metrische Rume kennenlernen, die dann auch spter noch genauer untersucht werden sollen.
1.1 Normierte und metrische Rume
Denition 1.1.1 (Normierte Rume) Sei X ein beliebiger Vektorraum ber K, wobei K immer R
oder C bedeuten soll. Eine Abbildung
| | : X R, x |x|
heit eine Norm auf X, wenn folgendes gilt:
(N1) x X : |x| 0 ; |x| = 0 x = 0 (Positive Denitheit)
(N2) x X K : |x| = [[ |x| (Homogenitt)
(N3) x
1
, x
2
X : |x
1
+x
2
| |x
1
| +|x
2
| (Dreiecksungleichung)
Das Paar (X, | |) heit dann ein normierter Raum.
Beispiel 1.1.2 Fr x = (x
1
, . . . , x
n
)
T
K
n
und 1 p sei
|x|
p
=
_

_
_
[x
1
[
p
+. . . +[x
n
[
p
_
1/p
(1 p < ),
sup [x
1
[, . . . , [x
n
[ (p = ).
Dadurch ist fr jedes feste p eine Norm auf K
n
deniert; fr p < ist die Dreiecksungleichung quivalent
zur Minkowskischen Ungleichung. Wir nennen | |
p
die p-Norm auf K
n
, und sprechen fr p = 2 auch
von der euklidischen Norm.
Beispiel 1.1.3 Sei [a, b] ein abgeschlossenes Intervall, wobei a < b sei, und sei C[a, b] die Menge aller
5
dort stetigen Funktionen mit Werten in K. Fr f C[a, b] sei
|f|
p
=
_

_
_
_
b
a
[f(x)[
p
dx
_
1/p
(1 p < ),
sup [f(x)[ : a x b (p = ).
Dies sind Normen auf C[a, b], fr jedes solche p. Warum erhlt man aber keine Norm, wenn man statt
der stetigen Funktionen die Menge aller auf [a, b] Riemann- oder auch aller Lebesgue-integrierbaren Funk-
tionen betrachtet?
Denition 1.1.4 (Metrischer Raum) Sei X eine nicht-leere Menge. Als Metrik auf X bezeichnen wir
eine Abbildung d : X X R, fr die folgende Axiome gelten:
(M1) x, y X : d(x, y) 0 , d(x, y) = 0 x = y (Positive Denitheit)
(M2) x, y X : d(x, y) = d(y, x) (Symmetrie)
(M3) x, y, z X : d(x, z) d(x, y) + d(y, z) (Dreiecksungleichung)
Das Paar (X, d) heit dann auch ein metrischer Raum.
Beispiel 1.1.5 Wenn (X, | |) ein beliebiger normierter Raum ist, dann ist durch d(x, y) = |x y| fr
alle x, y X eine Metrik auf X gegeben; wir sprechen dann von der zur Norm gehrigen Metrik. Fr
X = K
n
, 1 p < und x = (x
1
, . . . , x
n
)
T
, y = (y
1
, . . . , y
n
)
T
K
n
ist also
d
p
(x, y) =
_
_
n

j=1
[x
j
y
j
[
p
_
_
1/p
eine Metrik. Fr p = 2 spricht man auch von der euklidischen Metrik. Fr p = erhlt man durch
d

(x, y) = sup
1jn
[x
j
y
j
[
ebenfalls eine Metrik auf K
n
. Dabei gilt lim
p
d
p
(x, y) = d

(x, y) fr alle x, y K
n
. Jeder normier-
te Raum ist also auch ein metrischer Raum, aber nicht umgekehrt, denn ein metrischer Raum ist im
Allgemeinen kein Vektorraum, und wenn doch, dann braucht die Metrik nicht zu einer Norm zu gehren.
Beispiel 1.1.6 Fr beliebiges nicht-leeres X und x, y X ist durch die Festsetzung
d(x, y) =
_
0 falls x = y ,
1 falls x ,= y ,
eine Metrik auf X gegeben, die als die diskrete Metrik bezeichnet wird.
Beispiel 1.1.7 Eine beliebige nicht-leere Teilmenge U eines metrischen Raumes (X, d) ist oenbar selber
wieder metrischer Raum, wenn man die Abbildung d auf U U einschrnkt. Beachte, dass dies nicht fr
normierte Rume (X, | |) gilt, da eine Teilmenge U X im Allgemeinen kein Vektorraum ist.
Aufgabe 1.1.8 (Dreiecksungleichung nach unten) Sei (X, d) ein metrischer Raum. Zeige:
x, y, z X :

d(x, y) d(y, z)

d(x, z) .
6
Aufgabe 1.1.9 (Vierecksungleichung) Zeige: In jedem metrischen Raum (X, d) gilt fr beliebige vier
Punkte x
1
, x
2
, x
3
, x
4
immer

d(x
1
, x
2
) d(x
3
, x
4
)

d(x
1
, x
3
) + d(x
2
, x
4
) .
Aufgabe 1.1.10 Sei X R
2
sternfrmig bezglich des Nullpunktes, und sei d(x, y) fr x, y R
2
gleich
dem normalen euklidischen Abstand, falls x und y linear abhngig sind, und im anderen Fall gleich der
Summe der euklidischen Abstnde zwischen x und 0 sowie y und 0. Zeige: Dies ist eine Metrik auf X.
Begrnde, warum dieser metrische Raum im englischen Sprachraum auch french railroad space genannt
wird.
Aufgabe 1.1.11 Sei (X, d) ein metrischer Raum, wobei die Menge X gleichzeitig ein Vektorraum ber
K ist. Wir nennen die Metrik d translationsinvariant, falls fr alle x, y, z X gilt d(x+z, y+z) = d(x, y),
und homogen, falls fr alle x, y X und K gilt d(x, y) = [[ d(x, y). Zeige: Genau dann gibt es
eine Norm auf X, fr welche d die zugehrige Metrik ist, wenn d translationsinvariant und homogen ist.
Finde fr jedes n N eine Metrik auf R
n
, bei der dies nicht der Fall ist.
Aufgabe 1.1.12 Sei M eine endliche Menge, und sei X = T
M
die Potenzmenge von M, also die Menge
aller Teilmengen von M. Fr ein E X bezeichne #E die Anzahl der Elemente von E. Zeige:
d(E, F) = #(E F) + #(F E) E, F X
ist eine Metrik auf X. Ist dies auch richtig, falls M = ist?
Denition 1.1.13 (Oene Mengen, Umgebungen in metrischen Rumen) Sei (X, d) ein metri-
scher Raum. Fr x
0
X und > 0 heit die Menge
U

(x
0
) = x X : d(x, x
0
) <
die -Umgebung von x
0
, oder auch die Kugel um x
0
mit Radius . Eine Teilmenge O X heit oen,
wenn folgendes gilt:
x
0
O > 0 : U

(x
0
) O.
Eine Menge U heit Umgebung eines Punktes x X, falls eine oene Menge O X existiert, fr die
x O U gilt. Falls U sogar selber oen ist, sprechen wir auch von einer oenen Umgebung von x.
In der folgenden Aufgabe 1.1.14 wird gezeigt, dass alle Kugeln oen sind; dies liegt an der Dreiecksun-
gleichung fr die Metrik. Jede -Umgebung von x ist also auch oene Umgebung von x.
Aufgabe 1.1.14 Sei (X, d) ein metrischer Raum. Zeige:
(a) X und die leere Menge sind oen.
(b) Fr jedes x X und jedes > 0 ist U

(x) oen.
(c) Genau dann ist U eine Umgebung von x, wenn es ein > 0 gibt, fr welches U

(x) U ist.
(d) Eine Menge O X ist genau dann oen, wenn sie Umgebung aller ihrer Punkte ist.
Aufgabe 1.1.15 Skizziere in R
2
die Menge U
1
(0) fr die p-Metriken mit p = 1, p = 3/2, p = 2 und
p = 4.
Lsung: Eine elegante Lsung der Aufgabe mit MAPLE geschieht mit dem Kommando
7
> plot([signum(cos(t))*(abs(cos(t)))(2/p),
signum(sin(t))*(abs(sin(t)))(2/p),t=0..2*Pi],
scaling=constrained,tickmarks=[1,1]);
und vorherige Zuweisung der einzelnen Werte fr p. Tut man dies, ergeben sich die folgenden vier Bilder:
p = 1 p = 3/2 p = 2 p = 4
Man kann erkennen, dass die Kontur der Kugel fr wachsendes p gegen die entsprechende Figur fr den
Wert p = strebt, und diese ist ein achsenparalleles Quadrat der Seitenlnge 2 mit dem Ursprung als
Mittelpunkt. 2
Aufgabe 1.1.16 Untersuche, welche Teilmengen bezglich der diskreten Metrik bzw. der Metrik im
french railroad space oen sind.
Denition 1.1.17 (Stetigkeit in metrischen Rumen) Seien (X, d
X
) und (Y, d
Y
) metrische Ru-
me. Eine Abbildung f : X Y heit stetig in einem Punkt x
0
X, falls folgendes gilt:
> 0 > 0 x X : d
X
(x, x
0
) < = d
Y
(f(x), f(x
0
)) < . (1.1.1)
Dies ist die in Analysis bliche Denition der Stetigkeit, manchmal auch --Denition genannt. Sie kann
auch mit Hilfe sogenannter oener Mengen formuliert werden:
Satz 1.1.18 Seien (X, d
X
) und (Y, d
Y
) metrische Rume, und sei f : X Y .
(a) Genau dann ist f stetig in x
0
X, falls fr jede Umgebung U von f(x
0
) die Menge f
1
(U)
Umgebung von x
0
ist.
(b) Genau dann ist f in jedem Punkt x X stetig, wenn fr jede oene Teilmenge O Y die Menge
f
1
(O) in X oen ist.
Beweis: Zu (a): Sei f in x
0
X stetig, und sei U eine Umgebung von f(x
0
). Dann gibt es ein > 0
mit U

(f(x
0
)) U. Nach Denition der Stetigkeit gibt es dann ein > 0, fr welches
x U

(x
0
) : f(x) U

(f(x
0
)) .
Daraus folgt U

(x
0
) f
1
(U), und daher ist f
1
(U) eine Umgebung von x
0
. Fr den Beweis der
Umkehrung sei > 0 gegeben. Da U

(f(x
0
)) eine Umgebung von f(x
0
) ist, folgt dass U = f
1
(U

(f(x
0
))
eine Umgebung von x
0
ist. Also gibt es ein > 0, fr welches U

(x
0
) U ist. Daraus folgt dass f im
Punkt x
0
stetig ist.
Zu (b): Sei f in jedem Punkt von X stetig, und sei O Y oen. Dann ist O Umgebung jedes Punktes
x O. Falls O
1
= f
1
(O) leer ist, ist nichts zu zeigen. Falls ein x
0
O
1
existiert, dann ist f(x
0
) O,
und dann ist nach Teil (a) O
1
eine Umgebung von x
0
. Nach Aufgabe 1.1.14 (d) ist dann also O
1
oen. Fr
die Umkehrung sei x
0
X und > 0. Da U

(f(x
0
)) oen ist, folgt dass O = f
1
(U

(f(x
0
))) ebenfalls
8
oen ist. Oenbar ist x
0
O, und deshalb muss ein > 0 existieren, fr welches U

(x
0
) O ist. Daraus
folgt die Stetigkeit von f im Punkt x
0
. 2
Da man oenbar Stetigkeit allein mit Hilfe oener Mengen formulieren kann, werden wir jetzt ein Axio-
mensystem fr solche oenen Mengen kennenlernen und allein mit Hilfe dieser Axiome die Begrie der
Stetigkeit, aber auch der Konvergenz etc. einfhren. Beachte dabei, dass es fr die Denition der Ste-
tigkeit berhaupt keine Rolle spielt, welche Teilmengen wir oen oder Umgebung nennen; um aber eine
sinnvolle Theorie aufbauen zu knnen, braucht man entsprechende Axiome fr oene Mengen.
1.2 Topologien
Wenn nichts anderes gesagt wird, soll X im Folgenden immer eine feste nicht-leere Menge bezeichnen.
Als Mengensystem bezeichnen wir eine beliebige Menge von Teilmengen von X, oder anders gesagt, eine
Teilmenge der Potenzmenge T
X
von X.
Denition 1.2.1 (Topologie, oene Mengen) Ein Mengensystem T von Teilmengen von X heit
eine Topologie auf X, wenn folgende Axiome gelten:
(O1) , X T .
(O2) Die Vereinigung beliebig vieler Mengen aus T gehrt wieder zu T .
(O3) Der Durchschnitt endlich vieler Mengen aus T gehrt wieder zu T .
Jede Menge aus T heit dann oene Teilmenge von X, oder oen in X, oder einfach oen. Wenn auf X
eine Topologie T gegeben ist, heit (X, T ) auch topologischer Raum.
Wie man gleich erkennt, gibt es viele interessante, aber auch etliche triviale Beispiele von topologischen
Rumen:
Beispiel 1.2.2 Auf X = a, b, c bildet T = , a , a, b , X eine Topologie. Das System T =
, a , b , X ist dagegen keine Topologie auf X.
Aufgabe 1.2.3 Bestimme alle Topologien auf einer dreielementigen Menge X = a, b, c.
Beispiel 1.2.4 Die Potenzmenge T
X
, also die Menge aller Teilmengen von X, ist eine Topologie auf
X, die man als diskrete Topologie bezeichnet. Diese ist in einem klaren Sinn die grte Topologie auf
X, und in diesem Sinn ist dann jede Teilmenge von X oen. Sozusagen entgegengesetzt ist , X die
kleinste Topologie auf X und wird die indiskrete Topologie genannt. Statt von der grten bzw. kleinsten
Topologie spricht man blicherweise von der feinsten bzw. grbsten Topologie auf einer Menge X; siehe
dazu die Denition 1.2.9.
Aufgabe 1.2.5 Zeige dass folgende Mengensysteme Topologien auf X sind:
(a) T = O X : X O ist endlich .
(b) T = O X : X O ist abzhlbar .
Welche ber die Axiome (O1) (O3) hinausreichende Eigenschaft gilt im Fall (b)? Fr welche Mengen
X braucht man die leere Menge nicht zustzlich zu T hinzuzufgen?.
9
Der folgende Satz stellt klar, dass metrische Rume spezielle topologische Rume sind:
Satz 1.2.6 (Topologie metrischer Rume) Sei (X, d) ein metrischer Raum. Dann ist das System
aller oenen Mengen im Sinne von Denition 1.1.13 eine Topologie auf X.
Beweis: (O1) ist klar. Seien O
j
, j J,
1
alle oen, und sei O deren Vereinigung. Fr ein x O gilt dann
x O
j
0
fr (wenigstens) ein j
0
J. Nach Denition gibt es dann ein > 0 mit U

(x) O
j
0
O, und
deshalb ist O oen. Also gilt (O2). Wenn O
1
, . . . , O
n
oen sind und O jetzt deren Durchschnitt bezeichnet,
so gibt es zu x O und j = 1, . . . , n jeweils ein
j
> 0 mit U

j
(x) O
j
. Fr = min
1
, . . . ,
n
ist
dann U

(x) O
j
fr alle j = 1, . . . , n, und somit ist U

(x) O. Also gilt auch das Axiom (O3). 2

Jede Metrik deniert also eine Topologie. Dass verschiedene Metriken durchaus dieselbe Topologie erzeu-
gen knnen, wird in Abschnitt 4.3 klar werden.
Denition 1.2.7 In R
n
, n N, wird durch die euklidische Metrik eine Topologie festgelegt, die wir die
euklidische nennen wollen. In ihr sind genau diejenigen Mengen oen, welche sich als Vereinigung belie-
biger Kugeln ergeben. Es gibt natrlich viele andere mgliche Topologien auf R
n
; wenn nichts gegenteiliges
gesagt wird, soll in Zukunft aber in R
n
immer die euklidische Topologie betrachtet werden.
Aufgabe 1.2.8 Zeige dass die diskrete Metrik die diskrete Topologie auf X deniert. Gibt es eine Metrik,
welche die indiskrete Topologie auf X deniert?
Denition 1.2.9 (Vergleich von Topologien) Seien T
1
, T
2
Topologien auf X. Wir nennen T
1
grber
als T
2
bzw. T
2
feiner als T
1
, falls T
1
T
2
ist. Wenn zustzlich T
1
,= T
2
ist, nennen wir T
1
echt grber
als T
2
bzw. T
2
echt feiner als T
1
. Im Fall von T
1
, T
2
und T
2
, T
1
heien die Topologien auch nicht
vergleichbar.
Beispiel 1.2.10 Die diskrete Topologie ist feiner, die indiskrete Topologie grber als jede andere Topologie
auf X. Auf X = a, b, c sind T
1
= , a , a, b , X und T
2
= , b , a, b , X nicht
vergleichbare Topologien.
Aufgabe 1.2.11 Seien T
j
, fr j J, Topologien auf X. Zeige dass dann auch der Durchschnitt aller T
j
eine Topologie auf X ist. Dies impliziert: Sei T
j
: j J die Menge aller Topologien, welche irgendeine
Eigenschaft A haben. Wenn auch der Durchschnitt von Topologien mit Eigenschaft A die Eigenschaft A
besitzt, so gibt es eine grbste Topologie mit Eigenschaft A, nmlich den Durchschnitt aller dieser T
j
.
Aufgabe 1.2.12 Sei X eine nicht-leere Menge, und sei K : T
X
T
X
eine Abbildung mit folgenden
Eigenschaften:
(a) K(X) = X.
(b) E X : K(E) E.
(c) E X : K(K(E)) = K(E).
(d) E, F X : K(E F) = K(E) K(F).
Zeige, dass aus E F( X) immer K(E) K(F) folgt, und schliee hieraus dass T = O X :
K(O) = O eine Topologie auf X ist.
1
Hier wie im Folgenden bezeichnet J eine sogenannnte Indexmenge, die einerseits meist als nicht leer angenommen
werden kann, aber rein formal durchaus auch leer sein darf, wobei im Falle J = aus der Denition von Vereinigung und
Durchschnitt folgt dass

j
O
j
= ,
j
O
j
= X .
10
1.3 Basen einer Topologie
In einem metrischen Raum legen die -Umgebungen, also sehr einfache oene Mengen, bereits die Topo-
logie fest. Diese Tatsache wird allgemein durch den Begri der Basis einer Topologie beschrieben:
Denition 1.3.1 (Basis) Ein Mengensystem B von Teilmengen von X heit eine Basis (fr eine Topo-
logie auf X), wenn folgende Axiome erfllt sind:
(B1) x X B B : x B.
(B2) B
1
, B
2
B x B
1
B
2
B B : x B B
1
B
2
.
Anders ausgedrckt: Der gesamte Raum X sowie der Durchschnitt zweier Basismengen sind vielleicht
selber keine Basismengen, sind aber stets Vereinigung von Basismengen; vergleiche auch Aufgabe 1.3.3.
Fr eine Basis B bezeichne immer T
B
das System aller Teilmengen O X mit der Eigenschaft
x O B B : x B O. (1.3.1)
Das heit, T
B
besteht aus allen Vereinigungen von Basismengen. Der unten folgende Satz sagt, dass T
B
eine Topologie auf X ist; wir nennen sie die von der Basis B erzeugte Topologie.
Aufgabe 1.3.2 Sei (X, d) ein metrischer Raum. berprfe, dass das Mengensystem aller -Umgebungen,
mit beliebigem > 0, die Eigenschaften (B1), (B2) hat, und dass die von dieser Basis erzeugte Topologie
aus allen oenen Mengen im Sinn von Denition 1.1.13 besteht.
Aufgabe 1.3.3 Zeige: Genau dann hat ein Mengensystem B von Teilmengen von X die Eigenschaften
(B1), (B2), wenn sowohl X als auch der Durchschnitt von zwei beliebigen Mengen aus B immer als
Vereinigung von Mengen aus B darstellbar sind.
Aufgabe 1.3.4 Sei B eine Basis. Zeige durch Induktion ber n N: Sind B
1
, . . . , B
n
B, und ist
x B
1
. . . B
n
, so gibt es ein B B mit x B B
1
. . . B
n
.
Satz 1.3.5 Fr jede Basis B ist das zugehrige Mengensystem T
B
eine Topologie auf X, und es gilt
B T
B
.
Beweis: Oenbar erfllen und X die Bedingung (1.3.1) und gehren deshalb zu T
B
. Seien jetzt O
j
T
B
fr j J, und sei O ihre Vereinigung. Fr x O gilt x O
j
0
fr mindestens ein j
0
J. Wegen (1.3.1)
gibt es ein B B mit x B O
j
0
O, und deshalb ist O T
B
. Seien jetzt O
1
, . . . , O
n
T
B
,
und sei O ihr Durchschnitt. Wenn dann x O ist, gibt es wegen (1.3.1) Mengen B
1
, . . . , B
n
B
mit x B
j
O
j
fr j = 1, . . . , n. Mit Hilfe von Aufgabe 1.3.4 folgt die Existenz von B B mit
x B B
1
. . . B
n
O
1
. . . O
n
= O, und deshalb ist O T
B
. 2
Beispiel 1.3.6 In R
2
mit der von der euklidischen Metrik erzeugten Topologie bildet die Menge aller
oenen Kreisscheiben mit beliebigen Mittelpunkten und Radien eine Basis. Eine andere, kleinere Basis
besteht aus allen Kreisscheiben mit beliebigen Mittelpunkten und Radien 1. Wieder eine andere Basis
besteht aus allen achsenparallelen Quadraten. Man sieht also, dass eine Topologie sehr unterschiedliche
Basen haben kann.
Lemma 1.3.7 Sei (X, T ) ein topologischer Raum, und sei B eine Basis der Topologie T , also T = T
B
.
Dann gilt:
11
(a) T besteht aus allen Teilmengen von X, welche sich als Vereinigung von Mengen aus B darstellen
lassen.
2
(b) T ist die grbste Topologie auf X, welche B umfasst; d. h. genauer: Ist

T eine Topologie auf X,
und gilt B

T , so folgt T

T .
(c) T ist der Durchschnitt aller Topologien auf X, welche B umfassen.
Beweis: Zu (a): Da B T
B
= T ist, und da eine Topologie gegenber Vereinigung abgeschlossen ist, folgt
dass beliebige Vereinigungen von Mengen aus B zu T gehren. Ist umgekehrt O T , so gilt (1.3.1), und
deshalb ist O Vereinigung von Mengen aus B. Zu (b): Wenn O T ist, so ist O nach (a) Vereinigung von
Mengen aus B, also Vereinigung von Mengen aus

T . Da

T eine Topologie auf X ist, ist jede Vereinigung
von Mengen aus

T selber wieder in

T , und daraus folgt die Behauptung. Zu (c): Der Durchschnitt von
Topologien auf X ist nach Aufgabe 1.2.11 selber wieder eine Topologie, und daraus fogt die Behauptung
unter Benutzung von (b). 2
Lemma 1.3.8 Seien T
1
und T
2
Topologien auf X, und seien B
1
Basis von T
1
sowie B
2
Basis von T
2
.
Genau dann ist T
1
feiner als T
2
, wenn fr alle B
2
B
2
und alle x B
2
ein B
1
B
1
existiert mit
x B
1
B
2
.
Beweis: Sei T
1
feiner als T
2
, also T
2
T
1
. Wegen B
2
T
2
folgt fr B
2
B
2
auch B
2
T
1
. Also gibt es
wegen (1.3.1) zu jedem x B
2
ein B
1
B
1
mit x B
1
B
2
. Fr die Umkehrung sei O T
2
. Ist x O,
so gibt es wegen (1.3.1) ein B
2
B
2
mit x B
2
O, und nach Voraussetzung gibt es dann ein B
1
B
1
mit x B
1
B
2
. Daraus folgt aber O T
1
. 2
Bei der Aufgabe, zu einer gegebenen Topologie eine Basis zu nden, kann folgendes Lemma helfen:
Lemma 1.3.9 Sei (X, T ) ein toplogischer Raum. Sei weiter B T so, dass fr alle O T die Bedingung
(1.3.1) gilt. Dann ist B bereits eine Basis von T .
Beweis: Zu zeigen sind nur die Eigenschaften (B1), (B2) einer Basis. Da X T ist, folgt aber (B1),
und da mit B
1
, B
2
B T auch B
1
B
2
T ist, folgt auch (B2). 2
Beispiel 1.3.10 Sei X = R mit der euklidischen Topologie. Oene Mengen in R sind Vereinigung von
hchstens abzhlbar vielen oenen Intervallen, und die oenen Intervalle haben die Eigenschaften (B1),
(B2), sind also eine Basis der blichen euklidischen Topologie. Auch die Menge der rechts halboenen
Intervalle, also B = [a, b) : a, b R, a < b bilden eine Basis. Die zu dieser Basis gehrige Topologie
wird die lower limit topology genannt und ist echt feiner als die euklidische Topologie; dies folgt mit Hilfe
von Lemma 1.3.8 und der Tatsache, dass ein halboenes Intervall in der euklidischen Topologie nicht
oen ist.
Aufgabe 1.3.11 Finde eine abzhlbare Basis der euklidischen Topologie in R
n
, fr alle n 1.
2
Beachte hierbei, dass die leere Menge gleich der leeren Vereinigung ist, also in jedem Fall als Vereinigung von Mengen
aus B geschrieben werden kann.
12
1.4 Ordnungstopologien
Denition 1.4.1 (Ordnungsrelationen) Eine Relation < auf X heit (vollstndige) Ordnung, falls
folgende Axiome gelten:
(O1) Fr alle x
1
, x
2
X gilt genau eine der drei Aussagen
x
1
< x
2
, x
2
< x
1
, x
1
= x
2
.
(O2) x
1
, x
2
, x
3
X : (x
1
< x
2
und x
2
< x
3
) = x
1
< x
3
. (Transitivitt)
Wir schreiben dann auch x
1
x
2
anstatt (x
1
< x
2
oder x
1
= x
2
) und denieren oene, halboene und
abgeschlossene Intervalle wie in der Analysis.
Beispiel 1.4.2 (Lexikographische Ordnung) In R
n
, n N, sei fr x
1
= (x
11
, . . . , x
n1
)
T
und x
2
=
(x
12
, . . . , x
n2
)
T
eine Relation < durch folgende Festlegung deniert:
x
1
< x
2
k 1, . . . , n : x
j1
= x
j2
j = 1, . . . , k 1 , x
k1
< x
k2
.
Diese Relation erfllt (O1), (O2) und heit die lexikographische Ordnung auf R
n
.
Aufgabe 1.4.3 Bestimme die oenen Intervalle bezglich der lexikographischen Ordnung in R
2
.
Aufgabe 1.4.4 Wie kann man auf der Menge aller reellen Zahlenfolgen eine Ordnung denieren?
Denition 1.4.5 (Ordnungstopologie) Sei auf X eine Ordnung gegeben. Sei B die Menge aller oe-
nen Intervalle in X, wobei evtl. noch folgende Intervalle hinzukommen:
(a) Falls X nur ein Element enthlt, gelte X B.
(b) Falls es ein grtes Element in X gibt, d. h., falls es ein x
0
X gibt, fr welches x x
0
gilt fr
alle x X, dann sei (x, x
0
] B fr alle x X.
(c) Falls es ein kleinstes Element in X gibt, d. h., falls es ein x
0
X gibt, fr welches x
0
x gilt fr
alle x X, dann sei [x
0
, x) B fr alle x X.
Man zeigt leicht, dass dann B eine Basis bildet. Die zugehrige Topologie heit die Ordnungstopologie
auf X.
Aufgabe 1.4.6 berprfe, dass die oben eingefhrte Menge B die Eigenschaften (B1), (B2) hat.
1.5 Unterrume
Satz 1.5.1 Sei (X, T ) topologischer Raum. Sei U X nicht leer, und sei
T
U
= O U : O T . (1.5.1)
Dann ist T
U
eine Topologie auf U.
13
Beweis: Wegen = U und U = X U gilt , U T
U
. Sind O
jU
T
U
fr j J, und ist O
U
ihre Vereinigung, so gibt es nach Denition von T
U
Mengen O
j
T mit O
jU
= O
j
U fr alle j J.
Dann folgt aber, dass O gleich dem Durchschnitt von U mit der Vereinigung aller O
j
ist, und deshalb ist
O T
U
. Genauso schliet man auch fr den Durchschnitt von endlich vielen Mengen aus T
U
. 2
Denition 1.5.2 Sei (X, T ) topologischer Raum. Sei U X nicht leer, und sei T
U
durch (1.5.1) gegeben.
Dann nennt man T
U
die Unterraumtopologie oder Spurtopologie auf U, und (U, T
U
) heit topologischer
Unterraum von (X, T ).
Aufgabe 1.5.3 Sei (X, d) ein metrischer Raum, also insbesondere ein topologischer Raum mit der durch
die Metrik gegebenen Topologie. Eine nicht-leere Teilmenge U X kann dann als metrischer Raum mit
der auf U U restringierten Metrik, aber auch als topologischer Unterraum aufgefasst werden. Zeige,
dass dies zur gleichen Topologie auf U fhrt.
Aufgabe 1.5.4 Sei (X, T ) topologischer Raum. Sei U T . Zeige: Eine Teilmenge von U ist genau
dann oen in der Spurtopologie auf U, wenn sie als Teilmenge von X oen ist.
1.6 Umgebungen
Denition 1.6.1 Sei (X, T ) topologischer Raum, und sei x X. Jedes O T , welches x enthlt, heit
oene Umgebung von x. Jede Obermenge einer oenen Umgebung von x heit Umgebung von x. Mit
|(x) bzw. |
0
(x) wird das System aller Umgebungen bzw. aller oenen Umgebungen von x bezeichnet.
Beachte, dass manche Bcher, z. B. das von J. R. Munkres [14], nur oene Mengen als Umgebungen
zulassen.
Wir nennen eine Teilmenge B(x) |
0
(x) eine Umgebungsbasis im Punkt x, wenn zu jedem U |(x)
ein B B(x) existiert mit B U.
Aufgabe 1.6.2 Untersuche, welche Mengen Umgebungen eines Punktes x X sind, wenn T gleich der
diskreten bzw. der indiskreten Topologie ist.
Satz 1.6.3 Sei (X, T ) topologischer Raum, und sei x X. Dann gilt immer:
(a) |(x) ,= .
(b) U |(x) : x U.
(c) U |(x) V X : U V = V |(x).
(d) U
1
, . . . , U
n
|(x) = U
1
. . . U
n
|(x).
(e) U |(x) V |(x) x V : U |( x).
Beweis: Da X T und x X ist, folgt X |(x), und daher gilt (a). Nach Denition enthlt jede
Umgebung von x eine oene Umgebung von x, und diese enthlt x, und somit gilt (b). Auf Grund der
Denition der Umgebungen ist (c) klar. Da der Durchschnitt endlich vieler oener Mengen wieder oen
ist, folgt (d), und (e) gilt, wenn wir V als oene Teilmenge von U whlen, welche x enthlt; die Existenz
eines solchen V folgt aus der Denition von Umgebungen. 2
Man kann die Aussagen (a) (e) des obigen Satzes zu Axiomen des Umgebungssystems eines Punktes
x X erheben und dann oene Mengen als solche denieren, die Umgebungen jedes ihrer Punkte sind.
Dies fhrt zu einer quivalenten Denition eines topologischen Raumes, was hier aber nicht genauer
untersucht werden soll. Jedenfalls gilt aber folgendes Lemma:
14
Lemma 1.6.4 Sei (X, T ) topologischer Raum. Eine Teilmenge O X ist genau dann oen, also in T ,
wenn fr alle x O gilt O |(x).
Beweis: Wenn O oen ist, dann folgt mit der Denition von Umgebungen O |
0
(x) |(x) fr jedes
x O. Wenn umgekehrt gilt O |(x) fr alle x O, dann gibt es zu jedem solchen x eine oene Menge
O
x
mit x O
x
O. Also ist oenbar O die Vereinigung dieser Mengen O
x
und deshalb selber oen. 2
Aufgabe 1.6.5 Sei (X, T ) topologischer Raum, und sei B eine Basis fr T . Zeige: Genau dann ist
U |(x) fr ein x X, wenn es eine Menge B B gibt mit x B U.
1.7 Abgeschlossene Mengen und Berhrungspunkte
Denition 1.7.1 Sei (X, T ) topologischer Raum. Eine Menge A X heit abgeschlossen, wenn X A
oen ist, also in T liegt. Ein x X heit Berhrungspunkt einer Teilmenge E X, wenn gilt
U |(x) : U E ,= . (1.7.1)
Satz 1.7.2 (Rechenregeln fr abgeschlossene Mengen) In jedem topologischen Raum (X, T ) gilt:
(A1) und X sind abgeschlossen.
(A2) Die Vereinigung endlich vieler abgeschlossener Mengen ist abgeschlossen.
(A3) Der Durchschnitt beliebig vieler abgeschlossener Mengen ist abgeschlossen.
Beweis: Folgt aus den de Morganschen Regeln und der Denition abgeschlossener Mengen. 2
Aufgabe 1.7.3 Sei (X, T ) topologischer Raum. Sei U ,= eine abgeschlossene Teilmenge von X. Zeige:
Eine Teilmenge von U ist genau dann abgeschlossen in der Spurtopologie auf U, wenn sie als Teilmenge
von X abgeschlossen ist.
Satz 1.7.4 Sei (X, T ) topologischer Raum, und sei E X. Dann ist die Menge aller Berhrungspunkte
von E eine abgeschlossene Obermenge von E.
Beweis: Jedes x E ist per Denition ein Berhrungspunkt von E. Sei jetzt O das Komplement
der Berhrungspunktmenge von E, und sei x O. Dann gibt es nach Denition der Berhrungspunkte
mindestens eine Umgebung U |(x) mit U E = . Wir knnen dann o. B. d. A. annehmen dass U
oen ist, denn sonst kann man in U eine kleinere oene Umgebung von x nden. Da U dann Umgebung
aller seiner Punkte ist, kann es in U keinen Berhrungspunkt von E geben. Daher ist also U O, und
deshalb ist O |(x). Da dies fr jedes x O gilt, ist O oen, also die Menge der Berhrungspunkte
abgeschlossen. 2
15
1.8 Innere Punkte, abgeschlossene Hlle und oener Kern
Denition 1.8.1 Sei (X, T ) topologischer Raum, und sei E X. Ein x E heit innerer Punkt (von
E), falls E |(x) ist. Die Menge aller inneren Punkte von E wird oener Kern von E genannt und mit

E bezeichnet. Die Menge aller Berhrungspunkte von E heit die abgeschlossene Hlle von E und wird
mit E bezeichnet.
Satz 1.8.2 Sei (X, T ) topologischer Raum, sei B eine Basis fr T , und sei E X. Dann gilt:
(a) Der oene Kern von E ist die grte oene Teilmenge von E, oder in anderen Worten:

E ist die
Vereinigung aller oenen Teilmengen von E.
(b) Die abgeschlossene Hlle von E ist die kleinste abgeschlossene Obermenge von E, oder in anderen
Worten: E ist der Durchschnitt aller abgeschlossenen Obermengen von E.
(c) x

E B B : x B E.
(d) x E B B : x B = B E ,= .
Beweis: Zu (a): Sei O eine oene Teilmenge von E, und sei x O. Dann ist E |(x), und deshalb
ist x

E. Also folgt O

E. Umgekehrt: Ist x

E, so ist E |(x), und deshalb gibt es eine oene

Teilmenge von E, die x enthlt. Zu (b): Nach Satz 1.7.4 ist E eine abgeschlossene Obermenge von E.
Ist jetzt A eine beliebige abgeschlossene Obermenge von E, und ist x O = X A, dann kann x kein
Berhrungspunkt von E sein. Also ist x , E, und daher ist E A. Zu (c): Nach Denition einer Basis
folgt fr x

E die Existenz eines B B mit x B

E. Ist umgekehrt x B E fr ein B B, so

ist x ein innerer Punkt von E und liegt deshalb in

E. Zu (d): Ist x E, und ist B B mit x B, so
ist B |
0
(x), und deshalb folgt B E ,= nach Denition von Berhrungspunkten. Die Umkehrung
gilt aber ebenfalls, da nach Aufgabe 1.6.5 in jeder Umgebung von x eine Basismenge B liegen muss, die
selber x enthlt. 2
Satz 1.8.3 Sei (X, T ) topologischer Raum, und sei E X. Dann gilt:
(a) E ist genau dann oen, wenn E =

E ist.
(b) E ist genau dann abgeschlossen, wenn E = E ist.
(c) Fr F = X E gilt

F = X E, F = X

E.
Beweis: Folgt leicht aus dem vorherigen Satz. 2
Aufgabe 1.8.4 Sei (X, T ) topologischer Raum.
(a) Zeige dass die Abbildung K : T
X
T
X
mit K(E) =

E die in Aufgabe 1.2.12 aufgelisteten
Eigenschaften hat.
(b) Finde selber entsprechende Eigenschaften fr die Abbildung H : T
X
T
X
mit H(E) = E.
16
1.9 Hufungspunkte, isolierte Punkte und Rand
Denition 1.9.1 Sei (X, T ) topologischer Raum, und sei E X. Ein x X heit Hufungspunkt von
E, falls gilt
U |(x) :
_
U x
_
E ,= .
Die Menge aller Hufungspunkte von E wird mit E

bezeichnet. Ein x X heit Randpunkt von E, falls

gilt
U |(x) : U E ,= , U
_
X E
_
,= .
In Worten bedeutet dies, dass Randpunkte genau diejenigen Punkte sind, welche Berhrungspunkte sowohl
von E als auch vom Komplement von E sind. Die Menge aller Randpunkte von E heit der Rand von
E, in Zeichen rd (E). Ein Punkt x E heit isolierter Punkt von E, falls ein U |(x) existiert mit
U E = x.
Satz 1.9.2 Sei (X, T ) topologischer Raum, und sei E X. Dann gilt:
(a) E = E E

.
(b) rd (E) = rd (X E) = E

E.
Beweis: Da Hufungspunkte immer Berhrungspunkte sind folgt E

E. Wenn umgekehrt x E ist,

und x , E

gilt, dann muss nach Denition von Hufungs- und Berhrungspunkten x E sein. Also gilt
(a). Sei jetzt x rd E. Dann ist x ein Berhrungspunkt, aber kein innerer Punkt von E, und somit ist
x E

E. Die Umkehrung ist aber ebenfalls richtig. Durch Vertauschen von E und x E folgt der Rest
von (b). 2
Aufgabe 1.9.3 Sei (X, T ) topologischer Raum, und sei E X. Zeige dass E genau dann abgeschlossen
ist, wenn alle Hufungspunkte von E zu E gehren. Zeige weiter, dass fr ein x X genau eine der
folgenden drei Aussagen richtig ist:
(a) x ist innerer Punkt von E, (b) x ist innerer Punkt von X E, (c) x ist Randpunkt von E.
Aufgabe 1.9.4 Sei (X, T ) topologischer Raum. Charakterisiere diejenigen Teilmengen von X, welche
keine Randpunkte besitzen.
Aufgabe 1.9.5 Sei (X, T ) topologischer Raum, und seien K und H wie in Aufgabe 1.8.4.
(a) Zeige K(X E) = X H(E) und H(X E) = X K(E) fr alle E X.
(b) Zeige: E F( X) = K(E) K(F) und H(E) H(F).
(c) Zeige (in dieser Reihenfolge) fr alle E X
K(E) E H(E),
K(E) K(H(K(E))) H(K(E)) H(E),
K(E) K(H(E)) H(K(H(E))) H(E).
(d) Sei E X gegeben. Zeige dass unter allen Mengen, welche durch wiederholtes Anwenden der
Abbildungen H und K auf die Menge E entstehen, hchstens folgende sieben Mengen verschieden
sein knnen:
E , H(E) , K(E) , H(K(E)) , K(H(E)) , K(H(K(E))) , H(K(H(E))) . (1.9.1)
(e) Finde (in R mit der euklidischen Topologie) ein Beispiel einer Menge E, fr welche die Mengen in
(1.9.1) alle verschieden sind.
17
Kapitel 2
Stetige Abbildungen und Konvergenz
Wenn nichts anderes gesagt wird, bezeichnen (X, T
X
), (Y, T
Y
) und (Z, T
Z
) im Folgenden immer feste,
aber beliebige topologische Rume.
2.1 Denition der Stetigkeit
Denition 2.1.1 Eine Abbildung f : X Y heit stetig in einem Punkt x
0
X, falls fr jedes
U |(f(x
0
)) gilt f
1
(U) |(x
0
). Wir nennen f auch stetig auf X, wenn es in jedem Punkt x
0
X
stetig ist.
Aufgabe 2.1.2 Zeige: Konstante Abbildungen f : X Y sind stetig auf X. Zeige weiter: Ist f : X
Y stetig in x
0
X, und ist x
0
E X, so ist die Restriktion f : E Y stetig in x
0
.
Aufgabe 2.1.3 Untersuche, welche Abbildungen f : X Y stetig sind, wenn die Topologie auf X
und/oder Y gleich der diskreten bzw. indiskreten Topolgie ist.
Satz 2.1.4 Eine Abbildung f : X Y ist genau dann stetig auf X, wenn fr alle O T
Y
gilt
f
1
(O) T
X
.
Beweis: Sei f stetig auf X, und sei O T
Y
. Falls f
1
(O) ,= ist, sei x
0
f
1
(O). Dann ist O
|(f(x
0
)), und deshalb ist f
1
(O) |(x
0
) nach Denition der Stetigkeit im Punkt x
0
. Da x
0
ein beliebiger
Punkt von f
1
(O) sein kann, ist f
1
(O) oen. Fr die Umkehrung seien x
0
X und U |(f(x
0
)
gegeben. Dann gibt es ein O T
Y
mit f(x
0
) O U, und nach Voraussetzung ist f
1
(O) T
X
. Wegen
x
0
f
1
(O) f
1
(U) folgt hieraus f
1
(U) |(x
0
). Also ist f stetig im Punkt x
0
. Da x
0
ein beliebiger
Punkt von X war, folgt die Stetigkeit von f auf X. 2
Aufgabe 2.1.5 Zeige: Eine Abbildung f : X Y ist genau dann stetig auf X, wenn fr alle (bezglich
der Topologie auf Y ) abgeschlossenen Teilmengen A Y auch f
1
(A) abgeschlossen (in der Topologie
auf X) ist.
Satz 2.1.6 (Hintereinanderausfhrung stetiger Abbildungen) Seien f : X Y und g : Y
Z gegeben. Falls f in einem Punkt x
0
X und g im Punkt f(x
0
) stetig sind, dann ist h = g f stetig im
Punkt x
0
.
18
Beweis: Sei U |(h(x
0
)). Nach Voraussetzung und der Denition der Stetigkeit ist dann g
1
(U)
|(f(x
0
)) und f
1
(g
1
(U)) = h
1
(U) |(x
0
). Das ist die Behauptung. 2
Aufgabe 2.1.7 Zeige folgendes
Klebelemma Sei X = A
1
A
2
, mit abgeschlossenen Mengen A
1
, A
1
X, und seien f
j
: A
j
Y stetig
auf A
j
, fr 1 j 2. Falls f
1
(x) = f
2
(x) fr alle x A
1
A
2
gilt, dann existiert genau eine auf X
stetige Abbildung f : X Y mit f(x) = f
j
(x) fr x A
j
, 1 j 2.
2.2 Stetigkeit und Basen
Der --Denition der Stetigkeit aus der Analysis entspricht allgemein die folgende Charakterisierung von
Stetigkeit mit Basen der beiden Topologien T
X
und T
Y
:
Satz 2.2.1 Seien B
X
und B
Y
Basen fr die Topologien T
X
bzw. T
Y
. Genau dann ist eine Abbildung
f : X Y stetig in einem Punkt x
0
X, wenn gilt
B
1
B
Y
mit f(x
0
) B
1
B
2
B
X
mit x
0
B
2
: f(B
2
) B
1
.
Beweis: Sei f stetig im Punkt x
0
, und sei B
1
B
Y
mit f(x
0
) B
1
gegeben. Da B
1
oen und deshalb
Umgebung von f(x
0
) ist, folgt dass f
1
(B
1
) |(x
0
) ist, und nach Denition von Umgebungen bzw. Basen
existiert deshalb ein B
2
B
X
mit x
0
B
2
f
1
(B
1
). Daher gilt eine Richtung der Behauptung. Zur
Umkehrung sei U |(f(x
0
)). Dann gibt es ein B
1
B
Y
mit f(x
0
) B
1
U, und nach Voraussetzung
existiert dazu wiederum ein B
2
B
X
mit x
0
B
2
f
1
(B
1
) f
1
(U). Also ist f
1
(U) |(x
0
), und
daher ist f stetig im Punkt x
0
. 2
Aufgabe 2.2.2 Im Falle von zwei metrischen Rumen knnen wir als Basen B
X
und B
Y
bekanntlich die
Menge aller Kugeln mit beliebigen Mittelpunkten und Radien whlen. Zeige fr diesen Fall, dass obiger
Satz genau der --Denition der Stetigkeit in metrischen Rumen entspricht.
2.3 Erzeugen von Topologien zu vorgegebenen Abbildungen
Lemma 2.3.1 Seien X eine beliebige nicht-leere Menge und (Y, T
Y
) ein topologischer Raum, sowie f :
X Y eine Abbildung. Dann ist
T
X,f
= f
1
(O) : O T
Y
(2.3.1)
eine Topologie auf X, und zwar die grbste Topologie, bezglich der f stetig auf X ist.
Beweis: Wegen = f
1
() und X = f
1
(Y ) folgt , X T
X,f
. Sind O
j
T
X,f
fr j J, so gibt es

O
j
T
Y
mit O
j
= f
1
(

O
j
) fr alle j J. Wegen
j
O
j
= f
1
(
j

O
j
) folgt dann
j
O
j
T
X,f
. Analog
schliet man fr den Durchschnitt endlich vieler O
j
T
X,f
. Ist T
X
irgendeine Topologie auf X, bezglich
der f stetig ist, so folgt aus Satz 2.1.4 dass T
X,f
T
X
, also T
X
feiner als T
X,f
sein muss. 2
Beispiel 2.3.2 Sei (X, T ) ein topologischer Raum, sei U X, und sei i : U X die Injektion,
also i(x) = x fr alle x U. Es folgt aus obigem Lemma, dass die Unterraumtopologie auf U gleich
T
U,i
ist, also gleich der grbsten Topologie, bezglich der die Injektion stetig ist, denn fr O T
X
ist
i
1
(O) = O U.
19
Denition 2.3.3 Seien X eine beliebige nicht-leere Menge und (Y
j
, T
j
), fr j J, topologische Rume,
sowie f
j
: X Y
j
, fr j J, beliebige Abildungen. Die grbste Topologie auf X, bezglich der alle
f
j
stetig auf X sind, heit dann die von den f
j
auf X (rckwrts) induzierte Topologie. Da die Menge
der Topologien auf X, fr die alle f
j
stetig sind, die diskrete Topologie enthlt und somit nicht leer ist,
gibt es diese grbste Topologie, denn sie ist einfach der Durchschnitt aller Topologien auf X mit dieser
Eigenschaft.
Beispiel 2.3.4 (Schwache Topologie) Sei (X, | |) ein normierter Raum ber K, und sei X

die
Menge aller stetigen und linearen Funktionale auf X, also die Menge aller stetigen linearen Abbildungen
f von X nach K. Die von diesen f auf X rckwrts induzierte Topologie heit die schwache Topologie
auf X.
Beim Berechnen der rckwrts induzierten Topologie kann folgendes Resultat helfen:
Proposition 2.3.5 Seien X eine beliebige nicht-leere Menge und (Y
j
, T
j
), fr j J, topologische Rume,
sowie f
j
: X Y
j
, fr j J, beliebige Abildungen. Sind B
j
, fr j J, Basen der Topologien T
j
, so
bilden die Mengen
B
(n)
j
1
,...,j
n
=
n

k=1
f
1
j
k
(B
k
) n N, j
1
, . . . , j
n
J , B
k
B
j
k
eine Basis fr die rckwrts induzierte Topologie auf X.
Beweis: Wie man direkt berprfen kann, sind die Eigenschaften einer Basis erfllt. Seien T die rck-
wrts induzierte und

T die zu dieser Basis gehrige Topologie. Da alle f
j
bezglich T stetig sind, folgt
f
1
j
k
(B
k
) T fr alle k = 1, . . . , n, und deshalb sind auch alle B
(n)
j
1
,...,j
n
in T . Also gilt

T T . Fr die
Umkehrung seien j J und B B
j
. Dann folgt B
(1)
j
= f
1
j
(B)

T , und daher ist f
j
bezglich der
Topologie

T stetig auf X. Da dies fr alle j J gilt, folgt nach Denition der rckwrts induzierten
Topologie T

T . 2
Aufgabe 2.3.6 Seien X eine beliebige nicht-leere Menge und (Y
j
, T
j
), fr j J, topologische Rume,
sowie f
j
: X Y
j
, fr j J, beliebige Abildungen, und T
X
bezeichne die durch die f
j
auf X rckwrts
induzierte Topologie. Sei (Z, T
Z
) ein weiterer topologischer Raum, und f : Z X eine Abbildung. Zeige:
Genau dann ist f auf Z stetig, wenn alle Abbildungen f
j
f auf Z stetig sind.
2.4 Die Produkttopologie
Denition 2.4.1 Seien X
j
, fr j J, beliebige nicht-leere Mengen. Als kartesisches Produkt dieser
Mengen bezeichnen wir die Menge aller Abbildungen f : J
j
X
j
mit f(j) X
j
fr alle j J.
Wir schreiben fr diese Menge auch

jJ
X
j
, und fr ihre Elemente schreiben wir auch (x
j
, j J)
oder einfach (x
j
) und nennen jedes solche Element ein J-Tupel. Das sogenannte Auswahlaxiom der
Mengenlehre besagt gerade, dass das kartesische Produkt nicht-leerer Mengen nicht leer ist. Wenn J eine
endliche Menge ist, also o. B. d. A. J = 1, . . . , n, so schreiben wir oft auch
n

j=1
X
j
= X
1
. . . X
n
.
Fr j
0
J heit die Abbildung

j
0
:

jJ
X
j
X
j
0
,
j
0
((x
j
, j J)) x
j
0
20
die j
0
-te Projektion auf X
j
0
. Oenbar ist diese Abbildung surjektiv. Fr topologische Rume (X
j
, T
j
),
j J, heit die von den Projektionen rckwrts induzierte Topologie auf dem kartesischen Produkt der
X
j
die Produkttopologie auf

jJ
X
j
. Wenn nichts anderes gesagt wird, soll in Zukunft ein kartesisches
Produkt immer mit der Produkttopologie versehen sein.
Aufgabe 2.4.2 berprfe, dass die Produkttopologie in R
n
, aufgefasst als kartesisches Produkt von n
Kopien der Menge der reellen Zahlen, gleich der euklidischen Topologie ist.
Aufgabe 2.4.3 Fr topologische Rume (X
j
, T
j
), j J sei das kartesische Produkt mit der Produktto-
pologie versehen. Zeige: Genau dann ist U eine Umgebung eines Punktes (x
j
) des kartesischen Produktes,
wenn es Mengen O
j
T
j
gibt, von denen hchstens endlich viele von X
j
verschieden sind, so dass
(x
j
)

jJ
O
j
U .
Aufgabe 2.4.4 Gegeben seien topologische Rume (X
j
, T
j
), j J und (Y, T
Y
), sowie eine Abbildung
f : Y

jJ
X
j
. Folgere aus Aufgabe 2.3.6: f ist genau dann stetig auf Y , wenn fr alle j J die
Abbildungen
j
f auf Y stetig sind.
Aufgabe 2.4.5 Es seien (X
1
, T
1
) und (X
2
, T
2
) topologische Rume, und f : X
1
X
2
sei eine beliebige
Abbildung. Mit G
f
= (x, f(x)) : x X
1
X
1
X
2
sei der Graph von f bezeichnet. Zeige:
(a) Die Projektion
1
, eingeschrnkt auf G
f
, ist bijektiv und stetig.
(b) Die Umkehrabbildung
1
1
: X
1
G
f
ist genau dann stetig auf X
1
, wenn f auf X
1
stetig ist.
2.5 Quotiententopologie
Lemma 2.5.1 Seien (X, T ) ein topologischer Raum und Y eine nicht-leere Menge, sowie f : X Y
eine Abbildung. Dann ist
T
Y,f
= O Y : f
1
(O) T
eine Topologie auf Y , und zwar die feinste Topologie, fr die f stetig auf X ist.
Beweis: Wegen f
1
() = und f
1
(Y ) = X folgt , X T
Y,f
. Sind O
j
T
Y,f
fr j J, so folgt wegen

j
f
1
(O
j
) = f
1
(
j
O
j
) dass
j
O
j
T
Y,f
ist, und genauso schliet man fr den Durchschnitt endlich
vieler O
j
T
Y,f
. In jeder Topologie T
1
auf Y , fr die f auf X stetig ist, folgt mit der Denition der
Stetigkeit, dass fr O T
1
immer f
1
(O) T sein muss, und deshalb folgt T
1
T
Y,f
. 2
Denition 2.5.2 Unter den Voraussetzungen von Lemma 2.5.1 heit T
Y,f
die von f auf Y (vorwrts)
induzierte Topologie.
Aufgabe 2.5.3 Unter den Voraussetzungen von Lemma 2.5.1 sei U = f(X) eine echte Teilmenge von Y ,
d. h. mit anderen Worten, f ist nicht surjektiv. Zeige dass die von f auf Y vorwrts induzierte Topologie
auf Y U gleich der diskreten Topologie ist. Aus diesem Grund wird in Bchern oft bei der Einfhrung
der vorwrts induzierten Topologie vorausgesetzt, dass f surjektiv ist.
Denition 2.5.4 (quivalenzrelationen und Zerlegungen) Sei eine nicht-leere Menge X gegeben.
Eine Teilmenge R X X heit eine Relation auf X. Wir sagen dass ein x
1
X zu einem x
2
X in
Relation steht, wenn das Paar (x
1
, x
2
) zu R gehrt. Eine solche Relation auf X heit eine quivalenz-
relation, falls fr beliebige x, x
1
, x
2
, x
3
X gilt:
21
(R) (x, x) R (Reexivitt)
(S) (x
1
, x
2
) R = (x
2
, x
1
) R (Symmetrie)
(T) (x
1
, x
2
) R und (x
2
, x
3
) R = (x
1
, x
3
) R (Transitivitt)
Statt (x
1
, x
2
) R schreiben wir dann auch x
1
x
2
und sagen in Worten, dass x
1
quivalent zu x
2
ist.
Fr x X nennen wir A
x
= x X : x x eine quivalenzklasse. Ein beliebiges Element von A
x
heit auch ein Reprsentant dieser quivalenzklasse.
Fr eine nicht-leere Menge X heien nicht-leere Teilmengen X
j
mit j J eine Zerlegung von X, falls
_
jJ
X
j
= X , X
j
X
k
= j, k J mit j ,= k .
Ist (X, T ) ein topologischer Raum, und ist eine solche Zerlegung von X gegeben, so sei X

= X
j
: j J,
und f : X X

mit f(x) = X
j
fr die eindeutig bestimmte Menge X
j
mit x X
j
gesetzt. Die von
diesem f auf X

vorwrts induzierte Topologie heit die Quotiententopologie auf X

.
Aufgabe 2.5.5 Wiederhole, dass eine quivalenzrelation auf X immer zu einer Zerlegung von X in
quivalenzklassen fhrt. Zeige, dass umgekehrt eine Zerlegung von X auch eine quivalenzrelation auf
X deniert, fr die die Mengen X
j
gerade die quivalenzklassen sind.
Beispiel 2.5.6 (Torus) Sei X = [0, 1][0, 1] R
2
. Wir zerlegen dieses Quadrat in folgende Teilmengen:
Alle einelementigen Teilmengen von X, die einen inneren Punkt enthalten, sowie alle zweielementigen
Mengen der Form (x, 0), (x, 1) und (0, y), (1, y) mit 0 < x, y < 1 und eine vierelementige Men-
ge (0, 0), (0, 1), (1, 0), (1, 1). Der zu dieser Zerlegung gehrige, mit der Quotiententopologie versehene
topologische Raum ist ein mgliches Modell des Torus.
2.6 Konvergente Folgen und Folgenstetigkeit
Denition 2.6.1 Sei (X, T ) ein topologischer Raum, und sei (x
n
, n N) eine Folge in X. Wir sagen,
dass die Folge konvergiert, falls fr ein x X folgendes gilt:
U |(x) N N n N : x
n
U . (2.6.1)
Jedes x X, fr welches diese Bedingung erfllt ist, heit Grenzwert der Folge, und wir schreiben dann
x
n
x (n ) oder lim
n
x
n
= x,
und sagen dann auch, dass (x
n
) gegen x konvergiert.
Sind (X, T
X
) und (Y, T
Y
) zwei topologische Rume, so heit eine Abbildung f : X Y im Punkt x X
folgenstetig, wenn fr alle Folgen (x
n
) gilt
lim
n
x
n
= x = lim
n
f(x
n
) = f(x) .
Beispiel 2.6.2 Eine Folge (x
n
, n N) mit x
n
= x fr alle gengend groen n soll im Folgenden schlie-
lich konstant genannt werden. Jede solche Folge erfllt sicher (2.6.1) und ist also immer konvergent gegen
x. Wenn auf X die diskrete Topologie betrachtet wird, dann ist U = x oen, also eine Umgebung von
x, und dann folgt dass (2.6.1) fr dieses U nur dann gilt, wenn (x
n
, n N) schlielich konstant ist. Also
sind die schlielich konstanten Folgen die einzigen, welche in der diskreten Topologie konvergieren. Wenn
dagegen X mit der indiskreten Topologie versehen ist, dann ist U = X die einzige Umgebung von x,
und daher ist jetzt jede Folge gegen jedes x X konvergent. Man sieht also insbesondere, dass in einem
allgemeinen topologischen Raum ein Grenzwert nicht eindeutig bestimmt sein muss.
22
Proposition 2.6.3 Seien (X, T
X
) und (Y, T
Y
) zwei topologische Rume, und sei die Abbildung f : X
Y stetig in einem Punkt x X. Dann ist f dort auch folgenstetig.
Beweis: Sei U |(f(x)). Dann ist auf Grund der Stetigkeitsvoraussetzung f
1
(U) |(x), und deshalb
gibt es ein N N mit x
n
f
1
(U) fr alle n N. Das bedeutet aber f(x
n
) U fr alle diese n, woraus
die Behauptung folgt. 2
Bemerkung 2.6.4 In der Analysis zeigt man, dass die Umkehrung von obiger Aussage in den dort
betrachteten Fllen auch gilt. Dies ist in allgemeinen topologischen Rumen nicht der Fall und fhrt
dann zur Einfhrung von Netzen an Stelle von Folgen. Dies soll hier ausgelassen werden. Wir werden
aber sehen, dass die Umkehrung jedenfalls in metrischen Rumen richtig ist.
Aufgabe 2.6.5 Sei E X, und sei (x
n
)

n=1
eine Folge, deren Glieder alle zu E gehren. Zeige: Wenn
(x
n
, n N) gegen ein x X konvergiert, dann ist dieses x ein Berhrungspunkt von E, und sogar
ein Hufungspunkt, wenn x
n
,= x fr unendlich viele n gilt. Auch hier gilt im Allgemeinen nicht die
Umkehrung!
23
Kapitel 3
Trennungsaxiome
Die Tatsache, dass eine konvergente Folge im Allgemeinen mehrere Grenzwerte haben kann, ist ein Anlass
dafr, zu den Axiomen fr eine Topologie noch ein weiteres Axiom hinzuzufgen, welches dann zum
Beispiel die Eindeutigkeit des Grenzwertes garantiert. Es gibt dabei verschiedene solche Trennungsaxiome.
Wir wollen uns hier auf das nach Hausdor benannte Axiom beschrnken und dann als Verschrfung
normale und regulre Rume untersuchen.
3.1 Hausdor-Rume
Denition 3.1.1 Ein topologischer Raum (X, T ) heit Hausdor-Raum, wenn folgendes gilt:
(H) x
1
, x
2
X mit x
1
,= x
2
U
1
|(x
1
) , U
2
|(x
2
) : U
1
U
2
= .
Die Bedingung (H) heit auch Hausdorsches Trennungsaxiom oder Hausdor-Axiom. In Worten ausge-
dckt bedeutet (H) dass man zu zwei verschiedenen Punkten von X zwei Umgebungen nden kann, welche
diese Punkte trennen.
Aufgabe 3.1.2 Zeige dass jeder metrische Raum ein Hausdor-Raum ist. Zeige weiter, dass in einem
Hausdor-Raum eine Folge hchstens eine Grenzwert haben kann.
Aufgabe 3.1.3 Sei (X, T ) ein Hausdor-Raum, und seien x
0
, x
1
, . . . , x
n
X alle verschieden, fr ein
n N. Zeige: Dann gibt es U
j
|(x
j
), fr j = 0, . . . , n, welche paarweise disjunkt sind, fr welche also
U
j
U
k
= ist fr j ,= k.
Aufgabe 3.1.4 Gib ein Beispiel eines topologischen Raumes, fr den endliche Teilmengen nicht immer
abgeschlossen sind. Vergleiche dies mit Teil (a) des folgenden Satzes.
Wenn nichts anderes gesagt ist, sei im Folgenden (X, T ) immer ein Hausdor-Raum.
Satz 3.1.5 In einem Hausdor-Raum (X, T ) gelten folgende Aussagen:
(a) Jede endliche Teilmenge E X ist abgeschlossen.
(b) Fr E X ist x E

genau dann, wenn in jeder Umgebung von x unendlich viele Elemente von
X liegen.
24
Beweis: Eine endliche Menge ist Vereinigung von endlich vielen einelementigen Mengen, und deshalb
gengt es fr den Beweis von (a), eine einelementige Menge E = x zu betrachten. Ist dann x
1
Xx,
so gibt es wegen (H) eine Umgebung U von x
1
, welche x nicht enthlt und deshalb ganz zu Xx gehrt.
Deshalb ist also X x oen, und damit ist E abgeschlossen. Fr den Beweis von (b) seien x X und
U |(x) so, dass in U nur endlich viele x
1
, . . . , x
n
E liegen. Aus der Aufgabe 3.1.3 folgt dann die
Existenz einer kleineren Umgebung von x, welche keinen der Punkte von Ex enthlt, und somit kann
x kein Hufungspunkt von E sein. Die umgekehrte Implikation ist trivialerweise immer richtig. 2
Satz 3.1.6
(a) Jeder Unterraum eines Hausdor-Raumes ist ein Hausdor-Raum.
(b) Genau dann ist das kartesische Produkt

jJ
X
j
von topologischen Rumen (X
j
, T
j
) ein Hausdor-
Raum, wenn alle (X
j
, T
j
) selber Hausdor-Rume sind.
Beweis: Sei (X, T ) ein Hausdor-Raum, und sei U eine nicht-leere Teilmenge von X, sowie u
1
, u
2
U,
mit u
1
,= u
2
. Dann gibt es (in X) Umgebungen U
1
|(u
1
) und U
2
|(u
2
) mit U
1
U
2
= . O.
B. d. A. seien U
1
, U
2
oen. Dann sind aber U U
1
und U U
2
oen in der Spurtopologie, und daher
gilt (a). Zum Beweis von (b) seien zunchst alle (X
j
, T
j
) Hausdor-Rume. Wenn (x
(1)
j
) und (x
(2)
j
) zwei
verschiedene Punkte des kartesischen Produktes sind, dann existiert ein j
0
J mit x
(1)
j
0
,= x
(2)
j
0
. Daher
gibt es Umgebungen U
(1)
j
0
|(x
(1)
j
0
) und U
(2)
j
0
|(x
(2)
j
0
), deren Durchschnitt leer ist. Da nach Denition
der Produkttopologie alle Projektionen stetig sind, sind die Mengen
1
j
0
(U
()
j
0
) Umgebungen von (x
()
j
),
und ihr Durchschnitt ist leer. Daher ist das kartesische Produkt ein Hausdor-Raum. Umgekehrt, sei das
kartesische Produkt Hausdorsch, und seien j
0
J und x
(1)
j
0
,= x
(2)
j
0
zwei Punkte aus X
j
0
. Fr j J j
0

whlen wir x
(1)
j
= x
(2)
j
X
j
und erhalten so zwei verschiedene Punkte (x
(1)
j
) und (x
(2)
j
) des kartesischen
Produktes. Zu diesen gibt es dann disjunkte Umgebungen U
1
und U
2
. Nach Aufgabe 2.4.3 existieren dann
O
(1)
j
, O
(2)
j
T
j
mit O
()
j
,= X
j
hchstens fr endlich viele j, so dass fr = 1 und = 2
(x
()
j
)

jJ
O
()
j
U

.
Aus U
1
U
2
= folgt dann O
(1)
j
0
O
(2)
j
0
= , und daher ist X
j
0
ein Hausdor-Raum. Da aber j
0
jedes
Element von J sein kann, folgt die Umkehrung. 2
Satz 3.1.7 In einem topologischen Raum (X, T ) sind folgende Aussagen quivalent:
(a) (X, T ) ist ein Hausdor-Raum.
(b) x X :

UU(x)
U = x.
(c) Die Diagonale = (x, x) : x X ist eine abgeschlossene Menge bezglich der Produkttopologie
auf X X.
Beweis: Es gelte (a). Fr x
1
,= x gibt es Umgebungen U von x und U
1
von x
1
, welche leeren Durchschnitt
haben. O. B. d. A. sei U
1
oen; sonst kann man zu einer oenen Teilmenge bergehen, die immer noch
x
1
enthlt. Dann ist A = X U
1
eine abgeschlossene Obermenge von U, also U A, und x
1
, A. Daher
gilt (b). Um (c) aus (b) zu folgern, zeigen wir dass X X oen ist. Dazu seien x
1
, x
2
X mit
x
1
,= x
2
. Dann gibt es ein U |(x
1
) mit x
2
, U, und somit ist O = X U oene Umgebung von x
2
, also
U O eine Umgebung von (x
1
, x
2
), die keinen Punkt von enthlt. Das war zu zeigen. Wenn (c) gilt,
wenn also X X oen ist, dann gibt es zu x
1
,= x
2
nach Aufgabe 2.4.3 zwei oene Mengen O
1
, O
2
mit (x
1
, x
2
) O
1
O
2
X X . Das heit aber, dass O
j
oene Umgebung von x
j
ist, und dass
O
1
O
2
= ist, und deshalb gilt (a). 2
25
Aufgabe 3.1.8 Zeige: Ein topologischer Raum (X, T ) ist genau dann ein Hausdor-Raum, wenn es zu
allen x
1
, x
2
X mit x
1
,= x
2
eine abgeschlossene Umgebung von x
1
gibt, welche x
2
nicht enthlt.
Aufgabe 3.1.9 Zeige unter den Voraussetzungen und mit den Bezeichnungen von Aufgabe 2.4.5: Wenn
(X
2
, T
2
) ein Hausdor-Raum und f auf X
1
stetig ist, dann ist G
f
abgeschlossen in X
1
X
2
.
3.2 Regulre Rume
Denition 3.2.1 Ein Hausdor-Raum (X, T ) heit regulr, wenn folgendes richtig ist:
A X , A abgeschl. x X A O
1
, O
2
T : x O
1
, A O
2
, O
1
O
2
= . (3.2.1)
Man sagt dann auch, dass man in einem regulren Raum eine abgeschlossene Menge A von jedem Punkt
x , A trennen kann.
Proposition 3.2.2 Ein Hausdor-Raum (X, T ) ist genau dann regulr, wenn gilt
x X U |(x) O T : x O O U .
Beweis: Sei X regulr, und seien x X und U |(x). Dann gibt es ein O
0
T mit x O
0
U,
und zu A = X O
0
gibt es nach Denition der Regularitt disjunkte Mengen O
1
, O
2
T mit x O
1
,
A O
2
. Fr A
1
= X O
2
folgt dann x O
1
A
1
U, und deshalb gilt die Bedingung des Satzes fr
O = O
1
. Umgekehrt, sei jetzt A abgeschlossen, und sei x , A. Dann ist U = X A eine oene Umgebung
von x, und nach Voraussetzung gibt es ein O T mit x O O U. Daher gilt (3.2.1) fr O
1
= O
und O
2
= X O, und somit ist (X, T ) regulr. 2
Aufgabe 3.2.3 Zeige: Unterrume von regulren Rumen sind wieder regulr.
3.3 Normale Rume
Denition 3.3.1 Ein Hausdor-Raum (X, T ) heit normal, wenn folgendes richtig ist:
A
1
, A
2
X , abgeschl. und disjunkt, O
1
, O
2
T : A
1
O
1
, A
2
O
2
, O
1
O
2
= . (3.3.1)
Man sagt dann auch, dass man in einem normalen Raum zwei disjunkte abgeschlossene Mengen trennen
kann.
Aufgabe 3.3.2 Zeige dass ein normaler Raum auch regulr ist.
Proposition 3.3.3 In einem Hausdor-Raum (X, T ) sind folgende Aussagen quivalent:
(a) (X, T ) ist normal.
(b) Fr jede abgeschlossene Menge A X und jede oene Obermenge O von A existiert eine oene
Menge O
1
mit A O
1
O
1
O.
(c) Fr zwei abgeschlossene disjunkte Mengen A
1
, A
2
X gibt es eine oene Menge O mit A
1
O
und O A
2
= .
26
Beweis: Sei (a) erfllt, und sei A abgeschlossen sowie O oene Obermenge von A. Mit A
1
= A und
A
2
= X O gilt A
1
A
2
= , und deshalb gibt es O
1
, O
2
T mit A

und O
1
O
2
= . Da
O
1
X O
2
ist, folgt O
1
X O
2
. Das impliziert aber (b). Wenn jetzt A
1
, A
2
X abgeschlossen und
disjunkt sind, so folgt aus (b), angewandt auf A = A
1
und O = X A
2
, die Existenz von O
1
T mit
A
1
O
1
O
1
X A
2
. Also gilt (c) fr O = O
1
. Seien schlielich A
1
, A
2
abgeschlossen und disjunkt,
dann folgt aus (c) die Existenz von O T mit A
1
O und O A
2
= , also A
2
X O. Das ist aber
gleichbedeutend mit (a). 2
3.4 Reellwertige Funktionen und der Satz von Urysohn
Lemma 3.4.1 Sei (X, T ) ein topologischer Raum, und sei f : X R, wobei R mit der euklidischen
Topologie versehen sei. Genau dann ist f stetig auf X, wenn die Mengen x X : f(x) < a und
x X : f(x) > a fr alle a R oen sind.
Beweis: Die Notwendigkeit der Bedingung ist klar nach Satz 2.1.4. Wegen
x X : a < f(x) < b = x X : f(x) > a x X : f(x) < b a, b R
und der Tatsache, dass die oenen Intervalle eine Basis der euklidischen Topologie auf R bilden, gilt auch
die Umkehrung. 2
Lemma 3.4.2 Sei (X, T ) ein topologischer Raum, und seien f, g : X R stetig auf X. Dann gilt:
(a) a 0 : [f[
a
ist stetig auf X.
(b) , R : f + g ist stetig auf X.
(c) f g ist stetig auf X.
(d) f/g ist stetig auf X, falls g(x) ,= 0 ist fr alle x X.
Beweis: Zu (a): Der Fall a = 0 ist klar nach Aufgabe 2.1.2. Wegen x X : [f(x)[
a
> b = X fr b < 0
bzw. = x X : f(x) < b
1/a
x X : f(x) > b
1/a
fr b 0 folgt dass x X : [f(x)[
a
> b
immer oen ist. Entsprechend argumentiert man fr die Menge x X : [f(x)[
a
< b. Die brigen
Aussagen folgen aus Satz 2.1.6, da die Abbildungen (x
1
, x
2
) x
1
+x
2
und (x
1
, x
2
) x
1
x
2
von R
2
nach
R, und die Inversion x 1/x von R 0 nach R bekanntlich stetig sind. 2
Aufgabe 3.4.3 Sei (X, T ) ein topologischer Raum, und seien f
j
: X R, fr j N, alle stetig auf X.
Zeige: Falls es Konstanten a
j
> 0 gibt, fr welche
[f
j
(x)[ a
j
x X , j N,

j=1
a
j
< ,
dann deniert die Reihe

j=1
f
j
(x) eine auf X stetige reellwertige Funktion.
Satz 3.4.4 (Satz von Urysohn) Ein Hausdor-Raum (X, T ) ist genau dann normal, wenn es zu zwei
abgeschlossenen und disjunkten Mengen A
1
, A
2
X eine stetige Abbildung f : X R gibt, fr welche
gilt:
x X : 0 f(x) 1 , f(x) =
_
0 fr x A
1
,
1 fr x A
2
.
27
Beweis: Es seien abgeschlossene und disjunkte Mengen A
1
, A
2
gegeben. Wenn es solch ein f gibt, so seien
O
1
= f
1
((, 1/2)) und O
2
= f
1
((1/2, )) gesetzt. Dann sind O
1
, O
2
oene und disjunkte Mengen,
und A
1
O
1
sowie A
2
O
2
. Also ist der Raum normal. Sei jetzt (X, T ) als normal vorausgesetzt.
Die rationalen Zahlen im Intervall [0, 1] sind abzhlbar, knnen also als eine Folge (r
k
, k N
0
), mit
r
0
= 0 und r
1
= 1, geschrieben werden. Zu jedem r
k
denieren wir induktiv eine oene Menge O
r
k
nach
folgendem Schema: Sei O
1
= X A
2
, und O
0
so, dass A
1
O
0
O
0
O
1
; dies ist mglich auf Grund
von Proposition 3.3.3. Fr ein n 1 seien jetzt O
r
k
mit k = 0, . . . , n bereits gewhlt, und zwar so, dass
gilt:
0 j, k n : r
k
< r
j
= O
r
k
O
r
j
.
Beachte, dass dies fr n = 1 richtig ist. Sei dann r = minr
k
: r
k
> r
n+1
, 0 k n und r =
maxr
k
: r
k
< r
n+1
, 0 k n. Dann gilt also O
r
O
r
, und wir whlen O
r
n+1
so, dass O
r

O
r
n+1
O
r
n+1
O
r
, was nach Proposition 3.3.3 immer mglich ist. Damit ist der nchste Schritt der
Konstruktion gelungen. Zusammenfassend zeigt dies, dass wir zu jeder rationalen Zahl r [0, 1] eine
oene Menge O
r
bekommen, so dass O
r
O
s
fr 0 r < s 1, r, s Q. Wir setzen noch O
r
= fr
r < 0 und = X fr r > 1. Sei jetzt f(x) = infr Q : x O
r
, fr alle x X. Dann gilt immer:
(a) x X: 0 f(x) 1.
(b) x A
1
: x O
0
, also f(x) = 0.
(c) x A
2
: x , O
1
, also f(x) = 1.
(d) x O
r
: x O
s
fr alle s > r, also f(x) r.
(e) x , O
r
: x , O
s
fr alle s r, also f(x) r.
Fr a < b sei jetzt x
0
so, dass f(x
0
) (a, b) liegt. Dann gibt es r, s Q mit a < r < f(x
0
) < s < b. Die
Menge O = O
s
O
r
ist oen, und aus (d) und (e) folgt x
0
O. Weiter folgt
x O =
_
x O
s
also f(x) s < b ,
x , O
r
also f(x) r > a .
Daher ist f(O) (a, b), oder anders ausgedrckt O f
1
((a, b)). Also ist f
1
((a, b)) eine Umgebung
von x
0
, woraus die Stetigkeit von f im Punkt x
0
folgt. 2
Aufgabe 3.4.5 Zeige mit Hilfe des Satzes von Urysohn: Ist (X, T ) normal, und sind A
1
, A
2
abgeschlos-
sene und disjunkte Teilmengen von X, dann gibt es zu jedem abgeschlossenen Intervall [a, b] R eine
auf X stetige Funktion mit Werten in [a, b], die auf A
1
bzw. A
2
konstant gleich a bzw. b ist.
3.5 Der Fortsetzungssatz von Tietze
Satz 3.5.1 (Fortsetzungssatz von Tietze) Sei A eine abgeschlossene Teilmenge eines normalen Rau-
mes (X, T ). Dann lsst sich jede auf A bezglich der Spurtopologie stetige reellwertige Funktion zu einer
auf ganz X stetigen reellwertigen Funktion fortsetzen. Falls fr a, b R die Werte von f(x) fr alle
x A im abgeschlossenen Intervall [a, b] R liegen, so kann man dasselbe fr die fortgesetzte Funktion
erreichen.
Beweis: (a) Sei f stetig auf A, und sei fr ein r > 0 angenommen, dass [f(x)[ r fr alle x A
gilt. Nach Aufgabe 2.1.5 gilt fr I
1
= [r, r/3] und I
2
= [r/3, r] dass A
1
= f
1
(I
1
) und A
2
= f
1
(I
2
)
abgeschlossene Teilmengen in der Unterraumtopologie auf A sind. Da A in X abgeschlossen ist, folgt mit
Aufgabe 1.7.3 dass A
1
und A
2
auch in der Topologie auf X abgeschlossen sind, und auerdem sind die
beiden oenbar disjunkt. Nach dem Satz von Urysohn bzw. Aufgabe 3.4.5 gibt es also eine auf X stetige
28
Funktion g mit Werten im Intervall [r/3, r/3], mit g(x) = r/3 fr x A
1
bzw. = r/3 fr x A
2
. Fr
alle x A gilt dann
[f(x) g(x)[
_

_
f(x) r/3 2 r/3 falls x A
2
,
[f(x)[ r/3 2 r/3 falls x A
1
,
[f(x)[ +[g(x)[ 2 r/3 falls x A (A
1
A
2
) .
(b) Sei jetzt f stetig auf A, und sei angenommen, dass [f(x)[ 1 fr alle x A gilt. Nach (a) (mit
r = 1) gibt es dann ein g
1
, welches auf X stetig ist, Werte in [1/3, 1/3] hat, und die Abschtzung
[f(x) g
1
(x)[ 2/3 fr alle x A erfllt. Zu f
1
= f g
1
gibt es dann, wiederum nach (a), aber
jetzt mit r = 2/3, ein g
2
, welches auf X stetig ist, Werte in [2/9, 2/9] hat, und die Abschtzung
[f
1
(x) g
2
(x)[ (2/3)
2
fr alle x A erfllt. Allgemein seien schon g
1
, . . . , g
n
gefunden, welche auf X
stetig sind, mit [g
j
(x)[ (2/3)
j1
/3 fr alle x X und j = 1, . . . , n, und fr f
j
= f

j
k=1
g
k
sei
[f
j
(x)[ (2/3)
j
fr alle x A und j = 1, . . . , n. Dies ist oenbar richtig fr n = 1 und n = 2. Nach
(a) gibt es dann zu f
n
wieder ein g
n+1
, stetig auf X, mit [g
n+1
(x)[ (2/3)
n
/3 fr x X, und so dass
[f
n
(x) g
n+1
(x)[ (2/3)
n+1
ist fr x A. Also erhalten wir eine Folge von Funktionen (g
j
), welche
alle auf X stetig sind, so dass die Reihe g(x) =

j=1
g
j
(x) auf X durch die geometrische Reihe

(2/3)
j
majorisiert wird. Nach Aufgabe 3.4.3 ist dann g auf X stetig, und
[f(x)
n+1

j=1
g
j
(x)[ = [f
n
(x) g
n+1
(x)[ (2/3)
n+1
x A, n N.
Daraus folgt aber f(x) = g(x) fr x A. Das beweist den Fortsetzungssatz fr den Fall [f(x)[ 1. Durch
eine einfache Substitution fhrt man den Fall, dass die Werte von f in irgendeinem abgeschlossenen
Intervall liegen, auf diesen Spezialfall zurck.
(c) Sei jetzt f beliebig, und sei

f(x) = arctan(f(x)) fr x A. Die Werte dieser neuen Funktion liegen
dann in [/2, /2], und deshalb gibt es ein g mit Werten in diesem Intervall, welches

f fortsetzt. Sei

A die Menge der Punkte , fr die g die Werte /2 annimmt. Dies ist eine abgeschlossene Menge, und

A A = . Also gibt es nach dem Satz von Urysohn eine auf X stetige Funktion h mit h(x) = 0 auf

A und h(x) = 1 auf A, und 0 h(x) 1 sonst. Die Funktion h g ist dann stetig auf X und hat Werte
im oenen Intervall (/2, /2), so dass g(x) = tan(h(x) g(x)) auf X stetig ist. Nach Konstruktion folgt
g(x) = f(x) auf A. 2
Denition 3.5.2 Als Trger, in Englisch support, einer reellwertigen Funktion f auf einem topologi-
schen Raum (X, T ) bezeichnen wir die Menge
supp f = x X : f(x) ,= 0 .
Satz 3.5.3 (Partition der Eins) Sei (X, T ) ein normaler Raum, und seien O
1
, . . . , O
n
T , mit

n
j=1
O
j
= X. Dann gibt es auf X stetige Funktionen
j
mit Werten im Intervall [0, 1] und
supp
j
O
j
j = 1, . . . , n,
n

j=1

j
(x) = 1 x X .
Beweis: (a) Wir zeigen durch Induktion ber k n, dass es oene Mengen V
1
, . . . , V
k
gibt, fr die
V
j
O
j
, 1 j k, und V
1
. . . V
k
O
k+1
. . . O
n
= X gilt. Dies ist richtig fr k = 0. Wenn
es fr 0 k n 1 schon gilt, sei A = X (V
1
. . . V
k
O
k+2
. . . O
n
) gesetzt. Dann ist A eine
abgeschlossene Teilmenge von O
k+1
, und wegen der Normalitt gibt es eine oene Menge V
k+1
so, dass
A V
k+1
V
k+1
O
k+1
. Also gilt die Behauptung auch fr k + 1.
29
(b) Durch zweimalige Anwendung von (a) folgt die Existenz von oenen Mengen W
j
, V
j
mit
W
j
W
j
V
j
V
j
O
j
1 j n, W
1
. . . W
n
= X .
Mit dem Satz von Urysohn folgt die Existenz von auf X stetigen Funktionen
j
mit Werten in [0, 1] und

j
(x) = 1 auf W
j
,
j
(x) = 0 auf XV
j
. Es folgt supp
j
V
j
O
j
, und (x) :=
1
(x)+. . . +
n
(x) > 0
fr alle x X. Also sind
j
=
j
/ auf X stetig mit Werten in [0, 1] und Trger in O
j
, und es gilt

1
+. . . +
2
1. 2
30
Kapitel 4
Die Topologie metrischer Rume
Im ersten Abschnitt haben wir metrische Rume deniert und im folgenden Abschnitt ihre Topologie
eingefhrt. Jetzt wollen wir diese genauer untersuchen. Dabei soll, wenn nichts anderes gesagt ist, immer
ein metrischer Raum (X, d) gegeben sein.
4.1 Normalitt metrischer Rume
Denition 4.1.1 Sei F X eine beliebige nicht-leere Teilmenge von X. Wir denieren
d(x, F) = infd(x, u) : u F x X . (4.1.1)
Oenbar ist d(x, F) = 0 falls x F ist, aber die Umkehrung braucht nicht zu gelten. Ist allgemeiner
G X eine weitere nicht-leere Teilmenge von X, so sei
d(F, G) = infd(x, u) : x F , u G . (4.1.2)
In Worten sprechen wir auch vom Abstand zweier Mengen bzw. dem Abstand eines Punktes von einer
Menge.
Aufgabe 4.1.2 Zeige: Ist A abgeschlossen, so ist d(x, A) = 0 genau dann, wenn x A ist. Ist eine
analoge Aussage fr d(A
1
, A
2
) richtig?
Lemma 4.1.3 Fr jedes nicht-leere F X ist die Funktion f(x) = d(x, F) auf X stetig.
Beweis: Mit Hilfe der Dreiecksungleichung nach unten erhalten wir die Ungleichung d(x
1
, u)d(x
2
, u)
d(x
1
, x
2
) fr alle x
1
, x
2
X und u F. Daraus folgt auf Grund der Denition d(x
1
, F) d(x
2
, u)
d(x
1
, x
2
). Fr jedes > 0 existiert ein u F mit d(x
2
, F) d(x
2
, u) d(x
2
, F) + , und fr dieses u
folgt d(x
1
, F) d(x
2
, F) d(x
1
, x
2
). Da dies fr alle > 0 richtig ist, und da wir auch x
1
und x
2
vertauschen knnen, folgt [d(x
1
, F) d(x
2
, F)[ d(x
1
, x
2
). Daraus folgt aber die Behauptung. 2
Satz 4.1.4 Jeder metrische Raum ist normal.
Beweis: Nach Aufgabe 3.1.2 ist jeder metrische Raum (X, d) ein Hausdor-Raum. Sind A
1
und A
2
zwei
disjunkte abgeschlossene Teilmengen von X, so setzen wir
f(x) =
d(x, A
1
)
d(x, A
1
) +d(x, A
2
)
x X .
31
Aus Aufgabe 4.1.2 folgt, dass der Nenner nie verschwindet, so dass f wohldeniert ist. Mit Hilfe des
vorangegangen Lemmas folgt die Stetigkeit von f auf X, und oenbar ist 0 f(x) 1 fr alle x X,
sowie f(x) = 0 fr x A
1
und f(x) = 1 fr x A
2
. Daraus folgt mit dem Satz von Urysohn die
Behauptung. 2
4.2 Folgenstetigkeit und gleichmige Konvergenz
Lemma 4.2.1 Sei (X, d) metrischer Raum. Eine Folge (x
n
) konvergiert genau dann gegen ein x X,
wenn gilt:
> 0 N N n N : d(x
n
, x) < .
Ein x X ist genau dann ein Berhrungspunkt einer Teilmenge F X, wenn es eine Folge von Punkten
aus F gibt, welche gegen x konvergiert. Genau dann ist x sogar ein Hufungspunkt von F, wenn es eine
Folge von Punkten aus F x gibt, welche gegen x konvergiert.
Beweis: Es gelte x
n
x fr n . Da U

(x) fr > 0 eine Umgebung von x ist, folgt die Existenz

von N N mit x
n
U

(x) fr n N. Die Umkehrung gilt aber ebenfalls, da jede Umgebung von x eine
-Umgebung enthlt. Per Denition ist x benau dann ein Berhrungspunkt von F, wenn jede Umgebung
U von x mindestens einen Punkt von F enthlt und ein Hufungspunkt, wenn in jeder Umgebung ein
Punkt von F x liegt. Fr U = U
1/n
(x) sei ein solcher Punkt mit x
n
bezeichnet. Dann folgt sofort, dass
die Folge (x
n
) gegen x konvergiert. Die Umkehrung dieser Aussagen wurde allgemein in Aufgabe 2.6.5
gezeigt. 2
Proposition 4.2.2 Seien (X, d
X
) und (Y, d
Y
) metrische Rume, und sei f : X Y eine Abbildung.
Genau dann ist f in einem Punkt x X stetig, wenn es dort folgenstetig ist.
Beweis: Nach Proposition 2.6.3 gilt die eine Richtung dieser Aussage sogar in topologischen Rumen.
Fr die Umkehrung sei angenommen, dass f in x nicht stetig ist. Dann gilt die Verneinung der Aussage
(1.1.1), d. h.,
> 0 > 0 x

X : d
X
(x, x

) < , d
Y
(f(x), f(x

)) .
Wenn man = 1/n whlt, erhlt man eine Folge von Punkten x
n
X, die gegen x konvergieren, whrend
die Bildfolge (f(x
n
)) nicht gegen f(x) geht. Also ist f nicht folgenstetig in x. 2
Aufgabe 4.2.3 Zeige, dass obige Proposition noch richtig bleibt, wenn man Abbildungen von einem
metrischen in einen topologischen Raum betrachtet.
Denition 4.2.4 Seien X eine nicht-leere Menge und (Y, d) ein metrischer Raum. Eine Folge (f
n
) von
Abbildungen f
n
: X Y heit auf X
punktweise konvergent, falls die Folgen (f
n
(x)) fr alle x X konvergieren. In diesem Fall sei
der eindeutig bestimmte Grenzwert von (f
n
(x)) mit f(x) bezeichnet, und die hierdurch denierte
Abbildung f : X Y heit auch die Grenzfunktion der Funktionenfolge (f
n
).
gleichmig konvergent, falls sie punktweise konvergent ist, und falls zustzlich fr die Grenzfunk-
tion f gilt
> 0 N N n N x X : d(f
n
(x), f(x)) < .
32
Beachte, dass die Denition der punktweisen Konvergenz auch in allgemeinen Hausdor-Rumen sinnvoll
ist. Die gleichmige Konvergenz allerdings lt sich nicht allgemein formulieren, da man Umgebungen
verschiedener Punkte nicht hinsichtlich ihrer Gre vergleichen kann.
Satz 4.2.5 Seien (X, T ) ein topologischer und (Y, d) ein metrischer Raum, und sei die Folge (f
n
) von
Abbildungen von X nach Y auf X gleichmig konvergent. Wenn alle f
n
in einem Punkt x
0
X stetig
sind, dann gilt dies auch fr die Grenzfunktion f.
Beweis: Sei > 0, und sei N N so, dass fr alle x X gilt d(f
n
(x), f(x)) < /3, sofern n N ist.
Sei weiter U |(x
0
) derart, dass fr x U immer d(f
N
(x), f
N
(x
0
)) < /3 ist. Dann folgt fr diese x:
d(f(x), f(x
0
)) d(f(x), f
N
(x)) + d(f
N
(x), f
N
(x
0
)) + d(f
N
(x
0
), f(x
0
)) < ,
weswegen die Behauptung gilt. 2
4.3 quivalente Metriken
Denition 4.3.1 Zwei Metriken auf derselben nicht-leeren Menge X heien quivalent oder genauer
topologisch quivalent, wenn sie dieselbe Topologie erzeugen.
Aufgabe 4.3.2 Zeige: Der Begri der quivalenz hat auf der Menge aller Metriken auf einer festen,
nicht-leeren Menge X die Eigenschaften einer quivalenzrelation.
Satz 4.3.3 Zwei Metriken d
1
, d
2
auf einer nicht-leeren Menge X sind genau dann quivalent, wenn
folgendes gilt:
x
0
X > 0
1
,
2
> 0 x X :
_
d
1
(x, x
0
) <
1
= d
2
(x, x
0
) < ,
d
2
(x, x
0
) <
2
= d
1
(x, x
0
) < .
Beweis: Seien T
1
, T
2
die von den beiden Metriken erzeugten Topologien auf X. Genau dann sind die Me-
triken quivalent, wenn die identische Abildung id, aufgefasst als Abbildung zwischen den topologischen
Rumen (X, T
1
) und (X, T
2
) und umgekehrt, auf X stetig ist. Wenn man dies mit (1.1.1) vergleicht, folgt
der Beweis. 2
Beispiel 4.3.4 In R
n
benutzt man oft die Metriken d
p
aus Beispiel 1.1.5 fr 1 p . Man beweist
sehr einfach die Ungleichung
d

(x, y) d
p
(x, y) n
1/p
d

(x, y) x, y R
n
p [1, ) ,
woraus zunchst die quivalenz von d

und d
p
folgt. Die Eigenschaften der quivalenzrelation sichern
dann dass allgemein zwei beliebige solche Metriken quivalent sind. Beachte aber, dass z. B. die diskrete
Metrik auf R
n
nicht zu einer der p-Metriken quivalent ist.
Aufgabe 4.3.5 Sei (X, d) ein metrischer Raum, und sei d
b
(x, y) = d(x, y)/(1+d(x, y)) fr alle x, y X
gesetzt. Zeige:
(a) d
b
ist eine Metrik auf X.
(b) Es gilt (1/2) min1, d(x, y) d
b
(x, y) d(x, y) fr alle x, y X.
33
(c) Die Metriken d und d
b
sind quivalent auf X.
Satz 4.3.6 Seien ((X
n
, d
n
), n N) abzhlbar unendlich viele metrische Rume. Dann ist ihr kartesisches
Produkt ebenfalls ein metrischer Raum mit der Metrik
d((x
n
), (y
n
)) =

n=1
2
n
d
n
(x
n
, y
n
)
1 +d
n
(x
n
, y
n
)
,
und die von d erzeugte Topologie ist gleich der Produkttopologie.
Beweis: Die Eigenschaften der Metrik folgen mit Hilfe der oben stehenden Aufgabe. Mit derselben
Aufgabe und der Ungleichung
d((x
n
), (y
n
)) 2
n
d
n
(x
n
, y
n
)
1 +d
n
(x
n
, y
n
)
n N
folgt die Stetigkeit aller Projektionen, und deshalb ist die Produkttopologie grber als die von d erzeugte.
Sei jetzt O X oen bezglich d, und sei (x
n
) O. Dann gibt es ein > 0 so dass alle (y
n
) mit
d((x
n
), (y
n
)) < zu O gehren. Sei N N derart, dass

n=N+1
2
n
< /2, und sei

O = U
/2
(x
1
) . . . U
/2
(x
N
) X
N+1
X
N+1
. . .
Dann ist

O eine der oenen Mengen der Produkttopologie, und fr (y
n
)

O folgt d((x
n
), (y
n
))
(/2)

N
n=1
2
n
+

n=N+1
2
n
< , also (y
n
) O. Daher ist O auch in der Produkttopolgie oen, und
daher gilt die Behauptung. 2
Aufgabe 4.3.7 Zeige: Auf dem kartesischen Produkt endlich vieler metrischer Rume (X
n
, d
n
), fr n =
1, . . . , m, ist
d((x
1
, . . . , x
m
), (y
1
, . . . , y
m
)) =
m

n=1
d
n
(x
n
, y
n
) .
eine Metrik, die die Produkttopologie erzeugt.
Aufgabe 4.3.8 Sei (X, d) ein metrischer Raum. Zeige: Die Abbildung (x
1
, x
2
) d(x
1
, x
2
) von X X
nach R ist stetig auf X X.
34
Kapitel 5
Die Abzhlbarkeitsaxiome
5.1 Das erste Abzhlbarkeitsaxiom
Denition 5.1.1 Sei (X, T ) ein topologischer Raum, und sei x X. Dann sagen wir:
(a) Im Punkt x gibt es eine abzhlbare Umgebungsbasis, falls es eine Folge von O
n
|
0
(x), mit n N,
gibt sodass
U |(x) n N : x O
n
U .
(b) Der Raum (X, T ) gengt dem ersten Abzhlbarkeitsaxiom, wenn in jedem Punkt x X eine
abzhlbare Umgebungsbasis existiert.
Beispiel 5.1.2 In einem metrischen Raum sind U
1/n
(x), n N, eine abzhlbare Umgebungsbasis eines
Punktes x, und deshalb ist das erste Abzhlbarkeitsaxiom erfllt. Kartesische Produkte von berabzhlbar
vielen metrischen Rumen erfllen dagegen im Allgemeinen dieses Axiom nicht.
Proposition 5.1.3 Sei das erste Abzhlbarkeitsaxiom in einem topologischen Raum (X, T ) erfllt. Dann
gilt:
(a) Fr eine Teilmenge E X ist x E genau dann, wenn x Grenzwert einer Folge von Punkten aus
E ist.
(b) Ist (Y, T
Y
) ein beliebiger topologischer Raum, so ist eine Abbildung f : X Y genau dann in einem
Punkt x
0
X stetig, wenn sie dort folgenstetig ist.
Beweis: Die eine Richtung von (a) und (b) gilt fr allgemeine topologische Rume (X, T ). Sei jetzt
x
0
E, und seien die O
n
eine Umgebungsbasis im Punkt x
0
. Dann gibt es in U
n
= O
1
. . . O
n
immer
einen Punkt x
n
E. Wenn U |(x
0
) ist, dann gibt es nach Denition der Umgebungsbasis ein m N
mit x O
m
U, und nach Wahl der x
n
folgt hieraus x
n
U fr n m. Daher konvergiert die Folge
(x
n
) gegen x
0
. Sei jetzt f im Punkt x
0
unstetig. Dann gibt es eine Umgebung U |(f(x
0
)) so, dass
f
1
(U) keine Umgebung von x
0
ist. Mit U
n
wie oben gibt es dann in jedem U
n
einen Punkt x
n
, welcher
nicht zu f
1
(U) gehrt. Genau wie zuvor folgt die Konvergenz von (x
n
) gegen x
0
, whrend die Bildfolge
(f(x
n
)) nicht gegen f(x
0
) konvergieren kann, da alle f(x
n
) auerhalb von U liegen. Daher ist f in x
0
nicht folgenstetig. 2
35
5.2 Das zweite Abzhlbarkeitsaxiom
Denition 5.2.1 Ein topologischer Raum (X, T ) gengt dem zweiten Abzhlbarkeitsaxiom, wenn seine
Topologie eine abzhlbare Basis hat.
Bemerkung 5.2.2 Oenbar folgt aus der Gltigkeit des zweiten Abzhlbarkeitsaxioms die des ersten.
Die Umkehrung gilt im Allgemeinen nicht.
Proposition 5.2.3 Gengt ein topologischer Raum dem zweiten Abzhlbarkeitsaxiom, so tut dies auch
jeder Unterraum. Gilt das zweite Abzhlbarkeitsaxiom in abzhlbar vielen topologischen Rumen, dann ist
es auch in deren kartesischem Produkt erfllt.
Beweis: Die erste Behauptung ist klar nach Denition der Spurtopologie. Die zweite folgt ebenfalls
leicht aus der Denition der Produkttopologie und der Tatsache, dass die Vereinigung abzhlbar vieler
abzhlbarer Mengen selber abzhlbar ist. 2
Denition 5.2.4 In einem topologischen Raum (X, T ) nennt man eine Teilmenge E X dicht in X,
wenn E = X ist. Besitzt X eine abzhlbare dichte Teilmenge, so heit der Raum auch separabel. Weiter
heien Mengen O
j
T , j J, eine oene berdeckung von X, falls
j
O
j
= X ist. Man nennt (X, T )
auch Lindelf-Raum, wenn jede oene berdeckung eine abzhlbare Teilberdeckung enthlt.
Satz 5.2.5
(a) Ein topologischer Raum, welcher dem zweiten Abzhlbarkeitaxiom gengt, ist separabel und ein
Lindelf-Raum.
(b) Ein separabler metrischer Raum gengt dem zweiten Abzhlbarkeitsaxiom.
(c) Ein metrischer Lindelf-Raum gengt dem zweiten Abzhlbarkeitsaxiom.
Beweis: Zu (a): Sei B = B
n
: n N Basis der Topologie auf X, und seien o. B. d. A alle B
n
,= .
Whle ein x
n
B
n
fr n 1 und setze E = x
n
: n 1. Zu jedem x X und jedem U |(x) gibt
es ein n 1 so, dass x B
n
U ist, und deshalb ist x E, also E dicht in X. Ist weiter (O
j
, j J)
eine oene berdeckung von X, so bilden diejenigen n N, fr die ein j J mit O
j
B
n
existiert, eine
(evtl. sogar endliche) Teilfolge n
m
der natrlichen Zahlen. Nach Denition der Basis gibt es aber zu jedem
j J und jedem x O
j
ein B
n
mit x B
n
O
j
, und da (O
j
, j J) eine oene berdeckung sind, gilt
dasselbe auch fr die B
n
m
. Wenn wir jetzt zu jedem m ein j
m
J auswhlen, fr welches B
n
m
O
j
m
ist, erhalten wir eine abzhlbare Teilberdeckung.
Zu (b): Sei E = x
1
, x
2
, . . . eine abzhlbare dichte Teilmenge des metrischen Raumes (X, d). Fr jede
oene Menge O und jedes x O gibt es dann ein n N mit U
1/n
(x) O. In U
1/(3n)
(x) ndet sich
mindestens ein x
m
E, und dann ist x U
2/(3n)
(x
m
) U
1/n
(x) O. Daher bildet die Menge aller
Kugeln mit den Mittelpunkten x
1
, x
2
, . . . und Radien 2/(3m), m N, eine abzhlbare Basis der Topologie.
Zu (c): Die Menge der Kugeln mit beliebigen Mittelpunkten und Radius 1/n, mit festem n N, sind
eine oene berdeckung des Raumes und besitzen deshalb eine abzhlbare Teilberdeckung. In anderen
Worten heit das, dass es eine abzhlbare Menge E
n
gibt, so dass die Kugeln mit Radius 1/n und
Mittelpunkten in E
n
den Raum berdecken. Die Vereinigung aller E
n
ist ebenfalls abzhlbar und dicht
im Raum, denn zu jedem Punkt x und jedem U |(x) gibt es ein n N mit U
1/n
(x) U, und in
U
1/n
(x) ndet sich dann mindestens ein x
m
E
n
; also folgt x
m
U. Das bedeutet, dass dieser Raum
separabel ist und deshalb wegen (b) das zweite Abzhlbarkeitsaxiom erfllt. 2
36
Satz 5.2.6 Ein regulrer Raum, welcher dem zweiten Abzhlbarkeitsaxiom gengt, ist normal.
Beweis: Sei B = B
1
, B
2
, . . . Basis von (X, T ), und seien A
1
, A
2
abgeschlossene und disjunkte Teil-
mengen von X. Zu x A
1
existiert nach Proposition 3.2.2 ein O T mit x O O X A
2
, und
hierzu gibt es wiederum ein n N mit x B
n
O. Also gibt es eine Teilfolge (n
(1)
k
) der natrlichen
Zahlen mit
A
1

_
k=1
B
n
(1)
k
, B
n
(1)
k
X A
2
.
Durch Vertauschen der Bezeichungen folgt die Existenz einer anderen Teilfolge (n
(2)
k
) mit
A
2

_
k=1
B
n
(2)
k
, B
n
(2)
k
X A
1
.
Wir denieren jetzt
U
k
= B
n
(1)
k

_
_
k
_
j=1
B
n
(2)
j
_
_
, V
k
= B
n
(2)
k

_
_
k
_
j=1
B
n
(1)
j
_
_
.
Wegen V
k
B
n
(2)
k
X U
j
fr j k, bzw. U
j
B
n
(1)
1
X V
k
fr k j nden wir, dass U
j
V
k
=
gilt fr alle j, k N. Daher folgt
A
1
U :=

_
k=1
U
k
, A
2
V :=

_
k=1
V
k
, U V = ,
und deshalb ist der Raum normal. 2
Satz 5.2.7 In jedem regulren Raum (X, T ), welcher dem zweiten Abzhlbarkeitsaxion gengt, gilt:
(a) Eine oene Teilmenge O von X ist Vereinigung von abzhlbar vielen abgeschlossenen Mengen.
(b) Zu jedem O T gibt es eine auf X stetige Abbildung f : X [0, 1], die auf O positiv ist und
auerhalb von O identisch verschwindet.
Beweis: Sei x O. Mit Proposition 3.2.2 folgt die Existenz einer oenen Menge O
1
mit x O
1

O
1
O, und daher gibt es eine Basismenge B
n
mit x B
n
O
1
, also x B
n
O
1
O. Also ist
O Vereinigung der abgeschlossenen Hllen einer Teilfolge von Basismengen, und daher gilt (a). Sei jetzt
O =

n=1
A
n
, mit abgeschlossenen Mengen A
n
, und sei A = X O. Dann ist also A abgeschlossen und
mit jedem A
n
disjunkt. Wegen Satz 5.2.6 ist der Raum (X, T ) normal, und deshalb gibt es nach dem
Urysohnschen Satz eine auf X stetige Funktion f
n
: X [0, 1], die auf A
n
den Wert 1 und auf A den
Wert 0 annimmt. Die Reihe f(x) =

n=1
2
n
f
n
(x) ist auf X gleichmig konvergent, und daher hat f
die fr (b) gewnschten Eigenschaften. 2
5.3 Der Urysohnsche Metrisationssatz
Denition 5.3.1 Wir nennen einen topologischen Raum (X, T ) metrisierbar, wenn es auf X eine Metrik
gibt, welche die Topologie T erzeugt; genauer heit das, dass die Mengen O T genau diejenigen sind,
welche oen im Sinn von Denition 1.1.13 sind.
Eine Abbildung f : X Y zwischen zwei topologischen Rumen (X, T
X
) und (Y, T
Y
) heit bistetig oder
ein Homomorphismus, wenn sie bijektiv ist und wenn f und f
1
stetig auf X bzw. Y sind. Falls es ein
solches f gibt, dann heien die Rume (X, T
X
) und (Y, T
Y
) homomorph.
37
Aufgabe 5.3.2 Zeige dass eine bijektive Abbildung f : X Y , fr topologische Rume (X, T
X
) und
(Y, T
Y
), genau dann bistetig ist, wenn gilt O T
X
f(O) T
Y
. Zeige weiter, dass die Eigenschaft
der Homomorphie eine quivalenzrelation auf jeder Menge von topologischen Rumen ist.
Lemma 5.3.3 Sei (X, T ) ein topologischer Raum, sei (Y, d) ein metrischer Raum, und seien die Rume
homomorph. Dann ist (X, T ) metrisierbar. Anders ausgedrckt: Ist von zwei homomorphen topologi-
schen Rumen einer metrisierbar, so ist es auch der andere.
Beweis: Sei f : X Y bistetig, und sei fr x
1
, x
2
X deniert d
X
(x
1
, x
2
) = d(f(x
1
), f(x
2
)). Dann ist
d
X
eine Metrik auf X, und bezglich dieser Metrik sind Mengen O X genau dann oen, wenn f(O)
(in Y ) oen ist. Dies ist aber genau dasselbe wie die Bistetigkeit von f. 2
Satz 5.3.4 (Urysohnscher Metrisationssatz) Ein regulrer Raum (X, T ), welcher dem zweiten Ab-
zhlbarkeitsaxiom gengt, ist metrisierbar.
Beweis: Sei B = B
n
: n N eine Basis von T . Nach dem letzten Satz gibt es auf X stetige Abbildungen
f
n
: X [0, 1], welche auf B
n
positiv sind und auerhalb von B
n
identisch verschwinden. Auf Grund der
Basiseigenschaft folgt
x
0
X U |(x
0
) n N : f
n
(x
0
) > 0 , f
n
(x) = 0 x , U . (5.3.1)
Wir denieren F als Abbildung von X in Y :=

n=1
R durch F(x) = (f
n
(x))

n=1
. Wenn wir auf Y die
Produkttopologie betrachten, ist F stetig auf X; dies folgt z. B. mit Aufgabe 4.3.6, da fr jede Projektion

j
gilt
j
f = f
j
. Aus F(x) = F( x) folgt f
n
(x) = f
n
( x) fr alle n N, und hieraus folgt x = x, denn
sonst gbe es ein U |( x) mit x , U, und daraus ergbe sich ein Widerspruch zu (5.3.1). Also ist F
injektiv. Nach Satz 4.3.6 ist Y metrisierbar. Also ist die Menge

Y = F(X) ebenfalls ein metrischer Raum,
und F : X

Y ist bijektiv und stetig auf X. Wenn wir jetzt noch die Stetigkeit der Umkehrfunktion
F
1
zeigen, folgt die Behauptung aus dem letzten Lemma. Wenn O T und x
0
O ist, dann existiert
ein n
0
N mit x
0
B
n
0
B
n
0
O, und deshalb ist f
n
0
(x
0
) > 0 und f
n
0
(x) = 0 fr x , O. Die
Menge W = (y
n
) : y
n
0
> 0 ist oen in Y , und somit ist W

Y oen im Unterraum

Y . Es gilt
F(x
0
) W

Y F(O), wobei die letzte Inklusion sich wie folgt ergibt: Fr y W

Y gibt es ein x so,
das y = F(x), und aus F(x) W folgt dass f
n
0
(x) > 0 ist, und somit ist x O. Das zeigt, dass F(O)
oen ist, und daraus folgt die Stetigkeit von F
1
auf X. 2
38
Kapitel 6
Kompakte Rume
6.1 Denition der Kompaktheit
Denition 6.1.1 Eine Teilmenge K eines Hausdor-Raumes (X, T ) heit kompakt, wenn jede oene
berdeckung von K eine endliche Teilberdeckung besitzt. Ist dies der Fall fr K = X, so nennen wir
(X, T ) auch einen kompakten Raum.
Aufgabe 6.1.2 Zeige: Eine Teilmenge eines Hausdor-Raumes (X, T ) ist genau dann kompakt, wenn
sie als Unterraum, versehen mit der Spurtopologie, ein kompakter Raum ist.
Aufgabe 6.1.3 Zeige: Sind Teilmengen K
1
, . . . , K
N
eines Hausdor-Raumes (X, T ) alle kompakt, so
ist es auch ihre Vereinigung. Finde selber heraus, was man ber den Durchschnitt kompakter Teilmengen
sagen kann, und welche Teilmengen immer kompakt sind.
Proposition 6.1.4 Ein Hausdor-Raum (X, T ) ist genau dann kompakt, wenn fr jedes System (A
j
, j
J) von abgeschlossenen Teilmengen von X, fr die
j
A
j
= ist, die Existenz von j
1
, . . . , j
n
J folgt,
fr welche bereits
n
=1
A
j

= ist.
Beweis: Folgt mit der Denition der Kompaktheit aus den de Morganschen Regeln. 2
Proposition 6.1.5 In jedem Hausdor-Raum sind folgende Aussagen quivalent:
(a) Jede abzhlbare oene berdeckung von X besitzt eine endliche Teilberdeckung.
(b) Jede unendliche Teilmenge von X besitzt mindestens einen Hufungspunkt.
(c) Sind A
k
, fr k N, nicht-leere abgeschlossene Mengen, fr welche A
1
A
2
A
3
. . . gilt, so
folgt

k=1
A
k
,= .
Beweis: Sei E eine unendliche Teilmenge von X ohne Hufungspunkt. O. B. d. A. sei E = x
1
, x
2
, . . .
abzhlbar unendlich, denn sonst knnen wir E verkleinern. Zu jedem x
n
E gibt es dann eine oene
Umgebung O
n
, die keinen der anderen Punkte von E enthlt, denn andernfalls wre x
n
ein Hufungspunkt
von E. Da E

leer ist, ist E insbesondere abgeschlossen. Also ist O = X E oen, und O zusammen mit
allen O
n
ergibt eine oene berdeckung von X ohne endliche Teilberdeckung. Also folgt, dass (a) die
Aussage (b) impliziert.
39
Seien jetzt die A
k
wie in (c). Wir whlen ein x
k
A
k
fr k N und setzen A = x
k
: k N. Falls A
eine endliche Menge ist, gibt es ein x
n
, welches in unendlich vielen A
k
liegt, und dann ist aber x
n
A
k
fr alle k, also auch in deren Durchschnitt. Falls dies nicht eintritt, und falls (b) richtig ist, muss A einen
Hufungspunkt x besitzen. Nach Satz 3.1.5 liegen dann in jeder Umgebung U |(x) unendlich viele der
x
k
E. Daher ist x auch ein Hufungspunkt jeder der Mengen A
k
, und da diese abgeschlossen sind, folgt
x A
k
fr alle k N. Also folgt (c) aus (b). Seien jetzt (O
k
, k N) eine oene berdeckung von X.
Dann sind die Mengen
A
k
= X
_
_
k
_
j=1
O
j
_
_
k N
abgeschlossen, und es gilt A
1
A
2
. . . sowie

k=1
A
k
= . Also folgt aus (c), dass mindestens ein A
k
leer sein muss. Dies ist aber quivalent zu (a). 2
Korollar zu Proposition 6.1.5 Ein Hausdor-Raum, welcher zugleich ein Lindelf-Raum ist, ist
kompakt, wenn eine der drei Aussagen aus Proposition 6.1.5 erfllt ist.
6.2 Kompaktheit von Unterrumen und Normalitt
Satz 6.2.1 In jedem Hausdor-Raum (X, T ) gilt stets:
(a) Falls (X, T ) kompakt ist, dann ist jede abgeschlossene Teilmenge A X ebenfalls kompakt.
(b) Falls eine Teilmenge E X kompakt ist, dann ist sie auch abgeschlossen.
(c) Fr jede kompakte Teilmenge A X gilt immer
x , A O
1
, O
2
T : x O
1
, A O
2
, O
1
O
2
= .
Beweis: Zu (a): Seien (O
j
, j J) eine oene berdeckung von A. Zusammen mit O = X A bilden
diese eine berdeckung von X, und es muss also eine endliche Teilberdeckung geben. Diese endlich
vielen Mengen, evtl. nach Auslassen von O, bilden eine endliche Teilberdeckung (fr A) von (O
j
, j J),
was zu zeigen war. Fr den Beweis von (b) sei x
0
, E. Da (X, T ) ein Hausdor-Raum ist, folgt fr jedes
x E die Existenz von oenen Mengen O
x
und V
x
mit x
0
V
x
, x O
x
, und O
x
V
x
= . Die O
x
sind
oenbar eine berdeckung von E, und deshalb muss es endlich viele x
1
, . . . , x
n
mit E O
x
1
. . . O
x
n
.
Sei V = V
x
1
. . . V
x
n
. Dieses V ist oen, und V (O
x
1
. . . U
x
n
) = . Also folgt x
0
V X E,
und daher ist X E oen, also E abgeschlossen. Teil (c) folgt bereits aus dem Beweis von (b). 2
Satz 6.2.2 Jeder kompakte Raum (X, T ) ist normal.
Beweis: Sind A
1
, A
2
X abgeschlossen und disjunkt, so folgt aus Teil (a) und (c) von Satz 6.2.1
x A
1
O
x
, V
x
T : x O
x
, A
2
V
x
, O
x
V
x
= .
Die (O
x
, x A
1
) sind eine oene berdeckung der (kompakten) Menge A
1
, und daher gibt es endlich
viele x
1
, . . . , x
n
A
1
mit A
1
O
x
1
. . . O
x
n
. Seien O = O
x
1
. . . O
x
n
und V = V
x
1
. . . V
x
n
. Dann
sind O, V T und A
1
O, A
2
V , sowie O V = , woraus die Normalitt folgt. 2
40
6.3 Stetige Abbildungen auf kompakten Rumen
Satz 6.3.1 Seien (X, T
X
) und (Y, T
Y
) Hausdor-Rume, und sei f : X Y stetig auf X und surjektiv.
Ist dann (X, T
X
) kompakt, so ist es auch (Y, T
Y
).
Beweis: Sind (O
j
, j J) eine oene berdeckung von Y , so sind (f
1
(O
j
), j J) eine solche fr X.
Also gibt es j
1
, . . . , j
n
J so, dass X f
1
(O
j
1
) . . . f
1
(O
j
n
) ist. Daraus folgt aber Y = f(X)
(O
j
1
. . . O
j
n
). 2
Satz 6.3.2 (Existenz von Maximum und Minimum) Sei (X, T ) kompakt, und sei f : X R stetig
auf X. Dann gibt es x

, x
+
X, fr welche
f(x

) f(x) f(x
+
) x X .
Beweis: Nach dem vorangegangenen Satz ist f(X) kompakt, also nach Analysis II abgeschlossen und
beschrnkt. Also gibt es Zahlen y

, y
+
f(X) mit y

f(x) y
+
fr alle x X. Nach Denition von
f(X) folgt aber die Existenz von x

, x
+
X mit f(x

) = y

und f(x
+
) = y
+
. 2
Satz 6.3.3 (Stetigkeit der Umkehrabbildung) Seien (X, T
X
) und (Y, T
Y
) Hausdor-Rume, und
sei f : X Y stetig auf X und bijektiv. Ist dann (X, T
X
) kompakt, so ist f
1
stetig auf Y .
Beweis: Wenn A X abgeschlossen ist, dann ist A auch kompakt, und deshalb ist f(A) kompakt (in Y ),
also wegen Satz 6.2.1 insbesondere abgeschlossen. Dies ist nach Aufgabe 2.1.5 quivalent zur Stetigkeit
von f
1
. 2
6.4 Kompaktheit kartesischer Produkte
Lemma 6.4.1 Seien (X, T
X
) ein topologischer und (Y, T
Y
) ein kompakter Raum. Dann gilt:
(a) Fr jedes x
0
X ist x
0
Y kompakter Unterraum von X Y .
(b) Ist W (X Y ) oen, und ist (x
0
Y ) W fr ein x
0
X, so existiert ein O |
0
(x
0
) mit
(O Y ) W.
Beweis: Oenbar ist x
0
Y homomorph zu Y , und daher gilt (a) wegen Satz 6.3.1. Zum Beweis von
(b) whlen wir zu jedem y Y ein O
y
|
0
(x
0
) und ein V
y
|
0
(y) mit (O
y
V
y
) W; dies ist mglich
nach Aufgabe 2.4.3. Die V
y
sind eine oene berdeckung von Y , und somit gibt es y
1
, . . . , y
n
Y mit
Y =
n
j=1
V
y
j
. Sei O =
n
j=1
O
y
j
, dann folgt
x
0
O, O Y =
n
_
j=1
(O V
y
j
)
n
_
j=1
(O
y
j
V
y
j
) W ,
woraus die Behauptung folgt. 2
Satz 6.4.2 (Satz von Tychono) Das kartesische Produkt beliebig vieler kompakter Rume ist kom-
pakt.
41
Beweis: Wir fhren den Beweis hier nur fr das kartesische Produkt zweier kompakter Rume (X, T
X
)
und (Y, T
Y
), woraus durch vollstndige Induktion ein Beweis fr endlich viele Rume abgeleitet werden
kann; der Beweis fr den allgemeinen Fall benutzt weitere mengentheoretische Hilfsmittel und folgt auf
Seite 72 im letzten Kapitel.
Seien (O
j
, j J) eine oene berdeckung von X Y . Nach Teil (a) des letzten Lemmas ist x Y fr
jedes x X immer kompakt, und deshalb gibt es j
1
(x), . . . , j
n(x)
(x) J mit (x Y )
n(x)
k=1
O
j
k
(x)
=:
W
x
. Zu x gibt es nach Teil (b) desselben Lemmas ein V
x
|
0
(x) mit (V
x
Y ) W
x
. Da auch (X, T
X
)
kompakt ist, folgt die Existenz von x
1
, . . . , x
m
X mit X =
m
k=1
V
x
k
. Daraus ergibt sich
X Y =
m
_
k=1
(V
x
k
Y ) =
m
_
k=1
n(x
k
)
_
=1
O
j

(x
k
)
,
woraus die Behauptung folgt. 2
6.5 Lokalkompaktheit
Denition 6.5.1 Ein Hausdor-Raum (X, T ) heit lokalkompakt, wenn es zu jedem x X eine kom-
pakte Umgebung von x gibt.
Proposition 6.5.2 Ein Hausdor-Raum (X, T ) ist genau dann lokalkompakt, wenn gilt
x X U |(x) O |
0
(x) : O ist kompakt, und O U .
Beweis: Sei (X, T ) lokalkompakt, sei x X, und sei U |(x). O. B. d. A. sei U oen; sonst kann
U verkleinert werden. Nach Denition existiert dann eine kompakte Umgebung K von x, und dazu gibt
es ein W |
0
(x) mit W K. Nach Satz 6.2.2 ist K, bezglich der Unterraumtopologie, normal, also
insbesondere regulr. Daher gibt es zu

W := K W U = W U eine (in K) oene Menge

O mit
x

O

O

W. Zu

O existiert dann ein

O T mit

O = K

O. Sei jetzt O =

W

O. Dann ist O T
und O

W K, und somit ist O K. Nach Satz 6.2.1 ist O kompakt, und O =

W

O K

O,
also O

O

W U. Daher gilt eine Richtung der Behauptung. Die Umkehrung ist aber klar nach
Denition der Lokalkompaktheit. 2
Korollar zu Proposition 6.5.2 Jeder lokalkompakte Raum ist regulr.
6.6 Ein-Punkt-Kompaktizierung lokalkompakter Rume
Satz 6.6.1 (Satz von Alexandro) Sei (X, T ) lokalkompakt aber nicht kompakt. Seien , X und
Y = X . Dann gibt es auf Y genau eine Topologie T
Y
, bezglich der (Y, T
Y
) kompakt und (X, T )
ein dichter Unterraum von (Y, T
Y
) ist. Dabei ist
T
Y
= O Y : O T oder Y O ist kompakt in X .
Beweis: (a) Sei T
Y
wie im Satz angegeben; wir zeigen: T
Y
ist eine Topologie auf Y . Klar ist , Y T
Y
,
denn T T
Y
, und Y Y = ist eine kompakte Teilmenge von X. Seien jetzt O
j
T
Y
fr j J, und
sei O ihre Vereinigung. Wir zerlegen J = J
1
J
2
, wobei J
1
genau diejenigen j enthlt, fr die , O
j
ist (beachte, dass evtl. J
1
oder J
2
auch leer sein knnen). Fr j J
1
ist O
j
T , und somit ist die
42
Vereinigung dieser Mengen in T , also auch in T
Y
. Falls J
2
= ist, dann folgt O T
Y
. Andernfalls ist
O, und dann ist
A := Y O =

jJ
(Y O
j
) =

jJ
(X O
j
) .
Also ist A Durchschnitt von abgeschlossenen Teilmengen von X, also selber abgeschlossen. Da aber fr
j J
2
die Mengen K = Y O
j
kompakt sind, ist A eine abgeschlossene Teilmenge einer kompakten
Menge (in X), also selber kompakt. Daraus folgt aber O T
Y
. Seien jetzt O
1
, . . . , O
n
T
Y
, und sei jetzt
O gleich deren Durchschnitt. Falls , O ist, dann ist O =
j
(O
j
), und da alle (O
j
) T
sind, folgt O T . Falls dagegen immer O
j
ist, mssen nach Denition von T
Y
die Mengen Y O
j
alle kompakte Teilmengen von X sein, und dann ist ihre Vereinigung ebenfalls kompakt in X. Also ist
O, als das Komplement dieser kompakten Menge, in T
Y
.
(b) Wir zeigen jetzt: Genau dann ist O T , wenn es ein V T
Y
gibt mit O = X V (d. h. genau, dass
(X, T ) topologischer Unterraum von (Y, T
Y
) ist). Dazu sei V T
Y
, und O = X V . Falls , V ist,
folgt V T , also O = V T . Im anderen Fall ist K = Y V in X kompakt, also abgeschlossen, und
dann ist O = X K T . Die Umkehrung dieser Folgerung ist klar nach Denition von T
Y
.
(c) Wir zeigen jetzt, dass X dicht in (Y, T
Y
) ist. Dazu ist nur zu zeigen, dass in jeder Umgebung von
mindestens ein Punkt von X liegt. Sei also U |(), und sei o. B. d. A. U oen. Dann ist nach
Denition von T
Y
die Menge K = Y U kompakt in X, und da X selber nicht kompakt ist, folgt hieraus
K ,= X, also U X ,= .
(d) Jetzt zeigen wir, dass (Y, T
Y
) ein Hausdor-Raum ist. Dazu seien x, y Y mit x ,= y. Falls beide
Punkte in X liegen, ist nichts zu zeigen, deshalb sei y = . Da X lokalkompakt ist, gibt es eine kompakte
Umgebung K |(x), und dann ist O = Y K T
Y
, und O. Da OK = ist, ist die Behauptung
bewiesen.
(e) Nun soll gezeigt werden, dass (Y, T
Y
) kompakt ist. Dazu sei (O
j
, j J) eine oene berdeckung von
Y , also insbesondere O
j
0
fr ein j
0
J. Dann ist K = Y O
j
0
kompakt, und (O
j
X, j J) ist
eine oene berdeckung von K. Somit bilden bereits endlich viele dieser Mengen eine berdeckung von
K, und diese O
j
zusammen mit O
j
0
bilden eine endliche Teilberdeckung von Y .
(f) Zuletzt ist noch zu zeigen, dass die Topologie T
Y
die einzige ist, die alle diese Eigenschaften hat. Dazu
sei

T eine Topologie auf Y mit folgenden Eigenschaften:
1. (Y,

T ) ist kompakt.
2. O T V

T : O = V X.
3. X ist dicht in (Y,

T ).
Da (Y,

T ) ein Hausdor-Raum ist, ist abgeschlossen, also X

T . Wir zeigen zunchst T
Y


T, und
whlen dazu ein O T
Y
. Falls sogar O T ist, dann gibt es nach Punkt 2 ein V

T mit O = V X
und daraus folgt O

T . Im anderen Fall ist K = Y O kompakt in (X, T ). Wir zeigen, dass K auch
kompakt in (Y,

T ) ist, woraus dann O

T folgt. Seien also O
j


T fr j J eine berdeckung von K,
dann sind aber O
j
X T und ebenfalls berdeckung. Also reichen endlich viele dieser Mengen bereits
zur berdeckung von K aus, was zu zeigen war. Jetzt muss noch T
Y


T gezeigt werden. Sei also O

T .
Falls , O ist, dann ist O = O X T nach Punkt 2. Im anderen Fall ist K = Y O abgeschlossen,
also auch kompakt in (Y,

T ), und man zeigt analog zu oben, dass K dann auch kompakt in (X, T ) ist,
woraus O T
Y
folgt. 2
43
Kapitel 7
Zusammenhang
7.1 Topologischer Zusammenhang
Denition 7.1.1 Eine Teilmenge Y eines topologischen Raumes (X, T ) heit unzusammenhngend,
wenn gilt
O
1
, O
2
T : Y O
1
,= , Y O
2
,= , Y O
1
O
2
= , Y O
1
O
2
. (7.1.1)
Ist dies nicht der Fall, so nennen wir Y zusammenhngend. Wenn X selber zusammenhngend ist,
sprechen wir auch von einem zusammenhngenden topologischen Raum.
Bemerkung 7.1.2 Wenn man den Zusammenhang von Y beweisen mchte, so muss man zeigen, dass
fr zwei beliebige O
1
, O
2
T von den vier Eigenschaften in (7.1.1) hchstens drei gelten knnen. Z. B.
kann man annehmen, dass der Durchschnitt beider Mengen mit Y nicht leer ist und sie eine berdeckung
von Y bilden, und muss dann zeigen dass der dreifache Durchschnitt nicht leer sein kann. Genausogut
kann man annehmen, dass die ersten drei Bedingungen erfllt sind und muss dann die letzte widerlegen.
Auf Grund der Denition der Spurtopologie kann man berprfen, dass eine nicht-leere Teilmenge Y
genau dann zusammenhngend ist, wenn Y als Unterraum von X ein zusammenhngender Raum ist.
Aufgabe 7.1.3 Zeige, dass die leere Menge und alle einelementigen Teilmengen von X in jedem topolo-
gischen Raum (X, T ) zusammenhngend sind. Was kann man allgemein ber zweielementige Teilmengen
sagen? Welche Teilmengen sind bezglich der diskreten bzw. der indiskreten Topologie auf X zusammen-
hngend?
Satz 7.1.4 Ein topologischer Raum (X, T ) ist genau dann zusammenhngend, wenn X und die einzigen
Teilmengen von X sind, die zugleich oen und abgeschlossen sind.
Beweis: Folgt sofort aus der Denition. 2
Proposition 7.1.5 In R mit der euklidischen Topologie ist eine Teilmenge Y genau dann zusammen-
hngend, wenn sie ein Intervall ist.
Beweis: Wir sagen, dass Y die Zwischenpunkteigenschaft hat, wenn fr zwei Elemente a, b Y mit a < b
immer das abgeschlossene Intervall [a, b] Untermenge von Y ist. Es ist leicht einzusehen, dass genau die
44
Intervalle diese Eigenschaft haben. Sei jetzt angenommen, dass Y nicht diese Zwischenpunkteigenschaft
hat. Dann gibt es a, b Y , mit a < b, derart dass ein x , Y existiert mit a < x < b. In diesem Fall haben
die Intervalle O
1
= (, x) und O
2
= (x, ) alle Eigenschaften in (7.1.1), sodass Y unzusammenhngend
ist. Wenn dagegen Y die Zwischenpunkteigenschaft besitzt, dann seien O
1
, O
2
T so, dass es ein
a Y O
1
und b Y O
2
gibt, und sei o. B. d. A. angenommen dass a < b ist. Weiter gelte Y O
1
O
2
.
Sei x = supc Y O
1
: x < b. Dann ist x Y auf Grund der Zwischenpunkteigenschaft, und daher
muss x O
1
oder x O
2
sein. Im ersten Fall muss x = b sein, da sich sonst ein Widerspruch zur Wahl von
x ergibt. Also ist in diesem Fall Y O
1
O
2
,= . Im zweiten Fall gibt es ein > 0 so, dass (x, x] O
2
ist, und wegen der Denition von x ist (x , x] O
1
,= . Also folgt in beiden Fllen Y O
1
O
2
,= ,
und deshalb ist Y zusammenhngend. 2
7.2 Stetige Abbildungen auf zusammenhngenden Rumen
Satz 7.2.1 Seien (X, T
X
) und (Y, T
Y
) topologische Rume, und sei f : X Y stetig auf X und surjektiv.
Ist dann (X, T
X
) zusammenhngend, so ist es auch (Y, T
Y
).
Beweis: Seien O
1
, O
2
T
Y
beide nicht leer, und sei Y = O
1
O
2
. Dann sind die Mengen V
j
= f
1
(O
1
)
beide nicht leer und in T
X
, und V
1
V
2
= X. Da (X, T
X
) zusammenhngend ist, folgt hieraus dass
V
1
V
2
,= ist. Daraus aber folgt O
1
O
2
,= , was zu zeigen war. 2
Aufgabe 7.2.2 Zeige: Kreise in R
2
und Kugeloberchen in R
3
sind zusammenhngend.
Korollar zu Satz 7.2.1 (Zwischenwertsatz) Sei (X, T
X
) ein zusammenhngender topologischer Raum,
und sei f : X R stetig auf X. Dann ist f(X) ein Intervall.
Beweis: Folgt mit Hilfe der letzten Proposition. 2
7.3 Weitere Eigenschaften des Zusammenhangs
Satz 7.3.1 Sei (X, T ) ein topologischer Raum, und sei Y X eine zusammenhngende Teilmenge.
Dann ist jede Menge F mit Y F Y ebenfalls zusammenhngend.
Beweis: Sei F unzusammenhngend. Dann existieren O
1
, O
2
T mit F O
1
O
2
, O
1
O
2
F = ,
O
1
F ,= und O
2
F ,= . Dann folgt Y O
1
O
2
und O
1
O
2
Y = . Alle x F Y sind
Berhrungspunkte von Y , und daher gibt es zu jedem x F O
1
auch ein x
1
Y O
1
, und deshalb ist
Y O
1
,= . Genauso folgt Y O
2
,= , und deshalb ist auch Y unzusammenhngend. 2
Lemma 7.3.2 Sei (X, T ) ein topologischer Raum, und seien Y
j
, fr j J, zusammenhngende Teil-
mengen von X. Wenn
j
Y
j
,= ist, dann ist
j
Y
j
zusammenhngend.
Beweis: Sei Y =
j
Y
j
unzusammenhngend. Dann gibt es O
1
, O
2
, fr welche (7.1.1) gilt. Sei x
j
Y
j
,
und sei o. B. d. A. x O
1
angenommen. Dann gilt fr alle j J: Y
j
O
1
O
2
, x Y
j
O
1
, und
Y
j
O
1
O
2
= . Fr x
0
Y O
2
gibt es mindestens ein j
0
J, fr welches x
0
Y
j
0
O
2
ist, und dann
ist Y
j
0
unzusammenhngend. 2
45
Aufgabe 7.3.3 Zeige: Polygonzge in R
n
sind zusammenhngend.
Satz 7.3.4 Kartesische Produkte beliebig vieler topologischer Rume (X
j
, T
j
) sind genau dann zusam-
menhngend, wenn alle (X
j
, T
J
) zusammenhngend sind.
Beweis: Sei das kartesische Produkt mit (X, T ) bezeichnet und als zusammenhngend vorausgesetzt. Da
alle Projektionen stetig sind, folgt aus Satz 7.2.1 der Zusammenhang aller (X
j
, T
j
). Seien jetzt umgekehrt
alle (X
j
, T
j
) zusammenhngend. Wir unterscheiden folgende Flle:
(a) Sei J = 1, 2. Fr x
0
X
1
und y
0
X
2
sei
Y
x
0
,y
0
= (x
0
, y) : y X
2
(x, y
0
) : x X
1
X
1
X
2
.
Dann besteht Y
x
0
,y
0
aus zwei Anteilen, welche zu X
2
bzw. X
1
homomorph und deshalb zusammen-
hngend sind, und der Durchschnitt der beiden Teile ist nicht leer. Daher ist Y
x
0
,y
0
nach obigem Lemma
zusammenhngend. Bei festem y
0
ist auch der Durchschnitt aller Y
x
0
,y
0
nicht leer, und somit folgt genauso
dass
x
0
Y
x
0
,y
0
zusammenhngend ist; diese Menge ist aber gleich X
1
X
2
.
(b) Fr endliche Mengen J folgt die Behauptung aus (a) mit Hilfe von Induktion ber die Anzahl der
Elemente von J.
(c) Sei jetzt J beliebig, und sei (x
(0)
j
) X gewhlt. Fr eine endliche Teilmenge J
e
von J sei
X
J
e
= (x
j
) X : x
j
= x
(0)
j
j J J
e
X .
Jedes solche X
J
e
ist homomorph zu dem kartesischen Produkt der (X
j
, T
j
) fr j J
e
, also zusammen-
hngend nach (b). Da (x
(0)
j
) X
J
e
ist, haben alle diese Mengen nicht-leeren Durchschnitt, und deshalb
ist ihre Vereinigung zusammenhngend; diese Vereinigung ist aber dicht in X, wie man aus der Denition
der Produkttopologie abliest. Daher folgt die Behauptung aus Satz 7.3.1. 2
7.4 Zusammenhangskomponenten
Lemma 7.4.1 Sei (X, T ) ein topologischer Raum. Dann wird auf jeder Menge Y X durch
x, y Y : x y E Y : E ist zusammenhngend in X, und x, y E .
eine quivalenzrelation deniert.
Beweis: Da einelementige Mengen zusammenhngend sind, folgt die Reexivitt, und die Symmetrie
ist klar nach Denition. Die Transitivitt folgt mit Hilfe von Lemma 7.3.2. 2
Denition 7.4.2 Sei (X, T ) ein topologischer Raum, und sei Y X mit der quivalenzrelation aus
obigem Lemma versehen. Dann heien die quivalenzklassen
Y
x
= y Y : x y x Y
die Zusammenhangskomponenten von Y . Oenbar ist Y genau dann zusammenhngend, wenn es nur
eine solche Zusammenhangskomponente gibt.
Proposition 7.4.3 In jedem topologischen Raum (X, T ) gilt fr alle Y X:
46
(a) x Y : Y
x
ist zusammenhngend.
(b) x Y : Ist F Y zusammenhngend, und ist x F, so ist F Y
x
. Das heit also, dass die
Zusammenhangskomponente zu x die grte zusammenhngende Teilmenge von Y ist, welche x
enthlt.
(c) x, y Y : Y
x
Y
y
,= = Y
x
= Y
y
.
(d) x Y : Y
x
ist abgeschlossen in der Unterraumtopologie auf Y .
Beweis: Teil (b) ist klar nach Denition der quivalenzrelation, und (c) gilt immer fr quivalenzklas-
sen. Nach (b) und der Denition der quivalenzrelation ist Y
x
Vereinigung aller zusammenhngenden
Teilmengen von X, welche x enthalten, und deshalb folgt aus Lemma 7.3.2 die Behauptung (a). Schlielich
folgt (d) aus (b), weil der Abschluss zusammenhngender Mengen selber zusammenhngt. 2
7.5 Lokaler Zusammenhang
Denition 7.5.1 Ein topologischer Raum (X, T ) heit lokal zusammenhngend, wenn es in jeder Um-
gebung jedes Punktes eine kleinere Umgebung gibt, welche zusammenhngend ist. Eine quivalente For-
mulierung ist, dass es in jedem Punkt eine Umgebungsbasis aus zusammenhngenden Mengen gibt. Wir
nennen den Raum total unzusammenhngend, wenn die einelementigen Teilmengen die einzigen zusam-
menhngenden Mengen sind.
Beispiel 7.5.2 Die Menge Q der rationalen Zahlen mit der euklidischen Topologie ist total unzusam-
menhngend, da es zwischen zwei rationalen immer eine irrationale Zahl gibt.
Satz 7.5.3 Ein topologischer Raum (X, T ) ist genau dann lokal zusammenhngend, wenn die Zusam-
menhangskomponenten oener Teilmengen selber oen sind.
Beweis: Sei der Raum lokal zusammenhngend, sei O T , und sei V eine Zusammenhangskomponente
von O. Fr x V O ist O |(x), und deshalb gibt es ein U |(x), welches zusammenhngt
und Teilmenge von O ist. Daraus folgt U V , und deshalb ist V Umgebung jedes seiner Punkte, also
oen. Fr die Umkehrung seien x X und U |(x). Dann enthlt U eine oene Umgebung von x,
und deren Zusammenhangskomponenten sind nach Voraussetzung alle oen. Eine davon enthlt dann x
und ist demnach eine zusammenhngende Umgebung von x, welche in U enthalten ist. Also ist X lokal
zusammenhngend. 2
7.6 Kurvenzusammenhang
Denition 7.6.1 Sei (X, T ) ein topologischer Raum, und Y eine nicht-leere Teilmenge von X. Eine
stetige Abbildung f : [0, 1] Y heit eine Parameterdarstellung einer Kurve in Y . Manchmal sagen wir
auch einfach eine Kurve in Y , obwohl dies nicht genau dasselbe ist. Der Punkt f(0) heit der Anfangs-,
f(1) der Endpunkt, und die Menge f([0, 1]) heit Trger der Kurve. Wir sagen auch: Die Kurve verbindet
x = f(0) und y = f(1).
Eine Teilmenge Y X heit kurvenzusammenhngend, wenn es zu beliebigen Punkten x, y Y eine
Kurve in Y gibt, welche x und y verbindet.
Der Raum (X, T ) heit lokal kurvenzusammenhngend, wenn in jeder Umgebung jedes Punktes x X
eine kurvenzusammenhngende Umgebung von x enthalten ist.
47
Satz 7.6.2 Sei (X, T ) ein topologischer Raum. Dann ist jede kurvenzusammenhngende Teilmenge von
X auch zusammenhngend. Die Umkehrung gilt im Allgemeinen nicht.
Beweis: Sei Y X kurvenzusammenhngend, und o. B. d. A. sei Y nicht leer. Sei x
0
Y gewhlt. Dann
gibt es nach Denition zu jedem x Y eine Kurve in Y , die x
0
und x verbindet. Aus Satz 7.2.1 folgt,
dass der Trger der Kurve zusammenhngend ist, und demnach ist x
0
x, also Y zusammenhngend.
Sei jetzt Y R
2
gegeben durch
Y = (x, 0)
T
: 0 x 1 (1/n, y)
T
: n N, 0 y 1 .
Man sieht schnell, dass Y kurvenzusammenhngend, also zusammenhngend ist, denn man kann zwei
Punkte in Y durch einen Polygonzug verbinden. Es ist Y = Y (0, y)
T
: 0 y 1, und nach
Satz 7.3.1 ist jedes X mit Y X Y zusammenhngend. Wir whlen X = Y (0, 1)
T
. Wenn
f = (f
1
, f
2
)
T
: [0, 1] R
2
Parameterdarstellung eine Kurve mit Anfangspunkt (0, 0)
T
und Endpunkt
(0, 1)
T
ist, so sind f
1
und f
2
beide stetig auf [0, 1]. Also muss es ein > 0 geben, fr welches f
2
(t) > 1/2 ist
fr alle t [1, 1]. Nach dem Zwischenwertsatz muss f
1
(t) fr solche t auch irrationale Werte annehmen,
und daher kann der Trger dieser Kurve nicht in X liegen. Also kann X nicht kurvenzusammenhngend
sein. 2
Lemma 7.6.3 Eine nicht-leere Teilmenge Y X eines topologischen Raumes (X, T ) ist genau dann
kurvenzusammenhngend, wenn es ein x
0
Y gibt, welches mit jedem x Y in Y verbunden werden
kann.
Beweis: Die eine Richtung der Aussage ist klar. Sei jetzt angenommen, dass ein solches x
0
Y existiert.
Seien x
1
, x
2
Y . Dann gibt es nach Voraussetzung stetige Abbildungen f
1
, f
2
: [0, 1] Y mit f
1
(0) =
f
1
(0) = x
0
und f
1
(1) = x
1
, f
1
(1) = x
2
. Sei dann
f(t) =
_
f
1
(1 2 t) fr 0 t 1/2 ,
f
2
(2 t 1) fr 1/2 < t 1 .
Dann ist f : [0, 1] Y stetig, und f(0) = x
1
, f(1) = x
2
. Also ist Y kurvenzusammenhngend. 2
Bemerkung 7.6.4 Man sieht schnell ein, dass Satz 7.2.1 und Lemma 7.3.2 sowie deren Beweise auch
fr den Kurvenzusammenhang gelten. Der Beweis von Satz 7.3.4 gilt jedenfalls fr das kartesische Produkt
endlich vieler Rume.
Satz 7.6.5 Sei (X, T ) lokal kurvenzusammenhngend. Genau dann ist eine Menge O T kurvenzusam-
menhngend, wenn sie zusammenhngend ist.
Beweis: Nur eine Richtung ist noch zu zeigen: Sei O zusammenhngend und o. B. d. A. nicht leer. Sei
x
0
O, und sei V O die Menge aller x O, die sich in O mit x
0
verbinden lassen. Aus dem lokalen
Kurvenzusammenhang folgt dann, dass V T ist. Aber aus dem gleichen Grund ist auch O V oen,
und deshalb kann O nur dann zusammenhngend sein, wenn V = O ist. Nach dem letzten Lemma ist
deshalb O kurvenzusammenhngend. 2
48
Kapitel 8
Vollstndigkeit metrischer Rume
In einem allgemeinen topologischen Raum kann man nicht denieren, was Cauchyfolgen sind, und deshalb
ist es auch sinnlos, von Vollstndigkeit zu sprechen. In metrischen Rumen dagegen machen diese Begrie
Sinn und sollen jetzt studiert werden.
8.1 Cauchyfolgen
Denition 8.1.1 Eine Folge (x
n
) in einem metrischen Raum (X, d) heit Cauchyfolge, wenn gilt
> 0 N N n, m N : d(x
n
, x
m
) < .
Lemma 8.1.2 Sei (X, d) ein metrischer Raum.
(a) Wenn eine Folge (x
n
) in (X, d) konvergiert, dann ist sie Cauchyfolge.
(b) Wenn eine Cauchyfolge eine konvergente Teilfolge besitzt, dann ist sie konvergent.
Beweis: Falls gilt x
n
x fr n , dann folgt aus Lemma 4.2.1, dass es zu jedem > 0 ein
N N gibt, so dass fr alle n N gilt d(x
n
, x) < . Mit der Dreiecksungleichung folgt daraus aber
d(x
n
, x
m
) d(x
n
, x) + d(x, x
m
) < 2 fr alle n, m N. Das ist quivalent zur Cauchybedingung. Sei
jetzt (x
n
) eine Cauchyfolge, und gelte fr ein x X
> 0 N N n
N
N : d(x, x
n
N
) < .
Dies ist gerade quivalent zur Existenz einer Teilfolge, welche gegen x konvergiert. Daraus folgt fr jedes
> 0, mit N wie in der Cauchybedingung: d(x
n
, x) d(x
n
, x
n
N
) +d(x
n
N
, x) < 2 , falls n N ist, was
zu zeigen war. 2
Beispiel 8.1.3 Sei X die Menge der reellen Zahlenfolgen x = (x
(k)
) mit nur endlich vielen Gliedern
x
(k)
,= 0, und sei
|x|
2
=
_

k=1
(x
(k)
)
2
_
1/2
x X .
Dann ist (X, | |) ein normierter Raum, und fr die Folgen x
n
= (x
(k)
n
) mit x
(k)
n
= 1/k fr 1 k n
bzw. = 0 fr k n + 1 folgt dann |x
n
x
m
|
2

k=n+1
k
2
fr m > n 1. Daher ist (x
n
, n N) eine
49
Cauchyfolge, hat aber in X keinen Grenzwert, weil aus x
n
x = (x
(k)
) folgen wrde, dass fr jedes feste
k gilt x
(k)
n
x
(k)
fr n , und dann msste x
(k)
= 1/k sein fr alle k N; diese Folge gehrt aber
nicht zur Menge X. Der Ausweg aus diesem Dilemma besteht darin, die Menge X zu erweitern und statt
ihrer den Raum

2
=
_
(x
(k)
) :

k=1
[x
(k)
[
2
<
_
zu betrachten; in diesem Raum ist nmlich jede Cauchyfolge konvergent. Vergleiche dazu auch den nch-
sten Abschnitt.
Aufgabe 8.1.4 Zeige: In einem kompakten metrischen Raum ist jede Cauchyfolge konvergent.
8.2 Vervollstndigung metrischer Rume
Denition 8.2.1 In einem metrischer Raum (X, T ) heit eine Teilmenge Y X vollstndig, wenn
jede Cauchyfolge mit Gliedern aus Y konvergiert, und wenn ihr Grenzwert zu Y gehrt. Trit dies fr X
selber zu, so nennen wir (X, T ) einen vollstndigen metrischen Raum. Eine nicht-leere Teilmenge Y ist
also genau dann vollstndig, wenn sie als Unterraum von X ein vollstndiger metrischer Raum ist.
Satz 8.2.2 In einem vollstndigen metrischen Raum (X, T ) ist eine Teilmenge Y genau dann vollstndig,
wenn sie abgeschlossen ist.
Beweis: Falls Y leer ist, ist nichts zu zeigen. Sei jetzt (x
n
) eine Cauchyfolge mit Gliedern in Y . Dann ist
sie in X konvergent, und wenn Y abgeschlossen ist, muss ihr Grenzwert nach Lemma 4.2.1 zu Y gehren,
also Y selbst vollstndig sein. Umgekehrt: wenn Y vollstndig und x Y ist, so gibt es nach dem gleichen
Lemma eine in Y gelegene Folge, welche gegen x konvergiert. Diese Folge ist auch Cauchyfolge, und nach
Denition der Vollstndigkeit muss ihr Grenzwert zu Y gehren, woraus Y = Y folgt. 2
Denition 8.2.3 Seien (X
1
, d
1
) und (X
2
, d
2
) metrische Rume. Eine Abbildung f : X
1
X
2
heit
lngentreu oder eine Isometrie, falls
x, y X
1
: d
1
(x, y) = d
2
(f(x), f(y)) .
Oenbar ist jede Isometrie injektiv. Die beiden Rume heien isometrisch, wenn es eine surjektive Iso-
metrie f : X
1
X
2
gibt.
Eine auf einer nicht-leeren Menge X denierte Abbildung d : X R heit eine Semimetrik auf X, wenn
gilt
(S1) x, y X : d(x, y) 0 , d(x, x) = 0 (Positive Semidenitheit)
(S2) x, y X : d(x, y) = d(y, x) (Symmetrie)
(S3) x, y, z X : d(x, z) d(x, y) + d(y, z) (Dreiecksungleichung)
Eine Semimetrik hat also alle Eigenschaften einer Metrik, auer dass aus d(x, y) = 0 nicht x = y gefolgert
werden kann.
Aufgabe 8.2.4 (Semimetriken) Sei X nicht leer, und sei d : X R eine Semimetrik auf X. Zeige:
(a) Auch fr Semimetriken gilt eine Vierecksungleichung wie in Aufgabe 1.1.9.
50
(b) Deniert man oene Mengen genau wie in Denition 1.1.13, so erhlt man auch fr die Semimetrik
d eine Topologie auf X, aber X ist mit dieser Topologie im Allgemeinen kein Hausdor-Raum.
(c) Durch x y d(x, y) = 0 wird eine quivalenzrelation auf X deniert, und aus x x
und y y folgt d(x, y)) = d( x, y). Man kann also d auch als eine Abbildung auf der Menge der
quivalenzklassen auassen.
(d) Die Menge aller quivalenzklassen fr die obige Relation, zusammen mit d, ist ein metrischer Raum.
Satz 8.2.5 (Vervollstndigungssatz) Zu jedem metrischen Raum (X, d) gibt es einen vollstndigen
metrischen Raum (

X,

d) sowie eine Isometrie f : X

X derart, dass f(X) in

X dicht ist.
Beweis: Sei Y die Menge aller Cauchyfolgen in X, und seien (x
n
), (y
n
) Y .
(a) Beh: Der Grenzwert d

((x
n
), (y
n
)) := lim
n
d(x
n
, y
n
) existiert.
Bew: Sei
n
= d(x
n
, y
n
), dann folgt aus Aufgabe 1.1.9, dass [
n

m
[ d(x
n
, x
m
) + d(y
n
, y
m
) ist, und
deshalb ist (
n
) eine Cauchyfolge reeller Zahlen, also konvergent.
(b) Beh: Auf Y ist d

eine Semimetrik, d. h., es gelten die Axiome einer Metrik mit der Ausnahme, dass
aus d

((x
n
), (y
n
)) = 0 nicht gefolgert werden kann, dass (x
n
) = (y
n
) ist.
Bew: Zu zeigen ist nur die Dreiecksungleichung, da alles brige direkt aus der Denition folgt. Seien
deshalb (x
n
), (y
n
), (z
n
) Y . Dann ist d(x
n
, z
n
) d(x
n
, y
n
) + d(y
n
, z
n
) fr alle n, und daraus folgt die
Dreiecksungleichung fr n .
Nach Aufgabe 8.2.4 erhlt man zu dieser Semimetrik eine quivalenzrelation, und die Menge der qui-
valenzklassen wird zu einem metrischen Raum, den wir mit (

X,

d) bezeichnen. Wir schreiben fr die
quivalenzklasse einer Cauchyfolge (x
n
) bezglich dieser Relation auch

(x
n
), und es gilt nach Denition
von

d dass

d(

(x
n
),

(y
n
)) = d

((x
n
), (y
n
)) ist. In Worten ausgedrckt ist der Abstand zweier quivalenz-
klassen gleich dem von zwei beliebigen Reprsentanten.
(c) Beh: Die Abbildung f : X

X, die jedem x X die quivalenzklasse

(x) zuordnet, in welcher die
konstante Folge (x
n
= x) liegt, ist eine Isometrie.
Bew: Fr x, y X seien x
n
= x, y
n
= y fr alle n N. Dann folgt

d(

(x),

(y)) = d

((x
n
), (y
n
)) =
lim
n
d(x
n
, y
n
) = d(x, y), also die Behauptung.
(d) Beh: f(X) ist dicht in

X.
Bew: Sei

(x
n
)

X, und sei > 0. Dann existiert ein N N fr welches d(x
n
, x
m
) < ist fr alle
n, m N. Fr x = x
N
folgt daraus

d(

(x),

(x
n
)) = d

((x), (x
n
)) = lim
n
d(x, x
n
) , woraus die
Behauptung folgt.
(e) Beh: (

X,

d) ist vollstndig.
Bew: Sei (

(x
n
)
k
) eine Cauchyfolge in

X. Fr jedes (feste) k N ist also

(x
n
)
k
selber eine quivalenzklasse
von Cauchyfolgen, von denen wir eine mit (x
nk
, n N) bezeichnen. Zu > 0 existiert deshalb ein N N
derart, dass

d(

(x
n
)
k
,

(x
n
)
j
) = lim
n
d(x
nk
, x
nj
) < k, j N. Aus (d) folgt dass fr jedes k N
ein x
k
X existiert, fr welches

d(

(x
k
),

(x
n
)
k
) = lim
n
d(x
k
, x
nk
) 1/k .
Die Folge (x
k
) ist eine Cauchyfolge, denn d(x
k
, x
j
) =

d(

(x
k
),

(x
j
))

d(

(x
k
),

(x
n
)
k
) +

d(

(x
n
)
k
,

(x
n
)
j
) +

d(

(x
n
)
j
,

(x
j
)) 1/k ++1/j 2 fr jedes > 0 und alle gengend groen k, j N. Daher ist (x
n
) Y
51
und

d(

(x
n
)
k
,

(x
n
)) = lim
n
d(x
nk
, x
n
) limsup
n
_
d(x
nk
, x
k
) + d(x
k
, x
n
)
_
< 1/k + 2
falls nur k gengend gro ist. Das zeigt, dass die Folge (

(x
n
)
k
) fr k gegen

(x
n
) konvergiert. 2
Denition 8.2.6 Der Raum (

X,

d) aus dem letzten Satz heit Vervollstndigung des metrischen Raumes
(X, d). Aus dem Korollar zu Proposition 8.3.4 wird sich ergeben, dass die Vervollstndigung bis auf
Isometrie eindeutig bestimmt ist.
Beispiel 8.2.7 Im Folgenden sei 1 p < fest gewhlt.
(a) Sei X die Menge aller reellen Zahlenfolgen wie im Beispiel 8.1.3. Wir denieren eine Norm |x|
p
=
(

k=1
[x
(k)
[
p
)
1/p
fr x X, wobei es wichtig ist zu beachten, dass diese Reihe konvergiert, da
ja immer nur endlich viele ihrer Glieder von 0 verschieden sind. Dann ist (X, | |
p
) ein nicht
vollstndiger normierter Raum. Seine Vervollstndigung ist, bis auf Isometrie, gleich

p
=
_
(x
(k)
) :

k=1
[x
(k)
[
p
<
_
.
(b) Sei a < b, und sei fr f C[a, b] eine p-Norm |f|
p
wie in Beispiel 1.1.3 deniert. Dieser normierte
Raum ist nicht vollstndig. Seine Vervollstndigung erhlt man wie folgt: Auf der Menge aller auf
[a, b] denierten Funktionen f, fr welche [f[
p
im Lebesgueschen Sinn ber [a, b] integrierbar ist,
ist d(f, g) = |f g|
p
eine Semimetrik und deniert daher eine quivalenzrelation. Die Menge
aller quivalenzklassen wird dann zu einem vollstndigen normierten Raum, den man mit L
p
[a, b]
bezeichnet, und dieser Raum ist die gesuchte Vervollstndigung.
Analoge Aussagen gelten auch fr p = , also die Supremumsnorm auf X bzw. C[a, b]. Man erhlt dann
im Fall (a) als Vervollstndigung den Raum c
0
der Nullfolgen, whrend bei (b) der Raum C[a, b] bereits
vollstndig ist.
8.3 Gleichmige Stetigkeit und Fortsetzung stetiger Abbildun-
gen
Lemma 8.3.1 Seien (X, T
X
) ein topologischer Raum und (Y, T
Y
) ein Hausdor-Raum, und sei E X
dicht in (X, T
X
). Sind f
1
, f
2
: X Y beide stetig auf X, und gilt f
1
(x) = f
2
(x) fr alle x E, so sind
die Abbildungen auf ganz X gleich.
Beweis: Sei x X, und seien y
j
= f
j
(x) fr j = 1 und j = 2. Fr U
j
|(y
j
) gilt f
1
j
(U
j
) |(x), und
daraus folgt
U = f
1
1
(U
1
) f
1
2
(U
2
) |(x) .
Da E dicht ist, gibt es ein x U E, und daher folgt f
1
( x) = f
2
( x) U
1
U
2
. Das bedeutet, dass sich
die Punkte y
1
und y
2
in (Y, T
Y
) nicht trennen lassen, und deshalb folgt aus der Hausdor-Eigenschaft
dass y
1
= y
2
ist. 2
Denition 8.3.2 Seien (X, d
X
) und (Y, d
Y
) metrische Rume, und sei ,= E X. Eine Abbildung
f : E Y heit auf E gleichmig stetig, falls gilt
> 0 > 0 x
1
, x
2
E : d
X
(x
1
, x
2
) < = d
Y
(f(x
1
), f(x
2
)) < . (8.3.1)
Oenbar ist jede gleichmig stetige Abbildung auch stetig auf E, aber nicht umgekehrt. Eine Isometrie
ist allerdings immer gleichmig stetig auf E.
52
Satz 8.3.3 Seien (X, d
X
) und (Y, d
Y
) metrische Rume, und sei f : X Y eine auf X stetige Abildung.
Wenn (X, d
X
) kompakt ist, dann ist f auf X gleichmig stetig.
Beweis: Zu > 0 und x X existiert ein
x
> 0 derart, dass aus d
X
(x, x) <
x
folgt, dass
d
Y
(f(x), f( x)) < /2 ist. Die Umgebungen U

x
/2
(x) sind eine oene berdeckung von X, und wenn
X kompakt ist, dann gibt es x
1
, . . . , x
n
X mit X U
r
j
(x
j
), wobei r
j
=
x
j
/2 gesetzt ist. Fr
= minr
1
, . . . , r
n
gilt dann: Sind x, x X, so existiert ein j 1, . . . , n, fr welches x U
r
j
(x
j
) ist,
und ist dann x U

(x), so folgt mit der Dreiecksungleichung dass x U

2r
j
(x
j
) ist. Daraus folgt aber
d
Y
(f(x), f( x)) d(f(x), f(x
j
)) +d(f(x
j
), f( x)) < . 2
Proposition 8.3.4 Seien (X, d
X
) und (Y, d
Y
) metrische Rume, und sei (Y, d
Y
) vollstndig. Sei weiter
E X dicht in (X, d
X
) und f : E Y gleichmig stetig auf E. Dann gibt es genau eine stetige
Abbildung F : X Y mit F(x) = f(x) fr alle x E, und F ist auf X sogar gleichmig stetig.
Beweis: Sei x X. Da E dicht ist, gibt es nach Lemma 4.2.1 eine Folge (x
n
) aus E, welche gegen x
konvergiert.
Beh: Die Bildfolge (y
n
= f(x
n
)) ist wegen der gleichmigen Stetigkeit von f auf E eine Cauchyfolge.
Bew: Sei > 0 gegeben, und sei > 0 so, dass (8.3.1) gilt. Da eine konvergente Folge auch Cauchyfolge
ist, gibt es ein N N so, dass fr alle n, m N gilt d
x
(x
n
, x
m
) < , und dann folgt aus (8.3.1) dass
d
y
(f(x
n
), f(x
m
)) < ist.
Wegen der Vollstndigkeit von (Y, d
Y
) hat (y
n
= f(x
n
)) einen (eindeutig bestimmten) Grenzwert y Y .
Beh: y hngt nur von x, nicht aber von der Wahl der Folge (x
n
) ab.
Bew: Seien x
n
E, und gelte x = lim x
n
. Dann konvergiert (f( x
n
)) in Y gegen ein y, und mit und
wie in (8.3.1) folgt fr alle n mit d
X
(x
n
, x
n
) d
X
(x
n
, x) +d
X
(x, x
n
) < , dass d
Y
(f(x
n
), f( x
n
) < ist.
Fr n folgt hieraus aber d
Y
(y, y) , und da > 0 beliebig ist, folgt y = y.
Wegen dieses Zwischenergebnisses ist es gerechtfertigt, wenn wir eine Abbildung F : X Y durch
F(x) = y denieren. Falls F auf X stetig sein soll, ist dies nach Denition von y zwingend der Fall,
woraus die Eindeutigkeit von F folgt. Auerdem ist fr x E klar, dass F(x) = f(x) ist, denn wir
knnen dann ja x
n
= x whlen, woraus y = f(x) folgt.
Beh: F ist auf X gleichmig stetig.
Bew: Seien und wie in (8.3.1), und seien x
1
, x
2
X mit d
X
(x
1
, x
2
) < . Whle Folgen (x
(1)
n
) und
(x
(2)
n
) aus E, die gegen x
1
bzw. x
2
konvergieren. Dann existiert ein N N fr welches
d
X
(x
(1)
n
, x
(2)
n
) d
X
(x
(1)
n
, x
1
) + d
X
(x
1
, x
2
) + d
X
(x
2
, x
(2)
n
) < n N .
Hieraus folgt aber d
Y
(f(x
(1)
n
), f(x
(2)
n
)) < fr diese n, und fr n folgt dann mit Aufgabe 4.3.8
d
Y
(F(x
1
), f(x
2
)) . Daraus folgt die letzte Behauptung. 2
Korollar zu Proposition 8.3.4 Seien (X, d
X
) und (Y, d
Y
) vollstndige metrische Rume, und seien
E
X
bzw. E
Y
dichte Teilmengen von (X, d
X
) bzw. (Y, d
Y
). Wenn (E
X
, d
X
) und (E
Y
, d
Y
) isometrisch sind,
dann sind es auch (X, d
X
) und (Y, d
Y
). Insbesondere ist die Vervollstndigung eines metrischen Raumes
bis auf Isometrie eindeutig bestimmt.
Beweis: Nach Voraussetzung gibt es eine Isometrie f von (E
X
, d
X
) auf (E
Y
, d
Y
). Nach der Proposition
lsst sich dieses f zu einem F von X nach Y fortsetzen, und man zeigt leicht, dass dieses F eine surjektive
Isometrie ist. 2
53
8.4 Der Banachsche Fixpunktsatz
Denition 8.4.1 Eine Abbildung f eines metrischen Raumes (X, d) in sich selbst heit eine Kontraktion
oder kontraktiv, wenn es ein (0, 1) gibt, fr welches
x, y X : d(f(x), f(y)) d(x, y) . (8.4.1)
Jedes solche heit dann auch Kontraktionsparameter fr f. Man sieht aus der Denition, dass eine
Kontraktion auf X gleichmig stetig ist.
Fr eine beliebige Abbildung f einer nicht-leeren Menge X in sich selber schreiben wir f
n
fr die n-fach
iterierte Abbildung f . . . f, und setzen f
0
= id , also gleich der identischen Abbildung. Wir nennen ein
x X einen Fixpunkt von f, wenn f(x) = x ist.
Lemma 8.4.2 Sei (X, d) ein metrischer Raum, und sei f eine Kontraktion auf X mit Kontraktionspa-
rameter . Dann gilt:
(a) n 0 x, y X : d(f
n
(x), f
n
(y))
n
d(x, y).
(b) n 1 x X : d(f
n
(x), x)
1
1
d(f(x), x).
(c) x, y X : d(x, y)
1
1
_
d(x, f(x)) + d(y, f(y))
_
.
(d) f besitzt hchstens einen Fixpunkt.
Beweis: Teil (a) folgt mit vollstndiger Induktion ber n. Unter Benutzung von (a) zeigt man dann
d(f
n
(x), x)

n1
k=0
d(f
(k+1)
(x), f
(k)
(x)) d(f(x), x)

n1
k=0

k
fr n N, und hieraus folgt (b). Wegen
d(x, y) d(x, f(x)) +d(f(x), f(y)) +d(f(y), y) d(x, f(x)) +d(x, y) +d(f(y), y) folgt (c). Wenn x und
y Fixpunkte von f sind, so folgt mit (c) dass d(x, y) 0 ist, und deshalb gilt (d). 2
Satz 8.4.3 (Banachscher Fixpunktsatz) Sei (X, d) ein vollstndiger metrischer Raum, und sei f
eine Kontraktion auf X mit Kontraktionsparameter . Dann gilt:
(a) f besitzt genau einen Fixpunkt X.
(b) Fr beliebiges x
0
X und x
n
= f(x
n1
) = f
n
(x
0
), n 1, konvergiert die Folge (x
n
) gegen den
Fixpunkt .
(c) n N : d(x
n
, )

n
1
d(x
1
, x
0
) (a-priori-Abschtzung).
(d) n N : d(x
n
, )
1
1
d(x
n+1
, x
n
) (a-posteriori-Abschtzung).
Beweis: Fr x
n
wie in (b) folgt mit dem letzten Lemma fr n, p N:
d(x
n+p
, x
n
) = d(f
n
(x
p
), f
n
(x
0
))
n
d(x
p
, x
0
)

n
1
d(x
1
, x
0
) . (8.4.2)
Daraus schlieen wir, dass (x
n
) eine Cauchyfolge ist und wegen der Vollstndigkeit einen Grenzwert in
X besitzt. Da f auf X stetig ist, folgt aus x
n
= f(x
n1
) fr n , dass = f() gelten muss. Also ist
ein Fixpunkt, und da nach dem Lemma f hchstens einen solchen Fixpunkt hat, folgen (a) und (b).
Lsst man in (8.4.2) p gehen, so folgt (c). Weiter folgt wie oben mit dem Lemma
d(x
n+p
, x
n
) = d(f
p
(x
n
), x
n
)
1
1
d(f(x
n
), x
n
) ,
und hieraus ergibt sich (d) fr p . 2
54
8.5 Der Bairesche Kategoriensatz
Lemma 8.5.1 In jedem vollstndigen metrischen Raum (X, d) gilt: Sind die Mengen A
n
X, n N,
alle abgeschlossen und nicht leer, und ist
A
n
A
n+1
n N, d(A
n
) := sup
x,yA
n
d(x, y) 0 (n )
so enthlt
n
A
n
genau einen Punkt x
0
X.
Beweis: Sei x
n
A
n
fr alle n N, dann ist fr n, p N immer x
n+p
A
n
, und somit folgt
d(x
n+p
, x
n
) d(A
n
). Daraus schlieen wir, dass (x
n
) eine Cauchyfolge ist und wegen der Vollstndigkeit
einen Grenzwert x
0
besitzt. Da alle A
n
abgeschlossen sind, folgt x
0
A
n
fr alle n N. Ist y ebenfalls
im Durchschnitt aller A
n
, so folgt d(x
0
, y) d(A
N
) fr alle n N, weswegen y = x
0
sein muss. 2
Denition 8.5.2 Ein topologischer Raum (X, T ) heit Baire-Raum, falls gilt: Wenn Mengen A
n
X
abgeschlossen sind und keine inneren Punkte haben, fr alle n N, so hat auch ihre Vereinigung keine
inneren Punkte.
Beispiel 8.5.3 Die Menge Q mit der euklidischen Topologie ist kein Baire-Raum, da sie die abzhlba-
re Vereinigung von einelementigen Mengen ist. Allgemeiner ist jeder abzhlbare Hausdor-Raum ohne
isolierte Punkte kein Baire-Raum.
Satz 8.5.4 Kompakte topologische sowie vollstndige metrische Rume sind immer Baire-Rume.
Beweis: Sei (X, T ) ein kompakter topologischer Raum bzw. ein vollstndiger metrischer Raum mit
Metrik d, und seien die Mengen A
n
X abgeschlossen und ohne innere Punkte. Sei O T und nicht leer.
Dann wollen wir nicht-leere Mengen O
n
T so whlen, dass O
0
= O ist, dass O
n
O
n1
ist, und dass
O
n
A
n
= ist, jeweils fr n 1. Wenn O
0
, . . . , O
n1
bereits gewhlt sind, dann ist V := O
n1
(XA
n
)
eine oene Menge und nicht leer, denn sonst wre O
n1
A
n
, was

A
n
= widerspricht. Da der Raum
in beiden Fllen regulr ist, gibt es zu x V ein O
n
T mit x O
n
O
n
V . Also haben wir
ein O
n
mit den gewnschten Eigenschaften gefunden. Wenn wir im Fall eines metrischen Raumes sind,
knnen wir noch zustzlich O
n
so verkleinern, dass d(O
n
) 1/n ist. Mit Hilfe von Satz 6.1.5 bzw.
dem letzten Lemma folgt dann dass der Durchschnitt aller O
n
nicht leer sein kann. Also gibt es ein
x
n
O
n

n
(X A
n
) = X
n
A
n
. Wegen x O
1
O
0
= O folgt dass O ,
n
A
n
ist. Da O T
beliebig gewesen ist, kann
n
A
n
keine inneren Punkte haben. 2
Proposition 8.5.5 Ein topologischer Raum (X, T ) ist genau dann ein Baire-Raum, wenn folgendes gilt:
Sind die Mengen O
n
oen und dicht in (X, T ), fr n N, dann ist ihr Durchschnitt dicht in (X, T ).
Beweis: Ein O
n
ist genau dann oen und dicht, wenn A
n
:= XO
n
abgeschlossen ist und keine inneren
Punkte hat. Daraus folgt die Behauptung. 2
Satz 8.5.6 Sei [a, b] ein abgeschlossenes Intervall, seien f
n
: [a, b] R fr alle n N stetig und
punktweise konvergent auf [a, b]. Dann ist die Menge aller Punkte, in denen die Grenzfunktion f stetig
ist, dicht in [a, b].
55
Beweis: Fr n, m N sei A
nm
= x [a, b] : [f
n
(x) f
n+p
(x)[ 1/m p N. Wegen der Stetigkeit
der Funktionen f
n
folgt, dass alle A
nm
abgeschlossen sind, und wegen der punktweisen Konvergenz
ist
n
A
nm
= [a, b] fr alle m N. Wir wollen zeigen, dass die Grenzfunktion f in allen Punkten
x B :=
m
(
n

A
nm
) stetig ist. Dazu sei ein > 0 gegeben. Wenn x B ist, dann gibt es zu jedem m
ein n N und ein > 0 mit t A
nm
fr alle t [a, b] mit [x t[ < . Wir whlen ein m mit 1/m /3,
und erhalten mit den dazu existierenden n und :
[f(t) f(x)[ = lim
p
[f
n+p
(t) f
n+p
(x)[ limsup
p
_
[f
n+p
(t) f
n
(t)[ +[f
n
(t) f
n
(x)[ +[f
n
(x) f
n+p
(x)[
_
und die rechte Seite ist fr x und t wie oben maximal gleich 2/m+[f
n
(t)f
n
(x)[ 2/3+[f
n
(t)f
n
(x)[.
Wenn wir jetzt evtl. noch verkleinern, so knnen wir erreichen dass [f
n
(t) f
n
(x)[ < /3 ausfllt, was
die Stetigkeit von f in x sichert.
Sei jetzt O
nm
= [a, b](A
nm

A
nm
). Dann hat [a, b]O
nm
keine inneren Punkte, was zeigt dass O
nm
in [a, b]
dicht liegt. Auerdem ist O
nm
oen, und daher folgt aus der obigen Proposition dass der Durchschnitt
aller O
nm
ebenfalls dicht in [a, b] ist. Wenn aber x ein Punkt dieses Durchschnitts ist, dann folgt x ,
(A
nm

A
nm
) fr alle n, m N. Da fr jedes m N ein n N existiert mit x A
nm
, folgt fr jedes m
die Existenz eines n mit x

A
nm
. Demzufolge ist
n,m
O
nm
B. Daraus folgt die Behauptung. 2
Denition 8.5.7 Sei E Teilmenge eines topologischen Raumes (X, T ). Wir nennen E nirgends dicht,
falls der Abschluss von E keine inneren Punkte besitzt. Wir sagen, dass E in (X, T ) von erster Kategorie
ist, falls es Vereinigung von abzhlbar vielen nirgends dichten Mengen ist. Ist dies nicht der Fall, so heit
E von zweiter Kategorie.
Aufgabe 8.5.8 Zeige: Eine abgeschlossene Teilmenge A eines topologischen Raumes (X, T ) ist genau
dann nirgends dicht, wenn ihr Komplement dicht in (X, T ) ist. Zeige weiter, dass eine Vereinigung
abzhlbar vieler Mengen von erster Kategorie wieder von erster Kategorie ist.
Satz 8.5.9 (Bairescher Kategoriensatz) Ein vollstndiger metrischer Raum ist von zweiter Katego-
rie.
Beweis: Sei (X, d) ein metrischer Raum von erster Kategorie, also X =
n
E
n
, mit nirgends dichten
Mengen E
n
, n N. O. B. d. A. knnen alle E
n
als abgeschlossen vorausgesetzt werden. Da X per
Denition immer oen ist und deshalb innere Punkte hat, kann (X, d) kein Baire-Raum sein, und deshalb
folgt die Behauptung aus Satz 8.5.4. 2
56
Kapitel 9
Kompakte metrische Rume
9.1 quivalente Formulierungen der Kompaktheit
Denition 9.1.1 (Folgenkompaktheit) Ein topologischer Raum (X, T ) heit folgenkompakt, falls je-
de Folge mit Gliedern aus X eine konvergente Teilfolge besitzt.
Satz 9.1.2 In jedem metrischen Raum (X, d) sind folgende Aussagen quivalent:
(a) X ist kompakt.
(b) Jede abzhlbare oene berdeckung besitzt eine endliche Teilberdeckung.
(c) Jede unendliche Teilmenge von X besitzt einen Hufungspunkt.
(d) Sind die Mengen A
k
, fr k N, nicht leer und abgeschlossen, und gilt A
k
A
k+1
fr alle k N,
so ist
k
A
k
,= .
(e) X ist folgenkompakt.
Beweis: Trivialerweise folgt (b) aus (a), und nach Proposition 6.1.5 sind (b),(c) und (d) quivalent.
Wenn (c) gilt, und wenn (x
n
) eine Folge mit Gliedern in X ist, so ist entweder die Menge x
n
unendlich
und hat dann einen Hufungspunkt x X, von welchem man mit Hilfe von Satz 3.1.5 zeigen kann,
dass er Grenzwert einer Teilfolge von (x
n
) ist, oder aber x
n
ist eine endliche Menge, woraus folgt dass
mindestens ein Folgenglied x
n
unendlich oft wiederholt wird, und dann ist dieses x
n
Grenzwert einer
Teilfolge. Also folgt (e) aus (c). Wenn jetzt (e) erfllt ist, dann gilt auch (c), da eine unendliche Menge
immer eine Folge mit paarweise verschiedenen Gliedern aus X enthlt, welche dann eine konvergente
Teilfolge besitzt, deren Grenzwert ein Hufungspunkt der Menge ist. Sei jetzt (c) richtig. Fr jedes n N
muss es endlich viele x
n1
, . . . , x
nm
X geben, fr welche X
j
U
1/n
(x
nj
) ist, denn andernfalls gbe
es eine unendliche Teilmenge x
nj
in X mit d(x
nj
, x
nk
) 1/n fr alle j ,= k, und diese Menge htte
keinen Hufungspunkt. Das System (U
1/n
(x
nj
), j = 1, . . . , m, n N) ist dann eine abzhlbare Basis der
Topologie auf (X, d), und damit folgt aus Satz 5.2.5 dass (X, d) ein Lindelf-Raum ist, woraus wiederum
(a) folgt, denn (c) und (b) sind ja quivalent. 2
Denition 9.1.3 Eine Teilmenge E eines metrischen Raumes (X, d) heit prkompakt oder auch total
beschrnkt, wenn gilt:
> 0 x
1
, . . . , x
n
X : E
n
_
j=1
U

(x
j
) . (9.1.1)
57
Aufgabe 9.1.4 Zeige fr E ,= , dass obige Denition auch so ausgesprochen werden kann, dass wir in
(9.1.1) x
1
, . . . , x
n
E verlangen.
Bemerkung 9.1.5 Aus dem letzten Satz bzw. seinem Beweis folgt dass ein kompakter metrischer Raum
total beschrnkt ist. Weiter folgt aus dem Beweis, dass ein total beschrnkter Raum das zweite Abzhl-
barkeitsaxiom erfllt und deshalb nach Satz 5.2.5 separabel ist.
Proposition 9.1.6 Ein metrischer Raum (X, d) ist genau dann total beschrnkt, wenn jede Folge aus X
eine Teilfolge besitzt, welche Cauchyfolge ist.
Beweis: Sei (x
n
) eine Folge in dem total beschrnkten Raum (X, d). Zu jedem N gibt es endlich viele
y
1
, . . . , y
m
X mit X =
k
U
1/
(y
k
). Fr = 1 liegen in mindestens einem U
1
(y
k1
) unendlich viele
x
n
, und wir bezeichnen die entsprechende Teilfolge mit x
n1
. Zu dieser Folge und = 2 gibt es wiederum
ein U
1/2
(y
k2
), welches unendlich viele der x
n1
enthlt, und diese seien mit x
n2
bezeichnet. Setzt man dies
fort, so erhlt man Folgen x
n
mit d(x
n
, x
m
) < 2/ fr alle n, m, , N mit . Die Diagonalfolge
(x
nn
) ist dann eine Teilfolge der Ausgangsfolge (x
n
), welche Cauchyfolge ist. Wenn umgekehrt (X, d)
nicht total beschrnkt ist, dann gibt es zu mindestens einem > 0 keine berdeckung von X mit endlich
vielen Kugeln vom Radius . Daher gibt es eine Folge (x
n
) von Punkten mit d(x
n
, x
m
) fr alle n ,= m.
Diese Folge kann aber keine Teilfolge besitzen, welche Cauchyfolge ist. 2
Satz 9.1.7 Ein metrischer Raum ist genau dann kompakt, wenn er vollstndig und total beschrnkt ist.
Beweis: Sei (X, d) kompakt. Nach Satz 9.1.2 ist der Raum folgenkompakt, also muss jede Cauchyfolge
eine konvergente Teilfolge besitzen und deshalb wegen Lemma 8.1.2 konvergieren. Daher ist (X, d) voll-
stndig und nach Bemerkung 9.1.5 auch total beschrnkt. Umgekehrt folgt aus der Vollstndigkeit und
totalen Beschrnktheit von (X, d) mit der letzten Proposition die Folgenkompaktheit, was nach Satz 9.1.2
zur Kompaktheit quivalent ist. 2
9.2 Funktionenrume
Lemma 9.2.1 Sei (X, d) ein metrischer Raum, und sei

d(x, y) = mind(x, y), 1 fr alle x, y X. Dann
ist

d eine Metrik auf X und zu d quivalent, und eine Folge (x
n
) ist genau dann konvergent bzw. eine
Cauchyfolge bezglich d, wenn sie auch bezglich

d konvergiert bzw. Cauchyfolge ist. Insbesondere ist
(X, d) genau dann vollstndig, wenn auch (X,

d) vollstndig ist.
Beweis: Oenbar erfllt

d die ersten beiden Axiome einer Metrik. Fr x, y, z X gilt: Falls

d(x, z) +

d(z, y) 1 ist, dann gilt auch die Dreiecksungleichung fr

d. Im anderen Fall ist aber

d(x, z) = d(x, z)
und

d(z, y) = d(z, y), und dann folgt d(x, y) d(x, z) + d(z, y) < 1, also

d(x, y) = d(x, y), und die
Dreiecksungleichung ist auch in diesem Fall erfllt.
Fr x
0
X und > 0 folgt mit
1
= ,
2
= min1, : d(x, x
0
) <
1
=

d(x, x
0
) < und

d(x, x
0
) <
2
= d(x, x
0
) < . Daraus folgt mit Satz 4.3.3 die quivalenz der Metriken. Da die
Konvergenz einer Folge nur von der Topologie des Raumes abhngt, knnen wir uns jetzt o. B. d. A.
darauf beschrnken, Cauchyfolgen (x
n
) zu betrachten:
Wegen

d(x
n
, x
m
) d(x
n
, x
m
) ist klar, dass jede Cauchyfolge bezglich d auch eine fr

d ist. Fr die
Umkehrung sei > 0 und = min1, . Dann existiert nach Voraussetzung ein N N mit

d(x
n
, x
m
) <
fr alle n, m N. Da in diesem Fall d(x
n
, x
m
) =

d(x
n
, x
m
) ist, folgt dass d(x
n
, x
m
) < ist. 2
58
Denition 9.2.2 Seien X eine nicht-leere Menge und (Y, d) ein metrischer Raum. Wir setzen F(X, Y )
gleich der Menge aller Abbildungen f : X Y . Fr f, g F(X, Y ) denieren wir
(f, g) = sup
xX
d(f(x), g(x)) ,
wobei zu beachten ist, dass auch den Wert annehmen kann. Falls (X, T ) ein topologischer Raum ist,
dann bezeichne C(X, Y ) die Menge aller stetigen Abbildungen von X nach Y .
Wir nennen E Y beschrnkt, falls sup
y
y
,y
2
E
d(y
1
, y
2
) < ist. Beachte, dass wir d durch die quiva-
lente Metrik

d ersetzen und dadurch erreichen knnen, dass alle E beschrnkt sind.
Aufgabe 9.2.3 Sei (X, d) ein metrischer Raum, und sei E X. Zeige: Genau dann ist E beschrnkt,
wenn es ein x
0
X und ein K R gibt, so dass fr alle x E gilt d(x, x
0
) K.
Proposition 9.2.4 Seien X eine nicht-leere Menge und (Y, d) ein beschrnkter metrischer Raum. Dann
ist eine Metrik auf F(X, Y ), und falls (Y, d) vollstndig ist, dann ist es auch (F(X, Y ), ). Falls (X, T )
ein topologischer Raum ist, dann ist C(X, Y ) abgeschlossen in (F(X, Y ), ), also ebenfalls vollstndig,
falls (Y, d) vollstndig ist.
Beweis: Da (Y, d) beschrnkt ist, folgt (f, g) < fr alle f, g F(X, Y ). Die ersten beiden Axiome
einer Metrik sind fr oenbar erfllt, und die Dreiecksungleichung folgt, da
d(f(x), g(x)) d(f(x), h(x)) +d(h(x), g(x)) (f, h) +(h, g) x X f, g, h F(X, Y ) .
Wenn (f
n
) eine Cauchyfolge in (F(X, Y ), ) ist, dann folgt fr jedes feste x X dass (f
n
(x)) eine
Cauchyfolge in (Y, d) ist. Wenn also (Y, d) vollstndig ist, sind alle diese Folgen konvergent gegen ein
f(x) Y . Fr > 0 und gengend groes N N ist (f
n
, f
m
) < fr alle n, m N, und daraus
folgt fr m dass (f
n
, f) ist fr alle n N. Also ist (F(X, Y ), ) vollstndig. Um zu zeigen,
dass C(X, Y ) in (F(X, Y ), ) abgeschlossen ist, reicht es zu beweisen, dass aus (f
n
, f) 0 fr n
folgt dass f stetig auf X sein muss, wenn nur alle f
n
stetig sind. Das gilt aber nach Satz 4.2.5, denn die
Konvergenz bezglich der Metrik ist dasselbe wie die gleichmige Konvergenz auf X. 2
Satz 9.2.5 Seien (X, T ) ein kompakter topologischer und (Y, d) ein vollstndiger metrischer Raum. Dann
ist eine Metrik auf C(X, Y ), und (C(X, Y ), ) ist vollstndig.
Beweis: Seien f, g C(X, Y ). Die Abbildung x d(f(x), g(x)) ist auf X stetig, also beschrnkt nach
Satz 6.3.2, und deshalb ist (f, g) < . Genauso wie im Beweis des vorherigen Satzes folgt dann die
Behauptung. 2
9.3 Gleichgradige Stetigkeit
Denition 9.3.1 Seien (X, T ) ein topologischer und (Y, d) ein metrischer Raum. Eine Teilmenge E
C(X, Y ) heit dann gleichgradig stetig in x
0
X, falls gilt
> 0 U |(x
0
) f E x U : d(f(x), f(x
0
)) < .
Wenn dies fr alle x
0
aus einer Menge B X erfllt ist, nennen wir E gleichgradig stetig auf B.
59
Satz 9.3.2 Seien (X, T ) ein kompakter topologischer und (Y, d) ein kompakter metrischer Raum. Eine
Teilmenge E C(X, Y ) ist genau dann gleichgradig stetig auf X, wenn E in dem metrischen Raum
(C(X, Y ), ) total beschrnkt ist.
Beweis: Sei E total beschrnkt, und seien > 0 und x
0
X. Dann gibt es f
1
, . . . , f
n
E so, dass
E
k
U

(f
k
). Zu jedem f
k
existiert ein U
k
|(x
0
) mit d(f
k
(x), f
k
(x
0
)) < fr alle x U
k
. Wir bilden
U =
k
U
k
|(x
0
). Fr f E gibt es dann ein k 1, . . . , n mit f U

(f
k
), und daher folgt fr
x U, dass d(f(x), f(x
0
)) d(f(x), f
k
(x)) + d(f
k
(x), f
k
(x
0
)) + d(f
k
(x
0
), f(x
0
)) < 3 ist. Daher folgt
die gleichgradige Stetigkeit von E. Umgekehrt, sei E gleichgradig stetig, und sei > 0. Zu jedem x X
gibt es dann ein U
x
|(x), fr welches d(f(x), f(y)) < ist fr alle f E und alle y U
x
. Wegen
der Kompaktheit von (X, T ) gibt es dann x
1
, . . . , x
n
X fr welche X =
j
U
x
j
ist. Da auch (Y, d)
kompakt ist, gibt es y
1
, . . . , y
m
Y mit Y =
k
U

(y
k
). Sei eine beliebige Abbildung von 1, . . . , n
nach 1, . . . , m. Falls es ein f E gibt mit f(x
j
) U

(y
(j)
), dann sei ein solches f mit f

bezeichnet.
Da es nur endlich viele Abbildungen gibt, erhalten wir so eine endliche Teilmenge von E. Sei jetzt
f E; dann gibt es ein mit f(x
j
) U

(y
(j)
), fr alle j = 1, . . . , n. Fr x X und alle j = 1, . . . , n
folgt dann
d(f(x), f

(x)) d(f(x), f(x

j
)) + d(f(x
j
), f

(x
j
)) + d(f

(x
j
), f

(x)) .
Wenn wir jetzt j so whlen, dass x U
x
j
ist, so folgt d(f(x), f(x
j
)) < , d(f

(x
j
), f

(x)) < und

d(f(x
j
), f

(x
j
)) < 2 , also d(f(x), f

(x)) < 4 . Da x beliebig war, folgt die totale Beschrnktheit der

Menge E. 2
9.4 Der Satz von Arzela-Ascoli
Denition 9.4.1 Seien X eine nicht-leere Menge und (Y, d) ein metrischer Raum, und sei E F(X, Y ).
Wir nennen E punktweise beschrnkt, falls gilt
x X K R f
1
, f
2
E : d(f
1
(x), f
2
(x)) K .
Dagegen heit E gleichmig beschrnkt, falls gilt
K R x X f
1
, f
2
E : d(f
1
(x), f
2
(x)) K .
Im ersten Fall darf also K von x abhngen, im anderen Fall dagegen nicht.
Lemma 9.4.2 Seien (X, T ) ein kompakter topologischer Raum und (Y, d) ein metrischer Raum. Wenn
E C(X, Y ) gleichgradig stetig und punktweise beschrnkt ist, dann ist E sogar gleichmig beschrnkt.
Beweis: Wegen der gleichgradigen Stetigkeit folgt fr jedes x X die Existenz eines U
x
|(x) so
dass fr alle f E und alle y U
x
gilt d(f(x), f(y)) < 1. Wegen der Kompaktheit von (X, T ) gibt es
x
1
, . . . , x
n
X mit X =
k
U
x
k
, und aus der punktweisen Beschrnktheit folgt die Existenz von K
k
so,
dass fr alle f
1
, f
2
E gilt d(f
1
(x
k
), f
2
(x
k
)) K
k
, fr k = 1, . . . , n. Mit K = 2 + maxK
1
, . . . , K
n
gilt
dann: Zu x X gibt es ein k 1, . . . , n mit x U
x
k
, und daher ist
d(f
1
(x), f
2
(x)) d(f
1
(x), f
1
(x
k
)) + d(f
1
(x
k
), f
2
(x
k
)) +d(f
2
(x
k
), f
2
(x)) K
k
+ 2 K x X .
Das ist die gleichmige Beschrnktheit. 2
Denition 9.4.3 Wir sagen dass ein metrischer Raum die Heine-Borel-Eigenschaft besitzt, wenn jede
abgeschlossene und beschrnkte
1
Teilmenge kompakt ist.
1
Man nennt eine Teilmenge B eines metrischen Raumes (X, d) beschrnkt, wenn sup
x,yX
d(x, y) < ist. Beachte, dass
dieser Begri nicht nur von der Topologie auf X, sondern von der betrachteten Metrik abhngt!
60
Satz 9.4.4 (Satz von Arzela-Ascoli) Seien (X, T ) ein kompakter topologischer Raum und (Y, d) ein
metrischer Raum mit der Heine-Borel-Eigenschaft. Fr eine Teilmenge E C(X, Y ) ist E genau dann
kompakt, wenn E gleichgradig stetig und punktweise beschrnkt ist.
Beweis: Wenn E kompakt ist, dann ist es nach Satz 9.1.7 total beschrnkt. Demnach existieren
f
1
, . . . , f
n
E so, dass E E
j
U
1
(f
j
) ist. Also gibt es zu jedem f E ein k 1, . . . , n, fr
welches (f, f
k
) = sup
xX
d(f(x), f
k
(x)) < 1 ist. Daher gilt fr jedes feste f
0
E:
f E x X : d(f
0
(x), f(x)) d(f
0
(x), f
k
(x)) +d(f
k
(x), f(x)) K + 1 ,
mit K = max
1kn
sup
xX
d(f
0
(x), f
k
(x)). Das ist die gleichmige Beschrnktheit von E, und aus ihr
folgt dass die Menge Z =
fE
f(X) beschrnkt und somit kompakt ist, und wir haben dass alle f die
Menge X in Z abbilden. Daraus folgt mit Hilfe des letzten Satzes die gleichgradige Stetigkeit von E, und
die punktweise folgt trivialerweise aus der gleichmigen Beschrnktheit.
Umgekehrt, sei jetzt E gleichgradig stetig und punktweise beschrnkt. Mit dem letzten Lemma folgt dann
die gleichmige Beschrnktheit von E, und dann folgt wie oben, dass die Menge Z kompakt ist. Mit dem
letzten Satz folgt dann die totale Beschrnktheit von E, also auch die von E, und daraus folgt wiederum
die Kompaktheit. 2
9.5 Der Satz von Stone-Weierstra
Denition 9.5.1 Fr einen beliebigen topologischen Raum (X, T ) schreiben wir C(X) = C(X, R). Eine
Teilmenge A C(X) heit eine Algebra, falls folgendes gilt:
f, g A R : f +g A, f g A, f A. (9.5.1)
Eine Algebra in unserem Sinn ist also immer ein Vektorraum ber R von reellwertigen Funktionen, der
gegenber der Multiplikation abgeschlossen ist. Oenbar ist C(X) selber eine Algebra.
Fr beliebige Abbildungen f, g : X R denieren wir
[f[(x) = [f(x)[ , maxf, g(x) = maxf(x), g(x) , minf, g(x) = minf(x), g(x) x X .
Aufgabe 9.5.2 Zeige fr alle f, g : X R, mit einer beliebigen nicht-leeren Menge X, dass
minf, g =
1
2
(f +g [f g[) , maxf, g = minf, g .
Zeige weiter, dass fr jeden topologischen Raum (X, T ) aus f, g C(X) folgt [f[, maxf, g, minf, g
C(X).
Lemma 9.5.3 Zu jedem > 0 existiert ein Polynom p mit [p(t) [t[[ < fr [t[ 1.
Beweis: Man berprft, dass

1 t = 1

k=1
a
k
t
k
[t[ < 1 , mit a
k
> 0 k 1 .
Also ist 0 s
n
(t) :=

n
k=1
a
k
t
k
1

1 t 1 fr 0 t 1 und n 1, und insbesondere ist

k=1
a
k
< . Daraus folgt die gleichmige Konvergenz von s
n
(t) auf [0, 1]. Dies wiederum zeigt, dass
die Polynome p
n
(t) = 1 s
n
(1 t
2
) auf [1, 1] gleichmig gegen

t
2
= [t[ konvergieren. Daraus folgt
die Behauptung. 2
61
Proposition 9.5.4 Sei (X, T ) ein kompakter topologischer Raum, also C(X) ein metrischer Raum, und
sei A C(X) eine Algebra. Dann gilt:
(a) A ist ebenfalls eine Algebra.
(b) Wenn A abgeschlossen ist, dann folgt
f, g A = [f[, maxf, g, minf, g A.
Beweis: Seien f, g A und R, und sei > 0. Dann gibt es f

, g

A mit (f, f

) < und
(g, g

) < , und da A eine Algebra ist, gilt f

+ g

A, f

A und f

A. Daraus folgt mit der

Denition der Metrik :
(f +g, f

+g

) (f, f

) + (g, g

) < 2 ,
und daraus folgt f+g A. Weiter ergibt sich mit der Denition von dass (f, f

) = [[ (f, f

) < [[
ist, woraus f A folgt. Fr das Produkt zeigt man
(f g, f

) (g, g

) max
xX
[f(x)[ + (f, f

) max
xX
[g

(x)[ (max
xX
[f(x)[ + max
xX
[g(x)[ +) ,
woraus auch f g A folgt.
Fr den Beweis zu (b) sei f A. Falls [f(x)[ 1 ist fr alle x X, dann whlen wir ein Polynom p
wie im letzten Lemma. Da [p(0)[ < ist, folgt fr q(t) = p(t) p(0) dass [q(t) [t[ [ < 2 ist. Dann
folgt q(f) A, und [ [f(x)[ q(f(x) [ < 2 fr alle x X. Hieraus folgt [f[ A fr diesen Fall. Im
allgemeinen Fall schlieen wir aus der Kompaktheit von (X, T ) auf die Beschrnktheit von f, so dass fr
gengend kleines c > 0 aus dem ersten Fall folgt dass [c f[ A ist, was aber [f[ A zur Folge hat. Mit
Aufgabe 9.5.2 folgt dann der Rest der Behauptung. 2
Satz 9.5.5 (Satz von Stone-Weierstra) Sei (X, T ) ein kompakter topologischer Raum, und sei A
C(X) eine Algebra. Weiter gelte:
(a) x, y X , x ,= y f A : f(x) ,= f(y).
(b) Die Funktion f(x) 1 liegt in A.
Dann ist A dicht in C(X).
Beweis: Seien f C(X) und > 0. Zu zwei verschiedenen Punkten y, u X gibt es nach Voraussetzung
ein h A mit h(y) ,= h(u). Auerdem liegen alle konstanten Funktionen in A. Also ist die Funktion
g(x; y, u) :=
h(x) h(u)
h(y) h(u)
f(y) +
h(x) h(y)
h(u) h(y)
f(u)
fr feste u, y in A, und g(u; y, u) = f(u), g(y; y, u) = f(y). Wegen der Stetigkeit von f und g( ; y, u) gibt
es ein U
y,u
|(y) so, dass [g(x; y, u) f(x)[ < ist fr alle x U
y,u
. Aus der Kompaktheit von (X, T )
folgt die Existenz von y
1
, . . . , y
n
X, wobei n von u abhngen darf, mit X =
j
U
y
j
,u
. Sei jetzt
g(x; u) := ming(x; y
j
, u) : j = 1, . . . , n .
Mit Induktion ber n folgt aus der letzten Proposition dass g( ; u) A. Oensichtlich gilt g(u; u) = f(u).
Da zu jedem x X ein j 1, . . . , n existiert, fr welches x U
y
j
,u
ist, folgt auf Grund der Denition
von g( ; u) dass g(x; u) f(x) < ist fr alle x X. Auf Grund der Stetigkeit gibt es zu jedem u X
ein U
u
|(u) so, dass [g(x; u) f(x)[ < ist fr alle x U
u
. Wegen Kompaktheit existieren dann
u
1
, . . . , u
m
X mit X =
j
U
u
j
. Sei dann
g(x) := maxg(x; u
j
) : j = 1, . . . , m .
Dann ist g(x) < f(x) + fr alle x X. Wie oben folgt g A und g(x) f(x) > fr alle x X. Also
ist insgesamt (g, f) < , und daraus folgt f A, also A = X, was zu zeigen war. 2
62
Aufgabe 9.5.6 Benutze den letzten Satz, um folgendes zu beweisen:
Weierstrascher Approximationssatz: Zu jedem abgeschlossenen Intervall [a, b], jeder stetigen Funk-
tion f : [a, b] R, und jedem > 0 gibt es ein Polynom p mit [f(t) p(t)[ < fr alle t [a, b].
berlege, auf welchen Intervallen, falls berhaupt, derselbe Satz gilt, wenn wir nur gerade, oder nur
ungerade, Polynome zulassen.
63
Kapitel 10
Die Fundamentalgruppe
In diesem Kapitel seien (X, T
X
), (Y, T
Y
) und (Z, T
Z
) immer beliebige topologische Rume.
10.1 Homotopie
Denition 10.1.1 Wir nennen stetige Abbildungen f
1
, f
2
: X Y homotop zueinander, falls eine
stetige Abbildung F : X [0, 1] Y existiert, fr welche
x X : F(x, 0) = f
1
(x) , F(x, 1) = f
2
(x) .
Die Abbildung F heit dann auch Homotopie zwischen f
1
und f
2
, und wir schreiben f
1
f
2
, falls f
1
zu
f
2
homotop ist. Kurven f
1
, f
2
: [0, 1] X heien weghomotop zueinander, falls es eine Homotopie F
zwischen f
1
und f
2
gibt, fr welche zustzlich gilt
t [0, 1] : F(0, t) x
0
, F(1, t) x
1
.
Es folgt dann, dass x
0
bzw. x
1
der gemeinsame Anfangs- bzw. Endpunkt der beiden Kurven sein muss.
Die Abbildung F heit dann auch Weghomotopie zwischen f
1
und f
2
, und wir schreiben f
1

p
f
2
, falls
f
1
zu f
2
weghomotop ist; hierbei steht p fr path.
Aufgabe 10.1.2 Zeige, dass die Homotopie und die Weghomotopie quivalenzrelationen sind.
Denition 10.1.3 Seien f, g : [0, 1] X Kurven mit f(1) = g(0). Dann sei die Komposition f g die
Kurve gegeben durch
(f g)(s) =
_
f(2s) fr 0 s 1/2
g(2s 1) fr 1/2 s 1
Man kann also die Komposition zweier Kurven immer dann bilden, wenn der Endpunkt der ersten gleich
dem Anfangspunkt der zweiten Kurve ist. Nach dem Klebelemma ist f g stetig auf [0, 1], also selbst
wieder eine Kurve.
Fr x X sei e
x
die Einpunktkurve, gegeben durch e
x
(s) x fr 0 s 1. Fr eine Kurve f sei die
rckwrts durchlaufene Kurve f

gegeben durch f

(s) = f(1 s) fr 0 s 1.
Fr eine Kurve f bezeichne [f] die Weghomotopieklasse, d. h., die quivalenzklasse bzgl. der Weghomo-
topie, in der f liegt.
Satz 10.1.4 (Regeln fr Weghomotopie) Fr Kurven f, g, h,

f, g in X gilt:
64
(a) Wenn f g deniert und f
p

f, g
p
g ist, dann ist auch

f g deniert, und f g
p

f g. Wir
setzen daher [f] [g] = [f g].
(b) Ist [f] ([g] [h]) deniert, so ist auch ([f] [g]) [h] deniert, sowie auch umgekehrt, und beide
sind gleich.
(c) Ist x
0
bzw. x
1
der Anfangs- bzw. Endpunkt von f, so gilt [f] [e
x
1
] = [e
x
0
] [f] = [f].
(d) Fr x
0
, x
1
wie oben gilt [f] [f

] = [e
x
0
], [f

] [f] = [e
x
1
].
Beweis: Zu (a): Sei F bzw. G Weghomotopie zwischen f und

f bzw. g und g. Setzt man
H(s, t) =
_
F(2s, t) fr 0 s 1/2 , 0 t 1
G(2s 1, t) fr 1/2 s 1 , 0 t 1
so folgt fr 0 s, t 1:
H(s, 0) = (f g)(s) , H(s, 1) = (

f g)(s) , H(0, t) x
0
, H(1, t) x
1
,
wobei x
0
bzw. x
1
der Anfangs- bzw. Endpunkt von f g ist. Also ist H Weghomotopie zwischen f g
und

f g. Zu (b): Wegen
[f (g h)](s) =
_

_
f(2s) fr 0 s 1/2
g(4s 2) fr 1/2 s 3/4
h(4s 3) fr 3/4 s 1
[(f g) h](s) =
_

_
f(4s) fr 0 s 1/4
g(4s 1) fr 1/4 s 1/2
h(2s 1) fr 1/2 s 1
ist die Funktion
F(s, t) =
_

_
f(4s/(t + 1)) fr 0 s (t + 1)/4 , 0 t 1
g(4s t 1) fr (t + 1)/4 s (t + 2)/4 , 0 t 1
h((4s t 2)/(2 t)) fr (t + 2)/4 s 1 , 0 t 1
eine Weghomotopie zwischen (f g) h und f (g h). Die restlichen beiden Behauptungen folgen aus
der nchsten bungsaufgabe. 2
Aufgabe 10.1.5 Sei f eine Kurve in X, und sei g(s) = f((s)), 0 s 1, fr eine stetigen Abbildung
: [0, 1] [0, 1] mit (0) = 0 und (1) = 1. Zeige f
p
g. Verwende dies, um die Teile (c) und (d) des
obigen Satzes zu beweisen.
10.2 Gruppen
Denition 10.2.1 Eine Menge G mit einer Abbildung : GG G heit eine Gruppe, falls folgende
Axiome gelten:
(G1) g
1
, g
2
, g
3
G : (g
1
g
2
) g
3
= g
1
(g
2
g
3
). (Assoziativgesetz)
(G2) e G g G : g e = g. (Existenz einer Rechtseins)
65
(G3) g G g
1
G : g g
1
= e. (Existenz eines Rechtsinversen)
Falls zustzlich noch gilt
(G4) g
1
, g
2
G : g
1
g
2
= g
2
g
1
. (Kommutativgesetz)
dann heit (G, ) kommutative oder abelsche Gruppe. Sind (G, ) und (H, ) Gruppen, so heit eine
Abbildung f : G H ein Homomorphismus, falls gilt
(H) g
1
, g
2
G : f(g
1
g
2
) = f(g
1
) f(g
2
). (Relationstreue)
Wenn f sogar bijektiv ist, nennen wir f einen Isomorphismus, und zwei Gruppen heien isomorph, falls
es einen Isomorphismus gibt, welcher die eine auf die andere abbildet.
Beispiel 10.2.2 Die Menge Z der ganzen Zahlen bildet eine Gruppe bzgl. +. Fr t R 0 bilden
die Monome t
k
, k Z, eine Gruppe bzgl. der Multiplikation von Funktionen. Diese beiden Gruppen sind
isomorph.
Aufgabe 10.2.3 Zeige: Ist A eine invertierbare Matrix, so bildet die Menge A
k
: k Z eine Gruppe
bzgl. der Matrixmultiplikation. Untersuche, wann diese Gruppe zu (Z, +) isomorph ist.
10.3 Invarianz der Fundamentalgruppe
Denition 10.3.1 Fr einen fest gewhlten Basispunkt x
0
X folgt aus Satz 10.1.4, dass die Menge

1
(X, x
0
) der Weghomotopieklassen von geschlossenen Kurven mit Anfangs- und Endpunkt x
0
eine Grup-
pe bzgl. ist. Sie heit die Fundamentalgruppe oder erste Homotopiegruppe von (X, T ) zum Basispunkt
x
0
.
Aufgabe 10.3.2 Zeige: Ist X R
n
sternfrmig bzgl. eines Punktes x
0
, so ist jede geschlossene Kurve
mit Anfangs- und Endpunkt x
0
weghomotop zur Einpunktkurve e
x
0
. Folgere daraus, dass
1
(X, x
0
) in
diesem Fall die triviale Gruppe ist, die nur aus einem Element besteht.
Satz 10.3.3 Sind x
0
, x
1
X durch eine Kurve f verbindbar, so wird durch

f :
1
(X, x
0
)
1
(X, x
1
) ,

f([g]) = [f

] [g] [f]
ein Isomorphismus deniert. Ist X kurvenzusammenhngend, so sind also Fundamentalgruppen von X
zu verschiedenen Basispunkten immer isomorph.
Beweis: Mit Satz 10.1.4 folgt

f
_
[g] [h]
_
= [f

] [g] [h] [f] = [f

] [g] [f] [f

] [h] [f] =

f
_
[g]
_

f
_
[h]
_
,
und daher ist

f ein Homomorphismus. Da

f([g]) = [h] genau dann gilt, wenn [g] = [f] [h] [f

] ist, folgt
die Bijektivitt. 2
Denition 10.3.4 Ein wegzusammenhngender Raum (X, T ) heit einfach zusammenhngend, wenn
seine Fundamentalgruppe trivial ist, d. h., nur aus einem Element besteht.
66
Aufgabe 10.3.5 Zeige: Ist (X, T ) einfach zusammenhngend, so sind zwei Kurven mit gemeinsamem
Anfangs- und Endpunkt immer weghomotop.
Satz 10.3.6 Sei h : X Y stetig, und sei x
0
X. Dann wird durch
h

_
[f]
_
= [h f]
ein Homomorphismus von
1
(X, x
0
) in
1
(Y, h(x
0
)) deniert. Ist weiter k : Y Z stetig, und deniert
man k

als Homomorphismus von

1
(Y, h(x
0
)) nach
1
(Z, k(h(x
0
))), so folgt
(k h)

= k

.
Schlielich ist fr die identische Abbildung id : X X auch id

die identische Abbildung auf

1
(X, x
0
).
Beweis: Wenn F eine Weghomotopie zwischen f und g ist, dann berprft man leicht, dass h F eine
Weghomotopie zwischen h f und h g ist. Also ist h

wohldeniert. Die Relationstreue ergibt sich aber

ebenfalls leicht mit der Denition der Komposition. Die restlichen Aussagen sind einfache Folgerungen
aus der Denition von h

und k

. 2
Korollar zu Satz 10.3.6 Ist h ein Homomorphismus von X auf Y , so ist h

ein Isomorphismus von

1
(X, x
0
) auf
1
(Y, h(x
0
)).
Man drckt die Aussage des obigen Korollars auch so aus: Homomorphe topologische Rume haben
isomorphe Fundamentalgruppen.
10.4 berlagerungsrume und Liftungen
Denition 10.4.1 Eine stetige und surjektive Abbildung p : Y X heit berlagerung (von X), falls
gilt:
x X U |
0
(x) : p
1
(U) =
jJ
x
V
j
, V
j
T
Y
paarweise disjunkt , p : V
j
U bistetig .
Wir nennen dann Y auch berlagerungsraum von X.
Aufgabe 10.4.2 Sei p : Y X eine berlagerung. Zeige: Fr jedes x X besteht p
1
(x) nur aus
isolierten Punkten.
Aufgabe 10.4.3 Zeige, dass die Abbildung p : R S
1
:= x R
2
: |x|
2
= 1 mit
p(x) = (cos(2x), sin(2x))
T
eine berlagerung ist. Zeige weiter: Ist J eine nicht-leere Menge mit der diskreten Topologie, so ist
p : J X X mit p(j, x) = x eine berlagerung. Warum ist diese berlagerung wahrscheinlich nicht
sehr interessant?
Denition 10.4.4 Seien p : Y X und f : Z X stetig. Falls es eine stetige Abbildung

f : Z Y
gibt, fr welche p

f = f ist, dann heit

f Liftung (von f auf Z).
Proposition 10.4.5 Sei p : Y X eine berlagerung, und sei F : [0, 1]
2
X stetig. Ist y
0
X so,
dass p(y
0
) = F(0, 0) ist, dann gibt es eine eindeutig bestimmte Liftung

F von F auf Y mit

F(0, 0) = y
0
.
67
Beweis: Zu jedem x X seien U
x
|
0
(x) und V
x,j
, j J
x
wie in der Denition der berlagerung. Auf
Grund der Kompaktheit von I = [0, 1]
2
folgt die Existenz von Zerlegungen
0 = s
0
< s
1
< . . . < s
n
= 1 , 0 = t
0
< t
1
< . . . < t
m
= 1
derart, dass alle Rechtecke I
j,k
= [s
j1
, s
j
] [t
k1
, t
k
] durch F vollstndig in eine der Mengen U
x
abge-
bildet werden. Diese Rechtecke zhlen wir nun zeilenweise ab und denieren jetzt die Liftung in endlich
vielen Schritten nach folgendem Schema: Wenn

F auf I
k
noch nicht, aber auf den vorangehenden Recht-
ecken schon deniert ist, dann ist

F jedenfalls auf einem Teil K des Randes von I
k
deniert, und dieser
Teil K ist zusammenhngend. Dies ist insbesondere der Fall fr das in unserer Abzhlung erste Rechteck
I
11
, denn dann ist K = (0, 0)
T
, und dort ist

F(0, 0) = y
0
gewhlt worden. Da

F(K) zusammenhngend
ist und fr ein x X in p
1
(U
x
) liegt, folgt dass es ein j J gibt mit

F(K) V
x,j
. Wir knnen daher
die Fortsetzung von

F auf I
k
durch

F = p
1
F denieren, und dies ist sogar die einzige Mglichkeit,
wenn

F stetig sein soll. Daraus folgt die Behauptung. 2
Da Kurven spezielle Abbildungen von einer statt zwei Variablen sind, folgt aus obiger Proposition, dass
sie immer Liftungen besitzen, und gleiches gilt natrlich auch fr Weghomotopien.
Satz 10.4.6 Sei p : Y X eine berlagerung, und seien f, g Kurven in X mit gemeinsamem Anfangs-
punkt x
0
. Seien weiter

f, g ihre Liftungen mit gemeinsamem Anfangspunkt y
0
, wobei p(y
0
) = x
0
sei. Falls
f
p
g ist, dann folgt

f
p
g.
Beweis: Folgt aus der Proposition durch Liftung der Weghomotopie. 2
10.5 Die Fundamentalgruppe des Einheitskreises
Satz 10.5.1 Die Fundamentalgruppe von S
1
ist isomorph zu (Z, +).
Beweis: Sei p wie in Aufgabe 10.4.3, und sei x
0
= p(0). Wenn f eine geschlossene Kurve mit Anfangs-
und Endpunkt x
0
ist, dann hat die Liftung

f mit Anfangspunkt 0 einen Endpunkt x
f
mit p(x
f
) = p(0),
und daraus folgt x
f
Z. Dies ergibt eine Abbildung f x
f
. Ist g
p
f, so folgt mit dem letzten
Satz dass x
f
= x
g
sein muss, und daher ist die obige Abbildung eigentlich auf
1
(X, p(0)) deniert. Fr
f(s) = p(ks), k Z, 0 s 1, haben wir eine geschlossene Kurve mit dem richtigen Anfangs- und
Endpunkt, deren Liftung

f(s) = ks ist, woraus x
f
= k folgt. Also ist die Abbildung surjektiv. Da R
einfach zusammenhngend ist, folgt dass zwei Liftungen mit gleichem Anfangs- und Endpunkt immer
weghomotop sind, und das ergibt die Injektivitt. Die Relationstreue folgt ebenfalls: Fr f und g mit
Anfangs- und Endpunkt p(0) seien

f und g die Liftungen mit Anfangspunkt 0 und Endpunkt x
f
, x
g
Z.
Dann ist

f (x
f
+ g) die Liftung von f g mit Anfangspunkt 0 und Endpunkt x
f
+x
g
. 2
68
Kapitel 11
Anwendungen und Zugaben
11.1 Peano-Kurven
Man ist geneigt anzunehmen, dass der Flcheninhalt des Trgers einer Kurve in R
2
gleich 0 ist. Dass dies
nicht so sein muss, zeigt der folgende Satz. Eine Kurve, deren Trger einen positiven Flcheninhalt hat,
nennt man auch Peano-Kurve.
Satz 11.1.1 (Existenz von Peano-Kurven) Es gibt eine stetige und surjektive Abbildung des Inter-
valles I = [0, 1] auf das Quadrat Q = [0, 1] [0, 1].
Beweis: (a) Seien [a, b] ein abgeschlossenes Intervall und [c, d] [c, d] ein achsenparalleles Quadrat, und
sei f : [a, b] [c, d][c, d] eine (stetige) Parameterdarstellung eines Polygonzuges p aus zwei Strecken von
f(a) = (c, c)
T
ber f((a + b)/2) = ((c + d)/2, (c + d)/2)
T
nach f(b) = (d, c)
T
. Vergleiche dazu auch das
Bild unten links. Aus f und p bilden wir dann in einem Verfeinerungsschritt eine Parameterdarstellung
g eines neuen Polygons q nach folgender Regel:
Wir unterteilen das Intervall [a, b] und das Quadrat [c, d] [c, d] in vier gleiche Teile und
nummerieren die Teilquadrate, links unten beginnend, im Uhrzeigersinn. Wir denieren dann
eine Parameterdarstellung g : [a, b] [c, d] [c, d] eines neuen Polygonzuges q, dessen Teile
in den Teilquadraten genau wie p aussehen, allerdings im ersten bzw. vierten Teilquadrat um
/2 bzw. /2 gedreht sind. Das ergibt insgesamt das mittlere Bild unten.

d
d
d
d
d
d

d
d
d
d
d
d
d
d
d
d
d
d

d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
p = p
0
q = p
1
p
2
69
Mit einem quivalenten Verfeinerungsschritt kann man aus einem Polygonzug, der sich von dem linken
durch Drehung um ein Vielfaches von /2 unterscheidet, einen entsprechend gedrehten mittleren Poly-
gonzug bilden. Wenn man dann diesen Verfeinerungsschritt auf jedes der vier Teilquadrate im mittleren
Bild anwendet, dann ergibt sich das rechte. Beachte, dass bei diesem Schritt die Verfeinerung des Teils
der Kurve in einem der Teilquadrate ebenfalls in diesem Teilquadrat liegt.
(b) Wir denieren jetzt eine Folge von Parameterdarstellungen f
n
: I Q fr Polygonzge p
n
wie
folgt: Seien f
0
und p
0
so wie f und p im Teil (a), aber mit a = c = 0, b = d = 1. Wenn allgemein f
n
bereits deniert ist, dann soll das zugehrige Polygon p
n
aus 4
n
Anteilen bestehen, welche jeweils durch
Restriktion von f
n
auf das entsprechende Teilintervall von I der Lnge 4
n
gegeben sind, in einem von 4
n
Teilquadraten von Q der Seitenlnge 2
n
liegen und dort genau wie im linken Bild aussehen, allerdings
eventuell um ein Vielfaches von /2 gedreht. Die Funktion f
n+1
bzw. das Polygon p
n+1
entstehen dann
durch Anwendung des Verfeinerungsschrittes aus (a) auf jeden der 4
n
Anteile.
Fr den folgenden Konvergenzbeweis ist die Metrik d

aus Beispiel 1.1.5 besonders geeignet; sie soll im

Folgenden einfach mit d bezeichnet werden.
Beh: Die Funktionen f
n
bilden eine Cauchyfolge in (C(I, Q), ) und sind deshalb wegen Satz 9.2.5 kon-
vergent gegen ein f C(I, Q).
Bew: Fr jedes x I und alle n, p N liegen f
n
(x) und f
n+p
(x) nach Konstruktion in ein und demselben
Teilquadrat von Q mit Seitenlnge 2
n
, und daher ist d(f
n
(x), f
n+p
(x)) 2
n
. Daraus folgt aber sofort,
dass (f
n
, f
n+p
) 2
n
ist, und daher gilt die Behauptung.
Beh: Die Funktion f ist surjektiv.
Bew: Sei n N. Jeder Punkt z = (x, y)
T
Q liegt in einem der Teilquadrate der Generation n, und
die Funktion f
n
besucht jedes dieser Teilquadrate. Also gibt es ein x
n
I mit d(f
n
(x
n
), z) 2
n
. Aus
dem Beweis der vorangegangenen Behauptung folgt fr p , dass (f
n
, f) 2
n
ist, und daraus folgt
d(f(x
n
), z) d(f(x
n
), f
n
(x
n
)) + d(f
n
(x
n
), z) 2
n+1
ist. Also ist f(I) dicht in Q, und aus Satz 6.3.1
folgt dass f(I) kompakt, also abgeschlossen, sein muss. Daraus folgt aber f(I) = Q, also die Surjektivitt
von f. 2
11.2 Nirgends dierenzierbare stetige Funktionen
Satz 11.2.1 Es gibt nirgends dierenzierbare stetige Funktionen f : [0, 1] R. Genauer: Die Menge
E C([0, 1]) aller nirgends dierenzierbaren Funktionen ist in (C([0, 1]), ) von zweiter Kategorie. Es gilt
sogar, dass die Menge der auf [0, 1] stetigen Funktionen, welche wenigstens an einer Stelle dierenzierbar
sind, von erster Kategorie ist.
Beweis: Sei I = [0, 1], und sei f C(I). Wir setzen f durch f(x) = f(0) fr x < 0 bzw. f(x) = f(1)
fr x > 1 auf ganz R stetig fort und denieren fr x I und h > 0 die Zahl f(x, h) als den greren
der Werte [f(x +h) f(x)[/h und [f(x h) f(x)[/h. Fr > 0, n N und h > 0 sei dann
U(, h) = f C(I) : f(x, h) x I , O
n
=
_
>n
0<h<1/n
U(, h) . (11.2.1)
Man sieht aus der Denition dass O
n
O
n+1
ist, und wir zeigen weiter die folgenden Aussagen:
Beh: Alle O
n
sind oen.
Bew: Sei f O
n
, also f U(, h) fr ein > n und ein 0 < h < 1/n. Fr > 0 und g U

(f) gilt

f(x +h) f(x)

h

g(x +h) g(x)
h

=
1
h
[f(x +h) g(x +h) (f(x) g(x))[ < 2 /h
70
fr alle x I, und daraus folgt mit der Dreiecksungleichung nach unten g(x, h) f(x, h) 2 /h
2 /h. Fr kleine > 0 ist 2 /h > n, und dann folgt dass g O
n
ist.
Beh: Alle O
n
sind dicht in C(I).
Bew: Seien f C(I) und > 0. Dann ist f gleichmig stetig auf I, und daher gibt es ein > 0 so,
dass aus [x x
0
[ < folgt [f(x) f(x
0
)[ < . Sei jetzt m n und 1/m , und seien x
j
= j/m fr
j = 0, . . . , m. Fr die stckweise lineare Funktion g
1
, die an den Stellen x
j
mit f bereinstimmt, ist dann
g
1
(x) auf dem Intervall von x
j1
bis x
j
zwischen f(x
j1
) und f(x
j
), und daraus folgt [f(x) g
1
(x)[ < 2
auf jedem dieser Teilintervalle und somit auf ganz I. Fr ein N sei
g
2
(x) =
_
(x j) fr j/ x (j + 1/2)/
(j + 1 x) fr (j + 1/2)/ x (j + 1)/
_
j = 0, . . . , 1 .
Dann ist g
2
C(I), [g
2
(x)[ /2 fr alle x I, und fr 0 < h 1/(4) ist g
2
(x, h) = . Fr
g = g
1
+g
2
folgt dann [f(x) g(x)[ < 5 /2 auf I, und fr gengend groe zeigt man hnlich wie oben
g O
n
.
Da A
n
= X O
n
abgeschlossen und nirgends dicht ist, ist deren Vereinigung von erster Kategorie, und
da aus dem Baireschen Kategoriensatz folgt, dass C(I) von zweiter Kategorie ist, muss der Durchschnitt
aller O
n
ebenfalls von zweiter Kategorie sein. Aber wenn f O
n
ist fr alle n, dann ist f nirgends
dierenzierbar, und darum gilt die Behauptung. 2
11.3 Das Zornsche Lemma und seine Anwendungen
Denition 11.3.1 Sei X eine nicht-leere Menge und eine Relation auf X mit folgenden Eigenschaf-
ten:
(a) x X : x x.
(b) x, y X : (x y , y x) = x = y.
(c) x, y, z X : (x y , y z) = x z.
Dann sprechen wir von einer teilweisen oder partiellen Ordnung auf X und nennen (X, ) auch eine
teilweise geordnete Menge, und wir denieren x < y als x y und x ,= y. Falls fr eine Teilmenge
E X gilt
(d) x, y E : x y oder y x,
dann nennen wir E vollstndig geordnet. Vergleiche dazu auch die nchste Aufgabe.
Falls (X, ) eine teilweise geordnete Menge ist, dann heit ein x
0
X ein maximales Element, falls fr
alle x X aus x
0
x folgt dass x = x
0
ist, und wir nennen x
0
eine obere Schranke fr eine Teilmenge
E X, wenn fr alle x E gilt x x
0
. Entsprechend denieren wir minimale Elemente und untere
Schranken.
Aufgabe 11.3.2 Sei (X, ) eine teilweise geordnete Menge. Finde heraus, welche der Axiome einer
Ordnungsrelation (siehe Seite 13) fr die Relation < gelten bzw. im Allgemeinen verletzt sind. Falls
E X vollstndig geordnet ist, zeige dass die Restriktion von < auf E eine Ordnung ist. Zeige weiter,
dass jede obere Schranke fr X auch ein maximales Element ist. Gilt die Umkehrung?
Aufgabe 11.3.3 Sei X die abgeschlossene Einheitskreisscheibe in R
2
, und sei
(x
1
, y
1
)
T
(x
2
, y
2
)
T
(x
1
x
2
und y
1
y
2
) .
71
Zeige, dass dies eine partielle Ordnung auf X ist, und nde alle maximalen Elemente und alle oberen
Schranken.
Aufgabe 11.3.4 Sei M eine beliebige Menge, und sei ,= X T
M
, wobei T
M
die Potenzmenge, also
die Menge aller Teilmengen, von M bezeichnet. Zeige dass die Teilmengenrelation eine partielle
Ordnung auf X ist. Finde im Fall X = T
M
ein maximales Element von X.
Satz 11.3.5 (Zornsches Lemma) Sei (X, ) eine partiell geordnete Menge. Falls jede vollstndig ge-
ordnete Teilmenge von X eine obere Schranke besitzt, dann gibt es mindestens ein maximales Element
von X.
Aufgabe 11.3.6 Zeige mit Hilfe des Zornschen Lemmas, dass jeder Vektorraum eine Basis besitzt.
Das Zornsche Lemma ist quivalent zum Auswahlaxiom der Mengenlehre (siehe Seite 20), was hier nicht
bewiesen werden soll. Mit seiner Hilfe zeigen wir jetzt:
Lemma 11.3.7 Sei M eine beliebige Menge, und sei F die Menge aller Teilmengensysteme A T
M
mit der Eigenschaft
n N E
1
, . . . , E
n
A :
n

j=1
E
j
,= . (11.3.1)
Sei jetzt A
0
F, und sei F
0
die Menge aller A F, welche A
0
enthalten. Wenn wir auf F
0
die Inklusion
als partielle Ordnung einfhren, dann besitzt F
0
ein maximales Element.
Beweis: Sei F
0,v
eine vollstndig geordnete Teilmenge von F
0
, und sei A(s) =
XF
0,v
A. Fr n N
und E
1
, . . . , E
n
A(s) gibt es zu jedem j 1, . . . , n ein A
j
F
0,v
mit E
j
A
j
. Da F
0,v
vollstndig
geordnet ist, gilt fr 1 j < k n die Inklusion A
j
A
k
oder A
k
A
j
, und wir knnen nach
eventueller Umnummerierung annehmen, dass o. B. d. A. immer der erste Fall eintritt. Dann folgt aber
E
1
, . . . , E
n
A
n
, und daher folgt aus (11.3.1) dass
j
E
j
,= ist. Also erfllt auch A(s) die Bedingung
(11.3.1), und da A
0
A(s) ist, ist A(s) eine obere Schranke fr F
0,v
. Mit dem Zornschen Lemma folgt
daher die Behauptung. 2
Lemma 11.3.8 Seien M und F
0
wie im vorigen Lemma, und sei A
m
ein maximales Element von F
0
.
dann gilt
(a) n N E
1
, , . . . , E
n
A
m
:
n

j=1
E
j
A
m
.
(b) A M: Falls fr alle E A
m
gilt A E ,= , dann folgt A A
m
.
Beweis: Zu (a): Sei E =
j
E
j
, und sei

A = A
m
E. Dann erfllt

A die Bedingung (11.3.1) und
gehrt also zu F
0
. Wegen der Maximalitt von A
m
folgt daraus aber

A = A
m
.
Zu (b): Setze jetzt

A = A
m
A und schliee genau wie oben. 2
Beweis des Satzes von Tychono fr beliebig viele Rume: Seien (X
j
, T
j
), fr j J, kompakte
topologische Rume, und sei (X, T ) ihr kartesisches Produkt. Sei A
0
eine Menge von Teilmengen von X,
fr welche (11.3.1) gilt. Wenn wir zeigen, dass der Durchschnitt aller E, E A
0
nicht leer ist, dann folgt
die Kompaktheit von (X, T ) mit Aufgabe 11.3.9. Dazu seien F
0
wie in den beiden letzten Lemmata, und
72
A
0
A
m
F
0
sei maximal. Fr jedes j J seien dann A
j,m
=
j
(E) : E A
m
, also die Menge
aller Projektionen der E in Richtung j. Man sieht, dass jedes A
j,m
die Bedingung (11.3.1) erfllt. Aus
der Kompaktheit von X
j
folgt also
EX
j,m

j
(E) ,= ist, fr alle j J. Sei jetzt x = (x
j
) X mit
x
j

EX
m

j
(E), und sei U
j
eine oene Umgebung von x
j
fr alle j. Dann ist
1
j
(U
j
) E ,= fr alle
E A
m
, und deshalb folgt aus dem letzten Lemma
1
j
(U
j
) A
m
. Sei jetzt E A
m
, und sei U eine
oene Umgebung von x. Dann existieren oene Umgebungen U
j
von x
j
, fr alle j J, mit U
j
= X
j
fr
alle bis auf endlich viele j J, derart dass x

j
U
j
=
j

1
j
U
j
U. Nach dem, was oben gezeigt
wurde, folgt

j
U
j
=
j

1
j
U
j
A
m
, denn die Menge ist ein Durchschnitt von endlich vielen
1
j
U
j
, und
A
m
ist nach dem letzten Lemma abgeschlossen gegenber endlicher Durchschnittsbildung. Fr E A
m
folgt daher (E U) (E (
j

1
j
U
j
) ,= , da ja A
m
die Bedingung (11.3.1) erfllt. Also muss x ein
Berhrungspunkt von E sein, und daher ist
x

EX
m
E

EX
0
E .
Aufgabe 11.3.9 Zeige: Ein Hausdor-Raum (X; T ) ist genau dann kompakt, wenn fr beliebige Teil-
mengen (E
j
, j J) mit der Eigenschaft (11.3.1) folgt
jJ
E
j
,= .
11.4 Topologische Vektorrume und Gruppen
Denition 11.4.1 Ein topologischer Raum (X, T ) heit ein topologischer Vektorraum, wenn X ein
Vektorraum ber K ist,
1
und wenn die Abbildungen + : X X X , (x, y) x + y und : K
X X , (, x) x stetig sind. Wenn (X, T ) das Hausdorsche Trennungsaxiom erfllt, spricht
man auch von einem separierten Raum.
2
Ein topologischer Raum (G, T ) heit eine topologische Gruppe,
wenn G eine Gruppe ist, und wenn die Abbildungen : G G G, (g, h) g h und die Inversion

1
: G G, g g
1
stetig sind. Vereinfacht ausgedrckt verwendet man das Adjektiv topologisch fr
alle algebraischen Strukturen wie Ringe, Krper, Moduln etc., wenn auf diesen eine Topologie deniert
ist, bezglich der die entsprechenden algebraischen Operationen stetig sind.
Beispiel 11.4.2 Jeder normierte Vektorraum ist ein separierter topologischer Vektorraum, da die Ste-
tigkeit der beiden Abbildungen sofort aus den Axiomen fr eine Norm folgt. Die Menge K
nn
aller qua-
dratischen n-reihigen Matrizen mit Elementen in K ist ein Vektorraum und wird zum normierten Raum,
wenn man
|A| =
_
n

j,k=1
[a
jk
[
2
_
1/2
A = [a
jk
] K
nn
setzt. Also ist dies ein topologischer Vektorraum, und die Untermenge GL(n, K) aller invertierbaren Ma-
trizen ist eine Gruppe bezglich der Matrixmultiplikation. Man kann leicht einsehen, dass sie in der
Unterraumtopologie zur topologischen Gruppe wird.
Denition 11.4.3 Sei X ein Vektorraum ber K. Eine Abbildung p : X R heit eine Halbnorm auf
X, wenn folgendes gilt:
(H1) x X : p(x) 0 (Denitheit)
(H2) x X K : p(x) = [[ p(x) (Homogenitt)
(H3) x
1
, x
2
X : p(x
1
+x
2
) p(x
1
) +p(x
2
) (Dreiecksungleichung)
1
Dabei ist fast immer K = R oder K = C; in jedem Fall muss aber K ein Krper sein, auf dem eine Topologie deniert
ist, bezglich der Addition und Multiplikation sowie die Inversion x 1/x fr x = 0 stetig sind
2
Manche Autoren sprechen nur dann von einem topologischer Vektorraum, wenn die Topologie separiert ist, wir wollen
dies hier aber nicht tun.
73
Jede Norm auf X ist also auch eine Halbnorm, und umgekehrt ist jede Halbnorm auf X mit der Zusat-
zeigenschaft p(x) > 0 fr alle x X 0 eine Norm; vergleiche dazu auch die folgende Aufgabe. Eine
Familie (p
j
, j J) von Halbnormen auf X heit separierend, wenn aus p
j
(x) = 0 fr alle j J folgt
dass x = 0 sein muss.
Aufgabe 11.4.4 Sei X ein Vektorraum ber K, und sei p : X R eine Halbnorm auf X. Zeige p(0) = 0.
Aufgabe 11.4.5 Sei R
n
eine oene und zusammenhngende Menge. Zeige:
(a) Fr jede kompakte Menge K ist
p
K
(f) = sup
zK
[f(z)[ f C()
eine Halbnorm, aber keine Norm auf C().
(b) Die Menge aller p
K
, mit beliebigem kompakten K , ist separierend auf C().
Finde eine abzhlbare Menge von kompakten Teilmengen von , fr die die zugehrigen Halbnormen
ebenfalls separierend auf C() sind.
Aufgabe 11.4.6 Sei X ein Vektorraum ber K, und sei (p
j
, j J) eine Familie von Halbnormen auf
X. Zeige: Mit der von den Abbildungen
p
j,x
= p
j
(x ) j J , x X
rckwrts induzierten Topologie wird X ein topologischer Vektorraum. Beschreibe die oenen Mengen
in dieser Topologie, und zeige dass das Hausdor-Axiom genau dann gilt, wenn die Familie (p
j
, j J)
separierend ist.
Aufgabe 11.4.7 Sei X ein Vektorraum ber K, und sei (p
j
, j N
0
) eine abzhlbare separierende Familie
von Halbnormen auf X. Zeige: Die durch diese Halbnormen auf X denierte Topologie T ist metrisierbar;
genauer: Durch
d(x
1
, x
2
) =

j=0
1
2
j
p
j
(x
1
x
2
)
1 +p
j
(x
1
x
2
)
x
1
, x
2
X
wird eine Metrik auf X deniert, welche die Topologie T auf X erzeugt.
74
Literaturverzeichnis
[1] P. S. Alexandro, Einfhrung in die Mengenlehre und in die allgemeine Topologie, Hochschul-
bcher fr Mathematik, 85, VEB Deutscher Verlag der Wissenschaften, Berlin, 1984. Aus dem
Russischen von Manfred Peschel, Wolfgang Richter und Horst Antelmann.
[2] B. H. Arnold, Elementare Topologie, Vandenhoeck & Ruprecht, Gttingen, 1974. Anschauliche
Probleme und grundlegende Begrie. Dritte, durchgesehene Auage. Aus dem Englischen bersetzt
von Helmut Freund, Gerhard Holland und Arnold Kirsch. Moderne Mathematik in elementarer
Darstellung, No. 2.
[3] W. Franz, Topologie. I: Allgemeine Topologie, Dritte Auage. Sammlung Gschen, Band 1181,
Walter de Gruyter & Co., Berlin, 1968.
[4] K. P. Grotemeyer, Topologie, B.I.-Hochschulskripten, Bibliographisches Institut, Mannheim, 1969.
[5] E. Harzheim und H. Ratschek, Einfhrung in die allgemeine Topologie, Wissenschaftliche Buch-
gesellschaft, Darmstadt, 1975. Die Mathematik: Einfhrungen in Gegenstand und Ergebnisse ihrer
Teilgebiete und Nachbarwissenschaften.
[6] H. Herrlich, Einfhrung in die Topologie, Berliner Studienreihe zur Mathematik, Heldermann Ver-
lag, Berlin, 1986. Unter Mitarbeit von H. Bargenda und C. Trompelt.
[7] , Topologie I: Topologische Rume, Berliner Studienreihe zur Mathematik, Heldermann Verlag,
Berlin, 1986. Unter Mitarbeit von H. Bargenda.
[8] , Topologie. II, Berliner Studienreihe zur Mathematik, Heldermann Verlag, Berlin, 1988. Uni-
forme Rume.
[9] H. Heuser, Funktionalanalysis, Mathematische Leitfden, B. G. Teubner, Stuttgart, 1992.
[10] J. Jger, Elementare Topologie, Uni-Taschenbcher, Ferdinand Schningh, Paderborn, 1980.
[11] K. Jnich, Topologie, Springer-Lehrbuch. Vierte Auage, Springer-Verlag, Berlin, 1994. Mit einem
Kapitel von Theodor Brcker.
[12] L. Jantscher, Topologie, Studientexte Mathematik, Akademische Verlagsgesellschaft, Wiesbaden,
1982. Studienbuch fr Studenten der Mathematik und Physik ab 3. Semester, 43.
[13] E. P. Klement, Elementare Topologie, Schriftenreihe fr Mathematik, Rudolf Trauner, Linz, 1982.
Mit Anwendungen.
[14] J. R. Munkres, Topology: a rst course, Prentice-Hall Inc., Englewood Clis, N.J., 1975.
[15] E. Ossa, Topologie, Vieweg Studium: Aufbaukurs Mathematik, Friedr. Vieweg & Sohn, Braun-
schweig, 1992.
[16] G. Preuss, Allgemeine Topologie, Springer-Verlag, Berlin, 1975. Zweite korrigierte Auage, Hoch-
schultext.
[17] W. Rinow, Lehrbuch der Topologie, VEB Deutscher Verlag der Wissenschaften, Berlin, 1975. Hoch-
schulbcher fr Mathematik, Band 79.
75
[18] H. Schubert, Topologie: eine Einfhrung, B. G. Teubner, Stuttgart, 1971. Dritte Auage, Mathe-
matische Leitfden.
[19] R. Schwnzl, Elemente der Topologie, Osnabrcker Schriften zur Mathematik. Reihe V: Vorle-
sungsskripten, Universitt Osnabrck Fachbereich Mathematik, Osnabrck, 1984.
[20] G. Springer, Einfhrung in die Topologie, Aschendorsche Verlagsbuchhandlung, Mnster, 1955.
[21] T. tom Dieck, Topologie, de Gruyter Lehrbuch., Walter de Gruyter & Co., Berlin, 1991.
[22] B. von Querenburg, Mengentheoretische Topologie, 2. Auage, Springer-Verlag, Berlin, 1979.
Hochschultext.
[23] L. E. Ward, Jr., Topology, Marcel Dekker Inc., New York, 1972. An outline for a rst course, Pure
and Applied Mathematics, No. 10.
76
Index
a-posteriori-Abschtzung, 54
a-priori-Abschtzung, 54
abelsch, 66
abgeschlossene Hlle, 16
abgeschlossene Mengen, 15
Abschtzung
a-posteriori-, 54
a-priori-, 54
Abstand von Mengen, 31
abzhlbare
Basis, 36
Umgebungsbasis, 35
Abzhlbarkeitsaxiome, 35, 36
Algebra, 61
Anfangspunkt, 47
Approximationssatz von Weierstra, 63
quivalenz
-klasse, 22
-relation, 21
von Metriken, 33
Arzela, 61
Auswahlaxiom, 20
Axiome
Abzhlbarkeits-, 35, 36
einer Basis, 11
einer Halbnorm, 73
einer Metrik, 6
einer Norm, 5
einer Ordnung, 13
einer Topologie, 9
fr Umgebungssysteme, 14
Trennungs-, 24
Baire-Raum, 55
Bairescher Kategoriensatz, 56
Banachscher Fixpunktsatz, 54
Basis, 11
Umgebungs-, 14
Berhrungspunkt, 15
beschrnkt, 59
punktweise bzw. gleichmig, 60
total, 57
bistetig, 37
C[a, b], 5
C(X), 61
C(X, Y ), 59
Cauchyfolge, 49
Denitheit, 5, 6, 73
Diagonale, 25
dicht, 36
nirgends, 56
diskrete
Metrik, 6
Topologie, 9
Dreiecksungleichung, 6, 50
fr Normen, 5, 73
nach unten, 6

E, E, 16
e
x
, 64
Einpunktkurve, 64
Endpunkt, 47
-Umgebung, 7
erstes Abzhlbarkeitsaxiom, 35
erzeugte Topologie, 11
euklidische
Metrik, 6
Norm, 5
Topologie, 10
Existenz von Max. und Min., 41
F(X, Y ), 59
f

, 64
[f], 64
feiner, 10
Fixpunkt, 54
Fixpunktsatz, 54
Folge
Cauchy-, 49
Grenzwert einer, 22
konvergente, 22
folgenkompakt, 57
folgenstetig, 22
Fortsetzungssatz von Tietze, 28
french railroad space, 7
Fundamentalgruppe, 66
des Kreises, 68
G
f
, 21
gleichgradig stetig, 59
gleichmige
Beschrnktheit, 60
77
Konvergenz, 32
Stetigkeit, 52
grber, 10
Graph, 21
Grenzwert, 22
Gruppen, 65
abelsche, 66
Fundamental-, 66
Homotopie-, 66
isomorphe, 66
triviale, 66
Halbnorm, 73
Hufungspunkt, 17
Hausdor
-Axiom, 24
-Raum, 24
Heine-Borel-Eigenschaft, 60
Hintereinanderausf. stet. Abb., 18
homomorph, 37
Homogenitt, 5, 7, 73
Homomorphismus, 66
homotop, 64
weg-, 64
Homotopiegruppe, 66
Hlle
abgeschlossene, 16
indiskrete Topologie, 9
Injektion, 19
innerer Punkt, 16
isolierter Punkt, 17
isometrisch, Isometrie, 50
Isomorphismus, 66
kartesisches Produkt, 20
Kategorie, 56
Kern
oener, 16
Klebelemma, 19
kommutativ, 66
kompakt, 39
folgen-, 57
lokal-, 42
pr-, 57
Kompaktizierung, 42
Komposition, 64
Kontraktion, 54
-sparameter, 54
Konvergenz, 22
gleichmige, 32
im metrischen Raum, 32
punktweise, 32
Kugel, 7
Kurve, 47
Peano-, 69
rckwrts durchlaufene, 64
kurvenzusammenhngend, 47
lokal, 47
lngentreu, 50
lexikographische Ordnung, 13
Liftung, 67
Lindelf, 36
Lindelf-Raum, 36
lokal
-kompakt, 42
kurvenzusammenhngend, 47
zusammenhngend, 47
lower limit topology, 12
maximales Element, 71
Maximum, 41
Mengen
abgeschlossene, 15
dichte, 36
kompakte, 39
kurvenzusammenhngende, 47
lokal zusammenhngende, 47
nirgends dichte, 56
oene
im metrischen Raum, 7
im topologischen Raum, 9
vollstndige, 50
zusammenhngende, 44
Metrik, 6
quivalente, 33
diskrete, 6
euklidische, 6
homogene, 7
translationsinvariante, 7
zur Norm gehrige, 6
Metrisationssatz, 38
metrischer Raum, 6
metrisierbar, 37
Minimum, 41
Minkowski, 5
nicht vergleichbar, 10
nirgends dicht, 56
Norm, 5
p-, 5
euklidische, 5
Halb-, 73
normal, 26
normierter Raum, 5
obere Schranke, 71
oene berdeckung, 36
oene Mengen
im metrischen Raum, 7
im topologischen Raum, 9
78
oener Kern, 16
Ordnung, 13
lexikographische, 13
teilweise/partielle, 71
Ordnungstopologie, 13
Parameterdarstellung, 47
partielle Ordnung, 71
Partition der Eins, 29
Peano-Kurve, 69
p-Norm, 5
Positive
Denitheit, 6
Semidenitheit, 50
Positive Denitheit, 5
Potenzmenge, 7
prkompakt, 57
Produkttopologie, 21
Projektion, 21
Punkt
Berhrungs-, 15
Hufungs-, 17
innerer, 16
isolierter, 17
Rand-, 17
punktweise
Beschrnktheit, 60
Konvergenz, 32
Quotiententopologie, 22
rd (E), 17
(f, g), 59
Rand, 17
Randpunkt, 17
Raum
Baire-, 55
beschrnkter metrischer, 59
Hausdor-, 24
kompakter, 39
Lindelf-, 36
metrischer, 6
metrisierbarer, 37
normaler, 26
normierter, 5
regulrer, 26
separabler, 36
topologischer, 9
berlagerungs-, 67
zusamenhngender, 44
Reexivitt, 22
Regeln
fr abgeschlossene Mengen, 15
fr Weghomotopie, 64
von de Morgan, 15
regulr, 26
Relation, 21
Reprsentant, 22
rckwrts induzierte Topologie, 20
Satz
Bairescher Kategorien-, 56
Banachscher Fixpunkt-, 54
Vervollstndigungs-, 51
von Alexandro, 42
von Arzela-Ascoli, 61
von der Partition der Eins, 29
von Stone-Weierstra, 62
von Tietze, 28
von Tychono, 41
von Urysohn, 27, 38
Zwischenwert-, 45
schlielich konstant, 22
schwache Topologie, 20
Semidenitheit, 50
Semimetrik, 50
separabel, 36
separierend, 74
Spurtopologie, 14
Stetigkeit
der Hintereinanderausfhrung, 18
der Umkehrabbildung, 41
Folgen-, 22
gleichgradige, 59
gleichmige, 52
in metrischen Rumen, 8
in topologischen Rumen, 18
mit Hilfe von Basen, 19
support, supp, 29
Symmetrie, 6, 22, 50
teilweise Ordnung, 71
Tietze, 28
Topologie, 9
Basis einer, 11
diskrete, 9
Erzeugen einer, 11, 19
euklidische, 10
feinere, 10
grbere, 10
indiskrete, 9
metrischer Rume, 10
Ordnungs-, 13
Produkt-, 21
Quotienten-, 22
rckwrts induzierte, 20
schwache, 20
Spur-, 14
Unterraum-, 14
Vergleich von, 10
vorwrts induzierte, 21
topologische
79
quivalenz, 33
Gruppen, 73
Rume, 9
Unterrume, 14
Vektorrume, 73
Torus, 22
total
beschrnkt, 57
unzusammenhngend, 47
Trger, 29, 47
Transitivitt, 13, 22
translationsinvariant, 7
|(x), |
0
(x), 14
berdeckung, 36
berlagerung, 67
Umgebung, 14
-sbasis, 14
abzhlbare, 35
im metrischen Raum, 7
oene, 14
im metrischen Raum, 7
Ungleichung
Minkowskische, 5
Unterraum
-topologie, 14
metrischer, 6
topologischer, 13
unzusammenhngend, 44
total, 47
Urysohn, 27
Urysohnscher Metrisationssatz, 38
Vergleich von Topologien, 10
Vervollstndigung, 52
Vierecksungleichung, 7
Vollstndigkeit, 50
vorwrts induzierte Topologie, 21
Weghomotopie, 64
-klasse, 64
Weierstra, 63
Zerlegung, 22
Zornsches Lemma, 72
zusammenhngend, 44
kurven-, 47
lokal, 47
Zusammenhangskomponenten, 46
zweites Abzhlbarkeitsaxiom, 36
Zwischenpunkteigenschaft, 44
Zwischenwertsatz, 45
80