contraction of a mapping