伪度量空间中第七类压缩型映象的不动点定理

通过将度量空间定义中的三角不等式条件减弱为d(x,y)=1是一个常数，引入了伪度量空间，并通过实例说明伪度量空间是对度量空间的真推广。在完备的伪度量空间中，证明了第七类压缩型映象存在唯一不动点，并且，其迭代序列收敛于此唯一不动点。进一步，对第六类压缩型映象给出了迭代序列逼近于不动点的误差估计。