The Banach contraction principle
Definition 1.
A point is called a fixed point of the mapping if .
Definition 2.
A mapping from a metric space into itself is said to be Lipschitz if there exists , called a Lipschitz constant for the mapping, for which
If , the Lipschitz mapping is called a contraction.
Theorem 3(Banach contraction principle).
Let be a complete metric space and the mapping be a contraction. Then has exactly one fixed point.