縮小写像

縮小写像とは、距離空間 (M,d) における M からM への写像 f であり、ある定数 0 < k < 1 の実数が存在して d ( f ( x ) , f ( y ) ) ≤ k d ( x , y ) . {\displaystyle d(f(x),f(y))\leq k\,d(x,y).}