定義(壓縮映射):設(shè)
在區(qū)間
上定義,
赫编,并存在一個常數(shù)
,滿足
悦荒,使得對一切
成立不等式
嘹吨,則稱
是
上的一個壓縮映射,稱常數(shù)
為壓縮常數(shù)身腻。
命題(壓縮映射原理):設(shè)
是
上的一個壓縮映射匹厘,則
1.在
中存在唯一的不動點
;
- 由任何初值
和遞推公式
,生成的數(shù)列
一定收斂于
.
證:
由于她按,因此炕柔,
必在
中,根據(jù)Cauchy收斂準(zhǔn)則可以估計
可見對于.只要取
, 當(dāng)
和
具體推到如下: