Abstract
In this work, we introduce the \((\mathit{CLR})\)-property for the hybrid pairs of single-valued and multi-valued mappings and give some coincidence and common fixed point theorems for the hybrid pairs of some contractive conditions. Also, we will give some examples to illustrate the main results in this paper. Our results extend and improve some results given by some authors.
Similar content being viewed by others
1 Introduction
In 1969, Nadler [1] introduced the notion of a multi-valued (set-valued) contractive mapping in a metric space and also proved Banach’s fixed point theorem for a multi-valued mapping in a metric space. Since Nadler, many authors have studied Banach’s fixed point theorem for multi-valued mappings in several ways [2–7].
Especially, fixed point theorems for the hybrid contractive pairs of single-valued and multi-valued mappings are always be an interesting area of research due to its majority on only single-valued contractive mappings or only multi-valued contractive mappings in general spaces [8]. Besides, there are many results as regards fixed point theorems for multi-valued mappings in metric spaces with different contractive conditions and applications. For more details, we refer to [9–11] and references therein.
In 1982, Sessa [12] first studied common fixed points results for weakly commuting pair of single-valued mappings in metric spaces. Afterward, Jungck [13] introduced the concept of compatible single-valued mappings in order to generalize the concept of weak commutativity by Sessa [12] and showed that weakly commuting mappings are compatible, but the converse is not true. In 1996, Jungck [14] introduced the concept of weakly compatibility for single-valued mappings. Afterward, Aamri and El Moutawakil [15] introduced the notion of the property \((E.A.)\), which is a special case of the tangential property due to Sastry and Krishna Murthy [16]. In 2011, Sintunaravat and Kumam [17] showed that the notion of the property \((E.A.)\) always requires the completeness (or closedness) of the underlying subspaces for the existence of common fixed points for single-valued mappings. Hence they coined the idea of common limit in the range (for brevity, called the \((\mathit{CLR})\)-property), which relaxes the requirement of completeness (or closedness) of the underlying subspace. They also proved common fixed point results for single-valued mappings via this concept in fuzzy metric spaces. For more details on the \((\mathit{CLR})\)-property, refer to [18–20] and therein.
Inspired by the notion of the property \((\mathit{CLR})\)-property, we introduce the \((\mathit{CLR}_{g})\)-property for the hybrid pairs of single-valued and multi-valued mappings in metric spaces and give some new coincidence and common fixed point theorems under the hybrid pairs satisfying some contractive conditions. Also, we give some examples to illustrate the main results in this paper. Our results improve, extend, and generalize the corresponding results given by some authors.
2 Preliminaries
Throughout this paper, let \((X,d)\) be a metric space and let \(\operatorname{CB}(X)\) denote the class of all nonempty bounded closed subsets of X. Let H be the Hausdorff metric with respect to d, that is,
for all \(A,B \in \operatorname{CB}(X)\), where
In fact, the convergence in the Hausdorff metric H means that, if \(\{ A_{n}\}\) is a sequence in \(\operatorname{CB}(X)\) and \(A\in \operatorname{CB}(X)\), then
Note that, if \(\lim_{n\to\infty}H(A_{n},A)=0\), then, for any \(\varepsilon >0\), there exists a positive integer N such that
for all \(n\geq N\). For more details on the convergence in the Hausdorff metric H, refer to [21].
We also denote by \(\operatorname{Fix}(T)\) the set of all fixed points of a multi-valued mapping T.
Definition 2.1
([13])
Let \((X,d)\) be a metric space. Two mappings \(f,g:X\rightarrow X\) are said to be compatible or asymptotically commuting if
whenever \(\{x_{n}\}\) is a sequence in X such that
for some \(t \in X\).
In 1989, Kaneko and Sessa [22] introduced the notion of compatible for single-valued and multi-valued mappings as follows.
Definition 2.2
([22])
Let \((X,d)\) be a metric space. Two mappings \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) are said to be compatible if \(fTx\in \operatorname{CB}(X)\) for all \(x\in X\) and
whenever \(\{x_{n}\}\) is a sequence in X such that
for some \(A\in \operatorname{CB}(X)\) and
for some \(t \in X\).
Remark 2.3
Recall that two mappings \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) are noncompatible if \(fTx\in \operatorname{CB}(X)\) for all \(x\in X\) and there exists at least one sequence \(\{x_{n}\}\) in X such that
and
but
or it is nonexistent.
Definition 2.4
([14])
Let \((X,d)\) be a metric space. Two mappings \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) are said to be weakly compatible if they commute at their coincidence points, i.e., if \(fTx=Tfx\) whenever \(fx\in Tx\).
It is easy to see that two compatible mappings are weakly compatible, but the converse is not true.
Definition 2.5
([17])
Let \((X,d)\) be a metric space. Two mappings \(f,g:X\rightarrow X\) are said to satisfy the common limit in the range of f with respect to g (for brevity, the \((\mathit{CLR}_{f})\)-property w.r.t. g) if there exists a sequence \(\{x_{n}\}\) in X such that
for some \(u\in X\).
Example 2.6
Let \(X=[1,\infty)\) with usual metric. Define two single-valued mappings \(f,g:X\rightarrow X\) by
for all \(x\in X\). Consider the sequence \(\{x_{n}\}\) defined by \(x_{n}=\frac{1}{n}\). Then we have
Therefore, f and g satisfy the property \((\mathit{CLR}_{f})\) w.r.t. g.
3 Main results
Now, we define the \((\mathit{CLR}_{f})\)-property for a hybrid pairs of single-valued and multi-valued mappings in metric spaces.
Definition 3.1
Let \((X,d)\) be a metric space. Two mappings \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) are said to satisfy the common limit in the range of the f w.r.t. g (for brevity, the \((\mathit{CLR}_{f})\)-property w.r.t. T) if there exist a sequence \(\{x_{n}\}\) in X and \(A\in \operatorname{CB}(X)\) such that
for some \(u\in X\).
Remark 3.2
Note that, if \(f(X)\) is closed, then a noncompatible hybrid pair \((f,T)\) satisfies the \((\mathit{CLR}_{f})\) w.r.t. T.
Now, we give an example for two mappings satisfying the \((\mathit{CLR}_{f})\)-property w.r.t. T.
Example 3.3
Let \(X=[1,\infty)\) with the usual metric. Define two mappings \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) by
for all \(x\in X\). Consider the sequence \(\{x_{n}\}\) in X defined by \(x_{n}=\frac{1}{n}\). Clearly, we have
Therefore, f and T satisfy the \((\mathit{CLR}_{f})\) w.r.t. T.
Here, we state and prove the main result in this paper.
Theorem 3.4
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\), \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings satisfying the following conditions:
-
(1)
f and T satisfy the \((\mathit{CLR}_{f})\)-property w.r.t. T;
-
(2)
for all \(x,y\in X\),
$$\begin{aligned} H^{p}(Tx,Ty) \leq&\varphi \biggl(\max \biggl\{ d^{p}(fx,fy), \frac {d^{p}(fx,Tx)d^{p}(fy,Ty)}{1+d^{p}(fx,fy)}, \\ & \frac{d^{p}(fx,Ty)d^{p}(fy,Tx)}{1+d^{p}(fx,fy)} \biggr\} \biggr), \end{aligned}$$where \(p\geq1\) and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is a continuous monotone increasing function such that \(\varphi(0)=0\) and \(\varphi(t)< t\) for all \(t>0\).
Then f and T have a coincidence point in X.
Proof
Since f and T satisfy the \((\mathit{CLR}_{f})\)-property w.r.t. T, there exists a sequence \(\{x_{n}\}\) in X such that
for some \(u\in X\) and \(A\in \operatorname{CB}(X)\).
Now, we show that \(fu \in Tu\). In fact, suppose that \(fu \notin Tu\). Then, using the condition (2) with \(x=x_{n}\) and \(y=u\), we have
for all \(n\in\mathbb{N}\). Letting \(n\rightarrow\infty\), we have \(H^{p}(A,Tu)=0\). Since \(fu \in A\), it follows from the definition of Hausdorff metric that
which implies that \(d^{p}(fu,Tu)=0\), that is, \(fu\in Tu\). This implies that u is a coincidence point of f and T. This completes the proof. □
From Remark 3.2, we have the following result.
Corollary 3.5
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings such that \(f(X)\) is a closed subset of X and f, T satisfying the following conditions:
-
(1)
f and T are noncompatible;
-
(2)
for all \(x,y\in X\),
$$\begin{aligned} H^{p}(Tx,Ty) \leq&\varphi \biggl(\max \biggl\{ d^{p}(fx,fy), \frac {d^{p}(fx,Tx)d^{p}(fy,Ty)}{1+d^{p}(fx,fy)}, \\ & \frac{d^{p}(fx,Ty)d^{p}(fy,Tx)}{1+d^{p}(fx,fy)} \biggr\} \biggr), \end{aligned}$$where \(p\geq1\) and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is a continuous monotone increasing function such that \(\varphi(0)=0\) and \(\varphi(t)< t\) for all \(t>0\).
Then f and T have a coincidence point in X.
Theorem 3.6
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) are two mappings satisfying the conditions (1), (2) of Theorem 3.4. If f and T are weakly compatible at a and \(ffa=fa\) for some \(a\in C(f,T) \neq\emptyset\), then f and T have a common fixed point in X.
Proof
From Theorem 3.4, there exists \(u\in X\) such hat \(fu\in Tu\), that is, \(C(f,T) \neq\emptyset\). By the assumption, we have \(ffa=fa\). Since f and T are weakly compatible, we have \(Tfa=fTa\). Now, letting \(t:=fa\). Then we obtain
that is, t is a common fixed point of f and T. This completes the proof. □
Corollary 3.7
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\), \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings satisfying the conditions (1), (2) of Theorem 3.4. If f and T are weakly compatible at a and \(ffa=fa\) for all \(a\in C(f,T) \neq\emptyset\), then f and T have a common fixed point.
Next, we give one interesting example to illustrate Theorems 3.4 and 3.6, but Corollary 3.7 is not applicable.
Example 3.8
Let \(X=[1,\infty)\) with usual metric. Define two mappings \(f:X\rightarrow X\) and \(T:X\rightarrow \operatorname{CB}(X)\) by
for all \(x\in X\). Then f and T satisfy the \((\mathit{CLR}_{f})\) w.r.t. T for the sequence \(\{x_{n}\}\) defined by \(x_{n}=1+\frac{1}{n}\). Indeed, we have
Now, we show that f and T satisfy the condition (2) in Theorem 3.4 with \(p=1\) and \(\varphi(t)=\frac{1}{2}t\). For all \(x,y \in[1,\infty)\), we have
This means that f and T satisfy the condition (2) in Theorem 3.4 with \(p=1\) and \(\varphi(t)=\frac{1}{2}t\). Thus all the conditions in Theorem 3.4 are satisfied. Then f and T have a coincidence point in X. It is easy to see that f and T have infinitely coincidence point in X. Indeed, \(C(f,T) = [1,\frac{1+\sqrt{5}}{2} ]\).
Next, we claim that f and T have a common fixed point in X by using Theorem 3.6. Also, we can see that f and T are weakly compatible at a point a and \(ffa=fa\) for \(a=1 \in C(f,T)\). So, all the conditions of Theorem 3.6 are satisfied. Therefore, f and T have a common fixed point in X. In this case, the point 1 is a unique common fixed point of f and T.
Remark 3.9
From Example 3.8, we can see that f and T are not weakly compatible at a point a with \(a\in C(f,T) = [1,\frac{1+\sqrt{5}}{2} ]\). Also, \(ffa\neq fa\) for all \(a\in C(f,T) = [1,\frac{1+\sqrt {5}}{2} ]\). Therefore, Corollary 3.7 cannot be applicable in this case.
If we take \(p=1\) in Theorem 3.6, then we have the following result.
Corollary 3.10
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\), \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings satisfying the following conditions:
-
(1)
f and T satisfy the \((\mathit{CLR}_{f})\)-property w.r.t. T;
-
(2)
for all \(x,y\in X\),
$$ H(Tx,Ty) \leq\varphi \biggl(\max \biggl\{ d(fx,fy), \frac {d(fx,Tx)d(fy,Ty)}{1+d(fx,fy)}, \frac{d(fx,Ty)d(fy,Tx)}{1+d(fx,fy)} \biggr\} \biggr), $$where \(p\geq1\) and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is a continuous monotone increasing function such that \(\varphi(0)=0\) and \(\varphi(t)< t\) for all \(t>0\).
If f and T are weakly compatible at a point a and \(ffa=fa\) for some \(a\in C(f,T) \neq\emptyset\), then f and T have a common fixed point in X.
Corollary 3.11
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\), \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings satisfying the following conditions:
-
(1)
f and T satisfy the \((\mathit{CLR}_{f})\)-property w.r.t. T;
-
(2)
for all \(x,y\in X\),
$$ H(Tx,Ty) \leq \varphi \biggl(\max \biggl\{ d(fx,fy), \frac {d(fx,Tx)d(fy,Ty)}{1+d(fx,fy)}, \frac{d(fx,Ty)d(fy,Tx)}{1+d(fx,fy)} \biggr\} \biggr), $$where \(p\geq1\) and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is a continuous monotone increasing function such that \(\varphi(0)=0\) and \(\varphi(t)< t\) for all \(t>0\).
If f and T are weakly compatible at a point a and \(ffa=fa\) for all \(a\in C(f,T) \neq\emptyset\), then f and T have a common fixed point in X.
Corollary 3.12
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\), \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings satisfying the following conditions:
-
(1)
f and T satisfy the \((\mathit{CLR}_{f})\)-property w.r.t. T;
-
(2)
there exists \(k\in[0,1)\) such that
$$ H(Tx,Ty) \leq k\max \biggl\{ d(fx,fy), \frac {d(fx,Tx)d(fy,Ty)}{1+d(fx,fy)}, \frac{d(fx,Ty)d(fy,Tx)}{1+d(fx,fy)} \biggr\} $$for all \(x,y\in X\).
If f and T are weakly compatible at a point a and \(ffa=fa\) for some \(a\in C(f,T) \neq\emptyset\), then f and T have a common fixed point in X.
Proof
Take \(\varphi(t)=kt\) in Corollary 3.10. Then we have the conclusion. □
Corollary 3.13
Let \((X,d)\) be a metric space and let \(f:X\rightarrow X\), \(T:X\rightarrow \operatorname{CB}(X)\) be two mappings satisfying the following conditions:
-
(1)
f and T satisfy the \((\mathit{CLR}_{f})\)-property w.r.t. T;
-
(2)
there exists \(k\in[0,1)\) such that
$$ H(Tx,Ty) \leq k\max \biggl\{ d(fx,fy), \frac {d(fx,Tx)d(fy,Ty)}{1+d(fx,fy)}, \frac{d(fx,Ty)d(fy,Tx)}{1+d(fx,fy)} \biggr\} $$for all \(x,y\in X\).
If f and T are weakly compatible at a and \(ffa=fa\) for all \(a\in C(f,T) \neq\emptyset\), then f and T have a common fixed point in X.
If we take \(f=I\) (the identity mapping in X) in Theorem 3.6, then we have the following result.
Corollary 3.14
Let \((X,d)\) be a metric space and let \(T:X\rightarrow \operatorname{CB}(X)\) be a mapping satisfying the following conditions:
-
(1)
there exists a sequence \(\{x_{n}\}\) in X such that
$$\lim_{n\to\infty}Tx_{n}=A $$for some \(A\in \operatorname{CB}(X)\) and
$$\lim_{n\to\infty}x_{n} = u \in A $$for some \(u\in X\);
-
(2)
for all \(x,y\in X\),
$$ H^{p}(Tx,Ty) \leq \varphi \biggl(\max \biggl\{ d^{p}(x,y), \frac {d^{p}(x,Tx)d^{p}(y,Ty)}{1+d^{p}(x,y)}, \frac{d^{p}(x,Ty)d^{p}(y,Tx)}{1+d^{p}(x,y)} \biggr\} \biggr), $$where \(p\geq1\) and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is a monotone increasing function such that \(\varphi(0)=0\) and \(\varphi(t)< t\) for all \(t>0\).
Then T has a fixed point in X.
Corollary 3.15
Let \((X,d)\) be a metric space and let \(T:X\rightarrow \operatorname{CB}(X)\) be a mapping satisfying the following conditions:
-
(1)
there exists a sequence \(\{x_{n}\}\) in X such that
$$\lim_{n\to\infty}Tx_{n}=A $$for some \(A\in \operatorname{CB}(X)\) and
$$\lim_{n\to\infty}x_{n} = u \in A $$for some \(u\in X\);
-
(2)
there exists \(k\in[0,1)\) such that
$$H(Tx,Ty) \leq k\max \biggl\{ d(x,y), \frac{d(x,Tx)d(y,Ty)}{1+d(x,y)},\frac {d(x,Ty)d(y,Tx)}{1+d(x,y)} \biggr\} $$for all \(x,y\in X\).
Then T has a unique fixed point in X.
Proof
Take \(p=1\) and \(\varphi(t) = kt\) in Corollary 3.14. Then we have the conclusion. □
4 Conclusion
Recently, some authors have required some conditions, that is, the completeness of X, the closedness or the convexity of some suitable subset of X, the continuity of one mapping or more mappings, and the containment of the range of the given mappings, to prove some common fixed point results for single-valued and multi-valued mappings in a metric space X, but, as in our results, if we use the \((\mathit{CLR})\)-property for single-valued and multi-valued mappings, then we do not need the conditions mentioned above.
References
Nadler, NB Jr.: Multi-valued contraction mappings. Pac. J. Math. 30, 475-488 (1969)
Eldred, AA, Anuradha, J, Veeramani, P: On equivalence of generalized multi-valued contractions and Nadler’s fixed point theorem. J. Math. Anal. Appl. 336, 751-757 (2007)
Chaipunya, P, Mongkolkeha, C, Sintunavarat, W, Kumam, P: Fixed point theorems for multi-valued mappings in modular metric spaces. Abstr. Appl. Anal. 2012, Article ID 503504 (2012)
Eshaghi Gordji, M, Baghani, H, Khodaei, H, Ramezant, M: A generalization of Nadler’s fixed point theorem. J. Nonlinear Sci. Appl. 3, 148-151 (2010)
Pathak, HK, Agarwal, RP, Cho, YJ: Coincidence and fixed points for multi-valued mappings and its application to nonconvex integral inclusions. J. Comput. Appl. Math. 283, 201-217 (2015)
Sintunavarat, W, Kumam, P: Gregus-type common fixed point theorems for tangential multi-valued mappings of integral type in metric spaces. Int. J. Math. Math. Sci. 2011, Article ID 923458 (2011)
Sintunavarat, W, Lee, DM, Cho, YJ: Mizoguchi-Takahashi’s type common fixed point theorems without T-weakly commuting condition and invariant approximations. Fixed Point Theory Appl. 2014, 112 (2014)
Kamran, T: Coincidence and fixed points for hybrid strict contractions. J. Math. Anal. Appl. 299, 235-241 (2004)
Imdad, M, Ahmed, MA: Some common fixed point theorems for hybrid pairs of maps without the completeness assumption. Math. Slovaca 62, 301-314 (2012)
Liu, Y, Wu, J, Li, Z: Common fixed points of single-valued and multi-valued maps. Int. J. Math. Math. Sci. 19, 3045-3055 (2005)
Pant, BD, Samet, B, Chauhan, S: Coincidence and common fixed point theorems for single-valued and set-valued mappings. Commun. Korean Math. Soc. 27, 733-743 (2012)
Sessa, S: On a weak commutativity condition in fixed point considerations. Publ. Inst. Math. (Belgr.) 34(46), 149-153 (1982)
Jungck, G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 9, 771-779 (1986)
Jungck, G, Rhoades, BE: Fixed points for set-valued functions without continuity. Indian J. Pure Appl. Math. 29, 227-238 (1998)
Aamri, M, El Moutawakil, D: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 270, 181-188 (2002)
Sastry, KPR, Krishna Murthy, ISR: Common fixed points of two partially commuting tangential selfmaps on a metric space. J. Math. Anal. Appl. 250, 731-734 (2000)
Sintunavarat, W, Kumam, P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J. Appl. Math. 2011, Article ID 637958 (2011)
Chauhan, S, Sintunavarat, W, Kumam, P: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces using the \((\mathit{JCLR})\)-property. Appl. Math. 3(9), 976-982 (2012)
Roldán, A, Sintunavarat, W: Common fixed point theorems in fuzzy metric spaces using the \((\mathit{CLR}_{g})\)-property. Fuzzy Sets Syst. (in press)
Wairojjana, N, Sintunavarat, W, Kumam, P: Common tripled fixed point theorems for W-compatible mappings along with the \(\mathit{CLR}_{g}\)-property in abstract metric spaces. J. Inequal. Appl. 2014, 133 (2014)
Geletu, A: Introduction to Topological Spaces and Set-valued Maps. Lecture Notes, Institute of Mathematics, Ilmenau University of Technology (2006)
Kaneko, H, Sessa, S: Fixed point theorems for compatible multi-valued and single-valued mappings. Int. J. Math. Math. Sci. 12, 257-262 (1989)
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The author, therefore, acknowledges with thanks DSR technical and financial support. Also, the author would like to thank Prof. YJ Cho for fruitful discussion and Dr. W Sintunavarat for sending some important papers for the improvement of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to 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
Abdou, A.A. Common fixed point theorems for hybrid contractive pairs with the \((\mathit{CLR})\)-property. Fixed Point Theory Appl 2015, 138 (2015). https://doi.org/10.1186/s13663-015-0378-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0378-2