引理2.23
(Banach压缩映射原理)若
是Banach空间
的非空闭子集,Φ:
→
是压缩算子,即对任意的
x
,
y
∈
有
则存在唯一的
x
*
∈
,使得Φ
x
*
=
x
*
,即:Φ在
内存在唯一的不动点
x
*
。
关于不动点定理的更多知识,可参见文献[85]。
本书,记