TheoremBase

Contraction of a Metric Space

Defines a self-map of a metric space to be a contraction with constant lambda in [0,1) when it multiplies distances by at most lambda, and a contraction when some such constant exists.

Statement

In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let (X,d)(X,d) be a metric space and let T:X→XT:X\to X be a map.

For a real number λ\lambda with 0≤λ<10\le\lambda<1, TT is a contraction with constant λ\lambda if d(T(x),T(y))≤λ d(x,y)d(T(x),T(y))\le\lambda\,d(x,y) for all x,y∈Xx,y\in X; and TT is a contraction if it is a contraction with constant λ\lambda for some real number λ\lambda with 0≤λ<10\le\lambda<1.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…