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.
In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let be a metric space and let be a map.
For a real number with , is a contraction with constant if for all ; and is a contraction if it is a contraction with constant for some real number with .
Loading…
No relations recorded yet.