Übungsquiz zu Fixpunktprinzipien mit interaktiver Schritt-für-Schritt-Lektion
Nutze das Quiz weiter unten auf der Seite, um Fixpunktprinzipien zu üben: \(f(x)=x\) lösen, Kontraktionen \(d(Tx,Ty)\le k d(x,y)\) mit \(k<1\) erkennen, Kontraktionen von nicht-expansiven Abbildungen mit Konstante \(1\) unterscheiden, den Banachschen Fixpunktsatz auf vollständigen metrischen Räumen anwenden, die Picard-Iteration \(x_{n+1}=T(x_n)\) und die Ein-Schritt-Fehlerverkleinerung verstehen, Selbstabbildungs- und Vollständigkeitsvoraussetzungen prüfen, Intervall- und Brouwer-artige Existenzsätze nutzen und Eindeutigkeitsfallen vermeiden. 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 Fixpunktprinzipien
1. Bearbeite das Übungsset: Beantworte Fragen zu Fixpunktgleichungen, Kontraktionen, dem Banachschen Fixpunktsatz, Brouwer-Existenz und Gegenbeispielen.
2. Öffne die Lektion: Wiederhole die Definitionen, Satzvoraussetzungen und kurzen Beispiele, bevor du es erneut versuchst.
3. Erneut versuchen: Kehre zum Fragenset zurück und übersetze jede Aufgabe in eine Fixpunktgleichung oder eine Satz-Checkliste.
Was du in der Lektion zu Fixpunktprinzipien lernst
Fixpunktgleichungen
Definition: \(x\) ist von \(T\) fixiert, wenn \(T(x)=x\).
Rechnung: Löse \(f(x)=x\), nicht \(f(x)=0\), außer die Aufgabe wurde umgeschrieben.
Beispiele: affine Abbildungen \(x\mapsto ax+b\), konstante Abbildungen, die Identitätsabbildung mit vielen Fixpunkten und \(x\mapsto \cos x\).
Kontraktionen und Banach
Kontraktion: eine gleichmäßige Abstandsverkleinerung \(d(Tx,Ty)\le k d(x,y)\) mit \(k<1\).
Banachscher Fixpunktsatz: Vollständiger metrischer Raum plus kontraktive Selbstabbildung liefert genau einen Fixpunkt.
Iteration und Fehler: \(x_{n+1}=T(x_n)\) konvergiert von jedem Startpunkt aus gegen den Fixpunkt, und jeder Fehler wird höchstens mit \(k\) multipliziert.
Voraussetzungen und Fehlschläge
Vollständigkeit: hält den Cauchy-Grenzwert der Iteration im Raum.
Selbstabbildung: Jede Iterierte muss in demselben Raum bleiben, in dem der Satz angewendet wird.
Typische Falle: Lipschitz-Konstante \(1\) ist nicht-expansiv, reicht aber für eine Banach-Kontraktion nicht aus.
Brouwer-artige Existenz
Intervallfall: Jede stetige Abbildung \([a,b]\to[a,b]\) hat einen Fixpunkt.
Endlichdimensionaler Fall: Stetige Selbstabbildungen kompakter konvexer Teilmengen von \(\mathbb{R}^n\) haben Fixpunkte.
Wichtiger Unterschied: Brouwer liefert Existenz, nicht Eindeutigkeit oder Iterationskonvergenz.
Ziel: Baue ein zuverlässiges Fixpunkt-Werkzeugset auf: Übersetze eine Frage in \(T(x)=x\), erkenne Kontraktionsabschätzungen, weiß genau, was der Banachsche Fixpunktsatz garantiert, nutze die Iteration \(x_{n+1}=T(x_n)\), prüfe Vollständigkeits- und Selbstabbildungsvoraussetzungen, unterscheide Brouwer-Existenz von Banach-Eindeutigkeit und vermeide häufige Fixpunktfallen.
Erfolgskriterien
Definiere einen Fixpunkt als einen Punkt \(x\) mit \(T(x)=x\).
Löse einfache Fixpunktgleichungen für affine Abbildungen, konstante Abbildungen, Identitätsabbildungen und elementare Abbildungen.
Erkenne Kontraktionen über \(d(Tx,Ty)\le k d(x,y)\) mit einem einzigen \(k<1\).
Unterscheide Kontraktionen von nicht-expansiven Abbildungen, deren beste Lipschitz-Konstante \(1\) ist.
Formuliere den Banachschen Fixpunktsatz: Eine kontraktive Selbstabbildung auf einem vollständigen metrischen Raum hat genau einen Fixpunkt.
Nutze den Eindeutigkeitsbeweis \(d(p,q)\le k d(p,q)\) für zwei Fixpunkte \(p,q\).
Erkläre, warum die Picard-Iteration unter Banach-Voraussetzungen gegen den Fixpunkt konvergiert und warum der Ein-Schritt-Fehler höchstens um den Faktor \(k\) schrumpft.
Erkenne Fehlschläge durch unvollständige Räume, fehlende Selbstabbildungsbedingungen oder Lipschitz-Konstante \(1\).
Nutze den Intervall-Fixpunktsatz und den Brouwer-Fixpunktsatz für Existenz ohne Eindeutigkeit.
Wähle zwischen Banach und Brouwer, indem du zuerst die Voraussetzungen liest.
Wichtige Begriffe
Fixpunkt: \(x\in X\) mit \(T(x)=x\).
Selbstabbildung: eine Abbildung \(T:X\to X\).
Kontraktion: eine Abbildung mit \(d(Tx,Ty)\le k d(x,y)\) für alle \(x,y\), wobei \(0\le k<1\).
Nicht-expansive Abbildung: eine Abbildung mit Lipschitz-Konstante höchstens \(1\); jede Kontraktion ist nicht-expansiv, aber nicht umgekehrt.
Vollständiger metrischer Raum: Jede Cauchy-Folge konvergiert gegen einen Punkt des Raums.
Picard-Iteration: die Folge \(x_{n+1}=T(x_n)\).
Brouwer-Existenz: Stetige Selbstabbildungen kompakter konvexer Teilmengen von \(\mathbb{R}^n\) haben mindestens einen Fixpunkt.
Schneller Vorabcheck
Vorabcheck: Welche Gleichung fragt nach einem Fixpunkt von \(T\)?
Hinweis: Fixiert bedeutet, dass die Eingabe auf sich selbst zurückgeschickt wird.
Einen Fixpunkt findest du durch Lösen von \(T(x)=x\)
Lernziel: Verwandle eine Fixpunktfrage in eine Gleichung und löse sie, ohne Fixpunkte mit Nullstellen zu verwechseln.
Kernidee
Für eine Abbildung \(T:X\to X\) ist ein Fixpunkt jedes \(x\in X\), das \(T(x)=x\) erfüllt. Auf der reellen Geraden ist das der Schnitt des Graphen \(y=T(x)\) mit der Diagonalen \(y=x\). Für affine Abbildungen \(T(x)=ax+b\) lautet die Gleichung \(x=ax+b\), also \((1-a)x=b\), wenn \(a≠1\).
Beispiele
\(T(x)=x/2\) hat den Fixpunkt \(0\).
\(T(x)=(x+1)/2\) hat den Fixpunkt \(1\).
\(T(x)=2-x\) hat den Fixpunkt \(1\), ist aber in der üblichen Metrik keine Kontraktion.
Eine konstante Abbildung \(T(x)=c\) hat den Fixpunkt \(c\), wenn \(c\in X\), und verkleinert alle Abstände auf \(0\).
Die Identitätsabbildung auf \([0,1]\) fixiert jeden Punkt; reine Existenz bedeutet also noch keine Eindeutigkeit.
Fixpunktgleichung
Die Fixpunktgleichung ist normalerweise nicht dasselbe wie \(T(x)=0\). Manchmal schreibt man sie als \(F(x)=T(x)-x=0\) um, aber die ursprüngliche Bedingung bleibt \(T(x)=x\).
Ausgearbeitetes Beispiel
Beispiel: Finde den Fixpunkt von \(T(x)=1+x/4\) auf \(\mathbb{R}\).
Löse \(x=1+x/4\). Dann gilt \(3x/4=1\), also \(x=4/3\). Die Probe ergibt \(T(4/3)=1+1/3=4/3\).
Übe selbst
Aufgabe: Was ist der Fixpunkt von \(T(x)=2+x/2\) auf \(\mathbb{R}\)?
Hinweis: Setze \(x=2+x/2\) und isoliere \(x\).
Eine Kontraktion verkleinert jeden Abstand mit demselben Faktor unter \(1\)
Lernziel: Erkenne, wann eine Abbildung eine Kontraktion ist und wann sie Abstände nur erhält.
Kernidee
Eine Abbildung \(T:X\to X\) auf einem metrischen Raum ist eine Kontraktion, wenn es eine Zahl \(k<1\) gibt, sodass \(d(Tx,Ty)\le k d(x,y)\) für jedes Paar \(x,y\in X\) gilt. Dasselbe \(k\) muss global funktionieren. Eine Lipschitz-Konstante gleich \(1\) ist nur nicht-expansiv; deshalb ist der Banachsche Fixpunktsatz nicht automatisch anwendbar.
Erkennungs-Checkliste
Abstandsverkleinerung: \(d(Tx,Ty)\le k d(x,y)\) mit \(k<1\).
Ableitungskriterium: Auf einem Intervall beweist \(\sup |T'(x)|\le k<1\) eine Kontraktion in der üblichen Metrik.
Konstante Abbildungen: \(d(Tx,Ty)=0\), also ist eine konstante Selbstabbildung mit \(k=0\) eine Kontraktion, sobald \(X\) mindestens zwei Punkte hat.
Translationen: \(T(x)=x+1\) erhält Abstände, also ist ihre Lipschitz-Konstante \(1\).
Spiegelung: \(T(x)=2-x\) hat einen Fixpunkt, aber ebenfalls Lipschitz-Konstante \(1\).
Zuerst Selbstabbildung: Prüfe vor der Anwendung eines Satzes \(T(X)\subseteq X\).
Ableitungskriterium
Wenn \(T\) auf einem Intervall differenzierbar ist und überall \(|T'(x)|\le k<1\) gilt, liefert der Mittelwertsatz \(|T(x)-T(y)|\le k|x-y|\). Eine lokal kleine Ableitung an einem Punkt reicht nicht; die Schranke muss auf dem ganzen verwendeten Intervall gelten.
Ausgearbeitetes Beispiel
Beispiel: Warum ist \(T(x)=1+x/4\) eine Kontraktion auf \(\mathbb{R}\)?
Für beliebige \(x,y\) gilt \(|T(x)-T(y)|=|(1+x/4)-(1+y/4)|=|x-y|/4\). Daher kann die Kontraktionskonstante \(k=1/4\) sein, und diese ist strikt kleiner als \(1\).
Übe selbst
Aufgabe: Welche Aussage beweist, dass \(T\) eine Kontraktion auf \(X\) ist?
Hinweis: Die Abschätzung muss Abstände zwischen allen Bildpaaren und allen ursprünglichen Paaren mit einem strikten Verkleinerungsfaktor vergleichen.
Der Banachsche Fixpunktsatz liefert Existenz, Eindeutigkeit und Konvergenz
Lernziel: Kenne die genauen Voraussetzungen und Folgerungen des Kontraktionsprinzips.
Kernidee
Wenn \((X,d)\) vollständig ist und \(T:X\to X\) eine Kontraktion ist, dann hat \(T\) genau einen Fixpunkt \(x^*\). Außerdem konvergiert von jedem Startpunkt \(x_0\in X\) aus die Iteration \(x_{n+1}=T(x_n)\) gegen \(x^*\), mit \(d(Tx,x^*)\le k\,d(x,x^*)\).
Was der Satz liefert
Existenz: Die Iteration erzeugt eine Cauchy-Folge, und Vollständigkeit liefert ihren Grenzwert innerhalb von \(X\).
Eindeutigkeit: Wenn \(p,q\) fixiert sind, dann gilt \(d(p,q)=d(Tp,Tq)\le k d(p,q)\), also muss \(p=q\) sein.
Konvergenz: \(x_n\to x^*\) für jeden Startpunkt \(x_0\in X\).
Fehlerverkleinerung: \(d(Tx,x^*)\le k\,d(x,x^*)\), also ist der Abstand nach einem Schritt höchstens der Faktor \(k\) des vorherigen Abstands zum Fixpunkt.
Stetigkeit: Eine Kontraktion ist Lipschitz-stetig, also stetig; wenn \(x_{n+1}=T(x_n)\to L\), liefert Stetigkeit \(T(L)=L\).
Ausgearbeitetes Beispiel
Beispiel: Wende den Banachschen Fixpunktsatz auf \(T(x)=(x+1)/2\) auf \(\mathbb{R}\) an.
Die übliche Metrik auf \(\mathbb{R}\) ist vollständig, \(T:\mathbb{R}\to\mathbb{R}\), und \(|T(x)-T(y)|=|x-y|/2\). Der Banachsche Fixpunktsatz ist anwendbar. Aus \(x=(x+1)/2\) folgt der eindeutige Fixpunkt \(x=1\), und die Iteration von jedem \(x_0\) konvergiert gegen \(1\).
Übe selbst
Aufgabe: Für eine kontraktive Selbstabbildung auf einem vollständigen metrischen Raum konvergiert die Iteration \(x_{n+1}=T(x_n)\) gegen:
Hinweis: Der Satz liefert sowohl ein eindeutiges Ziel als auch die Konvergenz der wiederholten Iteration.
Der Grenzwert muss in dem Raum bleiben, in dem der Satz verwendet wird
Lernziel: Verstehe, warum Vollständigkeit und die Selbstabbildungsbedingung keine bloßen Zusatzannahmen sind.
Kernidee
Der Banach-Beweis baut durch Iteration eine Cauchy-Folge. Vollständigkeit macht aus dieser Cauchy-Folge einen Punkt von \(X\). Die Selbstabbildungsbedingung \(T:X\to X\) hält alle Iterierten im selben Raum. Wenn eine der beiden Bedingungen scheitert, kann der Fixpunkt außerhalb des Raums liegen oder die Iteration kann den Definitionsbereich verlassen.
Voraussetzungen, die zählen
Ein unvollständiger Raum kann Cauchy-Folgen enthalten, deren Grenzwerte fehlen.
Eine Kontraktion auf einem unvollständigen Raum kann in diesem Raum keinen Fixpunkt haben.
Eine Abbildung, die keine Selbstabbildung ist, kann ohne zusätzliche Arbeit nicht innerhalb von \(X\) iteriert werden.
Vollständigkeit ist etwas anderes als Kompaktheit; der Banachsche Fixpunktsatz verlangt keine Kompaktheit.
Ausgearbeitetes Beispiel
Beispiel: Warum hat \(T(x)=x/2\) auf \(X=(0,1)\) keinen Fixpunkt in \(X\)?
Die Abbildung ist eine Kontraktion, denn \(|T(x)-T(y)|=|x-y|/2\), und sie bildet \((0,1)\) nach \((0,1)\) ab. Aber die Fixpunktgleichung \(x=x/2\) liefert \(x=0\), was nicht in \((0,1)\) liegt. Der fehlende Randpunkt zeigt, warum Vollständigkeit zählt.
Übe selbst
Aufgabe: Eine Kontraktion auf einem unvollständigen metrischen Raum kann Folgendes nicht besitzen:
Hinweis: Die Iteration kann sich einem Grenzwert nähern, der kein Punkt des Raums ist.
Stetigkeit auf kompakten konvexen Mengen gibt Existenz, nicht Eindeutigkeit
Lernziel: Nutze Brouwer-artige Voraussetzungen, wenn keine Kontraktionsabschätzungen verfügbar sind.
Kernidee
In einer Dimension hat jede stetige Abbildung \(f:[a,b]\to[a,b]\) einen Fixpunkt. Setze \(g(x)=f(x)-x\). Da \(f(a)\ge a\) und \(f(b)\le b\), liefert der Zwischenwertsatz ein \(c\) mit \(g(c)=0\), also \(f(c)=c\). In \(\mathbb{R}^n\) sagt der Brouwer-Fixpunktsatz: Eine stetige Selbstabbildung einer kompakten konvexen Menge hat mindestens einen Fixpunkt.
Praktische Tests
Stetigkeit: für Brouwer-artige Existenz erforderlich.
Selbstabbildung: Die Menge muss in sich selbst abgebildet werden.
Kompakte konvexe Menge: die standardmäßige endlichdimensionale Umgebung für den Brouwer-Fixpunktsatz.
Nur Existenz: Eindeutigkeit braucht stärkere Annahmen wie Kontraktion.
Keine Iterationszusage: Brouwer allein sagt nicht, dass wiederholte Iteration konvergiert.
Ausgearbeitetes Beispiel
Beispiel: Finde einen Fixpunkt von \(f(x)=1-x\) auf \([0,1]\).
Die Abbildung ist stetig und schickt \([0,1]\) in sich selbst, daher ist Existenz garantiert. Lösen von \(x=1-x\) ergibt \(x=1/2\). Diese Abbildung ist in der üblichen Metrik keine Kontraktion, denn \(|f(x)-f(y)|=|x-y|\).
Übe selbst
Aufgabe: Eine stetige Abbildung \([0,1]\to[0,1]\) besitzt garantiert:
Hinweis: Wende das eindimensionale Fixpunktargument auf \(f(x)-x\) an.
Lies die Voraussetzungen, bevor du Banach oder Brouwer wählst
Lernziel: Entscheide, welches Fixpunktprinzip zu den Angaben einer Aufgabe passt.
Kernidee
Der Banachsche Fixpunktsatz ist metrisch und quantitativ: Er braucht eine Kontraktion auf einem vollständigen metrischen Raum und liefert einen eindeutigen Fixpunkt plus Konvergenz der Iteration. Der Brouwer-Fixpunktsatz ist topologisch und endlichdimensional: Er braucht eine stetige Selbstabbildung einer kompakten konvexen Menge und liefert mindestens einen Fixpunkt.
Voraussetzungen, die zählen
Nutze Banach, wenn du einen globalen Verkleinerungsfaktor \(k<1\) beweisen kannst.
Nutze Brouwer, wenn Stetigkeit, Kompaktheit, Konvexität und eine Selbstabbildung vorliegen, aber keine Kontraktion.
Intervallaufgaben lassen sich oft auf den Zwischenwertsatz zurückführen.
Eindeutigkeit kommt meistens aus einer Kontraktion oder einem Monotonieargument, nicht allein aus Brouwer.
Iterationskonvergenz ist eine Banach-Folgerung, keine Brouwer-Folgerung.
Ausgearbeitetes Beispiel
Beispiel: Warum hat \(f(x)=\cos x\) einen Fixpunkt in \([0,1]\)?
Die Abbildung ist stetig, und \(\cos x\in[\cos 1,1]\subset[0,1]\) gilt für \(x\in[0,1]\), also liefert der Intervallsatz einen Fixpunkt. Tatsächlich gilt auch \(|f'(x)|=|\sin x|\le \sin 1<1\) auf \([0,1]\), daher liefert der Banachsche Fixpunktsatz zusätzlich Eindeutigkeit und Konvergenz der Iteration.
Übe selbst
Aufgabe: Eine kompakte konvexe Teilmenge von \(\mathbb{R}^n\) mit einer stetigen Selbstabbildung ist die Situation für:
Hinweis: Der Satz betrifft stetige Selbstabbildungen kompakter konvexer Mengen im endlichdimensionalen euklidischen Raum.
Die meisten Fehler wenden den richtigen Satz mit einer fehlenden Voraussetzung an
Lernziel: Schließe mit Unterscheidungen ab, die häufige Fixpunktfehler verhindern.
Häufige Fallen
Fixpunkt gegenüber Nullstelle: Löse \(T(x)=x\), nicht automatisch \(T(x)=0\).
Fixpunkt gegenüber Kontraktion: Eine Abbildung kann einen Fixpunkt haben und trotzdem keine Kontraktion sein.
Lipschitz \(1\): Nicht-expansiv ist nicht dasselbe wie kontraktiv.
Viele Fixpunkte: Die Identitätsabbildung auf \([0,1]\) fixiert unendlich viele Punkte; Eindeutigkeit braucht also ein stärkeres Argument.
Vollständigkeit: Kontraktionen können in unvollständigen Räumen Fixpunkte verfehlen.
Selbstabbildung: Prüfe \(T(X)\subseteq X\), bevor du einen Satz anwendest.
Brouwer: Existenz impliziert keine Eindeutigkeit.
Iteration: Konvergenz von \(x_{n+1}=T(x_n)\) wird durch Banach-Voraussetzungen garantiert, nicht durch jeden Fixpunktsatz.
Ausgearbeitetes Beispiel
Beispiel: Erkläre, warum \(T(x)=2-x\) auf \(\mathbb{R}\) einen Fixpunkt hat, aber keine Kontraktion ist.
Die Fixpunktgleichung \(x=2-x\) liefert \(x=1\). Allerdings gilt \(|T(x)-T(y)|=|(2-x)-(2-y)|=|x-y|\), also ist die beste Lipschitz-Konstante \(1\), nicht kleiner als \(1\). Der Banachsche Fixpunktsatz ist nicht anwendbar.
Übe selbst
Aufgabe: Garantiert der Brouwer-Fixpunktsatz für sich allein die Eindeutigkeit des Fixpunkts?
Hinweis: Eine stetige Selbstabbildung kann viele Fixpunkte haben, etwa die Identität auf einem kompakten Intervall.
Abschluss-Wiederholung
Ein Fixpunkt löst \(T(x)=x\).
Eine Kontraktion erfüllt \(d(Tx,Ty)\le k d(x,y)\) für ein \(k<1\).
Nicht-expansiv bedeutet Lipschitz-Konstante höchstens \(1\); Banach braucht strikt weniger als \(1\).
Konstante Abbildungen verkleinern alle Abstände auf \(0\), während Identitätsabbildungen viele Fixpunkte haben können.
Der Banachsche Fixpunktsatz braucht einen vollständigen metrischen Raum und eine kontraktive Selbstabbildung.
Der Banachsche Fixpunktsatz liefert Existenz, Eindeutigkeit und Konvergenz der Picard-Iteration.
Der Ein-Schritt-Fehler erfüllt \(d(Tx,x^*)\le k\,d(x,x^*)\).
Der Eindeutigkeitsbeweis vergleicht zwei Fixpunkte und erzwingt, dass ihr Abstand \(0\) ist.
Vollständigkeit hält den Cauchy-Grenzwert im Raum.
Eine stetige Abbildung \([a,b]\to[a,b]\) hat einen Fixpunkt.
Der Brouwer-Fixpunktsatz liefert Existenz für stetige Selbstabbildungen kompakter konvexer Teilmengen von \(\mathbb{R}^n\).
Der Brouwer-Fixpunktsatz liefert für sich allein keine Eindeutigkeit oder Iterationskonvergenz.
Nächster Schritt: Schließe diese Lektion und versuche das Quiz erneut. Frage dich bei jeder Aufgabe zuerst, ob sie die Gleichung \(T(x)=x\), die Kontraktionsungleichung, den Unterschied zwischen nicht-expansiv und kontraktiv, Banach-Voraussetzungen, Brouwer-Existenz oder eine Falle mit fehlender Voraussetzung testet.
