完备的距离空间上到自身的压缩映射，存在唯一的不动点。

即：（X，P）是一个完备的距离空间，T是（X，P）到其自身的一个压缩映射，则T在X上存在唯一的不动点。

这个原理非常基本，它是泛函分析中的一个最基本最简单的存在性定理。数学分析中的很多存在性定理都是它的特例。