The weakest contractive conditions for Edelstein's mappings to have a fixed point in complete metric spaces (Q1684849)

Let \(T\) be a self-mapping of a complete (not compact) metric space \((X,d)\). The author investigates under which (as weak as possible) additional conditions Edelstein's condition (B):~``\(x\neq y\) implies \(d(Tx,Ty)<d(x,y)\) for any \(x,y\in X\)'' implies the conclusion (A):~``\(T\) has a unique fixed point \(z\) and \(\{T^nx\}\) converges to \(z\) for any \(x\in X\)'' of the Banach Contraction Principle. It is proved that for a mapping satisfying condition (B), (A) is equivalent to condition (D):~``For \(x\in X\) and \(\varepsilon>0\), there exists \(\delta>0\) such that \(d(T^ix,T^jx)<\varepsilon+\delta\) implies \(d(T^{i+1}x,T^{j+1}x)\leq\varepsilon\) for any \(i,j\in N\cup\{0\}\).'' It is shown by an example that condition (D) is strictly weaker than the known CMJ condition (C):~``For any \(\varepsilon>0\), there exists \(\delta>0\) such that \(d(x,y)<\varepsilon+\delta\) implies \(d(Tx,Ty)\leq\varepsilon\) for any \(x,y\in X\).'' Finally, it is shown that, assuming condition (B), condition (D) is strictly weaker than condition (F):~``\(\{T^nx\}\) is a Cauchy sequence for any \(x\in X\).''