设式 B是赋范线性空间X中的非空子集，映射T: A∪B→ A∪B.若 T满足 T(A)(?)B，T(B)(?)A并且对任意的 x∈A,y∈B，d(Tx，Ty)≤d(x,y),则称 ......