Convergence of the sequence of successive approximations to a fixed point (Q963608)

Let \((X,d)\) be a metric space. The following results are known: Theorem A (Banach contraction principle). Let \((X,d)\) be a complete metric space and \(T: X\to X\). If there exists \(r\in[0,1)\) such that \(d(Tx,Ty)\leq rd(x,y)\) for all \(x,y\in X\), then \(T\) has a unique fixed point \(z\) and \(\{T^nx\}\) converges to \(z\) for any \(x\in X\). Theorem B. [\textit{I. A. Rus}, Rev. Roum. Math. Pures Appl. 17, 1433--1437 (1972; Zbl 0249.47054) and \textit{P. V. Subrahmanyam}, J. Math. Phys. Sci., Madras 8, 445-458 (1974; Zbl 0294.54033)]. Let \((X,d)\) be a complete metric space and \(T: X\to X\) a continuous mapping. If there exists \(r\in[0,1)\) satisfying \(d(Tx, T^2x)\leq rd(x,Tx)\) for all \(x\in X\), then (B) \(\{T^nx\}\) converges to a fixed point for every \(x\in X\). In [\textit{T. Suzuki}, J. Math. Anal. Appl. 253, No.~2, 440--458 (2001; Zbl 0983.54034)] the notion of \(\tau\)-distance was introduced. If \((X,d)\) is a metric space, the metric \(d\) is a \(\tau\)-distance. The main results of Section 3 of this paper are the following theorems: Theorem 1. Let \((X,d)\) be a metric space and \(T: X\to X\). Assume that there exist a \(\tau\)-distance, \(p,r\in [0,1)\) and \(M\in [0,\infty)\) such that \[ p(Tx, T^2x)\leq rp(x, Tx),\;p(Tx,Ty)\leq Mp(x,y) \] for all \(x,y\in X\). Then (B) holds. Moreover, if \(z= Tz\) then \(p(z,z)= 0\). Theorem 2. Let \((X,d)\) be a metric space and \(T: X\to X\) such that (B) holds. Then, there exist a \(\tau\)-distance \(p\) and \(r\in (0,1)\) satisfying \[ P(Tx,T^2 x)\leq rp(x,Tx),\;p(Tx,Ty)\leq p(x,y). \] In the last part of this paper, for condition (A) some results similar to Theorems 1, 2 are obtained.