Fixed Point Theorems on Operator-Valued Metric Space

Based on the concept of operator-valued metric spaces, the definitions of operator-valued 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.