双完备弱偏度量空间的两个不动点定理

论证了弱偏伪度量空间的左柯西列也是双柯西的,而双完备的弱偏度量解码出来的偏序集是定向完备的。弱偏度量空间的双完备性既可以确保Matthews定义的收缩函数有唯一的不动点,并且该不动点一定是极大点,又能确保广义收缩函数容许非极大点作为不动点。