序完备向量格上序-映射引入的压缩映射原理

摘要

在具有向量值范数的实向量空间上,利用一个定义在序完备向量格上的特殊映射Φ来引入压缩映射,并证明相应的压缩映射的不动点定理。