Contraction mapping theorem (source code)

= Contraction mapping theorem

= Banach fixed-point theorem
{c}
{synonym}

A contraction of a nonempty complete metric space has one fixed point, and every orbit converges to it geometrically.