In analysis and related areas of mathematics, a contraction is a representation of a set in itself, which reduces the distance between any two points by at least as much as a centric stretch with a fixed stretching factor , that is, the set "contracts itself" when used multiple times “( Contracted ). It clearly appears clear that by continuing to use such a contraction, the initial set is gradually mapped to an "arbitrarily small" subset and finally (could only be mapped infinitely often) contracts to one point. That this intuitive assumption applies in a more precise sense in very general cases can be proven mathematically. Sentences that make statements about the existence of the "limit point" towards which the contraction tends, its calculation and the approximation error after a finite number of steps ( iterations ) of this approximation are called contraction sentences or fixed point sentences .
be a metric space . A figure is called contraction if there is a number with which applies to all :
Then called the picture even twitch or even contractionary on .
In other words: the mapping is a contraction if and only if it
- depicts the crowd in itself and
- satisfies a Lipschitz condition with a Lipschitz constant .
Application: Real contraction theorem
A contracting self-mapping of an interval has exactly one fixed point . This can be calculated using the iteration sequence with any starting value . The error estimate applies to the terms of the iteration sequence .
A generalization of this theorem is Banach's Fixed Point Theorem .
- Let and be a real-valued function which satisfies the Lipschitz condition with . When it comes to the starting point of an interval are, on the , then the function is a contracting self-image of . A fixed point in can be calculated using the recursion sequence from the real contraction theorem (see above).
- A well-known application of the real contraction theorem is Heron's method for determining the square root of an integer . Instead of the equation submitted for the solution, the equation is solved , i.e. a fixed point of the function is determined . This function is contracting on the interval , where is set. The contraction constant can be selected.
- Harro Heuser: Textbook of Analysis Part 1 . 5th edition. Teubner-Verlag, 1988, ISBN 3-519-42221-2