Kontraktion (Mathematik)


Kontraktion (Mathematik)

Eine Kontraktion ist in der Analysis und verwandten Gebieten der Mathematik eine Abbildung einer Menge M auf sich selbst, die die Abstände zwischen zwei beliebigen Punkten von M mindestens so stark verringert wie eine zentrische Streckung mit einem festen Streckungsfaktor λ<1, also die Menge bei mehrfacher Anwendung „in sich zusammenzieht“ (kontrahiert). Anschaulich erscheint klar, dass durch fortgesetzte Anwendung einer solchen Kontraktion die Ausgangsmenge nach und nach auf eine „beliebig kleine“ Teilmenge abgebildet wird und sich schließlich (könnte man nur unendlich oft abbilden) auf einen Punkt zusammenzieht. Dass diese intuitive Vermutung in sehr allgemeinen Fällen in einem präzisierten Sinn zutrifft, lässt sich mathematisch beweisen. Sätze, die Aussagen machen über die Existenz des „Grenzpunktes“, auf den die Kontraktion zustrebt, seine Berechnung und den Näherungsfehler nach endlich vielen Schritten dieser Annäherung, werden als Kontraktionssätze oder Fixpunktsätze bezeichnet.

Inhaltsverzeichnis

Definition

(M,d) sei ein metrischer Raum. Eine Abbildung \varphi: M \to M heißt Kontraktion, wenn es eine Zahl \lambda \in[0,1) gibt, mit der für alle x, y \in M gilt:

d\Big(\varphi(x),\varphi(y) \Big) \leq \lambda \cdot d(x,y).

Man nennt die Abbildung dann auch kontrahierend oder auch kontraktiv auf M.

Anders ausgedrückt: Die Abbildung φ ist genau dann eine Kontraktion, wenn sie

  1. Die Menge M in sich abbildet und
  2. eine Lipschitz-Bedingung mit der Lipschitz-Konstanten \lambda \in(0,1) erfüllt.

Anwendung: Reeller Kontraktionssatz

Eine kontrahierende Selbstabbildung f eines Intervalles I = [a,b] besitzt genau einen Fixpunkt ξ. Dieser kann durch die Iterationsfolge  x_{n+1} := f(x_n)\; mit einem beliebigen Startwert  x_0\in I berechnet werden. Für die Glieder der Iterationsfolge gilt die Fehlerabschätzung  |x_n-\xi|\leq \frac{\lambda^n}{1-\lambda}|x_1-x_0|.

Eine Verallgemeinerung dieses Satzes ist der Fixpunktsatz von Banach.

Beispiele

  • Sei M\subseteq \Bbb R, f eine reellwertige Funktion auf X, die auf X die Lipschitz-Bedingung mit λ < 1 erfüllt. Wenn es zu dem Startpunkt  x_0\in Xein Intervall I=[x_0-r,x_0+r]\subseteq X gibt, auf dem | f(x0) − x0 | < | (1 − λ)r | ist, dann ist die Funktion f eine kontrahierende Selbstabbildung von I. Ein Fixpunkt in I kann durch die Rekursionsfolge aus dem reellen Kontraktionssatz (s.o.) berechnet werden.
  • Eine bekannte Anwendung des reellen Kontraktionssatzes ist das Heronverfahren zur Bestimmung der Quadratwurzel aus einer ganzen Zahl a>1. Anstelle der zur Lösung vorgelegten Gleichung x2 = a löst man die Gleichung  x=\frac{x}{2}+\frac{a}{2x}, bestimmt also einen Fixpunkt der Funktion  f(x)=\frac{x}{2}+\frac{a}{2x}. Diese Funktion ist auf dem Intervall I = [w,w + 1] kontrahierend, wobei w:=\max \{w\in\Bbb N|w^2<a\} gesetzt wird. Als Kontraktionskonstante kann \lambda=\frac{1}{2} gewählt werden.

Literatur

  • Harro Heuser: Lehrbuch der Analysis Teil 1. 5. Auflage. Teubner-Verlag, 1988, ISBN 3-519-42221-2

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Kontraktion — Unter einer Kontraktion versteht man das Zusammenziehen eines Objekts. Man unterscheidet: die Muskelkontraktion durch ein Gleiten der Filamentproteine ineinander, ohne dabei ihre Eigenlänge zu verändern die Lorentzkontraktion als ein Phänomen in… …   Deutsch Wikipedia

  • Kontraktion — Zusammenziehung; Verkürzung * * * Kon|trak|ti|on 〈f. 20〉 1. Zusammenziehung, Schrumpfung 2. 〈Gramm.〉 Zusammenziehung zweier Laute zu einem neuen Laut, z. B. „haben“ zu mundartlich „han“, engl. „ne“ u. „either“ zu „neither“ [<lat. contractio… …   Universal-Lexikon

  • Fixpunkt (Mathematik) — Darstellung eines Fixpunktes. Dieser ist nach den im Text wiedergegebenen Kriterien anziehend, das heißt stabil. In der Mathematik versteht man unter einem Fixpunkt einen Punkt, der durch eine gegebene Abbildung auf sich abgebildet wird. Die… …   Deutsch Wikipedia

  • Banach'scher Fixpunktsatz — Der Fixpunktsatz von Banach ist ein Satz aus der Mathematik. Er ist nach dem Mathematiker Stefan Banach benannt und enthält eine Existenz , eine Konstruktions und eine Fehleraussage für Fixpunktprobleme. Eine Veranschaulichung des Satzes liefert… …   Deutsch Wikipedia

  • Banachscher Fixpunktsatz — Der Fixpunktsatz von Banach ist ein Satz aus der Mathematik. Er ist nach dem Mathematiker Stefan Banach benannt und enthält eine Existenz , eine Konstruktions und eine Fehleraussage für Fixpunktprobleme. Eine Veranschaulichung des Satzes liefert… …   Deutsch Wikipedia

  • Iteriertes Funktionen-System — Ein iteriertes Funktionensystem (IFS) ist eine Menge von Funktionen, die denselben Raum M als Definitions und Wertebereich haben und unter Verknüpfung abgeschlossen sind. Also d.h. Iterierte Funktionensysteme dienen meist der Konstruktion von… …   Deutsch Wikipedia

  • Fortsetzungsverfahren — Homotopie Verfahren (auch als Homotopiemethode, Fortsetzungs oder Einbettungsverfahren bezeichnet) sind Berechnungsmethoden in der numerischen Mathematik zur Bestimmung von Lösungen nichtlinearer Gleichungssysteme. Ziel ist es dabei den… …   Deutsch Wikipedia

  • Fixpunktverfahren — Die Fixpunktiteration ist ein in der Mathematik gebräuchliches iteratives Verfahren zur näherungsweisen Bestimmung der Nullstellen einer Funktion f auf einem bestimmten Intervall [a,b]. Die Gleichung muss dazu zuerst in eine Fixpunktgleichung,… …   Deutsch Wikipedia

  • Iterationsmatrix — Die Fixpunktiteration ist ein in der Mathematik gebräuchliches iteratives Verfahren zur näherungsweisen Bestimmung der Nullstellen einer Funktion f auf einem bestimmten Intervall [a,b]. Die Gleichung muss dazu zuerst in eine Fixpunktgleichung,… …   Deutsch Wikipedia

  • Lipschitz-Bedingung — Lipschitz Stetigkeit (nach Rudolf Lipschitz) ist ein Begriff aus der Analysis. Inhaltsverzeichnis 1 Definition 2 Eigenschaften 3 Anwendung 4 Beispiele // …   Deutsch Wikipedia