0 Daumen
628 Aufrufe

Aufgabe: Sei (X,d) ein metrischer Raum und (xn)n∈ℕ eine konvergente Folge mit Grenzwert x∈X.

              a) Zeigen Sie, dass die Menge M = {x} ∪ {xn : n∈ℕ} ist kompakt

              b) Zeigen Sie, dass M\{x} nicht kompakt ist

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

Sei \((O_i)_{i \in I}\) eine offene Überdeckung von M.

Wir wählen ein \(i_0 \in I\) mit \(x \in O_{i_0}\). Dann existier ein \(\delta>0\) mit \(B(x,\delta) \sub O_{i_0}\) (offene Kugel). Wegen der vorausgesetzten Konvergenz existiert ein natürliches m mit \(x_n \in B(x,\delta) \sub O_{i_0}\) für alle \(n >m\). Wie wählen \(i_j \in I\) mit \(x_j \in O_{i_j}\) für \(j=1 \ldots m\).

Fazit: \((O_{i_0}, O_{i_1}, \ldots O_{i_m})\) ist eine endliche offene Teilüberdeckung.

Die Aussage b) ist (allgemein) falsch: Wähle 2 verschiedene Element x,y in X und definiere die Folg

$$(y,x,x,x,x,x,x,x,\ldots)$$

Dann ist \(M=\{x,y\}\) und \(M \setminus{x}=\{y\}\) kompakt

Avatar von 14 k

Vielen Dank, aber könntest du mir noch kurz erklären, woher "I" kommt?

I ist einfach nur eine Bezeichnung für eine Indexmenge, ich muss die offene Überdeckung ja irgendwie benennen. Oder wie habt Ihr offene Überdeckungen bezeichnet?

Oke ja dann hat sich das erledigt. Vielen Dank!

Eine Frage habe ich doch noch.

Aussage b) ist meiner Meinung nach zwar nicht für alle gültig, dennoch müsste es Beispiele geben, in denen die Aussage gilt... Wie finde ich diese am besten?

Auf jeden Fall ist die Aussage richtig, wenn x nicht unter den Folgengliedern vorkommt. Weil dann M ohne {x} nicht abgeschlossen ist.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community