当X为赋范线性空间,f:X→Y为压缩映射时,映射I-f称为X上的压缩向量场。压缩映射原理是巴拿赫在1922年给出的,这种思想可以追溯到皮卡用逐次逼近法求解常微分方程。
该法能够提供许多种方程的解的存在性、唯一性及迭代解法,只要方程的解能转化为某个压缩映射的不动点。这一方法已经推广到非扩展映射、映射族、集值映射、概率度量空间等许多方面。
压缩映射原理的基本理论
1、(完备度量空间)若度量空间中每个柯西点列都在中收敛,那么称是完备的度量空间。
2、(压缩映射)设是度量空间,是上的自映射。若存在数,使得, 均有, 则称是上的一个压缩映射。
3、(不动点)给定度量空间,是上的自映射,如果存在,使得,则称为映射的一个不动点。