On the common fixed point for two sequences of self-mappings in Menger spaces (Q1911349)

The purpose of this paper is to prove the following Theorem: Let \((M, {\mathcal F}, t)\) be a complete Menger space with continuous \(T\)-norm \(t\) of \(H\)-type and let \(\{A_p \}_{p\in \mathbb{N}}\), \(\{B_q \}_{q\in \mathbb{N}}\) be two sequences of mappings from \(M\) to \(M\). Suppose that the following conditions are satisfied: for all \(m,n\in \mathbb{N}\) and all \(x,y\in M\): (a) there exists a constant \(q\in (0,1)\) such that for all \(u>0\) \[ \begin{aligned} F_{A_{2n-1} x, a_{2n} y} (u) &\geq F_{B_{2n-1} x, B_{2n} y} \bigl( {\textstyle {u\over q}} \bigr),\\ F_{A_{2n} x, A_{2m+1} y} (u) &\geq F_{B_{2n} x, B_{2m+1} y} \bigl( {\textstyle {u\over q}} \bigr), \qquad m\geq n. \end{aligned} \] (b) \(A_{2n} B_{2m}= B_{2m} A_{2n}\) and \(A_{2n-1} B_{2m-1}= B_{2m-1} A_{2n-1}\), (c) \(B_{2m} B_{2n}= B_{2n} B_{2m}\) and \(B_{2m-1} B_{2n-1}= B_{2n-1} B_{2m-1}\), (d) \(A_{2n-1} (M) \subset B_{2n} (M)\) and \( A_{2n} (M) \subset B_{2n+1} (M)\). If each \(B_q\), \(q\in \mathbb{N}\) is continuous, then there exists a unique common fixed point for the two sequences \(\{A_p \}_{p\in \mathbb{N}}\) and \(\{B_q \}_{q\in \mathbb{N}}\). This theorem generalizes the corresponding results of \textit{T. Taniguchi} [Int. J. Math. Math. Sci. 14, 417-420 (1991; Zbl 0734.47040)].