壓縮映射定理非空完備度量空間上的self-map若以固定q<1壓縮所有距離，則有唯一fixed point且Picard orbit收斂。atlas-contraction-mapping-theorem · canonical_mko壓縮映射定理前置節點軌道、固定點與週期點完備度量空間度量空間中的收斂無窮級數