Metrische R

aume: Beweise zu Ubungsaufgaben

Sei im folgenden (X, d) ein metrischer Raum und I eine beliebige Indexmenge und A X eine Teilmenge.
Behauptung: Ganz X ist offen.
Defn.
Beweis: F
ur x0 X und > 0 ist U (x0 ) = {x X : d(x, x0 ) < } X X ist Umgebung von x0 .

.

Behauptung: DieSVereinigung beliebig vieler offener Mengen Ui X, i I, ist offen.

S
Beweis: F
ur x iI Ui existiert ein j I mit x Uj . Uj ist offen > 0 mit U (x) Uj iI Ui .

Behauptung: Der Durchschnitt beliebig vieler

offener Mengen ist nicht notwendigerweise offen.
T
Beweis: F
ur X = R, Dn := ( n1 , n1 ) R ist n=1 Dn = {0}, es gibt jedoch kein > 0 mit U (0) {0}.

Behauptung: Der Durchschnitt beliebig vieler abgeschlossener

T Mengen
S Ui X, i I, ist abgeschlossen.
Beweis: F
u
r
U
abgeschlossen
ist
X
\
U
offen.
Es
gilt
X
\
U
=
(X \ Ui ).
i
i
i
iI
iIT
S
(X
\
U
)
ist
als
Vereinigung
offener
Mengen
offen,
somit
ist
i
iI
iI Ui abgeschlossen.

Behauptung: Ist x HP(A), so liegen in jeder Kugel U (x), > 0 unendlich viele Punkte von A.
Beweis: F
ur jedes > 0 existiert ein von x verschiedener Punkt in x0 U (x).
F
ur 0 = d(x, x0 ) > 0 existiert ein von x und x0
/ U0 (x) verschiedener Punkt x U0 (x).
Induktiv lassen sich somit in jeder Kugel U (x) unendlich viele von x verschiedene Punkte finden. 
Behauptung: Liegen in jeder Kugel U (x), > 0 unendlich viele Punkte von A, ist x HP(A).
Beweis: F
ur jedes > 0 existieren unendlich viele (von x verschiedene) Punkte in U (x).

Behauptung: Jede Randpunkt von A ist entweder ein Haufungspunkt oder isoliert.
()
Beweis: F
ur jedes x A und > 0 ist (U (x) \ {x}) (X \ A) nichtleer.
Ist zus
atzlich f
ur jedes > 0 U (x) \ {x}) A nichtleer, handelt es sich um einen Haufungspunkt.
Ist f
ur ein > 0 U (x) \ {x}) A = , handelt es sich um einen isolierten Punkt.

Behauptung: A ist in A HP(A) enthalten.
Beweis: A A HP(A) ist trivial; A A HP(A) folgt aus (), somit ist A = A A A HP(A).
Behauptung: HP(A) ist in A enthalten.
Beweis: F
ur jedes x HP(A) und > 0 ist U (x) \ {x} nichtleer.
Ist U (x) (X \ A) ebenfalls f
ur jedes > 0 nichtleer, gilt x A.
Ist hingegen U (x) (X \ A) = f
ur ein > 0, gilt U (x) A, also x A A.

In jedem Fall gilt x A A = A.


()

Behauptung: A HP(A) ist in A enthalten.

Beweis: A A ist trivial, HP(A) folgt aus (), somit ist A HP(A) A.

Behauptung: Ist A abgeschlossen, so gilt HP(A) A.

Beweis: Per definitionem ist A A, w
ahrend HP(A) A = A A = A aus () folgt.

Behauptung: Gilt HP(A) A, so ist A abgeschlossen.

Beweis: Es gilt A A A HP(A). F
ur HP(A) A folgt somit A A HP(A) = A.

Behauptung: A ist abgeschlossen.

Insbesondere kann x dann wegen A A kein Randpunkt von A sein.
Beweis: Sei x X \ A.
Also existiert ein > 0, so dass U (x) entweder keine Punkte aus A oder keine Punkte aus X \A enth
alt.
Da x selbst in X \ A liegt, enth
alt U (x) also keine Punkte aus A, somit ist U (x) X \ A.
()
Angenommen, es existiere x0 U (x) A und sei 0 := d(x, x0 ) > 0, so galte U0 (x0 ) U (x) und
U0 (x0 ) A 6= , im Widerspruch zur obigen Annahme U (x) X \ A, somit folgt U (x) A = .
Also ist X \ A offen und somit A abgeschlossen.
Es folgt U (x) (X \ A) (X \ A) = X \ A.


Behauptung: Ist A B, so folgt A B.

Beweis: A B ist trivial. F

ur x A \ A und jedes > 0 ist U (x) A 6= und folglich U (x) B 6= .

Ist nun U (x) (X \ B) = , ist x B; ist hingegen U (x) (X \ B) 6= , ist x B; also x B.