1
Es ist richtig, dass Du ein allgemeines \(\delta\) finden musst. Ich würde aber im 3. Punkt nicht mit Folgen arbeiten, sondern mit der Charakterisierung von kompakten Mengen über endliche Teilüberdeckungen. Das ist je nach dem Vorgehen in Deiner Lehrveranstaltung die Def. von "kompakt" oder der Satz von Heine-Borel.
Diese Antwort melden
Link
geantwortet
mikn
Lehrer/Professor, Punkte: 38.65K
Lehrer/Professor, Punkte: 38.65K
Also bei uns lautet der satz wie folgt \(\forall\) Familie \((E_\lambda)_{\lambda \in \Lambda}\) mit \(E_\lambda\) abgeschlossen und so dass \(E \cap E_{\lambda_1}\cap ... \cap E_{\lambda_N} \neq \emptyset\) \(\forall \lambda_1,...\lambda_N \in \Lambda \) gilt dass \(E \cap (\cap E_\lambda ) \neq \emptyset \) wobei der Zweite durchschnitt über alle \(\lambda \in \Lambda\) geht.
─
karate
07.03.2021 um 13:50
hmm okei im skript steht es wirklich so wie ich es hier notiert habe komisch.
also du würdest es also mit heine-borel versuchen?
─ karate 07.03.2021 um 14:52
also du würdest es also mit heine-borel versuchen?
─ karate 07.03.2021 um 14:52
Ja das ist das wie wir bis jetzt HB definiert haben. okei dann versuche ich das mal
─
karate
07.03.2021 um 14:57
wäre es okei wenn ich einen möglichen Ansatz bzw. Lösungsvorschlag nochmals hier posten könnte?
─
karate
07.03.2021 um 15:09
ja schon ein paar.
─
karate
07.03.2021 um 15:28
Also ich melde mich nochmals, irgendwie fehlt mir eine Überlegung um den Widerspruch zu kreieren, ich habe folgendes:
Annahme: \(\forall \delta>0 \exists x\in X : \forall i \in I: K_\delta(x) \not \subset O_i\)
Sei also \(\delta >0\) beliebig aber fix. Laut Annahme existiert ein x in Abhängigkeit von \(\delta\) so dass
\(K_\delta(x) \not \subset O_i \forall i \in I\) Das heisst aber dass \(\exists y \in \mathbb{R}^d\) mit \(d(x,y)<\delta\) wobei \(y \not \in O_i \forall i \in I\). Daraus folgt nun dass \(y \not \in \bigcup_{i\in I} O_i \). Da nun \(O_i\) eine Überdeckung von X ist, würde das auch heissen, dass \(y \not \in X\).
Nun habe ich die Kompaktheit ("Folgenkompaktheit") aber noch gar nicht verwendet. Könntest du mir einen Tipp geben wo ich das hier ansetzen kann um den Wiederspruch zu erhalten? ─ karate 07.03.2021 um 16:01
Annahme: \(\forall \delta>0 \exists x\in X : \forall i \in I: K_\delta(x) \not \subset O_i\)
Sei also \(\delta >0\) beliebig aber fix. Laut Annahme existiert ein x in Abhängigkeit von \(\delta\) so dass
\(K_\delta(x) \not \subset O_i \forall i \in I\) Das heisst aber dass \(\exists y \in \mathbb{R}^d\) mit \(d(x,y)<\delta\) wobei \(y \not \in O_i \forall i \in I\). Daraus folgt nun dass \(y \not \in \bigcup_{i\in I} O_i \). Da nun \(O_i\) eine Überdeckung von X ist, würde das auch heissen, dass \(y \not \in X\).
Nun habe ich die Kompaktheit ("Folgenkompaktheit") aber noch gar nicht verwendet. Könntest du mir einen Tipp geben wo ich das hier ansetzen kann um den Wiederspruch zu erhalten? ─ karate 07.03.2021 um 16:01
Okei ich versuche es mal.
Kurze Frage, ich habe es noch mit einem Kommilitonen angeschaut, er hat dabei einen anderen Weg gemacht wobei ich mir nicht ganz sicher bin ob das so möglich ist: (Nur in Worte) Er sagt, dass man eine endliche Überdeckung findet, da X kompakt ist. Gleichzeitig gilt dass jedes x in mindestens einer offenen Menge ist. Nun kann man von jedem x den kleinsten Kugelradius nehmen, so dass die Kugel um x mit diesem Radius in jeder Umgebung ist, in der auch unser x liegt. Mit all diesen Radien kann man eine Menge konstruieren, die wiederum ein Minimum hat welches ungleich 0 ist, das wäre dann unser Delta.
Irgendwie macht es schon Sinn aber irgendwie "stört" mich etwas daran. ─ karate 07.03.2021 um 17:14
Kurze Frage, ich habe es noch mit einem Kommilitonen angeschaut, er hat dabei einen anderen Weg gemacht wobei ich mir nicht ganz sicher bin ob das so möglich ist: (Nur in Worte) Er sagt, dass man eine endliche Überdeckung findet, da X kompakt ist. Gleichzeitig gilt dass jedes x in mindestens einer offenen Menge ist. Nun kann man von jedem x den kleinsten Kugelradius nehmen, so dass die Kugel um x mit diesem Radius in jeder Umgebung ist, in der auch unser x liegt. Mit all diesen Radien kann man eine Menge konstruieren, die wiederum ein Minimum hat welches ungleich 0 ist, das wäre dann unser Delta.
Irgendwie macht es schon Sinn aber irgendwie "stört" mich etwas daran. ─ karate 07.03.2021 um 17:14
ah okei aber das wäre so auch gültig? Denn wenn man sich das so vorstellt ist das schon viel klarer als unser Weg, meine Bedenken waren einfach, dass man das zwar verbal sehr verständlich notieren kann jedoch mathematisch denke isch ist es nicht so einfach oder täusche ich mich? Sorry wenn ich so hin und her springe aber ich finde es noch gut zwei Möglichkeiten zu kennen. Trotzdem habe ich wirklich gemerkt, dass der Widerspruchsbeweis gar nicht so einfach ist.
─
karate
07.03.2021 um 17:22
okei vielen Dank dann versuche ich nun man den Wiederspruchs beweis und schaue wie weit ich komme
─
karate
07.03.2021 um 17:36
Okei also ich muss gestehen diese Aufgabe bringt mich leicht zur Verzweiflung, da ich viel zu viel Zeit investiert habe und irgendwie immer noch nicht erkenne wo dieser Widerspruch steckt. Ich habe folgendes
Annahme ist gleich wie oben.
Nehmen wir uns nun \(\delta :=\frac {1}{n}, n\in \mathbb{N} \). Das bedeutet für jedes \(n\in \mathbb{N} \, \,\exists x\in X: \forall i\in I : K_{\frac{1}{n}}(x)=\{y\in \mathbb{R}^d: d(x,y)<\frac {1}{n}\} \not \subset O_i\)
Das heisst nun aber dass es ein \(y \in \mathbb{R}^d\) gibt mit \(d(x,y)<\frac{1}{n}\) aber \(y \not \in O_i, \forall i \in I\). Da \(X\) Folgenkompakt ist, gilt dass \(\forall x \in X \,\, \exists x^k\subset X: x^k \rightarrow x \,\,\,\, \Leftrightarrow \,\,\,\, d(x^k,x)\rightarrow_{k\rightarrow \infty}0 \,\,\,\, \Leftrightarrow \,\,\,\, d(x^k,x)<\frac{1}{k} \,\,für \,\, k\rightarrow \infty\).
Wenn wir nun aber das auf unsere Menge anwenden so merken wir, dass für ein wachsendes \(n\) gilt dass \(d(x,y)\rightarrow 0\) da \(\frac{1}{n}\rightarrow_{n\rightarrow \infty}0\). das würde dann aber heissen, dass unser y immer mehr Richtung x konvergiert. Da nun \(O_i\) eine offene Überdeckung ist, gilt dass \(X \subset \bigcup_{i\in I} O_i\). Für ein genug grosses \(n\) würde das nun aber wiederum heissen, dass \(\exists i \in I: y\in O_i\) was dann ein Widerspruch zur Annahme wäre.
Irgendwie denke ich aber dass das noch falsch ist.
─ karate 07.03.2021 um 19:11
Annahme ist gleich wie oben.
Nehmen wir uns nun \(\delta :=\frac {1}{n}, n\in \mathbb{N} \). Das bedeutet für jedes \(n\in \mathbb{N} \, \,\exists x\in X: \forall i\in I : K_{\frac{1}{n}}(x)=\{y\in \mathbb{R}^d: d(x,y)<\frac {1}{n}\} \not \subset O_i\)
Das heisst nun aber dass es ein \(y \in \mathbb{R}^d\) gibt mit \(d(x,y)<\frac{1}{n}\) aber \(y \not \in O_i, \forall i \in I\). Da \(X\) Folgenkompakt ist, gilt dass \(\forall x \in X \,\, \exists x^k\subset X: x^k \rightarrow x \,\,\,\, \Leftrightarrow \,\,\,\, d(x^k,x)\rightarrow_{k\rightarrow \infty}0 \,\,\,\, \Leftrightarrow \,\,\,\, d(x^k,x)<\frac{1}{k} \,\,für \,\, k\rightarrow \infty\).
Wenn wir nun aber das auf unsere Menge anwenden so merken wir, dass für ein wachsendes \(n\) gilt dass \(d(x,y)\rightarrow 0\) da \(\frac{1}{n}\rightarrow_{n\rightarrow \infty}0\). das würde dann aber heissen, dass unser y immer mehr Richtung x konvergiert. Da nun \(O_i\) eine offene Überdeckung ist, gilt dass \(X \subset \bigcup_{i\in I} O_i\). Für ein genug grosses \(n\) würde das nun aber wiederum heissen, dass \(\exists i \in I: y\in O_i\) was dann ein Widerspruch zur Annahme wäre.
Irgendwie denke ich aber dass das noch falsch ist.
─ karate 07.03.2021 um 19:11
sorry irgendwie sehe ich bei dieser Aufgabe einfach keinen roten Faden, ich sehe rein gar nichts mehr und habe auch zugleich die Motivation verloren diese Aufgabe zu lösen. Ich versuche es trotzdem noch, da ich sie gerne einfach abschliessen würde. doch irgendwie kann ich mich nicht auf das wesentliche fokussieren, bin ziemlich enttäuscht was ich heute liefere und ich glaube es wird nicht besser.
also muss ich die Folge explizit definieren oder wie meinst du das? ─ karate 07.03.2021 um 19:41
also muss ich die Folge explizit definieren oder wie meinst du das? ─ karate 07.03.2021 um 19:41
ja natürlich verstehe ich das wenn du nicht noch die andere Version betrachten möchtest, bin dir nur schon extrem dankbar, dass du dir so viel Zeit für eine Version nimmst!!
okei also starten wir einen hoffentlich letzten Versuch:
Wie gesagt wir definieren unser \(\delta := \frac{1}{n}\). Laut Annahme gilt dass für jedes n ein \(x_n\) existiert mit \(K_\delta(x_n) \not \subset O_i, \forall i \in I\). Da die Folge \(x_n\) in \(X\) liegt und X folgenkompakt ist, gilt dass es eine konvergente Teilfolge \(x_{n_k} \in X\) gibt so dass diese gegen \(x\) konvergiert. Da nun \(O_i\) eine Überdeckung ist, heisst dass, dass \(X \subset \bigcup_{i\in I} O_i\) ist. dabei gilt dass für jedes \(i\) die Menge \(O_i\) offen ist. Dies würde dann aber bedeuten, dass sowohl \(x\) als auch die Teilmenge \(x_{n_k}\) in einer der offenen Mengen \(O_i\) liegen. Sprich für jedes \(k \in \mathbb{N}\) gibt es ein \(r>0\) so dass \(K_r(x_{n_k})\subset O_i\). Dies ist nun aber ein Widerspruch zur Annahme.
ist das so besser? ─ karate 07.03.2021 um 20:24
okei also starten wir einen hoffentlich letzten Versuch:
Wie gesagt wir definieren unser \(\delta := \frac{1}{n}\). Laut Annahme gilt dass für jedes n ein \(x_n\) existiert mit \(K_\delta(x_n) \not \subset O_i, \forall i \in I\). Da die Folge \(x_n\) in \(X\) liegt und X folgenkompakt ist, gilt dass es eine konvergente Teilfolge \(x_{n_k} \in X\) gibt so dass diese gegen \(x\) konvergiert. Da nun \(O_i\) eine Überdeckung ist, heisst dass, dass \(X \subset \bigcup_{i\in I} O_i\) ist. dabei gilt dass für jedes \(i\) die Menge \(O_i\) offen ist. Dies würde dann aber bedeuten, dass sowohl \(x\) als auch die Teilmenge \(x_{n_k}\) in einer der offenen Mengen \(O_i\) liegen. Sprich für jedes \(k \in \mathbb{N}\) gibt es ein \(r>0\) so dass \(K_r(x_{n_k})\subset O_i\). Dies ist nun aber ein Widerspruch zur Annahme.
ist das so besser? ─ karate 07.03.2021 um 20:24
ah okei ja auf das am Schluss wäre ich nun leider wirklich nicht mehr gekommen. Vielen Dank
─ karate 07.03.2021 um 23:01
─ karate 07.03.2021 um 23:01
Leider scheint diese Antwort Unstimmigkeiten zu enthalten und muss korrigiert werden.
Mikn wurde bereits informiert.
Aber muss ich für den Satz von Heine-Borel nicht auch wissen dass meine Überdeckung abgeschlossen ist oder liege ich hier falsch? denn wir haben diesen Satz erst am Freitag eingeführt und habe noch nicht wirklich den Durchblick über diesen? ─ karate 07.03.2021 um 12:40