Abstract
In this paper we prove the existence of a fixed point for multivalued maps satisfying a contraction condition in terms of Q-functions, and via Bianchini-Grandolfi gauge functions, for complete -quasipseudometric spaces. Our results extend, improve, and generalize some recent results in the literature. We present some examples to validate and illustrate our results.
MSC:54H25, 47H10, 54E50.
Similar content being viewed by others
1 Introduction and preliminaries
The notion of metric space, introduced by Fréchet [1], is one of the cornerstones of both applied and pure mathematics. The metric space is indispensable in many branches of mathematics. For example, in these days, one of the core topics in group theory is to construct a metric on a given group under the certain conditions. Due to its wide application areas in all quantitative sciences, this notion has been generalized and extended in various way, such as quasimetrics, symmetrics, b-metrics, G-metrics, fuzzy metrics, etc. Among all, we attract attention to the notion of Q-function, introduced by Al-Homidan et al. [2] in the framework of quasimetric space as an extension of the concept of w-distance defined by Kada et al. [3]. In fact, the authors of [2] proved, among other results, a quasimetric version of the celebrated Nadler fixed point theorem [4]. Recently, Marín et al. [5] generalized some results of [2] by using Bianchini-Grandolfi gauge functions. Almost simultaneously, Latif and Al-Mezel [6] obtained a quasimetric generalization of a well-known fixed point theorem of Mizoguchi and Takahashi [[7], Theorem 5] (see also [8, 9]) for multivalued maps on complete metric spaces.
In this paper we prove the existence of fixed point for a lower semicontinuous multivalued map satisfying certain contraction condition in terms of Q-functions via Bianchini-Grandolfi gauge functions on a complete -quasipseudometric space. We also prove a weaker version of that theorem by removing the lower semicontinuity assumption. We state some examples to show the validity of the conditions and to indicate our generalizations have worth, and finally give applications to the case of contractive multivalued maps on complete partial metric spaces. Our results improve, generalize, and extend several known results in this direction.
Let ℕ denote the set of positive integer numbers, while ω denotes the set of nonnegative integer numbers.
For the sake of completeness of the paper, we recall several pertinent notions and fundamental results.
Let X be nonempty set and be a function such that
(qpm1) , and
(qpm2) ,
for all . Then d is called a -quasipseudometric on a set X. The pair is said to be a -quasipseudometric space.
If one replaces the condition (qpm1) with the stronger condition
,
then d is called a quasimetric on X. In this case, the pair is said to be a quasimetric space.
In the sequel we will use the abbreviation -qpm (respectively, -qpm space) instead of -quasipseudometric (respectively, -quasipseudometric space).
Given a -qpm d on a set X, the function defined by is also a -qpm, called the conjugate of d. It is clear that the function defined by is a metric on X. (Note that if d is a metric on X, then .)
Consequently, every -qpm d on X induces three topologies defined as follows.
() The first topology, which has as a base the family of open balls , where for all and .
() The second topology, which has as a base the family of open balls , where for all and .
() The last topology induced by the metric and denoted by .
Notice that both and are topologies on X. Furthermore, if d is a quasimetric on X, then is also a quasimetric on X and hence, both and are topologies on X.
It immediately follows that a sequence in a -qpm space is -convergent to if and only if . Analogously, a sequence in a -qpm space is -convergent to if and only if .
In the literature, the notion of completeness for quasimetric spaces can be varied; see e.g. [5, 10, 11]. In the context of our paper we shall use the following very general notion: A -qpm space is said to be complete if every Cauchy sequence in the metric space is -convergent.
Now, we recall the definition of Q-function, as introduced by Al-Homidan-Ansari-Yao [2].
Definition 1 Let be a -qpm space and be a function which satisfies
(Q1) , for all ,
(Q2) if , and is a sequence in X that -converges to a point , and satisfies , for all , then ,
(Q3) for each there exists such that and imply .
Then q is called a Q-function on .
If q satisfies conditions (Q1) and (Q3), and
() for each the function is -lower semicontinuous on ,
then q is called a w-distance on . Note that every w-distance is a Q-function.
Remark 1 It is evident that d is a w-distance on if d is a metric on X. Note also that if is a -qpm space then d is not necessarily a Q-function on [[2], Example 2.3] (see also [[5], Proposition 2.3]).
We conclude this section with the following simple fact which will be useful in the rest of the paper.
Lemma 1 [5]
Let q be a Q-function on a -qpm space , let and let for which condition (Q3) holds. If and then .
2 Main results
Let be a -qpm space. The collection of all nonempty subsets (respectively, -closed subsets) of X will be denoted by (respectively, ).
Let Ψ be the family of functions satisfying the following conditions:
() φ is nondecreasing;
() for all , where is the n th iterate of φ.
These functions are known in the literature as Bianchini-Grandolfi gauge functions in some sources (see e.g. [12–14]) and as -comparison functions in some other sources (see e.g. [15]). It is easily proved that if , then for any (see e.g. [15]).
The following lemma will be crucial to prove our first theorem.
Lemma 2 Let be a -qpm space, q a Q-function on , a Bianchini-Grandolfi gauge function and a multivalued map such that for each and ; there is satisfying
Then, for each there is a sequence satisfying the following three conditions:
-
(a)
for all .
-
(b)
For each there exists such that whenever .
-
(c)
is a Cauchy sequence in the metric space .
Proof Fix . Let . By hypothesis, there exists such that
Similarly, there exists such that
Following this process we construct a sequence in X such that and
for all .
Now we distinguish two cases.
Case 1. There exists such that . Then, by condition (2) and the fact that for all , we deduce that . Repeating this argument, we obtain for all , so, by condition (Q1), whenever . It follows from Lemma 1 that for each , whenever , and thus is a Cauchy sequence in . Thus we have shown that conditions (a), (b), and (c) are satisfied.
Case 2. for all . Then, by condition (2) and the fact that for all , we deduce that for all , so
for all . Therefore
for all . Now choose an arbitrary . Let for which condition (Q3) holds. We shall show that conditions (b) and (c) hold. Indeed, since , , so there is such that
Then, for , we obtain
In particular, and whenever . Thus, by Lemma 1, whenever . Hence is a Cauchy sequence in . This concludes the proof. □
We also need the following notion.
Definition 2 Let q be a Q-function on a -qpm space . We say that a multivalued map is q-lower semicontinuous (q-l.s.c. in short) if the function is lower semicontinuous on the metric space , where .
Remark 2 An antecedent of the above concept can be found in Theorem 3.3 of the paper by Daffer and Kaneko [8], where they proved a generalization of Nadler’s fixed point theorem for a multivalued map T on a complete metric space by assuming that the function is lower semicontinuous on .
Before establishing our first fixed point result we recall that a point is said to be a fixed point of a multivalued map if .
Theorem 1 Let be a complete -qpm space, q a Q-function on , a Bianchini-Grandolfi gauge function and a q-l.s.c. multivalued map such that for each and , there is satisfying
Then T has a fixed point such that .
Proof Fix . Then there is a sequence satisfying the three conditions (a), (b) and (c) of Lemma 2. Since is complete, there exists such that .
We shall prove that . To this end, first we prove that . Indeed, given take for which condition (Q3) holds. Fix . By condition (b), we have whenever , so from condition (Q2) we deduce that whenever .
Next we show that . Indeed, given take for which condition (Q3) holds. Since and whenever , it follows from Lemma 1 that whenever .
Now we prove that there is a sequence in Tz such that . Indeed, since the sequence satisfies (b) and, by assumption, T is q-l.s.c., we deduce that there exists a subsequence of such that
for all . Therefore, there exists a sequence in Tz satisfying
for all . Hence
Then, by (Q1) and the fact that , we deduce that . So, by (Q3) and Lemma 1, we obtain
Consequently . Finally, by (7), (8), and condition (Q2). □
Next we give an example which shows that q-lower semicontinuity of T cannot be omitted in Theorem 1 not even when is a complete metric space.
Example 1 Let , where , and let d be the restriction to X of the usual metric on the set of real numbers. It is clear that is a complete metric space.
Now let be given by
for all ,
for all ,
for all , ,
for all ,
for all ,
for all , and
for all .
It is easy to check that q is a Q-function (actually it is a w-distance) on .
Define as
,
for all , and
for all .
Since and for all , we deduce that T is not q-l.s.c. Moreover, it is obvious that T has no fixed point. However, we shall show that the contraction condition (6) is satisfied for the Bianchini-Grandolfi gauge function φ defined as for all .
To this end, we first note that for , , and , we have , with , and hence
Similarly, if , and , we take , and thus
If , , and , we have and taking , we deduce
Now, if and , we have and where , so that
Similarly, if , with , and , we have and where , so that
Finally, for , , and , we have and , with , so that
The case that and is similar, and hence it is omitted.
Our next fixed point result shows that q-lower semicontinuity of T can be removed if the contraction condition (6) is replaced with .
Theorem 2 Let be a complete -qpm space, q a Q-function on , a Bianchini-Grandolfi gauge function and a multivalued map such that for each and , there is satisfying
Then T has a fixed point.
Proof Fix . Then there is a sequence satisfying the three conditions (a), (b), and (c) of Lemma 2. Since is complete, there exists such that .
Now, as in the proof of Theorem 1, we obtain .
For each , take such that
We show that . Indeed, given there exists such that and for all . Take any . If , then . Otherwise, we have
so, by (10) and the fact that for all , we deduce that .
Consequently
by Lemma 1. We conclude that . □
The following consequences of Theorem 2, which are also illustrated by Example 4 below, improve and generalize in several directions the Banach contraction principle.
Corollary 1 Let be a complete -qpm space, q a Q-function on , a Bianchini-Grandolfi gauge function and a multivalued map such that for each and , there is satisfying
Then T has a fixed point.
If we take where we get one of the main results in [2].
Corollary 2 Let be a complete -qpm space, q a Q-function on , a multivalued map and such that for each and , there is satisfying
Then T has a fixed point.
Corollary 1 was proved in [[5], Theorem 3.3]. In fact, it was showed that there is a fixed point of T such that . This suggests the following question that remains open: Under the conditions of Theorem 2, is there is a fixed point of T such that ?
Remark 3 Example 1 shows that Theorem 2 is not true when the contraction condition (9) is replaced with . Indeed, take in that example, , and . Then we have , and hence .
Theorems 1 and 2 are independent from each other. The following two examples show this fact.
Example 2 Let , i.e., , and let d be the quasimetric on X defined as
for all ,
if , and
if .
Clearly is a complete quasimetric space and is the discrete topology on X, so . Furthermore, it is almost obvious that d is a w-distance on .
Now let given as
,
, and
for all .
Since is the discrete topology on X it immediately follows that T is d-l.s.c.
Consider the Bianchini-Grandolfi gauge function φ given by
if , and
if , .
An easy computation of the different cases shows that the contraction condition (6) is satisfied. Indeed, let and . In the cases where for we can choose , the conclusion is obvious. Therefore, we briefly discuss the rest of the cases.
If , , we have , and taking we deduce
If , and , we have and thus
If , and , with , we deduce
If , and , take , and, as in the preceding case,
If , and , take and thus (recall that or )
Finally, if and , with , take and thus
Hence, all conditions of Theorem 1 are satisfied. However, we cannot apply Theorem 2 because for , , and any , we have
Example 3 Let , where , and let d be the restriction to X of the usual metric on the set of real numbers. It is clear that is a complete metric space.
Now let be given by
for all ,
,
for all ,
for all ,
for all , and
for all .
It is not difficult to check that q is a w-distance on .
Define as
,
, and
for all ,
and let φ be the Bianchini-Grandolfi gauge function given by for all .
Notice that T is not q-l.s.c. because , but for each ,
Hence, we cannot apply Theorem 1 to this example. We show that, nevertheless, the contraction condition (9) is satisfied and consequently the conditions of Theorem 2 hold.
Indeed, let and . In the cases where for we can choose , the conclusion is obvious. Therefore we discuss the rest of the cases.
If and , take , and thus
If , and , we have , and, as in the preceding case, .
If , and , take , and, as in the preceding case, .
If , and , take , and thus
Finally, if and , take , and thus
We conclude this section with an example where the conditions of Theorems 1 and 2 are satisfied, but for which we cannot apply Corollary 1.
Example 4 Let and let d be the -qpm on X defined as
for all ,
for all , and
otherwise.
It is clear that d is complete. In fact, is the discrete metric on X.
Moreover, it is easy to check that the function defined as
for all , is a w-distance on .
Now let given as
,
if , and
,
and let given as if , and if .
Clearly φ is a Bianchini-Grandolfi gauge function (note that for and we have ).
We shall show that the conditions of Theorem 2 are satisfied. Note that it suffices to check (9). To this end, and due to the facts that , , and that q is symmetric we only consider the following cases.
-
Case 1. , and . Take . If , , and the inequality (1) is trivially satisfied. If we deduce that
-
Case 2. and . Take . Then the conclusion follows exactly as in Case 1.
-
Case 3. , and . Then . Taking , we deduce that
-
Case 4. , and . Taking , we deduce that
-
Case 5. , and . Take . Then
-
Case 6. , and . Taking , we deduce that
-
Case 7. and . Taking , we deduce that
Moreover, the conditions of Theorem 1 are also satisfied because T is trivially q-l.s.c.
Observe that, nevertheless, we cannot apply Corollary 1 to this example, because for , and , we only have , and thus
Furthermore, it cannot be applied to the complete metric space with because for , , and any we deduce that
Finally, note that the preceding relations also show that condition (9) does not follow for the -qpm d.
3 Application to partial metric spaces
Matthews introduced in [16] (see also [17]) the ‘equivalent’ notions of a weightable -qpm space and of a partial metric space in order to construct a consistent topological model for certain programming languages.
Let us recall that a -qpm space is weightable if there is a function such that
for all . In this case, we say that the pair is a weightable -qpm space. The function w is called a weighting function for .
Note that Matthews used the term ‘weightable quasimetric spaces’ for such spaces.
Now, we state the definition of partial metric space as given by Matthews [16, 17].
Definition 3 A partial metric on a set X is a function satisfying the following conditions for all :
(P1) ,
(P2) ,
(P3) ,
(P4) .
Then the pair is called a partial metric space.
Observe that from (P1) and (P2) it follows that if then .
Each partial metric p on a set X induces a topology on X, which has as a base the family of open p-balls where for all and .
A typical example of a partial metric space is the pair where and p is the partial metric on X given by for all .
A partial metric p on a set X induces, in a natural way, three metrics on X, denoted by , and , respectively, that are defined, for each , as follows:
,
, and
, and if .
It is easy to show (see e.g. [18]) that .
Matthews proved [[17], Theorems 4.1 and 4.2] that the concepts of weightable -qpm space and partial metric space are equivalent in the following sense.
Proposition 1 (i) Let be a weightable -qpm space with weighting function w. Then the function defined by for all is a partial metric on X. Furthermore, .
(ii) Conversely, let be a partial metric space. Then the function defined by for all is a weightable -qpm space on X. Furthermore, .
It is clear from the above proposition that for each partial metric p on X one has , and that for each weightable -qpm on X one has .
Since Matthews proved in [[17], Theorem 5.3] his well-known partial metric generalization of the Banach contraction principle several authors have investigated the problem of obtaining fixed points for a variety of contractive conditions for self-maps and multivalued maps on partial metric spaces. This research has been specially intensive in the last five years (see e.g. [19, 20] and the bibliographic references contained in them). In connection with our approach it is interesting to note that the partial metric induced by a weightable -qpm space allows us to construct some nice Q-functions on . This is stated in the next two lemmas. The first one was proved in [[5], Proposition 2.10].
Lemma 3 [5]
Let be a weightable -qpm space with weighting function w. Then the induced partial metric is a Q-function on .
A slight modification of the proof of the above lemma allows us to state the following.
Lemma 4 Let be a weightable -qpm space with weighting function w. Then the function defined by for all , is a Q-function on .
Then, and as a natural consequence of Theorems 1 and 2, we obtain the following results that generalize and improve, among other results, [[5], Theorem 3.3] and [[17], Theorem 3.5].
Corollary 3 Let be a partial metric space such that the induced weightable -qpm is complete, let be a Bianchini-Grandolfi gauge function and let be a multivalued map. If one of the following two conditions is satisfied, then T has a fixed point.
-
(A)
T is p-l.s.c. and for each and , there is satisfying
-
(B)
T is -l.s.c. and for each and , there is satisfying
Corollary 4 Let be a partial metric space such that the induced weightable -qpm is complete, let be a Bianchini-Grandolfi gauge function and let be a multivalued map. If one of the following two conditions is satisfied, then T has a fixed point.
-
(A)
For each and , there is satisfying
-
(B)
For each and , there is satisfying
Corollary 5 Let be a partial metric space such that the induced weightable -qpm is complete, let be a Bianchini-Grandolfi gauge function and let be a multivalued map. If one of the following two conditions is satisfied then T has a fixed point.
-
(A)
For each and , there is satisfying
-
(B)
For each and , there is satisfying
Corollary 6 Let be a partial metric space such that the induced weightable -qpm is complete, let be a multivalued map and . If one of the following two conditions is satisfied, then T has a fixed point.
-
(A)
For each and , there is satisfying
-
(B)
For each and , there is satisfying
Remark 4 Since the -qpm space of Example 4 is weightable (with weighting function w given by and otherwise), we deduce that Corollary 3(A) cannot be applied to the partial metric induced by d. Indeed, take , and in Example 4. Then for any , we have
We conclude the paper with a simple example where we can apply the part (B) of the above corollaries but not the part (A) of them.
Example 5 Let and let p be the partial metric on X given by for all . Obviously is a complete -qpm on X. Let such that and . Since is the discrete metric on X, it follows that T is p-l.s.c. on .
Observe that we cannot apply Corollary 3(A) for any Bianchini-Grandolfi gauge function because for and , we have , and thus
Now we show that we can apply Corollary 6(B), and hence Corollaries 5(B), 4(B), and 3(B).
Let , and . In the cases where for we can choose , the conclusion is obvious. Therefore we only consider the following two cases.
Case 1. and . Then and hence
Case 2. , and . Then , and as in Case 1, .
Finally, note that we cannot apply Corollary 3 to any of the complete metrics , , and , since it is clear that these metrics coincide with the discrete metric on X, and for , , and , we have
References
Fréchet MR: Sur quelques points du calcul fonctionnel. Rend. Circ. Mat. Palermo 1906, 22: 1–74. 10.1007/BF03018603
Al-Homidan S, Ansari QH, Yao J-C: Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory. Nonlinear Anal. TMA 2008, 69: 126–139. 10.1016/j.na.2007.05.004
Kada O, Suzuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 1996, 44(2):381–391.
Nadler SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475
Marín J, Romaguera S, Tirado P: Q -Functions on quasimetric spaces and fixed points for multivalued maps. Fixed Point Theory Appl. 2011., 2011: Article ID 603861
Latif A, Al-Mezel SA: Fixed point results in quasimetric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 178306
Mizoguchi N, Takahashi W: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 1989, 141: 177–188. 10.1016/0022-247X(89)90214-X
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
Chen Y-Q: On a fixed point problem of Reich. Proc. Am. Math. Soc. 1996, 124: 3085–3088. 10.1090/S0002-9939-96-03428-4
Künzi H-PA: Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of asymmetric topology. History of Topology 3. In Handbook of the History of General Topology. Kluwer Academic, Dordrecht; 2001:853–968.
Reilly IL, Subrahmanyam PV, Vamanamurthy MK: Cauchy sequences in quasipseudometric spaces. Monatshefte Math. 1982, 93: 127–140. 10.1007/BF01301400
Bianchini RM, Grandolfi M: Transformazioni di tipo contracttivo generalizzato in uno spazio metrico. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 1968, 45: 212–216.
Proinov PD: A generalization of the Banach contraction principle with high order of convergence of successive approximations. Nonlinear Anal. TMA 2007, 67: 2361–2369. 10.1016/j.na.2006.09.008
Proinov PD: New general convergence theory for iterative processes and its applications to Newton-Kantorovich type theorems. J. Complex. 2010, 26: 3–42. 10.1016/j.jco.2009.05.001
Rus IA: Generalized Contractions and Applications. Cluj University Press, Cluj-Napoca; 2001.
Matthews, SG: Partial metric topology. Research report 212, Department of Computer Science, University of Warwick (1992)
Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.
Karapınar E, Romaguera S: Nonunique fixed point theorems in partial metric spaces. Filomat 2013, 27(7):1305–1314. 10.2298/FIL1307305K
Ahmad J, Azam A, Arshad M: Fixed points of multivalued mappings in partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 316
Ilić D, Pavlović V, Rakocević V: Fixed points of mappings with a contractive iterate at a point in partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 335
Acknowledgements
The second and third named authors thank the supports of the Universitat Politècnica de València, grant PAID-06-12-SP20120471, and the Ministry of Economy and Competitiveness of Spain, grant MTM2012-37894-C02-01.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in writing this article. They 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
Karapınar, E., Romaguera, S. & Tirado, P. Contractive multivalued maps in terms of Q-functions on complete quasimetric spaces. Fixed Point Theory Appl 2014, 53 (2014). https://doi.org/10.1186/1687-1812-2014-53
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2014-53