压缩映射原理

大量存在唯一性问题（方程有解吗？解唯一吗？）可归结为"映射是否有不动点"。Banach 不动点定理用完备性保证压缩映射有唯一不动点，并给出迭代逼近的误差界——这是整个分析学中被引用最多的定理之一。

压缩映射原理

设 $(X,d)$ 为完备度量空间，$T:X\to X$ 满足：存在 $q\in[0,1)$ 使

$$d(Tx,Ty)\le q\,d(x,y),\quad\forall x,y\in X$$

则 $T$ 存在唯一不动点 $x^*$（$Tx^*=x^*$）。对任意初值 $x_0$，迭代 $x_{n+1}=Tx_n$ 收敛于 $x^*$，且

$$d(x_n,x^*)\le\frac{q^n}{1-q}\,d(x_1,x_0)$$

证明思路

• 由压缩性 $d(x_{n+1},x_n)\le q^n d(x_1,x_0)$，故 $\{x_n\}$ 是 Cauchy 列
• 完备性保证 $x_n\to x^*$；压缩映射一致连续，取极限得 $Tx^*=x^*$
• 唯一性：若 $x^*,y^*$ 均为不动点，则 $d(x^*,y^*)=d(Tx^*,Ty^*)\le q\,d(x^*,y^*)$，故 $d(x^*,y^*)=0$

例子

• $f(x)=\frac{x}{2}+1$ 在 $\mathbb{R}$ 上是压缩映射（$q=\frac12$），不动点 $x^*=2$
• $\cos:[0,1]\to[0,1]$ 是压缩映射（$q=\sin1<1$），不动点 $\approx0.739$
• 积分方程 $u(x)=g(x)+\lambda\int_0^1k(x,y)u(y)\,dy$：$|\lambda|$ 充分小时映射为压缩

应用

• Picard–Lindelöf 定理：常微分方程初值问题局部解存在唯一（化为积分算子不动点）
• 隐函数定理、牛顿迭代法的收敛性、差分方程与动力系统中稳定解的存在性

后续

压缩映射原理是偏微分方程弱解、变分法与数值分析收敛性证明的通用工具，与巴拿赫空间上的一致有界原理、开映射定理共同构成泛函分析的基础。