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.