In this paper, we establish two general theorems for equivalence between the Meir–Keeler type contractive conditions and the contractive definitions involving gauge functions. One of these theorems is an extension of a recent result of Lim (On characterization of Meir–Keeler contractive maps, Nonlinear Anal. 46 (2001) 113–120). Also, we establish the following new fixed point theorem. Suppose ϕ : R + → R + is a contractive gauge function in the sense that for any ε > 0 there exists δ > ε such that ε < t < δ implies ϕ ( t ) ⩽ ε , and suppose T is a continuous and asymptotically regular selfmapping on a complete metric space ( X , d ) satisfying the following: (i) d ( Tx , Ty ) ⩽ ϕ ( D ( x , y ) ) for all x , y ∈ X , and (ii) d ( Tx , Ty ) < D ( x , y ) for all x , y ∈ X with x ≠ y , where D ( x , y ) = d ( x , y ) + γ . [ d ( x , Tx ) + d ( y , Ty ) ] with γ ⩾ 0 . Then T has a unique fixed point and all of the Picard iterates of T converge to this fixed point. This result includes those of Jachimski (Equivalent conditions and the Meir–Keeler type theorems, J. Math. Anal. Appl. 194 (1995) 293–303), Matkowski (Fixed point theorems for contractive mappings in metric spaces, Cas. Pest. Mat. 105 (1980) 341–344) and others.
Read full abstract