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

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