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