是壓縮映像原理還是壓縮映射原理

是壓縮映像原理。它是泛函分析中的一個最基本最簡單的存在性定理，即​完備的距離空間上到自身的壓縮映射，存在唯一的不動點。數學分析中的很多存在性定理都是它的特例。

原理介紹：

完備的距離空間上到自身的壓縮映射，存在唯一的不動點。

即：(X，P)是一個完備的距離空間，T是(X，P)到其自身的一個壓縮映射，則T在X上存在唯一的不動點。

這個原理非常基本，它是泛函分析中的一個最基本最簡單的存在性定理。數學分析中的很多存在性定理都是它的特例。