You can mark you interesting snippets of text that will be available through a unique link in your browser.

# Contraction mapping

Translation
Contraction mapping

In mathematics, a contraction mapping, or contraction, on a metric space (M,d) is a function f from M to itself, with the property that there is some nonnegative real number k < 1 such that for all x and y in M,

$d(f(x),f(y))\leq k\,d(x,y).$

The smallest such value of k is called the Lipschitz constant of f. Contractive maps are sometimes called Lipschitzian maps. If the above condition is instead satisfied for k ≤ 1, then the mapping is said to be a non-expansive map.

More generally, the idea of a contractive mapping can be defined for maps between metric spaces. Thus, if (M,d) and (N,d') are two metric spaces, and $f:M \mapsto N$, then there is a constant k such that

$d'(f(x),f(y))\leq k\,d(x,y)$

for all x and y in M.

Every contraction mapping is Lipschitz continuous and hence uniformly continuous (for a Lipschitz continuous function, the constant k is no longer necessarily less than 1).

A contraction mapping has at most one fixed point. Moreover, the Banach fixed point theorem states that every contraction mapping on a nonempty complete metric space has a unique fixed point, and that for any x in M the iterated function sequence x, f (x), f (f (x)), f (f (f (x))), ... converges to the fixed point. This concept is very useful for iterated function systems where contraction mappings are often used. Banach's fixed point theorem is also applied in proving the existence of solutions of ordinary differential equations, and is used in one proof of the inverse function theorem.[1]

## Firmly non-expansive mapping

A non-expansive mapping with k = 1 can be strengthened to a firmly non-expansive mapping in a Hilbert space H if the following holds for all x and y in H:

$\|f(x)-f(y) \|^2 \leq \, \langle x-y, f(x) - f(y) \rangle.$

where

$d(x,y) = \|x-y\|$

This is a special case of α averaged nonexpansive operators with α = 1 / 2.[2] A firmly non-expansive mapping is always non-expansive, via the Cauchy–Schwarz inequality.

## Note

1. ^ Theodore Shifrin, Multivariable Mathematics, Wiley, 2005, ISBN 0-471-52638-X, pp. 244–260.
2. ^ Solving monotone inclusions via compositions of nonexpansive averaged operators, Patrick L. Combettes, 2004

## References

• Vasile I. Istratescu, Fixed Point Theory, An Introduction, D.Reidel, Holland (1981). ISBN 90-277-1224-7 provides an undergraduate level introduction.
• Andrzej Granas and James Dugundji, Fixed Point Theory (2003) Springer-Verlag, New York, ISBN 0-387-00173-5
• William A. Kirk and Brailey Sims, Handbook of Metric Fixed Point Theory (2001), Kluwer Academic, London ISBN 0-7923-7073-2

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• contraction mapping — мат. сжимающее отображение …   Большой англо-русский и русско-английский словарь

• contraction mapping — Электроника: сжатое отображение …   Универсальный англо-русский словарь

• principle of contraction mapping — Математика: принцип сжатых отображений …   Универсальный англо-русский словарь

• Contraction principle — In mathematics, contraction principle may refer to: the Banach fixed point theorem, also known as the contraction mapping theorem/principle; the contraction principle in large deviations theory This disambiguation page lists mathematics articles… …   Wikipedia

• contraction mapping principle — Математика: принцип сжатых отображений …   Универсальный англо-русский словарь

• (this mapping) acts as — Математика: действовать в качестве (a contraction operator in ...) …   Универсальный англо-русский словарь

• принцип сжатых отображений — contraction mapping principle …   Русско-английский словарь по машиностроению

• Banach fixed-point theorem — In mathematics, the Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of… …   Wikipedia

• Banach fixed point theorem — The Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self maps… …   Wikipedia

• Life Sciences — ▪ 2009 Introduction Zoology       In 2008 several zoological studies provided new insights into how species life history traits (such as the timing of reproduction or the length of life of adult individuals) are derived in part as responses to… …   Universalium