在完备的算子值距离空间基础上,分别给出算子值压缩映射和算子值扩张映射的概念,并给出了相应的不动点定理.作为应用,给出一类积分方程解的存在性和唯一性.
Based on the concept of operator-valued metric spaces,the definitions of operatorvalued contraction map and expansive map were introduced,and furthermore,the corresponding fixed point theorems were proven.As an application,the existence and uniqueness of a kind of integral equation of Fredholm type is given.