壓縮映像原理

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

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

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