Abstract
In this paper, we introduce the concept of q-set-valued α-quasi-contraction mapping and establish the existence of a fixed point theorem for this mapping in b-metric spaces. Our results are generalizations and extensions of the result of Aydi et al. (Fixed Point Theory Appl. 2012:88, 2012) and some recent results. We also state some illustrative examples to claim that our results properly generalize some results in the literature. Further, by applying the main results, we investigate a fixed point theorem in a b-metric space endowed with an arbitrary binary relation. At the end of this paper, we give open problems for further investigation.
MSC:47H10, 54H25.
Similar content being viewed by others
1 Introduction
Fixed point theory is one of the cornerstones in the development of mathematics since it plays a basic role in applications of many branches of mathematics. The famous Banach contraction principle is one of the most efficient power tools to study in this field since it can be observed easily and comfortably. In 1989, Bakhtin [1] introduced the concept of b-metric space and presented the contraction mapping in b-metric spaces that is generalization of the Banach contraction principle in metric spaces (see also Czerwik [2]). Subsequently, several researchers studied fixed point theory or the variational principle for single-valued and set-valued mappings in b-metric spaces (see [3–9] and references therein).
Recently, Aydi et al. [10] established the q-set-valued quasi-contraction mapping which is a generalization of the q-set-valued quasi-contraction mapping due to Amini-Harandi [11] in 2011. They also established a fixed point theorem for such a mapping in b-metric spaces. This theorem extends, unifies and generalizes several well-known comparable results in the existing literature.
On the other hand, Samet et al. [12] introduced the concept of α-admissible mapping and using this concept proved a fixed point theorem for a single-valued mapping. They also showed that these results can be utilized to derive fixed point theorems in partially ordered spaces and coupled fixed point theorems. Moreover, they applied the main results to ordinary differential equations. Recently, Mohammadi et al. [13] introduced the concept of α-admissible for a set-valued mapping which is different from the notion of -admissible which was provided in [14]. Subsequently, there are a number of results via the concept of α-admissible mapping in many spaces (see [15–20] and references therein).
Inspired and motivated by Aydi et al. [10] and Mohammadi et al. [13], we introduce the class of q-set-valued α-quasi-contraction mappings and give a fixed point theorem for such mappings via the idea of α-admissible mapping. Our result improves and complements the main result of Aydi et al. [10] and many results in the literature. We also provide some examples to show the generality of our result. The applications for fixed point theorems in a b-metric space endowed with an arbitrary binary relation are also derived from our results. Furthermore, at the end of this paper, we give open problems for further investigation.
2 Auxiliary notions
Throughout this paper, the standard notations and terminologies in nonlinear analysis are used. For the convenience of the reader, we recall some of them. In the sequel, ℝ, and ℕ denote the set of real numbers, the set of nonnegative real numbers and the set of positive integers, respectively.
Let X be a nonempty set and be a given real number. A functional is called a b-metric if for all the following conditions are satisfied:
-
(1)
if and only if ;
-
(2)
;
-
(3)
.
A pair is called a b-metric space (with constant s).
It is easy to see that any metric space is a b-metric space with . Therefore, the class of b-metric spaces is larger than the class of metric spaces.
Some known examples of b-metric, which show that a b-metric space is real generalization of a metric space, are the following.
Example 2.2 The set of real numbers together with the functional
for all is a b-metric space with constant . Also, we obtain that d is not a metric on X.
Example 2.3 The set with , where , together with the functional ,
for each , is a b-metric space with coefficient . It is obtained that the above result also holds for the general case with , where X is a Banach space.
Example 2.4 Let p be a given real number in the interval . The space of all real functions , such that , together with the functional
is a b-metric space with constant .
Example 2.5 Let and a functional be defined by
and
where m is a given real number such that . It is easy to see that
for all . Therefore, is a b-metric space with constant . However, if , the ordinary triangle inequality does not hold and thus is not a metric space.
Next, we recall the notions of convergence, compactness, closedness and completeness in a b-metric space (see in [5]).
Definition 2.6 ([5])
Let be a b-metric space. The sequence in X is called:
-
(1)
convergent if and only if there exists such that as . In this case, we write .
-
(2)
Cauchy if and only if as .
Remark 2.7 In a b-metric space , the following assertions hold:
-
(1)
a convergent sequence has a unique limit;
-
(2)
each convergent sequence is Cauchy;
-
(3)
in general, a b-metric is not continuous.
Definition 2.8 ([5])
Let Y be a nonempty subset of a b-metric space . The closure of Y is the set of limits of all convergent sequences of points in Y, i.e.,
Definition 2.9 ([5])
Let be a b-metric space. A subset is called:
-
(1)
closed if and only if for each sequence in Y, which converges to an element x, we have (i.e., );
-
(2)
compact if and only if for every sequence of element in Y there exists a subsequence that converges to an element in Y;
-
(3)
bounded if and only if .
Definition 2.10 The b-metric space is complete if every Cauchy sequence in X converges.
Now, we consider the following notations of a collection of subsets of a b-metric space :
Here, we give the concept of generalized functionals on a b-metric space .
Definition 2.11 Let be a b-metric space.
-
(1)
The functional is said to be gap functional if and only if it is defined by
In particular, if , then .
-
(2)
The functional is said to be excess generalized functional if and only if it is defined by
-
(3)
The functional is said to be Pompeiu-Hausdorff generalized functional if and only if it is defined by
It is well know (see in [7]) that is a complete b metric space provided is a complete b-metric space.
Remark 2.12 For a b-metric space , we have
for all and . We also obtain that for , we get
for all .
The following lemmas from Czerwik [7] are useful for some of the proofs in the main result.
Lemma 2.13 ([7])
Let be a b-metric space. Then
for all and . In particular, we have
for all and .
Lemma 2.14 ([7])
Let be a b-metric space. Then
for all .
Lemma 2.15 ([7])
Let be a b-metric space and . Then, for each and for all , there exists such that .
Lemma 2.16 ([7])
Let be a b-metric space. For and , we have
Lemma 2.17 ([21])
Let be a b-metric space (with constant ), and let be a sequence in X such that
for all , where . Then the sequence is a Cauchy sequence in X provided that .
Definition 2.18 ([12])
Let X be a nonempty set, and . We say that t is α-admissible if
Let X be a nonempty set, , where is a collection of subsets of X and . We say that
-
(1)
T is -admissible if
where .
-
(2)
T is α-admissible whenever for each and with , we have for all .
Remark 2.20 It is easy to prove that the set-valued mapping T is -admissible implies that T is α-admissible mapping.
3 The existence of fixed point theorems for a set-valued mapping in b-metric spaces
In this section, we introduce the q-set-valued α-quasi-contraction mapping and obtain the existence of a fixed point theorem for such a mapping in b-metric spaces.
Definition 3.1 Let be a b-metric space and be a mapping. The set-valued mapping is said to be a q-set-valued α-quasi-contraction if
for all , where and
Next, we give the main result in this paper.
Theorem 3.2 Let be a complete b-metric space (with constant ) such that the b-metric is a continuous functional on , let be a mapping, and let be a q-set-valued α-quasi-contraction. Suppose that the following conditions hold:
-
(i)
T is α-admissible;
-
(ii)
there exist and such that ;
-
(iii)
if is a sequence in X such that for all and as for some , then .
If we set , then T has a fixed point in X, that is, there exists such that .
Proof We obtain that if and only if is a fixed point of T. Therefore, we suppose that for all .
Next, we set
Since , we obtain that and .
Starting from (ii), we can choose and such that . By Lemma 2.15, there exists such that
Since and such that and from T is α-admissible, we have . Using Lemma 2.15, there exists such that
By induction, we can construct a sequence in X such that, for each , we have
and
Assume that for some , then we have , so the proof is completed. For the rest, assume that for each , .
For each , we get
This implies that
for all , where .
Since , and , we have
By (3.3), (3.4) and Lemma 2.17, the sequence is Cauchy in . It follows from the completeness of X that there exists such that
Next, we show that . By condition (iii), we have . From Lemma 2.13 and (3.1), for , we have
Letting in the above inequality, we get
Since , we get . From (3.6), we have . By Lemma 2.16, we get , that is, u is a fixed point of T. This completes the proof. □
Theorem 3.3 Let be a complete b-metric space (with constant ) such that the b-metric is a continuous functional on , let be a mapping, and let be a q-set-valued α-quasi-contraction. Suppose that the following conditions hold:
-
(i)
T is -admissible;
-
(ii)
there exist and such that ;
-
(iii)
if is a sequence in X such that for all and as for some , then .
If we set , then T has a fixed point in X, that is, there exists such that .
Proof We can prove this result by using Theorem 3.2 and Remark 2.20. □
Corollary 3.4 (Theorem 2.2 in [10])
Let be a complete b-metric space (with constant ) such that the b-metric is a continuous functional on , and let be a q-set-valued quasi-contraction. If we set , then T has a fixed point in X, that is, there exists such that .
Proof Setting for all . By Theorem 3.2 (or Theorem 3.3), we obtain the desired result. □
Remark 3.5 The condition of q in Theorem 3.2 becomes if we take (it corresponds to the case of metric spaces). Therefore, Theorems 3.2 and 3.3 are generalization of many known results in metric spaces.
Remark 3.6 Theorem 3.2 is an extension of Theorem 2.2 of Aydi et al. [10], which itself extends and improves the results of Amini-Harandi [11], Daffer and Kaneko [22], Rouhani and Moradi [23] and Singh et al. [21].
The following example shows that Theorem 3.2 properly generalizes the main result, Theorem 2.2, of Aydi et al. [10].
Example 3.7 Let with the functional be defined by . Clearly, is a complete b-metric space with constant . Define the set-valued mapping by
and by
We obtain that and . Therefore,
for all . This implies that the contraction condition of Theorem 2.2 of Aydi et al. [10] is not true for this case. Therefore, Theorem 2.2 cannot be used to claim the existence of a fixed point of T.
Next, we show that our result can be applied to this case. First of all, we show that T is a q-set-valued α-quasi-contraction mapping, where . We need only to show the case of since the other case is trivial. For , we have
This shows that T is a q-set-valued α-quasi-contraction mapping. Also, we have
It is easy to check that T is an α-admissible mapping. For and , we have . Further, for any sequence in X with as for some and for all , we obtain that for all .
Therefore, all hypotheses of Theorem 3.2 are satisfied, and so T has infinitely many fixed points.
Next, we give the result for a single-valued mapping which is an extension of Corollary 2.4 of Aydi et al. [10] and the result of Ćirić [24].
Corollary 3.8 Let be a complete b-metric space (with constant ) such that the b-metric is a continuous functional on , let be a mapping, and let be a q-single-valued α-quasi-contraction, that is,
for all , where and
Suppose that the following conditions hold:
-
(i)
t is α-admissible;
-
(ii)
there exists such that ;
-
(iii)
if is a sequence in X such that for all and as for some , then .
If we set , then t has a fixed point in X, that is, there exists such that .
Proof It follows by applying Theorem 3.2 or 3.3. □
4 Applications on a b-metric space endowed with an arbitrary binary relation
In this section, we give the existence of fixed point theorems on a b-metric space endowed with an arbitrary binary relation.
Before presenting our results, we give the following definitions.
Definition 4.1 Let be a b-metric space and ℛ be a binary relation over X. We say that is a preserving mapping if for each and with , we have for all .
Definition 4.2 Let be a b-metric space and ℛ be a binary relation over X. The set-valued mapping is said to be a q-set-valued quasi-contraction with respect to ℛ if
for all for which , where and
Theorem 4.3 Let be a complete b-metric space (with constant ) such that the b-metric is a continuous functional on , ℛ be a binary relation over X and be a q-set-valued quasi-contraction with respect to ℛ. Suppose that the following conditions hold:
-
(i)
T is a preserving mapping;
-
(ii)
there exist and such that ;
-
(iii)
if is a sequence in X such that for all and as for some , then .
If we set , then T has a fixed point in X, that is, there exists such that .
Proof Consider the mapping defined by
From condition (ii), we get . It follows from T is a preserving mapping that T is an α-admissible mapping. Since T is a q-set-valued quasi-contraction with respect to ℛ, we have, for all ,
This implies that T is a q-set-valued α-quasi-contraction mapping. Now all the hypotheses of Theorem 3.2 are satisfied and so the existence of the fixed point of T follows from Theorem 3.2. □
Next, we give some special case of Theorem 4.3 in partially ordered b-metric spaces. Before studying next results, we give the following definitions.
Definition 4.4 Let X be a nonempty set. Then is called a partially ordered b-metric space if is a b-metric space and is a partially ordered space.
Definition 4.5 Let be a partially ordered b-metric space. We say that is a preserving mapping with ⪯ if for each and with , we have for all .
Definition 4.6 Let be a partially ordered b-metric space. The set-valued mapping is said to be a q-set-valued quasi-contraction with respect to ⪯ if
for all for which , where and
Corollary 4.7 Let be a complete partially ordered b-metric space (with constant ) such that the b-metric is a continuous functional on and be a q-set-valued quasi-contraction with respect to ⪯. Suppose that the following conditions hold:
-
(i)
T is a preserving mapping with ⪯;
-
(ii)
there exist and such that ;
-
(iii)
if is a sequence in X such that for all and as for some , then .
If we set , then T has a fixed point in X, that is, there exists such that .
Proof The result follows from Theorem 4.3 by considering the binary relation ⪯. □
Open question 1 In Theorems 3.2 and 3.3, can we find the sufficient condition to prove the uniqueness of a fixed point for a set-valued mapping?
Open question 2 Is the fixed point problem for a q-set-valued α-contraction mapping well posed?
References
Bakhtin IA: The contraction mapping principle in quasimetric spaces. Funct. Anal., Unianowsk Gos. Ped. Inst. 1989, 30: 26–37.
Czerwik S: Contraction mappings in b -metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1: 5–11.
Abusalim SM, Md Noorani MS: Fixed point and common fixed point theorems on ordered cone b -metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 815289
Boriceanu M: Fixed point theory for multivalued generalized contraction on a set with two b -metrics. Stud. Univ. Babeş-Bolyai, Math. 2009, LIV(3):3–14.
Boriceanu M, Bota M, Petrusel A: Multivalued fractals in b -metric spaces. Cent. Eur. J. Math. 2010, 8(2):367–377. 10.2478/s11533-010-0009-4
Czerwik S, Dlutek K, Singh SL: Round-off stability of iteration procedures for operators in b -metric spaces. J. Natur. Phys. Sci. 1997, 11: 87–94.
Czerwik S: Nonlinear set-valued contraction mappings in b -metric spaces. Atti Semin. Mat. Fis. Univ. Modena 1998, 46(2):263–276.
Hussain N, Shah MH, Harandi AA, Akhtar Z: Common fixed point theorems for generalized contractive mappings with applications. Fixed Point Theory Appl. 2013., 2013: Article ID 169
Parvaneh V, Roshan JR, Radenovic S: Existence of tripled coincidence point in ordered b -metric spaces and application to a system of integral equations. Fixed Point Theory Appl. 2013., 2013: Article ID 130
Aydi H, Bota M-F, Karapinar E, Mitrović S: A fixed point theorem for set-valued quasicontractions in b -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 88
Amini-Harandi A: Fixed point theory for set-valued quasi-contraction maps in metric spaces. Appl. Math. Lett. 2011, 24(11):1791–1794. 10.1016/j.aml.2011.04.033
Samet B, Vetro C, Vetro P: Fixed point theorems for α - ψ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014
Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α - ψ -Ciric generalized multifunctions. Fixed Point Theory Appl. 2013., 2013: Article ID 24
Asl JH, Rezapour S, Shahzad N: On fixed points of α - ψ -contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212
Agarwal, RP, Sintunavarat, W, Kumam, P: PPF dependent fixed point theorems for an -admissible non-self mapping in the Razumikhin class. Fixed Point Theory Appl. (to appear)
Alghamdi MA, Karapinar E: G - β - ψ contractive type mappings and related fixed point theorems. J. Inequal. Appl. 2013., 2013: Article ID 70
Hussain N, Karapinar E, Salimi P, Vetro P: Fixed point results for -Meir-Keeler contractive and G - -Meir-Keeler contractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 34
Kutbi MA, Sintunavarat W: The existence of fixed point theorems via w -distance and α -admissible mappings and applications. Abstr. Appl. Anal. 2013., 2013: Article ID 165434
Hussain N, Salimi P, Latif A: Fixed point results for single and set-valued α - η - ψ -contractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 212
Salimi P, Latif A, Hussain N: Modified α - ψ -contractive mappings with applications. Fixed Point Theory Appl. 2013., 2013: Article ID 151
Singh SL, Czerwik S, Krol K, Singh A: Coincidences and fixed points of hybrid contractions. Tamsui Oxford Univ. J. Math. Sci. 2008, 24(4):401–416.
Daffer PZ, Kaneko H: Fixed points of generalized contractive multi-valued mappings. J. Math. Anal. Appl. 1995, 192: 655–666. 10.1006/jmaa.1995.1194
Djafari Rouhani B, Moradi S:Common fixed point of multivalued generalized -weak contractive mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 708984
Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.
Acknowledgements
This research was supported by the Commission on Higher Education, the Thailand Research Fund and the Rajamangala University of Technology Lanna Tak (Grant No. MRG5580233).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Sintunavarat, W., Plubtieng, S. & Katchang, P. Fixed point result and applications on a b-metric space endowed with an arbitrary binary relation. Fixed Point Theory Appl 2013, 296 (2013). https://doi.org/10.1186/1687-1812-2013-296
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-296