集值映射 柯西序列 三角形面积 距离空间 公共不动点 不等式