是压缩映像原理。它是泛函分析中的一个最基本最简单的存在性定理，即完备的距离空间上到自身的压缩映射，存在唯一的不动点。数学分析中的很多存在性定理都是它的特例。
原理介绍：
完备的距离空间上到自身的压缩映射，存在唯一的不动点。
即：(X，P)是一个完备的距离空间，T是(X，P)到其自身的一个压缩映射，则T在X上存在唯一的不动点。
这个原理非常基本，它是泛函分析中的一个最基本最简单的存在性定理。数学分析中的很多存在性定理都是它的特例。
