No label defined (Q4506136)

Assume that \((X,T)\) is a topological space and \(d: X\times X\to R_+\) is such that \(d(x,y)= 0\) iff \(x=y\). Then \(X\) is said to be \(d\)-complete if \[ \sum^\infty_{n=1} d(x_n, x_{n+1})< \infty \] implies that the sequence \(\{x_n\}\) is convergent in \(X\). Moreover, we say that \(A: X\to X\) is \(w\)-continuous at \(x\) if, as usual, \(x_n\to x\) implies \(Ax_n\to Ax\). Let \(A,S:X\to X\) be two mappings. We shall say that \(A\) and \(S\) are \(w\)-compatible if the \(w\)-continuity of \(S\) implies \[ \lim_{n\to\infty} AAx_n= Sp, \] whenever \(\{x_n\}\) is a sequence in \(X\) with the property \[ \lim_{n\to\infty} Ax_n= \lim_{n\to\infty} Sx_n= p \] for some \(p\in X\). The pair \(\{A,S\}\) is called \(w^*\)-compatible if it is \(w\)-compatible and \(Ap= Sp\) implies \(ASp= SAp\). Using these ideas the authors have proved some theorems concerning the existence and uniqueness of common fixed points for four self-mappings of a Hausdorff \(d\)-complete topological space \((X,T)\). The methods of proofs are based on methods of sequences of consecutive approximations. The results obtained in the paper improve, generalize and unify several known fixed point theorems of S. Reich, R. Kannan, B. Fisher, M. Khan and B. E. Rhoades.