Abstract
In this work, we initiate the notions of dislocated-\(A_{b}\)-quasi-metric and \(A_{b}\)-quasi-metric-like spaces. Then we establish the existence of a common fixed point of weakly compatible mappings satisfying a contractive condition on a closed neighborhood of dislocated \(A_{b}\)-quasi-metric spaces. Some examples are given to show that these spaces are more general than various known comparable metric spaces. Our result unify, complement, and generalize various known results in the literature.
Similar content being viewed by others
1 Introduction and preliminaries
In software engineering, algorithms are designed by means of recursive denotational specifications. The running time and the memory space of computing such algorithms are two important factors that determine the efficiency of the software.
Scott [1] used a \(T_{0}\) model for lambda calculus to construct a system of logic. He then employed fixed point techniques as a suitable mathematical tool for program verifications in denotational semantics of programming languages.
Scott results were extended by Matthews [2] by defining a partial ordering on \(T_{2}\) models. He introduced the notion of partial metric spaces and studied their essential topological properties. Matthews successfully reinforced Scott’s fixed point techniques with a metric. His approach turned out to be very productive and attracted the attention of several researchers, who studied fixed point results on partial metric spaces.
Arshad et al. [3] proved the existence of some fixed point results for mappings satisfying a contractive condition in a closed neighborhood of a certain point in an ordered dislocated metric space.
The aim of this paper is to introduce a notion of generalized partial metric spaces called dislocated \(A_{b}\)-quasi-metric spaces. We study basic topological properties of dislocated \(A_{b}\)-quasi-metric spaces and provide some examples to support the concepts defined herein. We also obtain common fixed point results of weakly compatible mappings satisfying local contractive condition in such spaces. Our results unify, improve, and generalize several comparable results in [4] and [3].
In the sequel, the letters \(\mathbb{N}\), \(\mathbb{N}_{0}\), \(\mathbb{R}\), and \(\mathbb{R}^{+}\) denote the sets of positive integers, nonnegative integers, real numbers, and positive real numbers, respectively.
Definition 1.1
Let X be a nonempty set, and \(s\geq1\) a given real number. A function \(A_{b}:X^{n}\rightarrow [0,\infty)\) is called a dislocated \(A_{b}\)-quasi-metric on X if for any \(a,x_{i}\in X\), \(i=1,2,\ldots,n\), \(n\geq3\), the following conditions hold:
- (\(A_{b_{1}}\)):
-
\(A_{b}(x_{1},x_{2},x_{3},\ldots ,x_{n-1},x_{n})=A_{b}(x_{n},x_{n-1},x_{n-2},\ldots,x_{2},x_{1})=0\) implies that \(x_{1}=x_{2}=x_{3}=\cdots=x_{n-1}=x_{n}\);
- (\(A_{b_{2}}\)):
-
$$\begin{aligned} &A_{b}(x_{1},x_{2},x_{3}, \ldots,x_{n-1},x_{n}) \\ &\quad\leq s \bigl[A_{b} \bigl(x_{1},x_{1},x_{1}, \ldots,(x_{1})_{(n-1)},a \bigr) \\ &\qquad{}+A_{b} \bigl(x_{2},x_{2},x_{2}, \ldots,(x_{2})_{(n-1)},a \bigr) \\ &\qquad{}+A_{b} \bigl(x_{3},x_{3},x_{3}, \ldots,(x_{3})_{(n-1)},a \bigr) \\ &\qquad\vdots \\ &\qquad{}+A_{b} \bigl(x_{(n-1)},x_{(n-1)},x_{(n-1)}, \ldots,(x_{(n-1)})_{(n-1)},a \bigr) \\ &\qquad{}+A_{b} \bigl(x_{n},x_{n},x_{n}, \ldots,(x_{n})_{(n-1)},a \bigr) \bigr]. \end{aligned}$$
The pair \((X,A_{b})\) is called a dislocated \(A_{b}\)-quasi-metric space with coefficient s.
Lemma 1.2
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space with coefficient \(s\geq1\). Then \(A_{b}(x,x,x,\ldots,x,y)=A_{b}(y,y,y,\ldots,y,x)\) for all \(x,y\in X\).
Example 1.3
Let \(X=\mathbb{R}\). Define the function \(A_{b}:X^{n}\rightarrow{}[ 0,\infty)\) by
Indeed, if \(A_{b}(x_{1},x_{2},x_{3},\ldots ,x_{n-1},x_{n})=A_{b}(x_{n},x_{n-1},x_{n-2},\ldots,x_{2},x_{1})=0\), then \(x_{1}=x_{2}=x_{3}=\cdots=x_{n-1}=x_{n}\). Note that
Hence, \((X, A_{b})\) is a dislocated \(A_{b}\)-quasi-metric space with coefficient \(s=2\).
Example 1.4
Let \(X=\mathbb{R}\). Consider the dislocated \(A_{b}\)-quasi-metric on \(X^{3}\) given by
If \(x_{1}=4\), \(x_{2}=6\), and \(x_{3}=10\), then \(A_{b}(4,6,10)\neq A_{b}(10,6,4)\) implies that \((X, A_{b})\) is not a \(G_{p_{b}}\)-metric space [5].
Definition 1.5
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space with \(s\geq 1\), \(x_{0}\in X\), and r a positive real number r. The set
is called a closed ball centered at \(x_{0}\) with radius r.
Definition 1.6
A subset G of a dislocated \(A_{b}\)-quasi-metric space \((X,A_{b})\) is said to be an open set if for each \(x\in G\), there exists a positive real number r such that \(B(x,r)\subseteq G\). A set \(F\subseteq X\) is called closed if \(X\setminus F\) is open. The collection of open sets in a dislocated \(A_{b}\)-quasi-metric space \((X,A_{b})\) is called the topology induced by the metric \(A_{b}\).
Lemma 1.7
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space with \(s\geq1\). Then for all \(x,y\in X\), we have
Definition 1.8
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space with \(s\geq1\) and \(n\geq3\). A sequence \(\{{x_{k}}\}\) in X is said to be convergent in X if there exists a point \(x\in X\) such that \(\lim_{k\rightarrow \infty}A_{b}(x_{k},x_{k},x_{k},\ldots,x_{k},x)=0\). In this case, we write \(\lim_{k\rightarrow\infty}x_{k}=x\).
Lemma 1.9
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space with \(s\geq1\) and \(n\geq3\). The limit of a convergent sequence \(\{x_{k}\}\) in X is unique.
Proof
Suppose that \(\{x_{k}\}\) converges to x and y. Then given \(\epsilon>0\), there exist \(N_{1},N_{2}\in\mathbb{N}\) such that
for every \(k\geq N_{1}\) and
for every \(k\geq N_{2}\). Choose \(N=\max\{{N_{1},N_{2}}\}\). Note that
for every \(k\geq N\). Since ϵ is arbitrary, \(A_{b}(x,x,x,\ldots,x,y)=A_{b}(y,y,y,\ldots,y,x)=0\), and hence \(x=y\). □
Definition 1.10
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space with \(s\geq1\) and \(n\geq3\). A sequence \(\{{x_{k}}\}\) in X is called Cauchy if \(\lim_{k,m\rightarrow\infty}A_{b}(x_{k},x_{k},x_{k},\ldots ,x_{k},x_{m})=0 \), that is, if for each \(\epsilon\geq0\), there exists \(N\in\mathbb{N}\) such that for all \(k,m\geq N\), we have \(A_{b}(x_{k},x_{k},x_{k},\ldots,x_{k}, x_{m})\leq\epsilon\).
Lemma 1.11
Every convergent sequence in a dislocated \(A_{b}\)-quasi-metric space is a Cauchy sequence.
Remark 1.12
The converse of Lemma 1.11 does not hold in general. Let \(X=\mathbb{Q}\) (the set of rational numbers), and let \(A_{b}\) be a dislocated \(A_{b}\)-quasi-metric defined in Example 1.18. Let \(\{x_{k}\}\) be a sequence defined by \(x_{k}=(1+\frac{1}{k})^{k}\). Note that
as \(k, m\longrightarrow\infty\). Thus, \(\{x_{k}\}\) is a Cauchy sequence. But \(x_{k}\longrightarrow e\) as \(k\longrightarrow\infty\). Hence, \(\{x_{k}\}\) is not convergent in \(\mathbb{Q}\).
Definition 1.13
A dislocated \(A_{b}\)-quasi-metric space X is said to be complete if every Cauchy sequence in \((X,A_{b})\) is convergent.
Definition 1.14
Let \((X,A_{b_{X}})\) and \((Y,A_{b_{Y}})\) be dislocated \(A_{b}\)-quasi-metric spaces with \(s\geq1\) and \(n\geq3\). A function \(f:X\rightarrow Y\) is called continuous if, given \(x\in X\) and \(\epsilon>0\), we can find a \(\delta _{(x,\epsilon)}>0\) such that \(A_{b_{Y}}(f(x),f(x),\dots ,f(x),f(y))<\epsilon\) whenever \(A_{b_{X}}(x,x,\dots,x,y)<\delta_{(x,\epsilon)}\).
Theorem 1.15
Let \((X,A_{b_{X}})\) and \((Y,A_{b_{Y}})\) be dislocated \(A_{b}\)-quasi-metric spaces with \(s\geq1\) and \(n\geq3\). A function \(f:X\longrightarrow Y\) is continuous at a point \(x_{0}\in X\) if and only if it is sequentially continuous at \(x_{0}\).
Lemma 1.16
Let \((X,A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space. Then the function \(A_{b}(x,x, x,\ldots,x,y)\) is continuous in all of its arguments. In other words, if there exist sequences \(\{x_{k}\}\) and \(\{y_{k}\}\) such that \(\lim_{k\rightarrow\infty}x_{k}=x\) and \(\lim_{k\rightarrow\infty}y_{k}=y\), then \(\lim_{k\rightarrow\infty}A_{b}(x_{k},x_{k},x_{k},\ldots ,x_{k},y_{k})=A_{b}(x,x,x,\ldots,x,y)\) and \(\lim_{k\rightarrow\infty}A_{b}(y_{k},y_{k},y_{k},\ldots,y_{k},x_{k}) =A_{b}(y,y,y,\ldots,y,x)\).
Definition 1.17
Let X be a nonempty set, and \(s\geq1\) a given real number. A function \(A_{b}:X^{n}\rightarrow [0,\infty)\) is called \(A_{b}\)-quasi-metric-like on X if for any \(a,x_{i}\in X\), \(i=1,2,\ldots,n\), \(n\geq3\), the following conditions hold:
- (\(A_{b_{1}}\)):
-
\(A_{b}(x_{1},x_{2},x_{3},\ldots,x_{n-1},x_{n})= 0 \) implies \(x_{1}=x_{2}=x_{3}=\cdots=x_{n-1}=x_{n}\);
- (\(A_{b_{2}}\)):
-
$$\begin{aligned} &A_{b}(x_{1},x_{2},x_{3}, \ldots,x_{n-1},x_{n}) \\ &\quad\leq s \bigl[A_{b} \bigl(x_{1},x_{1},x_{1}, \ldots,(x_{1})_{(n-1)},a \bigr) \\ &\qquad{}+ A_{b} \bigl(x_{2},x_{2},x_{2}, \ldots,(x_{2})_{(n-1)},a \bigr) \\ &\qquad{}+A_{b} \bigl(x_{3},x_{3},x_{3}, \ldots,(x_{3})_{(n-1)},a \bigr) \\ &\qquad{}\vdots \\ &\qquad{}+A_{b} \bigl(x_{(n-1)},x_{(n-1)},x_{(n-1)}, \ldots,(x_{(n-1)})_{(n-1)},a \bigr) \\ &\qquad{}+A_{b} \bigl(x_{n},x_{n},x_{n}, \ldots,(x_{n})_{(n-1)},a \bigr) \bigr]. \end{aligned}$$
The pair \((X, A_{b})\) is called an \(A_{b}\)-quasi-metric-like space.
Example 1.18
Let \(X=\mathbb{R}\). Define the function \(A_{b}:X^{n}\rightarrow [0,\infty)\) by
Then \((X, A_{b})\) is an \(A_{b}\)-quasi-metric-like space with coefficient \(s=2\). Indeed, if \(n=3\), then we have
Note that \(A_{b}(x_{1},x_{2},x_{3})=0\) implies that \(x_{1}=x_{2}=x_{3}\). Also,
Thus, \((X, A_{b})\) is an \(A_{b}\)-quasi-metric-like space with coefficient \(s=2\).
Proposition 1.19
If \((X, A_{b})\) is a quasi-metric-like space, then it is a dislocated \(A_{b}\)-quasi-metric space, but the converse does not hold in general.
Proof
Let \((X, A_{b})\) be an \(A_{b}\)-quasi-metric-like space with coefficient \(s\geq1\). Then \(A_{b}(x_{1},x_{2}, x_{3},\ldots,x_{n-1},x_{n})=0\) implies that \(x_{1}=x_{2}=x_{3}=\cdots=x_{n-1}=x_{n}\), which in turn gives that \(A_{b}(x_{n},x_{n-1},x_{n-2},\ldots,x_{2},x_{1})=0\).
Let \((X, A_{b})\) be a dislocated \(A_{b}\)-quasi-metric space considered in Example 1.3. Since \(A_{b}(x_{1},x_{2},x_{3},\ldots ,x_{n-1},x_{n})=0\) does not imply \(x_{1}=x_{2}=x_{3}=\cdots=x_{n-1}=x_{n}\), \((X, A_{b})\) is not an \(A_{b}\)-quasi-metric-like space. □
Example 1.20
Let \(X=\mathbb{R}\). Define the function \(A_{b}:X^{2}\rightarrow{}[ 0,\infty)\) by
Then \((X, A_{b})\) is a dislocated quasi-b-metric space.
Definition 1.21
Let \((X,d)\) be a metric space, and \(f,g:X\rightarrow X\). The pair \((f,g)\) is said to be weakly compatible on X if f and g commute at their coincidence points, that is, if \(fx=gx \) for some \(x\in X \), then \(gfx=fgx \).
2 Main results
In this section, we obtain a common fixed point result for mappings satisfying generalized local contractive condition in the setup of dislocated \(A_{b}\)-quasi-metric space X. We start with the following result.
Theorem 2.1
Let f, g, T, and S be self mappings on a dislocated \(A_{b}\)-quasi-metric space X with \(s\geq1\), \(x_{0}, x_{1}\in X\), \(y_{0}=Sx_{0}=gx_{1}\), and \(r>1\). Suppose that \(S(Y)\subseteq g(Y)\), \(T(Y)\subseteq f(Y)\), and one of \(S(Y)\), \(g(Y)\), \(T(Y)\), or \(f(Y)\) is a complete subspace of Y, where \(Y=\overline{B(y_{0},r)}\). Suppose that there exists \(\alpha \in [0,\frac{1}{2})\) such that \(0\leq\gamma=(n-1)s\alpha<1\) with \(0<\frac {\gamma }{1-\gamma}<1\) and for any \(x, y\in Y\), we have
where
Then \((f,S)\) and \((g,T)\) have a unique point of coincidence in Y. Furthermore, if \((f,S)\) and \((g,T)\) are weakly compatible, then there exists a unique common fixed point of f, T, S, and g in Y.
Proof
Since \(T(Y)\subseteq f(Y)\), there exists a point \(x_{2}\) in Y such that \(y_{1}=T(x_{1})=f(x_{2}), \ldots\) , so there exist \(\{x_{k}\}\) and \(\{y_{k}\}\) in Y such that \(y_{2k}=Sx_{2k}=gx_{2k+1} \) and \(y_{2k+1}=Tx_{2k+1}=fx_{2k+2}\) for all k in \(\mathbb{N}_{0}\).
Now we show that \(y_{k}\in Y\) for all \(k\in\mathbb{N}\).
Since \(A_{b}(y_{0},y_{0},\ldots,y_{0},Tx_{1})=A_{b}(y_{0},y_{0},\ldots ,y_{0},y_{1})\leq r(1-h)< r\), it follows that \(y_{1}\in Y\). Suppose that \(\{y_{2},y_{3},\ldots,y_{j}\}\subseteq Y\) for some \(j\in \mathbb{N}\). If \(j=2t\), then by (2.1) we have
Thus, we obtain that \(A_{b}(y_{2t},y_{2t},\ldots,y_{2t},y_{2t+1})\leq h(A_{b}(y_{2t-1},y_{2t-1},\ldots,y_{2t-1},y_{2t}))\), where \(h=\frac {\gamma}{1-\gamma}\). Similarly, for \(j=2t+1\), we have \(A_{b}(y_{2t+1},y_{2t+1},\ldots,y_{2t+1},y_{2t+2})\leq hA_{b}(y_{2t},y_{2t},\ldots, y_{2t},y_{2t+1})\). Thus,
Note that
By Lemma 1.7 we have
That is, \(y_{t+1}\in Y\). By induction, \(\{y_{k}\}\subseteq Y\). Now we show that \(\{y_{k}\}\) is a Cauchy sequence in Y.
For this, let \(m,k\in\mathbb{N}\) with \(m>k\). By Lemma 1.7 we have
Hence, \(\lim_{k,m\rightarrow\infty}A_{b}(y_{k},y_{k},y_{k}, \ldots,y_{k},y_{m})=0\), that is, \(\{y_{k}\}\) is a Cauchy sequence in Y.
Next, we assume that \(T(Y)\) is a complete subspace of Y. We choose a point \(x^{\ast}\) in \(T(Y)\) such that \(\lim_{k\rightarrow\infty} y_{k}=x^{\ast}\). Then it follows that
Since \(T(Y)\subseteq f(Y)\), there exists a point y in Y such that \(f(y)=x^{\ast}\). It follows from (2.1) that
where
We consider the following cases:
(i) If \(M(y,x_{2k+1})=A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast },gx_{2k+1})\), then we have
Taking the limit as \(k\rightarrow\infty\), we have
Hence, \(A_{b}(Sy,Sy,\ldots,Sy,x^{\ast})=A_{b}(x^{\ast},x^{\ast },\ldots,x^{\ast },Sy)=0\) implies that \(Sy=x^{\ast}\).
(ii) If \(M(y,x_{2k+1})=A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast},Sy)\), then we obtain that
Taking the limit as \(k\rightarrow\infty\), we have
which further implies that \(Sy=x^{\ast}\).
(iii) When \(M(y,x_{2k+1})=A_{b}(gx_{2k+1},gx_{2k+1},\ldots ,gx_{2k+1},Tx_{2k+1})\), we have
which by taking the limit as \(k\rightarrow\infty\) gives that
and hence \(Sy=x^{\ast}\).
(iv) If \(M(y,x_{2k+1})=A_{b}(Sy,Sy,\ldots,Sy,gx_{2k+1})\), then we have
Taking the limit as \(k\rightarrow\infty\), we obtain that
which implies that \(Sy=x^{\ast}\).
(v) When \(M(y,x_{2k+1})=A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast},Tx_{2k+1})\), we have
which by taking the limit as \(k\rightarrow\infty\) implies that
and hence \(Sy=x^{\ast}\).
Thus, in all cases, we have \(Sy=x^{\ast}\), and hence \(Sy=fy=x^{\ast}\) is a unique coincidence point of \((f,S)\) in Y.
Since \(S(Y)\subseteq g(Y)\), we choose a point z in Y such that \(g(z)=x^{\ast}\). Note that
where
We again consider the following cases:
(i) If \(M(x_{2k},z)=A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast },fx_{2k})\), then we have
which by taking the limit as \(k\rightarrow\infty\) implies \(A_{b}(x^{\ast},x^{\ast },\ldots,x^{\ast},Tz)\leq\gamma A_{b}(x^{\ast},x^{\ast},\ldots ,x^{\ast },x^{\ast})+sA_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast},x^{\ast})\), and hence \(Tz=x^{\ast}\).
(ii) If \(M(x_{2k},z)=A_{b}(fx_{2k},fx_{2k},\ldots,fx_{2k},Sx_{2k})\), then we have
which by taking the limit as \(k\rightarrow\infty\) implies that
which further implies that \(Tz=x^{\ast}\).
(iii) If \(M(x_{2k},z)=A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast},Tz)\), then we have
which by taking the limit as \(k\rightarrow\infty\) gives
and hence \(Tz=x^{\ast}\).
(iv) When \(M(x_{2k},z)=A_{b}(Sx_{2k},Sx_{2k},\ldots,Sx_{2k},x^{\ast })\), we have
Taking the limit as \(k\rightarrow\infty\), we obtain that
and so \(Tz=x^{\ast}\).
(v) If \(M(x_{2k},z)=A_{b}(fx_{2k},fx_{2k},\ldots,fx_{2k},Tz)\), then we have
which by taking the limit as \(k\rightarrow\infty\) gives
and hence \(Tz=x^{\ast}\).
Thus, in all cases, we have \(Tz=gz=x^{\ast}\), a unique coincidence point of \((g,T)\) in Y.
Suppose that \((f,S)\) is weakly compatible. Then \(Sfy=fSy\) implies that \(Sx^{\ast }=fx^{\ast}\). Note that
where
Thus, \(A_{b}(Sx^{\ast},Sx^{\ast},\ldots,Sx^{\ast},x^{\ast})\leq \alpha A_{b}(Sx^{\ast},Sx^{\ast},\ldots,Sx^{\ast},x^{\ast})\) implies that \(x^{\ast }=Sx^{\ast}=fx^{\ast}\).
Similarly, if \((g,T)\) is weakly compatible, then \(Tgz=gTz\) implies that \(Tx^{\ast}=gx^{\ast}\). By (2.1) we have
where
Thus, we have \(A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast},Tx^{\ast })\leq\alpha A_{b}(x^{\ast},x^{\ast},\ldots,x^{\ast},Tx^{\ast})\), which implies that \(x^{\ast}=Tx^{\ast}=gx^{\ast}\), and hence \(x^{\ast}\) is a common fixed point of f, T, S, and g in Y.
To prove the uniqueness, let \(u \in Y\) be such that \(fu=gu=Su=Tu=u\). Note that
where
Hence, \(x^{\ast}=u\). □
Corollary 2.2
Let f, g, T, and S be self-mappings of a dislocated \(A_{b}\)-quasi-metric space X with coefficient \(s\geq1\). Assume that \(S(X)\subseteq g(X)\), \(T(X)\subseteq f(X)\), and one of \(S(X)\), \(g(X)\), \(T(X)\), or \(f(X)\) is a complete subspace of X. Suppose that there exists \(\alpha\in{}[ 0,\frac{1}{2})\) such that for any \(x, y\in X\), we have
where
Then \((f,S)\) and \((g,T)\) have a unique point of coincidence in X. Furthermore, if \((f,S)\) and \((g,T)\) are weakly compatible, then there exists a unique common fixed point of f, T, S, and g in X.
Example 2.3
Let X and \(A_{b}\) be as in Example 1.3. Define the mappings f, g, S, and \(T:X\longrightarrow X\) by
Clearly, \((f,S)\) and \((g,T)\) are pairwise weakly compatible on X with \(S(X)\subseteq g(X)\), \(T(X)\subseteq f(X)\), and \(S(X)\) a complete subspace of X. We now show that for all \(x,y\in X\), condition (2.2) is satisfied. For this, we consider the following cases:
(i) If \(x\neq1\) and \(y=1\), then
(ii) If \(x\neq1\) and \(y\neq1\), then
(iii) If \(x=-1\) and \(y=1\), then
(iv) If \(x=-1\) and \(y\neq1\), then
Thus, all the conditions of Corollary 2.2 are satisfied. Moreover, \(x=1 \) is a common fixed point of f, T, S, and g.
References
Scott, DS: Domains for Denotational Semantics. Lecture Notes in Computer Science, vol. 140 (1982)
Matthews, SG: Partial metric topology. In: Proceedings of the 8th Summer Conference on General Topology and Applications, Flushing, NY, 1992. Annals of the New York Academy of Sciences, vol. 728, pp. 183-197. N.Y. Acad. Sci., New York (1994)
Arshad, M, Shoaib, A, Beg, I: Fixed point of a pair of contractive dominated mappings on a closed ball in an ordered dislocated metric space. Fixed Point Theory Appl. 2013, Article ID 115 (2013)
Abbas, M, Ali, B, Suleiman, YI: Generalized common fixed point results in partially ordered A-metric spaces. Fixed Point Theory Appl. 2015, Article ID 84 (2015)
Hussain, N, Roshan, JR, Parvaneh, V, Latif, A: A unification of G-metric, partial metric, and b-metric spaces. Abstr. Appl. Anal. 2014, Article ID 180698 (2014). doi:10.1155/2014/180698
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 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 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
Abbas, M., Ali, B. & Suleiman, Y.I. Unification of several distance functions and a common fixed point result. Fixed Point Theory Appl 2016, 6 (2016). https://doi.org/10.1186/s13663-015-0494-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0494-z