Definition (Contraction)

Let $\mathbb{X}$ be a Banach Space, if $T:\mathbb{X}\to \mathbb{X}$ is such that $$\|T(x)-T(y)\|\le\rho\|x-y\|, \ \rho\in[0,1)$$ then $T$ is a Contraction Mapping.