定义(压缩映射):设
在区间
上定义,
,并存在一个常数
,满足
,使得对一切
成立不等式
,则称
是
上的一个压缩映射,称常数
为压缩常数。
命题(压缩映射原理):设
是
上的一个压缩映射,则
1.在
中存在唯一的不动点
;
- 由任何初值
和递推公式
,生成的数列
一定收敛于
.
证:
由于,因此,
必在
中,根据Cauchy收敛准则可以估计
可见对于.只要取
, 当
和
具体推到如下:
定义(压缩映射):设
在区间
上定义,
,并存在一个常数
,满足
,使得对一切
成立不等式
,则称
是
上的一个压缩映射,称常数
为压缩常数。
命题(压缩映射原理):设
是
上的一个压缩映射,则
1.在
中存在唯一的不动点
;
- 由任何初值
和递推公式
,生成的数列
一定收敛于
.
证:
由于,因此,
必在
中,根据Cauchy收敛准则可以估计
可见对于.只要取
, 当
和
具体推到如下: