是压缩映像原理。它是泛函分析中的一个最基本最简单的存在性定理，即​完备的距离空间上到自身的压缩映射，存在唯一的不动点。数学分析中的很多存在性定理都是它的特例。

原理介绍：

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

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

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