Übungsquiz zu metrischen Räumen mit interaktiver Schritt-für-Schritt-Lektion
Nutze das Quiz weiter unten auf der Seite, um metrische Räume zu üben: Metrikaxiome, positive Vielfache von Metriken, offene Kugeln \(B(a,r)\), abgeschlossene Kugeln, offene und abgeschlossene Mengen, isolierte Punkte, Abschluss, Inneres und Rand, dichte Teilmengen, äquivalente Metriken mit denselben offenen Mengen, Konvergenz \(x_n\to x\), Cauchy-Folgen, Vollständigkeit, Vervollständigungen wie \(\mathbb{Q}\), dessen Vervollständigung \(\mathbb{R}\) ist, Stetigkeit, gleichmäßige Stetigkeit, Isometrien, Produktmetriken, Kompaktheit und Totalbeschränktheit. Wenn du etwas auffrischen möchtest, öffne die Lektion. Dort findest du gut nachvollziehbare Beispiele und kurze Kontrollfragen.
Beantworte die Fragensammlung und prüfe deine Fehler am Ende.
So funktioniert diese Übung zu metrischen Räumen
1. Bearbeite das Übungsset: Beantworte die Fragen zu Metriken, Topologie, Konvergenz, Vollständigkeit und Kompaktheit weiter unten auf der Seite.
2. Öffne die Lektion: Wiederhole die Definitionen und Erkennungstests mit kurzen ausgearbeiteten Beispielen.
3. Erneut versuchen: Kehre zum Fragenset zurück und übersetze jede Frage in eine Definition oder einen Satz, bevor du auswählst.
Was du in der Lektion zu metrischen Räumen lernst
Metriken, Kugeln und Beispiele
Metrikaxiome: Nichtnegativität, Trennung, Symmetrie und Dreiecksungleichung.
Kugeln: \(B(a,r)=\{x:d(x,a)<r\}\) und abgeschlossene Kugeln \(\{x:d(x,a)\le r\}\).
Beispiele: übliche Metrik, positive Vielfache wie \(2d\), diskrete Metrik und Produktmetriken.
Offen, abgeschlossen, dicht, Rand
Offen und isoliert: Jeder Punkt einer offenen Menge besitzt eine Kugel, die in der Menge enthalten ist; ein isolierter Punkt besitzt eine Kugel, die nur ihn enthält.
Abgeschlossen: Grenzwerte konvergenter Folgen aus der Menge bleiben in der Menge.
Dicht und Topologie: Jede nichtleere offene Kugel trifft die Teilmenge; Metriken mit denselben offenen Mengen definieren dieselbe Topologie.
Ziel: Baue ein zuverlässiges Werkzeugset für metrische Räume auf: Metrikaxiome prüfen, offene und abgeschlossene Kugeln lesen, Offenheit, Abgeschlossenheit, Dichte, Inneres, Rand und Abschluss erkennen, Konvergenz- und Cauchy-Definitionen in Ungleichungen übersetzen, Vollständigkeit und Kompaktheit erkennen und Stetigkeit, gleichmäßige Stetigkeit, Isometrien, Produktmetriken und Totalbeschränktheit nutzen, ohne dich nur auf Bilder zu verlassen.
Erfolgskriterien
Nenne die vier Metrikaxiome und nutze die Trennungseigenschaft: \(d(x,y)=0\) genau dann, wenn \(x=y\).
Berechne offene und abgeschlossene Kugeln in der üblichen Metrik, der diskreten Metrik, positiv skalierten Metriken und Produktmetriken.
Erkenne Offenheit, Abgeschlossenheit, isolierte Punkte, Inneres, Rand, Abschluss und dichte Teilmengen mithilfe von Kugeln oder Folgen.
Erkläre, dass Metriken mit denselben offenen Mengen dieselbe Topologie definieren.
Übersetze \(x_n\to x\) in \(d(x_n,x)\to0\) und beweise, dass Grenzwerte eindeutig sind.
Nutze die Cauchy-Definition und unterscheide konvergente Folgen von bloß Cauchy-Folgen in unvollständigen Räumen.
Wisse, dass \(\mathbb{R}\) vollständig ist, \(\mathbb{Q}\) nicht vollständig ist, endliche metrische Räume vollständig sind und die Vervollständigung von \(\mathbb{Q}\) gleich \(\mathbb{R}\) ist.
Nutze Stetigkeit über \(\varepsilon\)-\(\delta\), Folgen, Urbilder offener Mengen und den Satz, dass gleichmäßig stetige Abbildungen Cauchy-Folgen erhalten.
Erkenne kompakte metrische Räume über Folgenkompaktheit und über Vollständigkeit plus Totalbeschränktheit.
Vermeide die Falle, dass abgeschlossen und beschränkt in jedem metrischen Raum automatisch kompakt bedeutet.
Wichtige Begriffe
Metrik: eine Abstandsfunktion \(d:X\times X\to[0,\infty)\), die Trennung, Symmetrie und Dreiecksungleichung erfüllt.
Offene Kugel: \(B(a,r)=\{x\in X:d(x,a)<r\}\).
Cauchy-Folge: Die Glieder werden schließlich beliebig nahe zueinander.
Vollständiger Raum: Jede Cauchy-Folge konvergiert gegen einen Punkt des Raums.
Dichte Teilmenge: Jede nichtleere offene Kugel trifft die Teilmenge, äquivalent dazu ist der Abschluss der ganze Raum.
Totalbeschränkt: Für jedes \(\varepsilon>0\) überdecken endlich viele \(\varepsilon\)-Kugeln den Raum.
Kurze Vorabkontrolle
Vorabkontrolle: Welche Aussage gehört zur Definition einer Metrik?
Hinweis: Eine Metrik muss Punkte trennen, also ist Abstand null identischen Punkten vorbehalten.
Eine Metrik ist ein abstrakter Abstand mit konkreten Kugeltests
Lernziel: Prüfe, ob sich eine Formel wie ein Abstand verhält, und berechne Kugeln in einfachen Metriken.
Kernidee
Eine Metrik \(d\) auf \(X\) ordnet jedem Punktepaar eine nichtnegative Zahl zu. Es gilt \(d(x,y)=0\) genau dann, wenn \(x=y\), außerdem Symmetrie \(d(x,y)=d(y,x)\) und die Dreiecksungleichung \(d(x,z)\le d(x,y)+d(y,z)\). Die Dreiecksungleichung ist das wichtigste Werkzeug hinter Eindeutigkeit von Grenzwerten und Stetigkeitsabschätzungen.
Beispiele
Übliche Metrik: auf \(\mathbb{R}\), \(d(x,y)=|x-y|\).
Positives Vielfaches: Wenn \(d\) eine Metrik ist, dann ist auch \(d_2(x,y)=2d(x,y)\) eine Metrik.
Diskrete Metrik: \(d(x,y)=0\), wenn \(x=y\), und \(d(x,y)=1\), wenn \(x≠ y\).
Produktmetrik: \(d((x,y),(x',y'))=d_X(x,x')+d_Y(y,y')\) ist eine Metrik auf \(X\times Y\).
Eine offene Kugel ist \(B(a,r)=\{x:d(x,a)<r\}\). Eine abgeschlossene Kugel ist \(\overline{B}(a,r)=\{x:d(x,a)\le r\}\). In ungewöhnlichen Metriken können Kugeln ganz anders aussehen als Intervalle oder runde Scheiben.
Ausgearbeitetes Beispiel
Beispiel: Was ist in der diskreten Metrik \(B(a,1/2)\)?
Jeder Punkt \(x≠ a\) hat \(d(x,a)=1\), was nicht kleiner als \(1/2\) ist. Der Mittelpunkt hat Abstand \(0\). Also ist \(B(a,1/2)=\{a\}\).
Übe selbst
Aufgabe: Was ist in der diskreten Metrik \(B(a,1/2)\)?
Hinweis: Vergleiche den Radius \(1/2\) mit dem Abstand von \(a\) zu jedem anderen Punkt.
Metrische Topologie wird durch Kugeln gesteuert
Lernziel: Entscheide mithilfe offener Kugeln, ob Punkte innere Punkte, Randpunkte oder Abschlusspunkte sind und ob eine Teilmenge dicht ist.
Kernidee
Eine Menge \(U\subseteq X\) ist offen, wenn jedes \(u\in U\) eine Kugel \(B(u,r)\subseteq U\) besitzt. Eine Menge \(F\) ist abgeschlossen, wenn sie die Grenzwerte aller konvergenten Folgen aus \(F\) enthält. In metrischen Räumen reicht die Sprache der Folgen meistens aus, um Abgeschlossenheit zu testen.
Erkennungscheckliste
Inneres: \(x\) ist innerer Punkt von \(A\), wenn eine Kugel um \(x\) in \(A\) liegt.
Abschluss: \(x\in\overline{A}\), wenn jede Kugel um \(x\) die Menge \(A\) trifft.
Rand: Jede Kugel um \(x\) trifft sowohl \(A\) als auch \(X\setminus A\).
Isolierter Punkt: \(a\) ist isoliert, wenn eine offene Kugel um \(a\) nur \(a\) enthält.
Dieselbe Topologie: Zwei Metriken definieren dieselbe Topologie, wenn sie dieselben offenen Mengen haben.
Abgeschlossen: \(A=\overline{A}\), oder äquivalent: \(A\) enthält alle ihre Folgengrenzwerte.
In der diskreten Metrik: Jede Teilmenge ist offen und auch abgeschlossen.
Dichte
Eine Teilmenge \(D\) ist dicht in \(X\), wenn \(\overline{D}=X\). Äquivalent dazu schneidet jede nichtleere offene Kugel in \(X\) die Menge \(D\). Dichte bedeutet nicht \(D=X\); sie bedeutet, dass \(D\) auf jeder positiven Skala vorkommt.
Ausgearbeitetes Beispiel
Beispiel: Warum ist \(\mathbb{Q}\) dicht in \(\mathbb{R}\) mit der üblichen Metrik?
Jedes offene Intervall \((a-r,a+r)\) enthält eine rationale Zahl. Da offene Kugeln in \(\mathbb{R}\) Intervalle sind, trifft jede Kugel \(\mathbb{Q}\), also gilt \(\overline{\mathbb{Q}}=\mathbb{R}\).
Übe selbst
Aufgabe: Jede Kugel um einen Randpunkt von \(A\) trifft welche Mengen?
Hinweis: Randpunkte lassen sich lokal weder von der Menge noch von ihrem Komplement trennen.
Metrische Konvergenz heißt: Abstände gehen gegen null
Lernziel: Nutze \(d(x_n,x)\to0\) und die Cauchy-Bedingung, ohne eine Ordnung oder Koordinaten vorauszusetzen.
Kernidee
Eine Folge \(x_n\) konvergiert gegen \(x\), wenn \(d(x_n,x)\to0\). Sie ist Cauchy, wenn es für jedes \(\varepsilon>0\) ein \(N\) gibt, sodass \(d(x_m,x_n)<\varepsilon\) gilt, sobald \(m,n\ge N\). Konvergenz gibt ein Ziel an; Cauchy sagt nur, dass die Glieder im Endstück untereinander beliebig nahe beieinander liegen.
Folgentests
Grenzwerte sind eindeutig: Wenn \(x_n\to x\) und \(x_n\to y\), liefert die Dreiecksungleichung \(d(x,y)=0\).
Jede konvergente Folge ist Cauchy.
Jede Teilfolge einer konvergenten Folge konvergiert gegen denselben Grenzwert.
Eine Cauchy-Folge muss nicht konvergieren, wenn der Raum nicht vollständig ist.
Ausgearbeitetes Beispiel
Beispiel: Warum ist \(x_n=1/n\) in \((0,1)\) Cauchy, aber nicht konvergent in \((0,1)\)?
In der üblichen Metrik gilt \(1/n\to0\) in \(\mathbb{R}\), also werden die Glieder schließlich beliebig nahe zueinander. Aber \(0\notin(0,1)\), daher hat die Folge keinen Grenzwert innerhalb des Raums \((0,1)\).
Übe selbst
Aufgabe: Jede konvergente Folge in einem metrischen Raum ist:
Hinweis: Nutze \(d(x_m,x_n)\le d(x_m,x)+d(x_n,x)\), sobald beide Glieder nahe beim selben Grenzwert liegen.
Vollständigkeit bedeutet, dass Cauchy-Folgen ihre Grenzwerte im Raum haben
Lernziel: Unterscheide vollständige Räume von dichten unvollständigen Teilräumen und kenne die Regel für abgeschlossene Teilmengen.
Kernidee
Ein metrischer Raum ist vollständig, wenn jede Cauchy-Folge gegen einen Punkt desselben Raums konvergiert. Die reelle Zahlengerade mit der üblichen Metrik ist vollständig. Die rationalen Zahlen mit der üblichen Metrik sind nicht vollständig, weil rationale Cauchy-Folgen gegen irrationale reelle Zahlen konvergieren können.
Merksätze
Die Vervollständigung von \(\mathbb{Q}\) mit der üblichen Metrik ist \(\mathbb{R}\).
Ein endlicher metrischer Raum ist vollständig, weil Cauchy-Folgen schließlich konstant sind.
Eine abgeschlossene Teilmenge eines vollständigen metrischen Raums ist mit der geerbten Metrik vollständig.
Ein vollständiger Teilraum eines beliebigen metrischen Raums ist im umgebenden Raum abgeschlossen.
Vollständigkeit ist nicht Kompaktheit: Vollständige Räume müssen nicht kompakt sein.
Ausgearbeitetes Beispiel
Beispiel: Warum ist \([0,1]\) innerhalb von \(\mathbb{R}\) vollständig?
Die reelle Gerade ist vollständig, und \([0,1]\) ist abgeschlossen in \(\mathbb{R}\). Jede Cauchy-Folge in \([0,1]\) konvergiert in \(\mathbb{R}\), und Abgeschlossenheit hält den Grenzwert in \([0,1]\).
Übe selbst
Aufgabe: Wenn \(X\) vollständig ist und \(A\subseteq X\) abgeschlossen ist, dann ist \(A\) mit der geerbten Metrik:
Hinweis: Eine Cauchy-Folge in \(A\) konvergiert in \(X\), dann sorgt Abgeschlossenheit dafür, dass ihr Grenzwert in \(A\) liegt.
Stetigkeit kann mit Kugeln, Folgen oder offenen Mengen geprüft werden
Lernziel: Wechsle zwischen den üblichen metrischen Formen der Stetigkeit und erkenne abstandserhaltende Abbildungen.
Kernidee
Eine Abbildung \(f:X\to Y\) ist in \(x\) stetig, wenn jede kleine Ziel-Toleranz erreicht werden kann, indem man einen Punkt \(y\) nahe genug bei \(x\) wählt. Äquivalent gilt in metrischen Räumen: Aus \(x_n\to x\) folgt \(f(x_n)\to f(x)\). Global ist \(f\) genau dann stetig, wenn Urbilder offener Mengen in \(Y\) offen in \(X\) sind.
Praktische Tests
\(\varepsilon\)-\(\delta\): Kontrolliere \(d_Y(f(x),f(y))\) durch eine Schranke für \(d_X(x,y)\).
Gleichmäßige Stetigkeit: Cauchy-Folgen in \(X\) werden auf Cauchy-Folgen in \(Y\) abgebildet.
Topologisch: Urbilder offener Mengen sind offen.
Isometrie: \(d_Y(f(x),f(y))=d_X(x,y)\), also ist jede Isometrie stetig.
Produktmetrik: Komponentenweise Abschätzungen beweisen oft Stetigkeit auf Produkten.
Ausgearbeitetes Beispiel
Beispiel: Warum ist jede Isometrie stetig?
Wenn \(f\) eine Isometrie ist, gilt \(d_Y(f(x_n),f(x))=d_X(x_n,x)\). Sobald \(x_n\to x\), geht die rechte Seite gegen \(0\), also gilt \(f(x_n)\to f(x)\).
Übe selbst
Aufgabe: Welche Eigenschaft haben die Urbilder offener Mengen genau dann, wenn eine Abbildung zwischen metrischen Räumen stetig ist?
Hinweis: Stetigkeit zieht offene Umgebungen im Zielraum auf offene Umgebungen im Definitionsbereich zurück.
In metrischen Räumen lässt sich Kompaktheit über Folgen lesen
Lernziel: Erkenne Kompaktheit über Folgenkompaktheit und über Vollständigkeit plus Totalbeschränktheit.
Kernidee
Ein kompakter metrischer Raum hat die Folgeneigenschaft, dass jede Folge eine konvergente Teilfolge besitzt, deren Grenzwert im Raum liegt. Kompakte metrische Räume sind immer vollständig und totalbeschränkt. Umgekehrt ist ein metrischer Raum kompakt, wenn er vollständig und totalbeschränkt ist.
Merksätze
Kompakte metrische Räume sind abgeschlossen und beschränkt, wenn sie als Teilmengen eines anderen metrischen Raums betrachtet werden.
Abgeschlossen und beschränkt allein ist kein universeller Kompaktheitstest in jedem metrischen Raum.
Totalbeschränktheit bedeutet, dass für jedes \(\varepsilon>0\) endliche \(\varepsilon\)-Netze existieren.
Stetige Funktionen schicken kompakte Mengen auf kompakte Mengen.
Eine Folge in einem kompakten metrischen Raum besitzt immer eine konvergente Teilfolge.
Ausgearbeitetes Beispiel
Beispiel: Warum ist eine unendliche Menge mit der diskreten Metrik nicht kompakt?
Für Radius \(1/2\) ist jede Kugel eine Einpunktmenge. Um einen unendlichen diskreten Raum mit \(1/2\)-Kugeln zu überdecken, bräuchte man unendlich viele Kugeln; der Raum ist also nicht totalbeschränkt. Daher ist er nicht kompakt.
Übe selbst
Aufgabe: In metrischen Räumen ist Kompaktheit äquivalent zu Vollständigkeit plus:
Hinweis: Die fehlende Bedingung sagt, dass jede positive Skala eine endliche Kugelüberdeckung hat.
Die meisten Fehler verwechseln kompakt, vollständig, abgeschlossen und beschränkt
Lernziel: Schließe mit den Unterscheidungen ab, die häufige Fehler in metrischen Räumen verhindern.
Häufige Fallen
Abstand null: Wenn verschiedene Punkte Abstand \(0\) haben können, ist die Formel keine Metrik.
Offene gegenüber abgeschlossenen Kugeln: Strikte Ungleichungen \(d<r\) und schwache Ungleichungen \(d\le r\) verhalten sich unterschiedlich.
Dicht heißt nicht gleich: Eine dichte Teilmenge kann trotzdem viele Punkte auslassen.
Cauchy heißt nicht konvergent: Cauchy-Folgen brauchen Vollständigkeit, um einen Grenzwert innerhalb des Raums zu garantieren.
Vollständig heißt nicht kompakt: \(\mathbb{R}\) ist vollständig, aber nicht kompakt.
Abgeschlossen und beschränkt: Kompakt impliziert abgeschlossen und beschränkt, aber die Umkehrung gilt nicht automatisch in jedem metrischen Raum.
Diskrete Metrik: Jede Teilmenge ist offen und abgeschlossen, während unendliche diskrete Räume nicht kompakt sind.
Ausgearbeitetes Beispiel
Beispiel: Gib einen vollständigen metrischen Raum an, der nicht kompakt ist.
Die reelle Gerade \(\mathbb{R}\) mit \(d(x,y)=|x-y|\) ist vollständig: Reelle Cauchy-Folgen konvergieren gegen reelle Zahlen. Sie ist nicht kompakt; zum Beispiel hat die Folge \(1,2,3,\dots\) keine konvergente Teilfolge in \(\mathbb{R}\).
Übe selbst
Aufgabe: Ist jeder vollständige metrische Raum kompakt?
Hinweis: Ein vollständiger Raum kann an Totalbeschränktheit scheitern.
Abschluss-Wiederholung
Eine Metrik trennt Punkte: \(d(x,y)=0\) genau dann, wenn \(x=y\), und positive Vielfache wie \(2d\) sind wieder Metriken.
Offene Kugeln definieren Offenheit; isolierte Punkte besitzen eine kleine Kugel, die nur diesen Punkt enthält.
Abgeschlossene Mengen enthalten Folgengrenzwerte, und Metriken mit denselben offenen Mengen definieren dieselbe Topologie.
Dicht bedeutet, dass jede nichtleere offene Kugel die Teilmenge trifft.
Konvergenz bedeutet \(d(x_n,x)\to0\); jede konvergente Folge ist Cauchy.
Vollständig bedeutet, dass jede Cauchy-Folge im Raum konvergiert, und endliche metrische Räume sind vollständig.
Abgeschlossene Teilmengen vollständiger Räume sind vollständig.
Stetigkeit ist äquivalent dazu, dass Urbilder offener Mengen offen sind; gleichmäßige Stetigkeit erhält Cauchy-Folgen.
Isometrien erhalten Abstände und sind stetig.
Kompakte metrische Räume sind folgenkompakt.
Metrische Kompaktheit ist äquivalent zu Vollständigkeit plus Totalbeschränktheit.
Nächster Schritt: Schließe diese Lektion und versuche das Quiz erneut. Übersetze jede Aufgabe vor dem Antworten in eine Aussage über Kugeln, Folgen, Cauchy-Folgen, Stetigkeit, Kompaktheit oder Totalbeschränktheit.
Übungsset
Übungsfragen zu Metric Spaces mit sofortiger Punktzahl
Beantworte alle 10 Fragen unten und erhalte danach deine Punktzahl sowie eine Fehlerübersicht, damit du genau weißt, was du verbessern kannst.
0/10beantwortet
Frage 1Nicht beantwortet
Eine Metrik \(d\) muss \(d(x,y)=0\) genau dann erfüllen, wenn:
Richtige Antwort: B. \(x=y\)
Erklärung: Eine Metrik trennt Punkte: Abstand null bedeutet, dass die Punkte gleich sind.
Frage 2Nicht beantwortet
Welche Eigenschaft besagt \(d(x,z)\le d(x,y)+d(y,z)\)?
Richtige Antwort: C. Dreiecksungleichung
Erklärung: Das ist die Dreiecksungleichung.
Frage 3Nicht beantwortet
Eine offene Kugel mit Zentrum \(a\) und Radius \(r\) ist:
Richtige Antwort: C. \(\{x:d(x,a)
Erklärung: Eine offene Kugel enthält Punkte, deren Abstand zum Zentrum strikt kleiner als der Radius ist.
Frage 4Nicht beantwortet
Eine Folge ist Cauchy, wenn ihre Glieder schließlich:
Richtige Antwort: A. Beliebig nahe beieinander liegen
Erklärung: Cauchy bedeutet, dass die Glieder ab einem gewissen Rang beliebig nahe beieinander liegen.
Frage 5Nicht beantwortet
Ein metrischer Raum ist vollständig, wenn jede Cauchy-Folge:
Richtige Antwort: B. Im Raum konvergiert
Erklärung: Vollständigkeit bedeutet, dass Cauchy-Folgen im Raum konvergieren.
Frage 6Nicht beantwortet
Ist \(\mathbb{R}\) mit dem üblichen Abstand vollständig?
Richtige Antwort: C. Ja
Erklärung: Jede reelle Cauchy-Folge konvergiert gegen eine reelle Zahl.
Frage 7Nicht beantwortet
Ist \(\mathbb{Q}\) mit dem üblichen Abstand vollständig?
Richtige Antwort: B. Nein
Erklärung: Eine rationale Cauchy-Folge kann gegen eine irrationale Zahl konvergieren.
Frage 8Nicht beantwortet
Eine Teilmenge ist abgeschlossen, wenn sie enthält:
Richtige Antwort: C. Alle ihre Häufungspunkte
Erklärung: Abgeschlossene Mengen enthalten alle ihre Häufungspunkte.
Frage 9Nicht beantwortet
Konvergenz \(x_n\to x\) in einem metrischen Raum bedeutet:
Richtige Antwort: B. \(d(x_n,x)\to0\)
Erklärung: Konvergenz bedeutet, dass der Abstand von \(x_n\) zu \(x\) gegen null geht.
Frage 10Nicht beantwortet
Jede konvergente Folge in einem metrischen Raum ist:
Richtige Antwort: C. Cauchy
Erklärung: Konvergente Folgen sind in jedem metrischen Raum Cauchy-Folgen.
