Abstract
In this paper, we prove a fixed point theorem and a common fixed point theorem for multi valued mappings in complete b-metric spaces.
Similar content being viewed by others
Introduction and preliminaries
Fixed point theory plays one of the important roles in nonlinear analysis. It has been applied in physical sciences, Computing sciences and Engineering. In 1922, Stefan Banach proved a famous fixed point theorem for contractive mappings in complete metric spaces. Later, Czerwik (1993, 1998) has come up with b-metrics which generalized usual metric spaces. After his contribution, many results were presented in \(\beta\)-generalized weak contractive multifunctions and b-metric spaces (Alikhani et al. 2013; Boriceanu 2009; Mehemet and Kiziltunc 2013). The following definitions will be needed in the sequel:
Definition 1
Nadler (1969) Let X and Y be nonempty sets. T is said to be multi-valued mapping from X to Y if T is a function for X to the power set of Y. we denote a multi-valued map by:
Definition 2
Nadler (1969) A point of \(x_0\in X\) is said to be a fixed point of the multi-valued mapping T if \(x_0\in Tx_0\).
Example 3
Joseph (2013) Every single valued mapping can be viewed as a multi-valued mapping. Let \(f{: }X \rightarrow Y\) be a single valued mapping. Define \(T{: }X \rightarrow 2^Y\) by \(Tx=\{f(x)\}\). Note that T is a multi-valued mapping iff for each \(x\in X, TX\subseteq Y\). Unless otherwise stated we always assume Tx is non-empty for each \(x,y\in X\).
Definition 4
Banach (1922) Led (X, d) be a metric space. A map \(T{: }X\rightarrow X\) is called contraction if there exists \(0\le \lambda <1\) such that \(d(Tx,Ty)\le \lambda d(x,y)\), for all \(x,y\in X\).
Definition 5
Nadler (1969) Let (X, d) be a metric space. We define the Hausdorff metric on CB(X) induced by d. That is
for all \(A,B\in CB(X)\), where CB(X) denotes the family of all nonempty closed and bounded subsets of X and \(d(x,B)=\inf \{d(x,b):b\in B\}\), for all \(x\in X\).
Definition 6
Nadler (1969) Let (X, d) be a metric space. A map \(T{: }X\rightarrow CB(X)\) is said to be multi valued contraction if there exists \(0\le \lambda < 1\) such that \(H(Tx,Ty)\le \lambda d(x,y)\), for all \(x,y\in X\)
Lemma 7
Nadler (1969) If \(A,B \in CB(X)\) and \(a\in A\) , then for each \(\epsilon >0\) , there exists \(b\in B\) such that \(d(a,b) \le H(A,B)+ \epsilon\).
Definition 8
Aydi et al. (2012) Let X be a nonempty set and let \(s\ge 1\) be a given real number. A function \(d{: }X\times X\rightarrow \mathbb {R^+}\) is called a b-metric provide that, for all \(x,y,z\in X\),
-
1.
\(d(x,y)=0\) if and only if \(x=y\)
-
2.
\(d(x,y)= d(y,x)\)
-
3.
\(d(x,z)\le s[d(x,y)+d(y,z)]\).
A pair(X, d) is called a b-metric space.
Example 9
Boriceanu (2009) The space \(l_p(0<p<1)\), \(l_p = \{ (x_n{: }\displaystyle \sum\nolimits _{n=1}^\infty |x_n|^p <\infty \}\), together with the function \(d{: }l_p\times l_p\rightarrow \mathbb {R^+}\).
Example 10
Boriceanu (2009) The space \(L_p(0<p<1)\) for all real function \(x(t), t\in [0,1]\) such that \(\int _0^1|x(t)|^p dt< \infty\), is b-metric space if we take \(d(x,y)= (\int _0^1 |x(t)-y(t)|^p dt)^{\frac{1}{p}}\).
Example 11
Aydi et al. (2012) Let \(X=\{0,1,2\}\) and \(d(2,0)=d(0,2)=m\ge 2\), \(d(0,1)=d(1,2)=d(0,1)=d(2,1)=1\) and \(d(0,0)=d(1,1)=d(2,2)=0\). Then \(d(x,y)\le \frac{m}{2}[d(x,z)+d(z,y)]\) for all \(x,y,z\in X\). If \(m>2\),the ordinary triangle inequality does not hold.
Definition 12
Boriceanu (2009) Let (X, d) be a b-metric space. Then a sequence \((x_n)\) in X is called Cauchy sequence if and only if for all \(\epsilon >0\) there exists \(n(\epsilon )\in \mathbb {N}\) such that for each \(m,n\ge n(\epsilon )\) we have \(d(x_n,x_m)< \epsilon\).
Definition 13
Boriceanu (2009) Let be a (X, d) b-metric space. Then a sequence \((x_n)\) in X is called convergent sequence if and only if there exists \(x\in X\) such that for all \(\epsilon >0\) there exists \(n(\epsilon )\in \mathbb {N}\) such that for all \(n\ge n(\epsilon )\) we have \(d(x_n,x)<\epsilon\). In this case we write \(\displaystyle \lim _{n\rightarrow \infty }x_n =x\)
Our first result is the following theorem.
Main results
Definition 14
Let (X, d) be a b-metric space with constant \(s\ge 1\). A map \(T{: }X\rightarrow CB(X)\) is said to be multi valued generalized contraction if
for all \(x,y \in X\) and \(a_i\ge 0,\quad i=1,2,3,\ldots 6\) with \(a_1+a_2+2sa_3+a_4+a_5+a_6 < 1\).
Theorem 15
Let (X, d) be a complete b-metric space with constant \(s\ge 1\). Let \(T:X\rightarrow CB(X)\) be a multi valued generalized contraction mapping. Then T has a unique fixed point.
Proof
Fix any \(x\in X\). Define \(x_0=x\) and let \(x_1\in Tx_0\). By Lemma 7, we may choose \(x_2\in Tx_1\) such that \(d(x_1,x_2)\le H(Tx_0,Tx_1)+(a_1+sa_3+a_5+a_6)\).
Now,
By Lemma 7, there exist \(x_3\in Tx_2\) such that \(d(x_2,x_3)\le d(Tx_1,x_2)+\frac{(a_1+sa_3+a_5+a_6)^2}{1-(a_2+sa_3)}\).
Now,
Continuing this process, we obtain by induction a sequence \(\{x_n\}\) such that \(x_n\in Tx_{n-1}, x_{n+1}\in Tx_n\) such that
for all \(n\in \mathbb {N}\) and let \(k=\frac{(a_1+sa_3+a_5+a_6)}{1-(a_2+sa_3)}\)
Since \(k<1, \sum k^n\) and \(\sum nk^n\) have same radius of convergence. Then, \(\{x_n\}\) is a Cauchy sequence. But (X, d) is a complete b-metric space, it follows that \(\{x_n\}_{n=0}^\infty\) is convergent.
Now,
Using (1), we obtain,
The above inequality is true unless \(d(u,Tu)=0\). Thus, \(Tu=u\).
Now we show that u is the unique fixed point of T. Assume that v is another fixed point of T. Then we have \(Tv=v\) and
we obtain, \(d(u,v)\le 2s d(u,v)\). This implies that \(u = v\). This completes the proof.\(\square\)
Theorem 16
Let \(\left( X,d\right)\) be a complete b-metric space with constant \(\lambda \ge 1\). Let \(T, S{: }X\rightarrow CB \left( X\right)\) be a multi valued mapping satisfies the condition:
for all x,y \(\in\) X and \(a_i\ge 0,\) \(i=1,2,\ldots 5,\) with \(\left( a_1+a_2\right) \left( \lambda +1\right) + \left( a_3+a_4\right) \left( \lambda ^2+ \lambda \right) +2\lambda a_5 < 2,\) \(a_1+a_2+a_3+a_4+a_5 < 1.\) Then T and S have a unique common fixed point.
Proof
Fix any \(x\in X.\) Define \(x_0 = x\) and let \(x_1 \in Tx_0,x_2 \in Sx\) such that \(x_{2n+1} = Tx_{2n},x_{2n+2} = Sx_{2n+1},\) By Lemma 7, we may choose \(x_2 \in Sx_1\) such that \(d \left( x_1,x_2\right) \le H \left( Tx_0,Sx_1\right) +\left( a_1+a_5+\lambda a_3\right)\)
On the other hand and by symmetry,we have
Adding inequalities (2) and (3) , we obtain
Similarly, it can be shown that, there exists \(x_3 \in Tx_2\) such that
Continuing this process,we obtain by induction a sequence \(\left\{ x_n\right\}\) such that \(x_{2n+1} \in Tx_{2n},x_{2n+2}\in Sx_{2n+1}\) such that
Also,
Therefore,
Since \(0 < k < 1,\sum k^n\) and \(\sum nk^n\) have same radius of convergence. Then, \(\left\{ x_n\right\}\) is a Cauchy sequence. Since \(\left( X,d\right)\) is complete,there exists \(z\in X\) such that \(x_n \rightarrow z\).
We shall prove that z is a common fixed point of T and S.
Using (7) in (6) and letting as \(n\rightarrow \infty\), we obtain,
\([1-\lambda (a_2+ a_3)] d(z,Sz) \le 0.\)
\(1-\lambda \left( a_2+a_3\right) \le 0\) and \(S\left( z\right)\)is closed. Thus, \(S\left( z\right) = z\).
Similarly, \(T\left( z\right) =z\).
We show that z is the unique fixed point of S and T. Now,
Since \([1-(a_3+a_4+a_5)] > 0, d(z,v)=0.\) Hence, S and T have a unique common fixed point.\(\square\)
Example 17
Let \(X=\mathbf R\). We define \(d:X \times X \rightarrow X\) by \(d(x,y)= ( \vert x-y \vert )\), for all \(x,y \in X\). Then (X, d) is a complete \(b-\) metric space.
Define \(T:X \rightarrow CB(X)\) by \(Tx = \dfrac{x}{10}\), for all \(x,y \in X.\) Then,
Therefore, \(0 \in X\) is the unique fixed point of T.
Conclusion
Many authors have contributed some fixed point results for a self mappings in b-metric spaces. In this paper, we have proved the existence and uniqueness of fixed point results for a multivalued mappings in b-metric spaces. Our contraction mappings also generalize various known contractions like Hardy Roger contraction in the current literature.
References
Alikhani H, Gopal D, Miandaragh MA, Rezapour Sh, Shahzad N (2013) Some endpoint results for \(\beta\)-generalized weak contractive multifunctions. Sci World J 2013:7. Article ID 948472
Aydi H et al (2012) A fixed point theorem for set-valued quasi-contractions in b-metric spaces. Fixed Point Theory Appl 2012:88. doi:10.1186/1687-1812-2012-88
Banach S (1922) Sur les operations dans les ensembles abstraits et leur application aux equations integrales. Fundam Math 3:133–181
Boriceanu M (2009) Fixed point theory for multivalued generalized contraction on a set with two b-metrics. Stud Univ Babes-Bolyai Math LIV(3):1–14
Czerwik S (1993) Contraction mappings in b-metric spaces. Acta Math Inform Univ Ostraviensis 1:5–11
Czerwik S (1998) Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin Math Fis Univ Modena 46(2):263–276
Maria Joseph J, Ramganesh E (2013) Fixed point theorem on multi-valued mappings. Int J Anal Appl 1(2):127–132
Mehemet K, Kiziltunc H (2013) On some well known fixed point theorems in b-metrics spaces. Turk J Anal Appl 1(1):13–16
Nadler SB (1969) Multi-valued contraction mappings. Pac J Math 30:475–488
Author’s contributions
All authors contributed equally to the writing of this manuscript. All authors read and approved the final manuscript.
Acknowledgements
The authors thank the editor and the referees for their useful comments and suggestions to improve the quality of this work.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
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
Maria Joseph, J., Dayana Roselin, D. & Marudai, M. Fixed point theorems on multi valued mappings in b-metric spaces. SpringerPlus 5, 217 (2016). https://doi.org/10.1186/s40064-016-1870-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-1870-9