Definition
A contraction is a mapping
{% f:K \rightarrow K %}
on a Banach Space
such that
{% || f(x) - f(y) || \leq \kappa || x-y || %}
for {% \kappa < 1 %}