Hallo zusammen,
ich habe noch ein paar Schwierigkeiten bei Häufungspunkten von Mengen. Es geht um Aufgabe 4
Nach unserer Definition ist ein Punkt \(p \in X\) ein Häufungspunkt einer Menge \(M \subset X\), wenn für jede Umgebung \(U\) von \(p\) gilt,
$$ U \cap (M\backslash \{p\}) = \emptyset $$
Also jede Umgebung von \(p\) beinhaltet mindestens einen weiteren Punkt.
Ich habe folgende Ideen:
(i) Ich denke jeder Punkt aus \( B_1(0) \) ist Häufungspunkt.
Sei \( p \in B_1(0) \), dann ist \( B_{k}(p) \) mit \(k < 1-|p| \) eine Umgebung von \(p\), die komplett in \( B_1(0) \) liegt. Damit ist dann
$$ B_k(p) \cap ( B_1(0) \backslash \{p\}) = B_k(p)\backslash \{p\} \neq \emptyset $$
Nun kann es aber auch andere Umgebungen geben oder? Wie gehe ich damit um?
(ii) Ich würde sagen, dass diese Teilmenge keinen Häufungspunkt besitzt.
Sei \( z \in \mathbb{Z} \). Dann ist \( B_{\frac 1 2 }(z) \) eine Umgebung von \( z \) (ich verstehe es doch richtig, das die Umgebung im Prinzip in \( \mathbb{C} \) liegen muss und nicht in \( M_2\) oder?)
Es gilt aber
$$ B_{\frac 1 2 }(z) \cap (\mathbb{Z} \backslash \{z\} ) = \emptyset $$
Somit existiert eine Umgebung, in der nur der Punkt \( z \) liegt und kein weiterer Punkt.
(iii) Hier bin ich mir sehr unsicher, aber ich denke dass nur die Null Häufungspunkt ist.
\(0 \in M_3 \) ist Häufungspunkt, denn für jede Scheibe \( B_\varepsilon(0) \) gilt
$$ B_\varepsilon \cap M_3 \backslash \{0\} = \left\{ \frac {i^n} n : \frac 1 \varepsilon < n \in \mathbb{N} \right\} $$
Mein Problem ist, ich argumentiere hier wieder nur mit Hilfe von Scheiben. Finde es schwer, das auf allgemeine Umgebungen zu übertragen. Ich überlege auch ob es eine Umgebung gibt, die die Achsen außer im Ursprung nicht berührt. Würde sagen nein, aber kann das nicht so wirklich begründen.
Das alle anderen Elemente aus \( M_3 \) keine Häufungspunkte sind, würde ich ähnlich wie bei \( M_2 \) begründen:
Die Elemente der Menge liegen auf den Achsen. Für alle \( n \) mit \( n+3 \) ist durch \( 4 \) teilbar, sind wir auf der positiven imaginären Achse. Alle \(n \) mit \( n+2\) durch\( 4 \) teilbar auf der positiven reellen Achse usw. Betrachten wir deshalb \( \frac {i^k} k \in M_3 \), dann ist in jeder Scheibe mit einem Radius kleiner als \( \frac 1 k - \frac 1{k+4} = \frac 4 {k(k+4)} \) kein weiteres Element aus \( M_3 \).
Also zusammengefasst: Ich denke die Ausarbeitungen gehen schon in eine gar nicht so schlechte Richtung, allerdings führe ich die Beweise nur mit Hilfe von offenen Kreisscheiben. Wie übertrage ich das auf allgemeine Umgebungen?
Ich bedanke mich schon mal im voraus für jegliche Hilfe.
Liebe Grüße
Ist bei (i) noch jeder Punkt vom Rand Häufungspunkt?
(ii) oh ja das ist vermutlich auch so gedacht mit der Aufgabe 3 davor, haha. Schöne Lösung.
Über die (iii) muss ich mal noch etwas nachdenken. Aber ist ja schon mal gut, dass ich prinzipiell eine Lösung habe. Werde aber mal versuchen noch über Folgen zu argumentieren als Übung. Falls ich nochmal eine Frage habe, würde ich mich nochmal melden.
Erstmal vielen lieben Dank für deine schnelle Hilfe :) ─ chris2001 03.05.2021 um 20:31