縮小写像

距離空間 $(X, d)$ の写像 $T : X \to X$ が縮小写像であるとは、ある定数 $0 \le k < 1$ があって、すべての $x, y \in X$ について $d(T(x), T(y)) \le k\, d(x, y)$ が成り立つことをいう。