Some fixed point results in dislocated quasi metric (dqmetric) spaces
 Muhammad Sarwar^{1}Email author,
 Mujeeb Ur Rahman^{1} and
 Gohar Ali^{2}
https://doi.org/10.1186/1029242X2014278
© Sarwar et al.; licensee Springer. 2014
Received: 10 January 2014
Accepted: 4 July 2014
Published: 5 August 2014
Abstract
The aim of this paper is to investigate some fixed point results in dislocated quasi metric (dqmetric) spaces. Fixed point results for different types of contractive conditions are established, which generalize, modify and unify some existing fixed point theorems in the literature. Appropriate examples for the usability of the established results are also given. We notice that by using our results some fixed point results in the context of dislocated quasi metric spaces can be deduced.
MSC:47H10, 54H25.
Keywords
1 Introduction
Fixed point theory is one of the most dynamic research subjects in nonlinear analysis. In this area, the first important and significant result was proved by Banach in 1922 for a contraction mapping in a complete metric space. The wellknown Banach contraction theorem may be stated as follows: ‘Every contraction mapping of a complete metric space X into itself has a unique fixed point’ (Bonsall 1962).
Dass and Gupta [1] generalized the Banach contraction principle in a metric space for some rational type contractive conditions.
The role of topology in logic programming has come to be recognized (see [2–6] and the references cited therein). Particularly, topological methods are applied to obtain fixed point semantics for logic programs. Such considerations motivated the concept of dislocated metric spaces. This idea was not new and it had been studied in the context of domain theory [4] where the dislocated metrics were known as metric domains.
Hitzler and Seda [3] investigated the useful applications of dislocated topology in the context of logic programming semantics. In order to obtain a unique supported model for these programs, they introduced the notation of dislocated metric space and generalized the Banach contraction principle in such spaces.
Furthermore, Zeyada et al. [7] generalized the results of Hitzler and Seda [3] and introduced the concept of complete dislocated quasi metric space. Aage and Salunke [8, 9] derived some fixed point theorems in dislocated quasi metric spaces. Similarly, Isufati [10] proved some fixed point results for continuous contractive condition with rational type expression in the context of a dislocated quasi metric space. Kohli et al. [11] investigated a fixed point theorem which generalized the result of Isufati. In [12] Zoto gave some new results in dislocated and dislocated quasi metric spaces. For a continuous selfmapping, a fixed point theorem in dislocated quasi metric spaces was investigated by Madhu Shrivastava et al. [13]. In 2013, Patel and Patel [14] constructed some new fixed point results in a dislocated quasi metric space.
In the current manuscript, we establish some fixed point results for single and a pair of continuous selfmappings in the context of dislocated quasi metric spaces which generalize, modify and unify the results of Aage and Salunke [8, 9], Manvi Kohli [11], Patel and Patel [14], Madhu Shrivastava et al. [13] and Zeyada et al. [7]. Throughout the paper ${\mathbb{R}}^{+}$ represents the set of nonnegative real numbers.
2 Preliminaries
Definition 2.1 ([7])
Let X be a nonempty set, and let $d:X\times X\to {\mathbb{R}}^{+}$ be a function satisfying the following conditions:
(${d}_{1}$) $d(x,x)=0$;
(${d}_{2}$) $d(x,y)=d(y,x)=0$ implies that $x=y$;
(${d}_{3}$) $d(x,y)=d(y,x)$ for all $x,y,z\in X$;
(${d}_{4}$) $d(x,y)\le d(x,z)+d(z,y)$ for all $x,y,z\in X$.
If d satisfies the conditions from ${d}_{1}$ to ${d}_{4}$, then it is called a metric on X, if d satisfies conditions ${d}_{2}$ to ${d}_{4}$, then it is called a dislocated metric (dmetric ) on X, and if d satisfies conditions ${d}_{2}$ and ${d}_{4}$, only then it is called a dislocated quasi metric (dqmetric) on X.
It is evident that every metric on X is a dislocated metric on X, but the converse is not necessarily true as is clear from the following example.
Furthermore, from the following example one can say that a dislocated quasi metric on X needs not be a dislocated metric on X.
In our main work we will use the following definitions which can be found in [7].
Definition 2.2 A sequence $\{{x}_{n}\}$ in a dqmetric space is called a Cauchy sequence if for $\u03f5>0$ there exists a positive integer N such that for $m,n\ge N$, we have $d({x}_{m},{x}_{n})<\u03f5$.
Definition 2.3 A sequence $\{{x}_{n}\}$ is called dqconvergent in X if for $n\ge N$, we have $d({x}_{n},x)<\u03f5$, where x is called the dqlimit of the sequence $\{{x}_{n}\}$.
Definition 2.4 A dqmetric space $(X,d)$ is said to be complete if every Cauchy sequence in X converges to a point of X.
The following statement is well known (see [7]).
Lemma 1 Limit in a dqmetric space is unique.
In [15] Kannan defined a contraction of the following type.
Kannan [15] established a unique fixed point theorem for a mapping which satisfies condition (1) in metric spaces.
Definition 2.7 ([16])
Ciric [16] investigated a unique fixed point theorem for a mapping which satisfies condition (2) in the context of metric spaces.
In the following theorem, Zeyada et al. [7] generalized the Banach contraction principle in dislocated quasi metric spaces.
Theorem 2.1 Let $(X,d)$ be a complete dqmetric space, $T:X\to X$ be a continuous contraction, then T has a unique fixed point in X.
Aage and Salunke [8] established the following results for single and a pair of continuous mappings in dislocated quasi metric spaces.
where $a,b,c\ge 0$ with $a+b+c<1$ and for all $x,y\in X$. Then T has a unique fixed point.
where $a,b,c\ge 0$ with $a+b+c<1$ and for all $x,y\in X$. Then S and T have a unique common fixed point.
Furthermore, Aage and Salunke [9] derived the following fixed point theorems with a Kannantype contraction and a generalized contraction in the setting of dislocated quasi metric spaces, respectively.
where $a\ge 0$ with $a<\frac{1}{2}$ and for all $x,y\in X$. Then T has a unique fixed point.
where $a,b,c,e\ge 0$ with $a+b+c+2e<1$ and for all $x,y\in X$. Then T has a unique fixed point.
Isufati [10] derived the following two results, where the first one generalized the result of Dass and Gupta [1] in dislocated quasi metric spaces.
where $a,b>0$ with $a+b<1$ and for all $x,y\in X$. Then T has a unique fixed point.
where $a,b,c>0$ with $sup\{a+2b+2c\}<1$ and for all $x,y\in X$. Then T has a unique fixed point.
In [11] Kohli, Shrivastava and Sharma proved the following theorem in the context of dislocated quasi metric spaces which generalized Theorem 2.6.
where $a,b,c>0$ with $a+b+c<1$ and for all $x,y\in X$. Then T has a unique fixed point.
For rational type contraction conditions Madhu Shrivastava et al. [13] proved the following theorem in a dislocated quasi metric space.
where $a,b,c>0$ with $a+b+c<1$ and for all $x,y\in X$. Then T has a unique fixed point.
In 2013, Patel and Patel [14] derived the following result in dislocated quasi metric spaces.
where ${c}_{1},{c}_{2},{c}_{3},{c}_{4},{c}_{5}\ge 0$ with ${c}_{1}+{c}_{2}+{c}_{3}+2({c}_{4}+{c}_{5})<1$ and for all $x,y\in X$. Then T has a unique fixed point.
3 Main results
In this section we derive some fixed point theorems with examples for single and a pair of continuous selfmappings in the context of dislocated quasi metric spaces.
where ${a}_{1},{a}_{2},{a}_{3},{a}_{4},{a}_{5},{a}_{6},{a}_{7}\ge 0$ with ${a}_{1}+2({a}_{2}+{a}_{3})+{a}_{4}+{a}_{5}+3{a}_{6}+{a}_{7}<1$ and for all $x,y\in X$. Then T has a unique fixed point in X.
Clearly, $h<1$ because ${a}_{1}+2{a}_{2}+2{a}_{3}+{a}_{4}+{a}_{5}+3{a}_{6}+{a}_{7}<1$.
But $0\le h<1$ so ${h}^{n}\to 0$ as $n\to \mathrm{\infty}$, which shows that $\{{x}_{n}\}$ is a Cauchy sequence in a complete dqmetric space. So there exists $z\in X$ such that ${x}_{n}\to z$ as $n\to \mathrm{\infty}$.
Thus $Tz=z$. Hence z is a fixed point of T.
Taking equations (5), (6) and (8) into account, we have $d(z,w)=0$ and $d(w,z)=0$. Thus by (${d}_{2}$) $z=w$. Hence T has a unique fixed point in X. □
and define the continuous selfmapping T by $Tx=\frac{x}{2}$ with ${a}_{1}=1/8$, ${a}_{2}=1/10$, ${a}_{3}=1/12$, ${a}_{4}=1/15$, ${a}_{5}=1/20$, ${a}_{6}=1/24$, ${a}_{7}=1/30$. Then T satisfies all the conditions of Theorem 3.1, and $x=0$ is the unique fixed point of T in X.
Remarks In the above Theorem 3.1:

If ${a}_{4}={a}_{5}={a}_{6}={a}_{7}=0$, then we get the result of Isufati [10].

If ${a}_{2}={a}_{3}={a}_{4}={a}_{7}=0$, then we get the result of Madhu Shrivastava et al.[13].

If ${a}_{2}={a}_{3}={a}_{4}={a}_{6}={a}_{7}=0$, then we get the result of Isufati [10].

if ${a}_{2}={a}_{3}={a}_{6}={a}_{7}=0$, then we get the result of Manvi Kohli [11].
where ${c}_{1},{c}_{2},{c}_{3},{c}_{4},{c}_{5}\ge 0$ with ${c}_{1}+{c}_{2}+{c}_{3}+2{c}_{4}+4{c}_{5}<1$ and for all $x,y\in X$. Then S and T have a unique common fixed point in X.
Similarly, taking the continuity of S, we can show that $Sz=z$.
Hence z is the common fixed point of S and T.
By combining equations (11), (12) and (13), one can get $d(z,w)=0$ and $d(w,z)=0$. Using (${d}_{2}$) we have $z=w$. Hence S and T have a unique common fixed point in X. □
where the continuous selfmappings S and T are defined by $Sx=0$ and $Tx=x/5$ for all $x\in X$. Suppose ${c}_{1}=1/5$, ${c}_{2}=1/6$, ${c}_{3}=1/8$, ${c}_{4}=1/10$, ${c}_{5}=1/12$.
Then S and T satisfy all the conditions of Theorem 3.2, so $x=0$ is the unique common fixed point of S and T in X.
Theorem 3.2 yields the following corollaries.
Corollary 3.1 If $S=T$ and all other conditions of Theorem 3.2 are satisfied, then T has a unique fixed point.
Corollary 3.2 Let ${c}_{4}={c}_{5}=0$, and let $S,T:X\to X$ be two selfcontinuous mappings satisfying all other conditions of Theorem 3.2. Then S and T have a unique common fixed point in X.
Corollary 3.3 Let ${c}_{4}={c}_{5}=0$, and $S=T$ and all other conditions of Theorem 3.2 be satisfied, then again T has a unique fixed point.
Corollary 3.4 Suppose ${c}_{1}={c}_{2}={c}_{3}={c}_{4}=0$. Let $S,T:X\to X$ be two selfcontinuous mappings satisfying all other conditions of Theorem 3.2. Then S and T have a unique fixed point in X.
Corollary 3.5 Suppose ${c}_{1}={c}_{2}={c}_{3}={c}_{5}=0$ and $S=T$, and all other conditions of Theorem 3.2 are satisfied. Then T has a unique fixed point in X.
Remarks
Conclusion
Declarations
Acknowledgements
The authors are grateful to the editor and anonymous reviewers for their careful reviews, valuable comments and remarks to improve this manuscript.
Authors’ Affiliations
References
 Dass BK, Gupta S: An extension of Banach’s contraction principle through rational expression. Indian J. Pure Appl. Math. 1975, 6: 14551458.MathSciNetGoogle Scholar
 Hitzler, P: Generalized metrics and topology in logic programming semantics. PhD Thesis, National University of Ireland, University College Cork (2001)Google Scholar
 Hitzler P, Seda AK: Dislocated topologies. J. Electr. Eng. 2000, 51: 37.Google Scholar
 Mathews, SG: Metrics domain for completeness. PhD Thesis, Department of Computer Science, University of Warwick, UK (1986)Google Scholar
 Seda AK: Topology and the semantics of logic programs. Fundam. Inform. 1995, 4: 359386.MathSciNetGoogle Scholar
 Seda AK: Quasi metrics and the semantics of logic programs. Fundam. Inform. 1997, 29: 97117.MathSciNetGoogle Scholar
 Zeyada FM, Hassan GH, Ahmad MA: A generalization of fixed point theorem due to Hitzler and Seda in dislocated quasi metric space. Arab. J. Sci. Eng. 2005, 31: 111114.Google Scholar
 Aage CT, Salunke JN: Some results of fixed point theorem in dislocated quasi metric space. Bull. Marathadawa Math. Soc. 2008, 9: 15.Google Scholar
 Aage CT, Salunke JN: The results of fixed points in dislocated and dislocated quasi metric space. Appl. Math. Sci. 2008, 2: 29412948.MathSciNetGoogle Scholar
 Isufati A: Fixed point theorem in dislocated quasi metric spaces. Appl. Math. Sci. 2010, 4: 217223.MathSciNetGoogle Scholar
 Kohli M, Shrivastava R, Sharma M: Some results on fixed point theorems in dislocated quasi metric space. Int. J. Theoret. Appl. Sci. 2010, 2: 2728.Google Scholar
 Zoto K, Houxha E, Isufati A: Some new results in dislocated and dislocated quasi metric space. Appl. Math. Sci. 2012, 6: 35193526.MathSciNetGoogle Scholar
 Shrivastava M, Qureshi QK, Singh AD: A fixed point theorem for continuous mapping in dislocated quasi metric space. Int. J. Theoret. Appl. Sci. 2012, 4: 3940.Google Scholar
 Patel ST, Patel M: Some results of fixed point theorem in dislocated quasi metric space. Int. J. Res. Mod. Eng. Technol. 2013, 1: 2024.Google Scholar
 Kannan R: Some results on fixed points. Bull. Cal. Math. Soc. India 1968, 60: 7176.Google Scholar
 Ciric LjB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267273.MathSciNetView ArticleGoogle 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.