文档介绍：第六节压缩映象原理及其应用
 
本节作为完备度量空间何重要特征,我们介绍Banach压缩映象原理,它在许多关于存在唯一性的定理证明中是一个有力的工具。
随着现代电子计算机技术的发展,我们在解方程(包括常微分方程、偏微分方程、积分方程、差分方程、代数方程等)的过程中,大量使用的是逐次逼近的迭代法。几乎可以这样说:对一个方程,只要我们找到一个迭代公式,就算解出了这个方程(当然我们还要考虑迭代公式的收敛性、解的稳定性和收敛速度等问题)。但是,在逐次迭代中,我们必须保证迭代过程中得到的是个收敛序列,否则就是毫无意义的了。而选代法解方程的实质就是寻求变换(映射、映照)的不动点。例如求方程f(x)=0的根,我们可令g(x)=x-f(x),则求f(x)=0的根就变成求g(x)的不动点,即求,,最简单的就是下面我们所讲的--Banach压缩映象定理。
定义(压缩映象)
设T是度量空间X到X中的映照,如果对都有(是常数)则称T是X上的一个压缩映照。
从几何上说:压缩映照即点x和y经过映照T后,它们的像的距离缩短了(不超过d(x,y)的倍)
 
定理1(Banach压缩映照原理)1922年
(Banach 1892-1945 波兰数学家)
设(X,d)是一个完备度量空间,T是X上的一个压缩映照,则丅有唯一的不动点。即的使
证:任取令
(此即解方程的逐次迭代法)
先证是Cauchy点列
①  先考虑相邻两点的距离
②再考虑任意两点的距离
当n>m时

=
=
是Cauchy点列
是完备度量空间,使
下证x为不动点

再证不动点唯一
若还有,使
则
因必须
注:①定理条件(a)X完备,(b)缺一不可,反例如下
(a)若X不完备,则定理不成立
例如:令X=(0,1),用欧氏距离,
则
但不动点
(b)定理不成立
例如:令 X=R用欧氏距离
则但显然T无不动点。
②若将空间X条件加强为紧距空间,则压缩因子条件可放宽为1,即可改为
 
限于我们的学时,我们只介绍一下Banach压缩映象原理的简单应用。
定理2(隐函数存在定理)
设在带状区域上处处连续,处处有关于y的偏导数,且如果存在常数m,M,
,使。
证:(在中考虑映照,若其为压缩映照,则有不动点)
在完备度量空间中作映照,显然,对由连续函数的运算性质有。
是到自身的一个映照
下证是压缩的.
即证,任取由微分中值定理,存在,使
令则,故
取最大值

在上有唯一的不动点使
显然这个不动点适合
注:①注意本定理的证明思路:先确定空间,再找映照(这是难点),然后证明此映照是压缩的,最后利用定理即得。注意到这是利用Banach压缩映照定理解题的一般方法。
②  此隐函数存在定理给出的条件强于数学分析中隐函数存在定理所给出的条件,因而得出的结论也强些:此处得出区间上的连续隐函数.
 
下面我们介绍Banach不动点定理在常微分方程解的存在唯一性定理中的应用--Picard定理.
定理3:(Picard定理 Cauchy--Peano微分方程解的存在唯一性定理)
(Picard 法国人 1856—