Kontraktion (Mathematik)

Eine Kontraktion ist in der Analysis und verwandten Gebieten der Mathematik eine Abbildung einer Menge ${\displaystyle M}$ in sich selbst, die die Abstände zwischen zwei beliebigen Punkten von ${\displaystyle M}$ mindestens so stark verringert wie eine zentrische Streckung mit einem festen Streckungsfaktor ${\displaystyle \lambda <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 (Iterationen) dieser Annäherung, werden als Kontraktionssätze oder Fixpunktsätze bezeichnet.