Contraction

https://en.wikipedia.org/wiki/Contraction_(operator_theory)

-Contraction

An update operation is a -contraction in max-norm if and only if for all :

Theorem: A contraction converges to a unique fixed point, no matter initialization.