Also called Contraction-mapping theorem.

The theorem states that when a contraction is applied to a Metric Space, there is at least one point that is fixed i.e., contracts on to itself.

Mathematically

Let be a complete metric space and let be a contraction on . Then has a unique fixed point such that .