Contraction mapping (source code)

= Contraction mapping

A contraction mapping $T$ on a metric space satisfies $d(Tx,Ty)\leq qd(x,y)$ for every $x,y$ and some constant $0\leq q<1$.