Abstract
In this paper, we prove some fixed point theorems for infinite families of self-mappings of a complete metric space satisfying some new conditions of common contractivity. An example is presented to show the effectiveness of our results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction and preliminaries
Fixed point theory constitutes an important and the core part of the subject of nonlinear functional analysis and is useful for proving the existence theorems for nonlinear differential and integral equations. The Banach contraction principle [3] is the simplest and one of the most versatile elementary results in fixed point theory, which is a very popular tool for solving existence problems in many branches of mathematical analysis. Several authors have extended the Banach’s fixed point theorem in various ways. The family of contraction mappings was introduced and studied by \(\acute{\text {C}}\)iri\(\acute{\text {c}}\) [7] and Taskovi\(\acute{\text {c}}\) [11]. Also in the process, the study of existence of common fixed point for finite and infinite family of self-mapping has been carried out by many authors. For example, one may refer [1, 2, 4–6, 12–14].
Recently, some new results for the existence and uniqueness of fixed points were presented for the cases of partially ordered metric spaces, cone metric spaces and fuzzy metric spaces (for example, see [1, 15–18]). Also, the study of common fixed points for a family of contractive type maps has been paid attention, and many interesting fixed point results have been obtained (for example, see [2, 7–11]).
The aim of this paper is to define some new conditions of common contractivity for an infinite family of mappings and give some new results on the existence and uniqueness of common fixed points in the setting of complete metric space.
Here, we state some known definitions and facts. We refer for more details to [1, 7].
Definition 1
Let X be a nonempty set and let \(\{T_{n}\}\) be a family of self-mappings on X. A point \(x_{0}\in X\) is called a common fixed point for this family iff \(T_{n}(x_{0})=x_{0},\) for each \(n\in N\).
The following interesting theorem was given by \(\acute{\text {C}}\)iri\(\acute{\text {c}}\) [7] for a family of generalized contractions.
Theorem 1
Let (X, d) be a complete metric space and let \(\{T_{\alpha }\}_{\alpha \in J}\) be a family of self-mappings of X. If there exists fixed \(\beta \in J\) such that for each \(\alpha \in J\):
for some \(\lambda =\lambda (\alpha )\in (0,1)\) and all x, \(y \in X,\) then all \(T_{\alpha }\) have a unique common fixed point, which is a unique fixed point of each \(T_{\alpha },\) \(\alpha \in J.\)
Common fixed point theorems for a family of mappings
In this section, we prove existence of a unique common fixed point for a family of contractive type self-maps on a complete metric space.
Theorem 2
Let (X, d) be a complete metric space and \(0\le a_{i,j} ~~ (i,j=1,2,...)\) satisfy
-
(i)
for each j, \(\overline{\lim }_{i\longrightarrow \infty }a_{i, j}<1\)
-
(ii)
\(\sum _{n=1}^{\infty }A_{n}<\infty\) where \(A_{n}=\Pi _{i=1}^{n}\frac{a_{i,i+1}}{1-a_{i,i+1}}.\)
If \(\{T_{n}\}\) is a sequence of self-maps on X satisfying
for \(x, y\in X; i,j=1,2,...\) with \(x \ne y\) and \(i\ne j\) then all \(T_{n}\)s have a unique common fixed point in X.
Proof
For any \(x_{0} \in X,\) let \(x_{n}= T_{n}(x_{n-1}), n = 1, 2, \ldots\), then using (2.1) we get
which implies
So
Also we have,
implies
So
In general, we get
Therefore, for \(m,n\in N\), \(m\ge n,\) and using (2.2)
Thus \(\{x_{n}\}\) is a Cauchy sequence and by completeness of X, \(\{x_{n}\}\) converges to x (say) in X.
So using (2.1), for any positive integer m we have
Taking \(\overline{\text {lim}}\) as \(n\longrightarrow \infty ,\) we get
and it follows that \(d(x,T_{m}x)=0\) which shows that x is a common fixed of \(\{T_{m}\}.\)
Now we prove the uniqueness of the common fixed point x. Suppose that y be another common fixed point of \(\{T_{k}\}.\) Since \(\sum _{n=1}^{\infty }A_{n}<\infty\) so \({\lim}_{n\longrightarrow \infty } A_{n}=0\) and therefore there exists an \(i_{0}\in N\) such that \(a_{i_{0}, i_{0}+1}<\frac{1}{2}.\) Thus, from (2.1) we have
which implies that \(x=y.\) So the uniqueness is proved and the proof is complete.
Corollary 1
In addition to hypotheses of Theorem 2 , suppose that for every \(n\in N\) , there exists a \(k_{n}\in N\) such that \(a_{n,k_{n}}<\frac{1}{2},\) then every \(T_{n}\) has a unique fixed point in X.
Proof
Following the proof of Theorem 2, \(\{T_{n}\}\) have a unique common fixed point \(x\in X.\) If y is another fixed point of a \(T_{m}\) then
which implies \(d(x, y) = 0.\) Therefore, \(x = y,\) which gives the desired result.
Example 1
Let \(X=[0,1]\) be a complete metric space with the distance \(d(x,y)=|x-y|\), \(x, y\in X\), and \(T_{n}:X\longrightarrow X\) be defined by
Let \(a_{i,j}=\frac{1}{3}+\frac{1}{|i-j|+6}, i\ne j,\) then for each j,\(~\overline{\lim }_{i\longrightarrow \infty }a_{i, j}<1\) and \(A_{n}=\Pi _{i=1}^{n}\frac{a_{i,i+1}}{1-a_{i,i+1}}=\left(\frac{10}{11}\right)^{n}\), therefore \(\sum _{n=1}^{\infty }\left(\frac{10}{11}\right)^{n}<\infty .\) Now we prove that for each \(x, y \in X,\)
There are three possible cases:
-
1.
\(x\in (0,1],\) \(y\in (0,1].\) Then
$$\begin{aligned} d(T_{i}x,T_{j}y)&= {}\; |T_{i}x-T_{j}y|=0\\ &\le {}\; a_{i,j}(|x-1|+|y-1|)\\&= {}\; a_{i,j} (d(x,T_{j}y)+d(y,T_{i}x)). \end{aligned}$$ -
2.
\(x\in (0,1],\) \(y=0.\) Then
$$\begin{aligned} d(T_{i}x,T_{j}y)&= {} |T_{i}x-T_{j}(0)|=\left|\frac{1}{3}-\frac{1}{j+2}\right|\le \frac{1}{3}\\ & \le {} \left(\frac{1}{3}+\frac{1}{|i-j|+6}\right) \left(\left|x-\frac{2}{3}-\frac{1}{j+2}\right|+|0-1|\right)\\&= {} a_{i,j} [d(x,T_{j}y)+d(y,T_{i}x)]. \end{aligned}$$ -
3.
\(x=y=0\) , \(i<j.\) Then
$$\begin{aligned} d(T_{i}x,T_{j}y)& = {} |T_{i}(0)-T_{j}(0)|=\left|\frac{2}{3}+\frac{1}{i+2}-\frac{2}{3}-\frac{1}{j+2}\right|=\left|\frac{1}{i+2}-\frac{1}{j+2}\right| \\ & \le {} \frac{1}{i+2}\\ & \le {} \left(\frac{1}{3}+\frac{1}{|i-j|+6}\right) \left(\left|\frac{2}{3}+\frac{1}{j+2}\right|+\left|\frac{2}{3}+\frac{1}{i+2}\right|\right)\\& = a_{i,j} [d(x,T_{j}y)+d(y,T_{i}x)]. \end{aligned}$$
So all the conditions of Theorem 2 are satisfied and note that \(x=1\) is the only fixed point for all \(T_{n}.\)
Theorem 3
Let (X, d) be a complete metric space and \(0\le a_{i,j}~~~ (i,j=1,2,...),\) satisfy
-
(i)
for each j, \(\overline{\lim }_{i\longrightarrow \infty }a_{i, j}<1\),
-
(ii)
\(\sum _{n=1}^{\infty }A_{n}<\infty\) where \(A_{n}=\Pi _{i=1}^{n}\frac{a_{i,i+1}}{1-a_{i,i+1}}.\)
If \(\{T_{n}\}\) is a sequence of self-maps on X satisfying
for all \(x, y\in X,~i,j=1,2,...\) with \(x \ne y\) and \(i\ne j\) then all \(T_{n}\) ,s have a unique common fixed point in X . Further, if \(x\in X\) be unique common fixed point of \(\{T_{n}\},\) s then x is a unique fixed point for all \(T_{n},s.\)
Proof
For any \(x_{0}\in X,\) let \(x_{n}= T_{n}(x_{n-1}),~ n = 1, 2, ...\), then using (2.3) we obtain
Therefore,
Also
which similar to the previous case we get
Hence we have
In general
Therefore, for \(m,n\in N,\) \(m\ge n,\) and using (2.4)
Thus \(\{x_{n}\}\) is a Cauchy sequence and by completeness of X, \(\{x_{n}\}\) converges to x (say) in X.
So for any positive integer m,
Taking \(\overline{\text {lim}}\) as \(n\longrightarrow \infty ,\) we get
From condition (i), it follows that \(d(x,T_{m}x)=0\) gives x as a common fixed point of \(\{T_{m}\}.\)
Let y be another fixed point of \(\{T_{n}\}\), then
Taking \(\overline{\text {lim}}\) as \(n\longrightarrow \infty ,\) we get
which is possible only when \(x=y.\) Hence x is the unique common fixed point of \(\{T_{n}\}\). Further, if \(y\in X\) is a unique fixed point of \(T_{k},\) then according to \(\overline{\lim}_{i\longrightarrow \infty}a_{i,k} < 1,\) there exists an \(i_{k}\in N\) such that \(a_{i_{k}, k}<1.\) Thus, by (2.3) we have
which implies \(d(x, y) = 0\) and hence \(x = y.\)
Theorem 4
Let (X, d) be a complete metric space and \(0\le a_{i,j}+b_{i,j} <1~~~ (i,j=1,2,...),\) satisfy
-
(i)
for each j, \(\overline{\lim} _{i\longrightarrow \infty}a_{i, j}<1\) and \(\overline{\lim}_{i\longrightarrow \infty}b_{i, j}<1,\)
-
(ii)
\(\sum _{n=1}^{\infty }A_{n}<\infty\) where \(A_{n}=\prod _{i=1}^{n}\frac{b_{i,i+1}}{1-a_{i,i+1}}.\)
If \(\{T_{n}\}\) is a sequence of self-maps on X satisfying
for all \(x, y\in X,~ i,j=1,2,...\) with \(x \ne y\) and \(i\ne j\) where \(\varphi :[0,\infty )\times [0,\infty )\longrightarrow [0,\infty )\) is a continuous function such that \(\varphi (t,t)=1\) for all \(t \in [0,\infty )\) then, all \(T_{n}\) have a unique common fixed point in X.
Proof
For any \(x_{0}\in X,\) let \(x_{n}= T_{n}(x_{n-1}),\) \(n = 1, 2, ...\), then from (2.5) we obtain
implies
Hence we have
Also,
Then
Generally we conclude that
Therefore, for \(m,n\in N\), \(m\ge n,\) and using (2.6) we get
Now passing to limit \(n,m\longrightarrow \infty\), we get \(d(x_{n},x_{m})\longrightarrow 0 .\)
Thus \(\{x_{n}\}\) is a Cauchy sequence and by completeness of X, \(\{x_{n}\}\) converges to x in X that is \(\displaystyle \lim\nolimits_{n\longrightarrow \infty }x_{n}=x\in X\).
So, for any positive integer m,
Taking \(\overline{\text {lim}}\) as \(n\longrightarrow \infty ,\) we get
It follows that \(d(x,T_{m}x)=0\) gives x as a common fixed of \(\{T_{m}\}.\)
Let y be another common fixed point, then
Taking \(\overline{lim}\) as \(n\longrightarrow \infty ,\) we get \(x=y.\) So, the uniqueness is proved. \(\square\)
Author contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
References
Aghajani, A.: Radenovi\(\acute{\rm c}\))-contractive condition in partially ordered metric spaces. Appl. Math. Comput. 218, 5665–5670 (2012)
Alaca, C.: A Common fixed point theorem for a family of selfmappings satisfying a general contractive condition of operator type. Albania. J. Math. 3(1), 13–17 (2009)
Banach, S.: Surles oprations dans les ensembles abstraits et leurs application aux quations intgrales. Fund. Mat. 3, 133–181 (1922)
Buong, N., Thi Quynh Anh, N.: An implicit iteration method for variational inequalities over the set of common fixed points for a finite family of nonexpansive mappings in Hilbert spaces, fixed point theory and applications, (2011), in press
Husain, S.A., Sehgal, V.M.: On common fixed points for a family of mappings. Bull. Austral. Math. 13, 261–267 (1975)
Hu, L.G., Wang, J.P.: Strong Convergence of a New Iteration for a Finite Family of Accretive Operators. Fixed Point Theory Appl. (2009). doi:10.1155/2009/491583
\(\acute{\rm C}\)iri\(\acute{\rm c}\), L. B.: On a family of contractive maps and fixed points, Publ. Inst. Math, 17 (1974), no. 31, 45–51
Mai, J.H., Liu, X.H.: Fixed-point theorems for families of weakly non-expansive maps. J. Math. Anal. Appl. 334, 932–949 (2007)
Park, B. S.: Sequences of quasi-contractions and fixed, J. Korean Math. Soc., 14 (1977), no. 1
Samet, B.: Common fixed point theorems involving two pairs of weakly compatible mappings in K-metric spaces. Appl. Math. Lett. 24, 1245–1250 (2011)
Taskovic, M.R.: On a family of contractive maps. Bull. Austral. Math. Soc 13, 301–308 (1975)
Tang, Y.C., Peng, J.G.: Approximation of common fixed points for a finite family of uniformly Quasi-Lipschitzian mappings in Banach Spaces. Thai J. Math. 8(1), 63–71 (2010)
Wangkeeree, R.: Implicit iteration process for finite family of nonexpansive nonself-mappings in Banach spaces. Int. J. Math. Sci. Engg. Appls. (IJMSEA), 1 (2007), no. 1, 1–12
Zuo, Z.: Iterative approximations for a family of multivalued mappings in Banach Spaces. J. Math. Inequal. 4(4), 549–560 (2010)
Alsulami, H., Karapinar, E., Roldan, A.: A short note on Common fixed point theorems for non-compatible self-maps in generalized metric spaces. J. Inequal Appl. (accepted 29 January 2015)
Chauhan, S., Karapinar, E.: Some integral type common fixed point theorems satisfying \(\Psi\)-contractive conditions. Bull. Belg. Math. Soc. Simon Stevin 21(4), 593–612 (2014)
Roldan, A., Karapinar, E., Kumam, p.: On unified fixed point theorems in fuzzy metric spaces via common limit range property. J. Inequal. Appl
Bilgili, N., Karapinar, E., Turkoglu, D.: A note on common fixed points for \((\psi, \alpha, \beta )\)-weakly contractive mappings in generalized metric spaces. Fixed Point Theory Appl. 2013, 287 (2013)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Allahyari, R., Arab, R. & Haghighi, A.S. Common fixed point theorems for infinite families of contractive maps. Math Sci 9, 199–203 (2015). https://doi.org/10.1007/s40096-015-0168-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-015-0168-3