A fixed point theorem for generalized contractions involving wdistances on complete quasimetric spaces
 Carmen Alegre^{1},
 Josefa Marín^{1} and
 Salvador Romaguera^{1}Email author
https://doi.org/10.1186/16871812201440
© Alegre et al.; licensee Springer. 2014
Received: 30 September 2013
Accepted: 4 February 2014
Published: 14 February 2014
Abstract
We obtain a fixed point theorem for generalized contractions on complete quasimetric spaces, which involves wdistances and functions of MeirKeeler and Jachymski type. Our result generalizes in various directions the celebrated fixed point theorems of Boyd and Wong, and Matkowski. Some illustrative examples are also given.
MSC:47H10, 54H25, 54E50.
Keywords
1 Introduction and preliminaries
In their celebrated paper [1], Kada, Suzuki and Takahashi introduced and studied the notion of a wdistance on a metric space. By using that notion they obtained, among other results, generalizations of the nonconvex minimization theorem of Takahashi [2], of Caristi’s fixed point theorem [3] and of Ekeland’s variational principle [4], as well as a general fixed point theorem that improves fixed point theorems of Subrahmanyam [5], Kannan [6] and Ćirić [7]. This study was continued by Suzuki and Takahashi [8], and by Park [9] who extended several results from [1] to quasimetric spaces. Park’s approach was successful continued by AlHomidan, Ansari and Yao [10], who obtained, among other interesting results, quasimetric versions of CaristiKirk’s fixed point theorem and Nadler’s fixed point theorem by using Qfunctions (a slight generalization of wdistances). More recently, Latif and AlMezel [11], and Marín et al. [12–14] have proved some fixed point theorems both for singlevalued and multivalued mappings in complete quasimetric spaces and preordered quasimetric spaces by using Qfunctions and wdistances, and generalizing in this way wellknown fixed point theorems of Mizoguchi and Takahashi [15], Bianchini and Grandolfi [16], and Boyd and Wong [17], respectively.
In this paper we shall obtain a fixed point theorem for generalized contractions with respect to wdistances on complete quasimetric spaces from which we deduce wdistance versions of Boyd and Wong’s fixed point theorem [17] and of Matkowski’s fixed point theorem [18]. Our approach uses a kind of functions considered by Jachymski in [[19], Corollary of Theorem 2] and that generalizes the notion of a function of MeirKeeler type.
In the sequel the letters ${\mathbb{R}}^{+}$, ℕ and ω will denote the set of nonnegative real numbers, the set of positive integer numbers and the set of nonnegative integer numbers, respectively.
 (i)
$d(x,y)=d(y,x)=0\iff x=y$, and
 (ii)
$d(x,y)\le d(x,z)+d(z,y)$.
A quasimetric space is a pair $(X,d)$ such that X is a set and d is a quasimetric on X.
Each quasimetric d on a set X induces a topology ${\tau}_{d}$ on X which has as a base the family of open balls $\{{B}_{d}(x,r):x\in X,\epsilon >0\}$, where ${B}_{d}(x,\epsilon )=\{y\in X:d(x,y)<\epsilon \}$ for all $x\in X$ and $\epsilon >0$.
Given a quasimetric d on X, the function ${d}^{1}$ defined by ${d}^{1}(x,y)=d(y,x)$ for all $x,y\in X$, is also a quasimetric on X, and the function ${d}^{s}$ defined by ${d}^{s}(x,y)=max\{d(x,y),d(y,x)\}$ for all $x,y\in X$, is a metric on X.
There exist several different notions of Cauchy sequence and of complete quasimetric space in the literature (see e.g. [20]). In this paper we shall use the following general notion.
A quasimetric space $(X,d)$ is called complete if every Cauchy sequence ${({x}_{n})}_{n\in \omega}$ in the metric space $(X,{d}^{s})$ converges with respect to the topology ${\tau}_{{d}^{1}}$ (i.e., there exists $z\in X$ such that $d({x}_{n},z)\to 0$).
A wdistance on a quasimetric space $(X,d)$ is a function $q:X\times X\to {\mathbb{R}}^{+}$ satisfying the following three conditions:
(W1) $q(x,y)\le q(x,z)+q(z,y)$ for all $x,y,z\in X$;
(W2) $q(x,\cdot ):X\to {\mathbb{R}}^{+}$ is lower semicontinuous on $(X,{\tau}_{{d}^{1}})$ for all $x\in X$;
(W3) for each $\epsilon >0$ there exists $\delta >0$ such that $q(x,y)\le \delta $ and $q(x,z)\le \delta $ imply $d(y,z)\le \epsilon $.
Several examples of wdistances on quasimetric spaces may be found in [9–12].
Note that if d is a metric on X then it is a wdistance on $(X,d)$. Unfortunately, this does not hold for quasimetric spaces, in general. Indeed, in [[12], Lemma 2.2] there was observed the following.
Lemma 1 If q is a wdistance on a quasimetric space $(X,d)$, then for each $\epsilon >0$ there exists $\delta >0$ such that $q(x,y)\le \delta $ and $q(x,z)\le \delta $ imply ${d}^{s}(y,z)\le \epsilon $.
It follows from Lemma 1 (see [[12], Proposition 2.3]) that if a quasimetric d on X is also a wdistance on $(X,d)$, then the topologies induced by d and by the metric ${d}^{s}$ coincide, so $(X,{\tau}_{d})$ is a metrizable topological space.
2 Results and examples
Meir and Keeler proved in [21] that if f is a selfmap of a complete metric space $(X,d)$ satisfying the condition that for each $\epsilon >0$ there is $\delta >0$ such that, for any $x,y\in X$, with $\epsilon \le d(x,y)<\epsilon +\delta $ we have $d(fx,fy)<\epsilon $, then f has a unique fixed point $z\in X$ and ${f}^{n}x\to z$ for all $x\in X$.
This wellknown result suggests the notion of a MeirKeeler function:
A function $\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ is said to be a MeirKeeler function if $\varphi (0)=0$, and satisfies the following condition:
Remark 1 It is obvious that if ϕ is a MeirKeeler function then $\varphi (t)<t$ for all $t>0$.
Later on, Jachymski proved in [19] the following interesting result and showed that both Boyd and Wong’s fixed point theorem and Matkowski’s fixed point theorem are easy consequences of it.
Theorem 1 ([[19], Corollary of Theorem 2])
Let f be a selfmap of a complete metric space $(X,d)$ such that $d(fx,fy)<d(x,y)$ for $x\ne y$, and $d(fx,fy)\le \varphi (d(x,y))$ for all $x,y\in X$, where $\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ satisfies the condition
Then f has a unique fixed point $z\in X$ and ${f}^{n}x\to z$ for all $x\in X$.
Theorem 1 suggests the following notion:
A function $\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ is said to be a Jachymski function if $\varphi (0)=0$ and it satisfies condition (Ja) of Theorem 1.
Remark 2 Obviously, each MeirKeeler function is a Jachymski function. However, the converse does not follow even in the case that $\varphi (t)<t$ for all $t>0$: Indeed, let $\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ defined as $\varphi (t)=0$ for all $t\in [0,1]$ and $\varphi (t)=1$ otherwise. Clearly ϕ is a Jachymski function such that $\varphi (t)<t$ for all $t>0$. Finally, for $\epsilon =1$ and any $\delta >0$ we have $\varphi (\epsilon +\delta /2)=\epsilon $, so ϕ is not a MeirKeeler function.
Now we establish the main result of this paper.
for all $x,y\in X$, then f has a unique fixed point $z\in X$. Moreover $q(z,z)=0$.
for all $n\in \omega $.
First, we shall prove that ${\{{x}_{n}\}}_{n\in \omega}$ is a Cauchy sequence in $(X,{d}^{s})$.
To this end put ${r}_{n}=q({x}_{n},{x}_{n+1})$ for all $n\in \omega $.
If there is ${n}_{0}\in \omega $ such that ${r}_{{n}_{0}}=0$, then ${r}_{n}=0$ for all $n\ge {n}_{0}$ by (2) and our assumption that $\varphi (0)=0$. Therefore $q({x}_{n},{x}_{m})=0$ whenever $m>n\ge {n}_{0}$ by condition (W1), and consequently, ${d}^{s}({x}_{n},{x}_{m})=0$ by Lemma 1. Thus ${x}_{n}={x}_{{n}_{0}+1}$ for all $n\ge {n}_{0}+1$.
Otherwise, we assume, without loss of generality, that ${r}_{n+1}<{r}_{n}$ for all $n\in \omega $. Then ${\{{r}_{n}\}}_{n\in \omega}$ converges to some $r\in {\mathbb{R}}^{+}$. Of course, $r<{r}_{n}$ for all $n\in \omega $.
Take ${n}_{\delta}\in \mathbb{N}$ such that ${r}_{n}<r+\delta $ for all $n\ge {n}_{\delta}$. Therefore $\varphi ({r}_{n})\le r$, so by condition (2), ${r}_{n+1}\le r$ for all $n\ge {n}_{\delta}$, a contradiction. Consequently $r=0$.
Now choose an arbitrary $\epsilon >0$. There exists $\delta =\delta (\epsilon )$, with $\delta \in (0,\epsilon )$, for which conditions (W3) and (Ja) hold. Similarly, for $\delta /2$ there exists $\mu =\mu (\delta /2)$, with $\mu \in (0,\delta /2)$ for which conditions (W3) and (Ja) also hold, i.e.,
$q(x,y)\le \mu $ and $q(x,z)\le \mu $, imply $d(y,z)\le \delta /2$, and for any $t>0$, $\delta /2<t<\delta /2+\mu $ implies $\varphi (t)\le \delta /2$.
Since ${r}_{n}\to 0$, there exists ${k}_{0}\in \mathbb{N}$ such that ${r}_{n}<\mu $ for all $n\ge {k}_{0}$.
Indeed, fix $k\ge {k}_{0}$. Since $q({x}_{k},{x}_{k+1})<\mu $, condition (3) follows for $n=1$.
Assume that (3) holds for some $n\in \mathbb{N}$. We shall distinguish two cases.

Case 1: $q({x}_{k},{x}_{n+k})>\delta /2$. Then we deduce from the induction hypothesis and condition (Ja) that$\varphi (q({x}_{k},{x}_{n+k}))\le \delta /2,$

Case 2: $q({x}_{k},{x}_{n+k})\le \delta /2$.
Now, from Lemma 1 it follows that ${d}^{s}({x}_{i},{x}_{j})\le \epsilon $ whenever $i,j>k$. We conclude that ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ is a Cauchy sequence in $(X,{d}^{s})$.
Since $(X,d)$ is complete, there exists $z\in X$ such that $d({x}_{n},z)\to 0$.
Hence $q({x}_{k},z)<2\epsilon $ for all $k\ge {k}_{0}$. We deduce that $q({x}_{n},z)\to 0$.
a contradiction.
a contradiction. So $q(u,z)=0$. Similarly we check that $q(u,u)=0$. Since $q(z,z)=0$, we deduce from Lemma 1 that ${d}^{s}(u,z)=0$, i.e., $u=z$. We conclude that z is the unique fixed point of f. □
for all $x,y\in X$, then f has a unique fixed point $z\in X$. Moreover $q(z,z)=0$.
for all $x,y\in X$, then f has a unique fixed point $z\in X$. Moreover $q(z,z)=0$.
Proof Apply Remarks 1 and 2, and Theorem 2. □
Corollary 3 [13]
for all $x,y\in X$, then f has a unique fixed point $z\in X$. Moreover $q(z,z)=0$.
Proof It suffices to show that ϕ is a MeirKeeler function. Assume the contrary. Then there exist $\epsilon >0$ and a sequence ${\{{t}_{n}\}}_{n\in \mathbb{N}}$ of positive real numbers such that $\epsilon \le {t}_{n}<\epsilon +1/n$ but $\varphi ({t}_{n})\ge \epsilon $ for all $n\in \mathbb{N}$. Since $\epsilon \varphi (\epsilon )>0$, it follows from right upper semicontinuity of ϕ that $\varphi ({t}_{n})\varphi (\epsilon )<\epsilon \varphi (\epsilon )$ eventually, i.e., $\varphi ({t}_{n})<\epsilon $, a contradiction. We conclude that f has a unique fixed point by Corollary 2. □
for all $x,y\in X$, then f has a unique fixed point $z\in X$. Moreover $q(z,z)=0$.
Proof Again it suffices to show that ϕ is a MeirKeeler function. Assume the contrary. Then there exist $\epsilon >0$ and a sequence ${\{{t}_{n}\}}_{n\in \mathbb{N}}$ of positive real numbers such that $\epsilon \le {t}_{n}<\epsilon +1/n$ but $\varphi ({t}_{n})\ge \epsilon $ for all $n\in \mathbb{N}$. Since ϕ is nondecreasing we deduce that $\varphi (t)\ge \epsilon $ whenever $t\ge \epsilon $. Hence ${\varphi}^{n}(t)\ge \epsilon $ whenever $t\ge \epsilon $, which contradicts the hypothesis that ${\varphi}^{n}(t)\to 0$ for all $t>0$. We conclude that f has a unique fixed point by Corollary 2. □
Remark 3 In [22] the authors proved Corollary 2 for the case that $(X,d)$ is a complete metric space. Note also that Boyd and Wong’s fixed point theorem [17] and Matkowski’s fixed point theorem [18] are special cases of Corollaries 3 and 4, respectively, when $(X,d)$ is a complete metric space and q is the metric d.
We conclude the paper with some examples that illustrate and validate the obtained results.
The first example shows that condition ‘$\varphi (t)<t$ for all $t>0$’ in Theorem 2 cannot be omitted.
for all $x,y\in X$. However, f has no fixed point.
The next is an example where we can apply Theorem 2 for an appropriate wdistance q on a complete quasimetric space $(X,d)$ but not for d. Moreover, Corollary 1 cannot be applied for any wdistance on the metric space $(X,{d}^{s})$.
Clearly $(X,d)$ is complete (observe that ${\{n\}}_{n\in \mathbb{N}}$ is a Cauchy sequence in $(X,{d}^{s})$ with $d(n,0)\to 0$).
Let q be the wdistance on $(X,d)$ given by $q(x,y)=y$ for all $x,y\in X$.
Now define $f:X\to X$ as $f0=0$ and $fn=n1$ for all $n\in \mathbb{N}$, and $\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ as $\varphi (0)=0$ and $\varphi (t)=n1$ where $t\in (n1,n]$, $n\in \mathbb{N}$.
It is routine to check that ϕ is a Jachymski function satisfying $\varphi (t)<t$ for all $t>0$ (in fact, it is a MeirKeeler function).
it follows that all conditions of Theorem 2 are satisfied. In fact $z=0$ is the unique fixed point of f.
Finally, note that we cannot apply Corollary 1 because $(X,{d}^{s})$ is not complete (observe that ${\{n\}}_{n\in \mathbb{N}}$ is a Cauchy sequence in $(X,{d}^{s})$ that does not converge in $(X,{d}^{s})$).
We conclude with an example where we can apply Corollary 2 but not Corollaries 3 and 4.
Example 3 Let d be the quasimetric on ${\mathbb{R}}^{+}$ given by $d(x,y)=max\{yx,0\}$ for all $x,y\in {\mathbb{R}}^{+}$. Since ${d}^{s}$ is the usual metric on ${\mathbb{R}}^{+}$ it immediately follows that $({\mathbb{R}}^{+},d)$ is complete.
Define $q:{\mathbb{R}}^{+}\times {\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ as $q(x,y)=y$. It is clear that q is a wdistance on $({\mathbb{R}}^{+},d)$.
Now let $\varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$, defined by $\varphi (t)=t/2$ if $t\in (1,2]$, and $\varphi (t)=0$ otherwise.
 (1)
if $0<\epsilon <1$, we take $\delta =1\epsilon $, and thus, from $\epsilon \le t<\epsilon +\delta =1$, it follows $\varphi (t)=0<\epsilon $;
 (2)
if $\epsilon =1$, we take $\delta =1/2$, and thus, from $1<t<3/2$, it follows $\varphi (t)=t/2<3/4<\epsilon $, whereas $\varphi (1)=0<\epsilon $;
 (3)
if $1<\epsilon <2$, we take $\delta =2\epsilon $, and thus, from $\epsilon \le t<\epsilon +\delta =2$, it follows $\varphi (t)=t/2<1<\epsilon $;
 (4)
if $\epsilon \ge 2$, we fix $\delta >0$, and thus, from $\epsilon \le t<\epsilon +\delta $, it follows $\varphi (t)<\epsilon $ because $\varphi (2)=1$ and $\varphi (t)=0$ for $t>2$.
Therefore, all conditions of Corollary 2 are satisfied. In fact, $z=0$ is the unique fixed point of f.
However, ϕ is not right upper semicontinuous at $t=1$, so we cannot apply Corollary 3.
Similarly, we cannot apply Corollary 4 because ϕ is not a nondecreasing function.
Declarations
Acknowledgements
The authors are grateful to the referees for several useful suggestions. They also thank the support of the Ministry of Economy and Competitiveness of Spain, Grant MTM201237894C0201.
Authors’ Affiliations
References
 Kada O, Suzuki T, Takahashi W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 1996, 44: 381–391.MathSciNetMATHGoogle Scholar
 Takahashi W: Existence theorems generalizing fixed point theorems for multivalued mappings. Pitman Research Notes in Mathematics Series 252. In Fixed Point Theory and Applications. Edited by: Théra MA, Baillon JB. Longman, Harlow; 1991:397–406.Google Scholar
 Caristi J: Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 1976, 215: 241–251.View ArticleMathSciNetMATHGoogle Scholar
 Ekeland I: Nonconvex minimization problems. Bull. Am. Math. Soc. 1979, 1: 443–474. 10.1090/S027309791979145956View ArticleMathSciNetMATHGoogle Scholar
 Subrahmanyam PV: Remarks on some fixed point theorems related to Banach’s contraction principle. J. Math. Phys. Sci. 1974, 8: 445–457. Erratum 9, 195 (1975)MathSciNetMATHGoogle Scholar
 Kannan R: Some results on fixed points. II. Am. Math. Mon. 1969, 76: 405–408. 10.2307/2316437View ArticleMATHGoogle Scholar
 Ćirić L: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.MATHGoogle Scholar
 Suzuki T, Takahashi W: Fixed point theorems and characterizations of metric completeness. Topol. Methods Nonlinear Anal. 1996, 8: 371–382.MathSciNetMATHGoogle Scholar
 Park S: On generalizations of the Ekelandtype variational principles. Nonlinear Anal. TMA 2000, 39: 881–889. 10.1016/S0362546X(98)002533View ArticleMATHGoogle Scholar
 AlHomidan S, Ansari QH, Yao JC: Some generalizations of Ekelandtype variational principle with applications to equilibrium problems and fixed point theory. Nonlinear Anal. TMA 2008, 69: 126–139. 10.1016/j.na.2007.05.004View ArticleMathSciNetMATHGoogle Scholar
 Latif A, AlMezel SA: Fixed point results in quasimetric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 178306Google Scholar
 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 603861Google Scholar
 Marín J, Romaguera S, Tirado P: Weakly contractive multivalued maps and w distances on complete quasimetric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 2Google Scholar
 Marín J, Romaguera S, Tirado P: Generalized contractive setvalued maps on complete preordered quasimetric spaces. J. Funct. Spaces Appl. 2013., 2013: Article ID 269246Google Scholar
 Mizoguchi N, Takahashi W: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 1989, 141: 177–188. 10.1016/0022247X(89)90214XView ArticleMathSciNetMATHGoogle Scholar
 Bianchini RM, Grandolfi M: Trasformazioni di tipo contrattivo generalizzato in uno spazio metrico. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. (8) 1968, 45: 212–216.MathSciNetMATHGoogle Scholar
 Boyd DW, Wong JSW: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458–464. 10.1090/S00029939196902395599View ArticleMathSciNetMATHGoogle Scholar
 Matkowski J: Integrable solutions of functional equations. Diss. Math. 1975, 127: 1–68.MathSciNetMATHGoogle Scholar
 Jachymski J: Equivalent conditions and the MeirKeeler type theorems. J. Math. Anal. Appl. 1995, 194: 293–303. 10.1006/jmaa.1995.1299View ArticleMathSciNetMATHGoogle Scholar
 Künzi HPA: Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of asymmetric topology. 3. In Handbook of the History of General Topology. Edited by: Aull CE, Lowen R. Kluwer Academic, Dordrecht; 2001:853–968.View ArticleGoogle Scholar
 Meir A, Keeler E: A theorem on contraction mappings. J. Math. Anal. Appl. 1969, 28: 326–329. 10.1016/0022247X(69)900316View ArticleMathSciNetMATHGoogle Scholar
 Alegre C, Marín J, Romaguera S: Fixed points for generalized contractions with respect to w distances and MeirKeeler functions. Proceedings of the Conference in Applied Topology 2013, 53–58. WiAT’13 Bilbao, SpainGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.