Abstract
Sedghi et al. (Mat. Vesn. 64(3):258-266, 2012) introduced the notion of a S-metric as a generalized metric in 3-tuples \(S:X^{3} \rightarrow[0,\infty)\), where X is a nonempty set. The aim of this paper is to introduce the concept of an n-tuple metric \(A: X^{n} \rightarrow[0,\infty)\) and to study its basic topological properties. We also prove some generalized coupled common fixed point theorems for mixed weakly monotone maps in partially ordered A-metric spaces. Some examples are presented to support the results proved herein. Our results generalize and extend various results in the existing literature.
Similar content being viewed by others
1 Introduction and preliminaries
Many mathematical problems require one to find a distance between two or more objects which is not easy to measure precisely in general. There exist different approaches to obtaining the appropriate concept of a metric structure. Due to the need to construct a suitable framework to model several distinguished problems of practical nature, the study of generalized metric has attracted, and continues to attract the interest of many authors. Over the last few decades, a number of generalizations of metric space have thus appeared in many papers. These generalizations were then also used to extend the scope of the study of fixed point theory. For more discussions of such generalizations, we refer to [1–4], and [5].
In the sequel, the letters \(\mathbb{R}\), \(\mathbb{R}^{+}\), and \(\mathbb{N}\) will denote the set of all real numbers, the set of all nonnegative real numbers, and the set of all positive integers, respectively.
In 1963, Gähler [2] introduced the notion of a 2-metric space as follows.
Definition 1.1
Let X be a nonempty set. A function \(d:X^{3}\rightarrow\mathbb{R}\) is said to be a 2-metric on X if the following conditions hold:
-
(d1)
For any distinct points \(x,y\in X\) there is \(z\in X\) such that \(d(x,y,z)\neq0\),
-
(d2)
\(d(x,y,z)=0\) if any two elements of the set \(\{x,y,z\}\) in X are equal,
-
(d3)
\(d(x,y,z)=d(x,z,y)=d(y,x,z)=d(z,x,y)=d(y,z,x)=d(z,y,x)\),
-
(d4)
\(d(x,y,z)\leq d(x,y,a)+d(x,a,z)+d(a,y,z)\) for all \(x,y,z,a\in X\).
The pair \((X, d)\) is called a 2-metric space.
Gähler [2] claimed that 2-metric space is a generalization of an ordinary metric space. He mentioned in [6] that \(d(x,y,z)\) geometrically represents the area of a triangle formed by the points \(x,y,z\in X\) as its vertices.
On the other hand, Ha et al. [7] and Sharma [8] found some mathematical flaws in these claims. It was demonstrated in [8] that \(d(x,y,z)\) does not always represent the area of a triangle formed by the points \(x,y,z\in X\). Ha et al. [7] proved that the 2-metric is not sequentially continuous in each of its arguments whereas an ordinary metric satisfies this property.
In order to carry out meaningful studies of fixed point results, Dhage [1] suggested an improvement in the basic structure of 2-metric space.
In 1984, Dhage in his Ph.D. thesis [9] identified condition (d2) as a weakness in Gähler’s theory of a 2-metric space. To overcome these problems, he then introduced the concept of a D-metric space.
Definition 1.2
Let X be a nonempty set. A function \(D:X^{3}\rightarrow\mathbb{R}\) is called a D-metric on X if it satisfies the following conditions:
-
(D1)
\(D(x,y,z)\geq0\) for all \(x,y,z\in X\) and equality holds if and only if \(x=y=z\),
-
(D2)
\(D(x,y,z)=D(x,z,y)=D(y,x,z)=D(z,x,y)=D(y,z,x)=D(z,y,x)\),
-
(D3)
\(D(x,y,z)\leq D(x,y,a)+D(x,a,z)+D(a,y,z)\) for all \(x,y,z,a\in X\).
The pair \((X, D)\) is called a D-metric space.
It is important to note that condition (d3) and (D2) are equivalent. Condition (d4) and (D3) are also equivalent, whereas (d1) and (d2) have been replaced by (D1). Dhage [1] modified condition (d2) to obtain the natural nonnegativity condition of ordinary metric.
Dhage [10] then studied topological properties of D-metric space in a series of papers. The notions of open balls and sequential continuity in D-metric space were introduced in [11]. It was claimed that the D-metric induces a Hausdorff topology, and that the family of all open balls in a D-metric space forms a base for such a topology. Naidu et al. [12] proved that the concepts of convergent sequences and sequential continuity are not well defined in D-metric spaces. Naidu et al. [13] pointed out some drawbacks in the idea of open balls in D-metric space. In 2003, Mustafa and Sims [14] identified condition (D3) as a weakness in Dhage’s theory of D-metric space.
In 2006, Mustafa and Sims [5] introduced the notion of G-metric space and suggested an important generalization of metric space as follows.
Definition 1.3
Let X be a nonempty set. A function \(G:X^{3}\rightarrow \mathbb{R^{+}}\) is called a G-metric on X if it satisfies the following conditions: For all \(x,y,z,a\in X\),
-
(G1)
\(G(x,y,z)=0\) if \(x=y=z\),
-
(G2)
\(0\leq G(x,y,y)\) for all \(x,y\in X\) with \(x\neq y\),
-
(G3)
\(G(x,x,y)\leq G(x,y,z)\) for all \(x,y,z\in X\) with \(z\neq y\),
-
(G4)
\(G(x,y,z)=G(x,z,y)=G(y,x,z)=G(z,x,y)=G(y,z,x)=G(z,y,x)\),
-
(G5)
\(G(x,y,z)\leq G(x,a,a)+G(a,y,z)\).
The pair \((X, G)\) is called a G-metric space.
Note that condition (D1) has been replaced with (G1), (G2), and (G3). Condition (D2) is equivalent to (G4) and condition (D3) has been replaced by (G5). The deficiency of Dhage’s theory of D-metric is thus corrected. Subsequently, Mustafa and Sims [5] studied some topological properties of G-metric space and afterwards some authors have obtained generalized fixed point theorems in the setup of G-metric space; see for example [15].
Unlike in the theory of G-metric space, where condition (D1) was replaced with the three separate axioms (G1), (G2), and (G3), Sedghi et al. [3] observed that condition (D1) can be replaced with two axioms and thus introduced the notion of a \(D^{\ast}\)-metric space as follows.
Definition 1.4
Let X be a nonempty set. A function \(D^{\ast }:X^{3}\rightarrow\mathbb{R^{+}}\) is called a \(D^{\ast}\)-metric on X if it satisfies the following conditions: For all \(x,y,z,a\in X\),
- (D∗1):
-
\(D^{\ast}(x,y,z)\geq0\),
- (D∗2):
-
\(D^{\ast}(x,y,z)=0\) if and only if \(x=y=z\),
- (D∗3):
-
\(D^{\ast}(x,y,z)=D^{\ast}(x,z,y)=D^{\ast}(y,x,z)=D^{\ast }(z,x,y)=D^{\ast}(y,z,x)=D^{\ast}(z,y,x)\),
- (D∗4):
-
\(D^{\ast}(x,y,z)\leq D^{\ast}(x,y,a)+D^{\ast}(a,z,z)\).
The pair \((X, D^{\ast})\) is called a \(D^{\ast}\)-metric space.
Note that condition (D1) has been replaced with (D∗1) and (D∗2). Condition (D2) and (D∗3) are equivalent. Condition (D3) has been replaced with (D∗4). The tetrahedral inequality in D-metric has been replaced with the prototypical rectangular inequality adopted by Mustafa and Sims [5]. Therefore \(D^{\ast}\)-metric space theory can be viewed as an improved version of Dhage’s theory of D-metric space. To the best of our knowledge, little or no work has appeared on the topological properties of \(D^{\ast}\)-metric space. Some interesting fixed point results in \(D^{\ast}\)-metric space have been obtained in [16].
Every G-metric space is a \(D^{\ast}\)-metric space. Indeed conditions (G1), (G2), and (G3) imply (D∗1). Axioms (G1) and (D∗2) are equivalent. (G4) and (D∗3) are also equivalent, whereas (G4) and (G5) imply (D∗4). The converse, however, is false in general; a \(D^{\ast}\)-metric space is not necessarily a G-metric space. To see this let \(X=\mathbb{R}\) and \(D^{\ast}:X^{3}\rightarrow\mathbb{R^{+}} \) be a function defined by
Clearly (D∗1) holds, that is, \(D^{\ast}(x,y,z)\geq0\) for all \(x,y,z\in X\).
Note that \(D^{\ast}(x,y,z)=0\Leftrightarrow|2z-x-y|=0\), \(|2x-y-z|=0\), and \(|2y-x-z|=0 \Leftrightarrow 2z-x=y\), \(2x-y=z\), and \(2y-x=z \Leftrightarrow x=y=z\). Thus condition (D∗2) holds. As \(D^{\ast}(x,y,z)=D^{\ast}(x,z,y)=D^{\ast}(y,x,z)=D^{\ast}(z,x,y) =D^{\ast}(y,z,x)=D^{\ast}(z,y,x)\), (D∗3) is valid for all \(x,y,z\in X\). If \(x,y,z,a\in X\), then we have
This implies \(D^{\ast}(x,y,z)\leq D^{\ast}(x,y,a)+D^{\ast}(a,z,z)\). Hence \((X, D^{\ast})\) is a \(D^{\ast}\)-metric space. Now, if \(x=4\), \(y=-6\), and \(z=2\), then \(G(4,4,-6)=40\) and \(G(4,-6,2)=36\). Thus condition (G3) fails. So not every \(D^{\ast}\)-metric space needs to be a G-metric space.
Sedghi et al. [4] identified condition (G3) as a peculiar limitation of the G-metric space but classified the symmetry condition as a common weakness of both G- and \(D^{\ast}\)-metric spaces.
To overcome these difficulties, Sedghi et al. [4] introduced a new generalized metric space called an S-metric space.
Definition 1.5
Let X be a nonempty set. Suppose a function \(S:X^{3}\rightarrow [0,\infty)\) satisfies the following conditions:
-
(S1)
\(S(x,y,z)\geq0\),
-
(S2)
\(S(x,y,z)=0\) if and only if \(x=y=z\),
-
(S3)
\(S(x,y,z)\leq S(x,x,a)+S(y,y,a)+S(z,z,a)\) for any \(x,y,z,a\in X\).
Then the ordered pair \((X, S)\) is called an S-metric space.
It is observed that the shortfalls of the G-metric are corrected and conditions (D∗3) and (D∗4) are replaced with (S3).
Proposition 1.6
Every \(D^{*}\)-metric space is an S-metric space.
Proof
Let \((X, D^{\ast})\) be a \(D^{\ast}\)-metric space. From Definitions 1.4 and 1.5, we see that:
-
(1)
(D∗1) and (S1) are equivalent,
-
(2)
(D∗2) is equivalent to (S2), and
-
(3)
(D∗3) and (D∗4) imply (S3). Indeed, for all \(x,y,z,a\in X\), we have
$$\begin{aligned} D^{\ast}(x,y,z) \leq&D^{\ast}(x,y,a)+D^{\ast}(a,z,z) \\ =&D^{\ast}(a,x,y)+D^{\ast}(a,z,z) \\ \leq&D^{\ast}(a,x,a)+D^{\ast}(a,a,y)+D^{\ast}(a,z,z) \\ =&D^{\ast}(x,x,a)+D^{\ast}(y,y,a)+D^{\ast}(z,z,a). \end{aligned}$$
Thus, every \(D^{\ast}\)-metric space is an S-metric space. □
But the converse of Proposition 1.6 does not hold in general. To prove this, let \(X=\mathbb{R}\). Define the mapping \(S:X\times X\times X\rightarrow [0,\infty)\) by
for all \(x,y,z\in X\). Obviously, conditions (S1) and (S2) are satisfied. We shall show that, for all \(x,y,z\in X\), (S3) is valid.
Therefore \((X, S)\) is an S-metric space. Note that \(D^{\ast }(4,7,3)=6\neq 8=D^{\ast}(3,4,7)\). Hence \((X,S)\) is not a \(D^{\ast}\)-metric space.
Proposition 1.7
The S-metric space is a generalization of the G-metric space and the \(D^{*}\)-metric space.
Proof
The proof is straightforward. □
Modification, enrichment, and extension of the structure of domains of the definition to obtain more general spaces is one of the active research areas in fixed point theory. One of the basic and the most widely applied fixed point theorems in mathematical analysis is the ‘Banach (or Banach-Caccioppoli) contraction principle’. It states that if \((X,d)\) is a complete metric space and \(f:X\rightarrow X\) satisfies
for all \(x,y\in X\), with \(k\in(0,1)\), then f has a unique fixed point. This result is simple and powerful with a wide range of applications in science and engineering. It can be employed to prove the existence of solution of differential or integral equations including iterative methods for solving linear, nonlinear, differential, integral, and difference equations (see for example Samet [17], Sedghi and Dung [18], Lakshmikantham and Ćirić [19], and Berinde and Vetro [20]) to mention just a few.
Definition 1.8
(see [21])
Let \((X,\leq)\) be a partially ordered set. A mapping \(f:X^{2}\rightarrow\) X is said to have mixed monotone property on X, if for any \(x,y\in X\), \(x_{1}, x_{2}\in X\), \(x_{1}\leq x_{2} \Rightarrow f(x_{1},y)\leq f(x_{2},y)\) and \(y_{1}, y_{2}\in X\), \(y_{1}\leq y_{2} \Rightarrow f(x,y_{1})\geq f(x,y_{2})\).
An element \((x,y)\in X\times X\) is called a coupled fixed point of f if \(x=f(x,y)\) and \(y=f(y,x)\).
In 2006, Bhaskar and Lakshmikantham [21] initiated the study of coupled fixed points and mixed monotone mapping in the setup of metric spaces, which provided powerful tools for solving complex problems; and therefore numerous interesting results on coupled fixed point theorems for various classes of contractive-type mappings in partially ordered metric spaces have been proved; see for example [7, 22–25], and the references therein. Gordji et al. [26] introduced the concepts of coupled common fixed points and mixed weakly monotone pair of mappings as follows.
Definition 1.9
(see [26])
Let \((X,\leq)\) be a partially ordered set and \(f,g:X^{2}\rightarrow X\) be two maps. The pair \((f,g)\) is said to have the mixed weakly monotone property on X if, for all \(x,y\in X\), \(x\leq f(x,y)\), \(y\geq f(y,x)\) imply \(f(x,y)\leq g(f(x,y),f(y,x))\), \(f(y,x)\geq g(f(y,x),f(x,y))\) and \(x\leq g(x,y)\), \(y\geq g(y,x)\) imply \(g(x,y)\leq f(g(x,y),g(y,x))\), \(g(y,x)\geq f(g(y,x),g(x,y))\).
An element \((x,y)\in X\times X\) is called a coupled common fixed point of f and g if \(x=f(x,y)\), \(y=f(y,x)\), \(x=g(x,y)\) and \(y=g(y,x)\). They proved the following result.
Theorem 1.10
(see [26])
Let \((X,\leq,d)\) be a partially ordered complete metric space, \(f,g :X^{2}\rightarrow X\) be the mappings such that the pair \((f,g) \) has mixed weakly monotone property on X. Suppose that there exist \(p,q,r,s\geq0\), with \(p+q+r+2s<1\) such that
holds for all \(x,y,u,v\in X\) with \(x\leq u\) and \(y\geq v\). Let \(x_{0}, y_{0}\in X\) be such that \(x_{0}\leq f(x_{0},y_{0}), f(y_{0},x_{0})\leq y_{0}\) or \(x_{0}\leq g(x_{0},y_{0}), g(y_{0},x_{0})\leq y_{0}\). If f or g is continuous, then f and g have a coupled common fixed point in X.
Furthermore, assume that X has the following properties:
-
(a)
if \(\{x_{n}\}\) is an increasing sequence with \(x_{n}\rightarrow x\), then \(x_{n}\leq x\) for all \(n\geq1\);
-
(b)
if \(\{y_{n}\}\) is a decreasing sequence with \(y_{n}\rightarrow y\), then \(y\leq y_{n} \) for all \(n\geq1\).
Then f and g have a coupled common fixed point in X.
Recently, Dung [27] generalized the results of Gordji et al. [26] in the framework of an S-metric space. He proved the following theorem.
Theorem 1.11
Let \((X,\leq, S)\) be a complete partially ordered S-metric space, \(f,g:X^{2}\rightarrow X\) be two maps such that the pair \((f,g)\) has mixed weakly monotone property on X. Suppose that \(x_{0}, y_{0}\in X\) are such that \(x_{0}\leq f(x_{0},y_{0}), f(y_{0},x_{0})\leq y_{0}\) or \(x_{0}\leq g(x_{0},y_{0}), g(y_{0},x_{0})\leq y_{0}\), and there exist \(p,q,r,s\geq0\), satisfying \(p+q+r+2s<1\) and
for any \(x,y,u,v\in X\) with \(x\leq u\) and \(y\geq v\). Assume f or g is continuous or X has the following properties:
-
(a)
if \(\{x_{k}\}\) is an increasing sequence with \(x_{k}\rightarrow x \), then \(x_{k}\leq x\) for all \(k\in\mathbb{N}\);
-
(b)
if \(\{x_{k}\}\) is a decreasing sequence with \(x_{k}\rightarrow x\), then \(x\leq x_{k}\) for all \(k\in\mathbb{N}\).
Then f and g have a coupled common fixed point in X.
It is our purpose in this paper to first propose a generalization of the S-metric space, called an A-metric space, and then prove some coupled common fixed point theorems for mixed weakly monotone maps in partially ordered A-metric spaces. Our results extend, unify, and generalize comparable results in [4, 26, 27], and [21].
2 A-metric space
We now present the concept of an A-metric space and study some of its properties needed in the sequel.
Definition 2.1
Let X be a nonempty set. A function \(A:X^{n}\rightarrow [0,\infty)\) is called an A-metric on X if for any \(x_{i},a\in X\), \(i=1,2,\ldots,n\), the following conditions hold:
-
(A1)
\(A(x_{1},x_{2},x_{3},\ldots,x_{n-1},x_{n})\geq0\),
-
(A2)
\(A(x_{1},x_{2},x_{3},\ldots,x_{n-1},x_{n})=0\) if and only if \(x_{1}=x_{2}=x_{3}=\cdots=x_{n-1}=x_{n}\),
-
(A3)
$$\begin{aligned} A(x_{1},x_{2},x_{3},\ldots,x_{n-1},x_{n}) \leq &A \bigl(x_{1},x_{1},x_{1}, \ldots,(x_{1})_{(n-1)},a \bigr) \\ &{}+A \bigl(x_{2},x_{2},x_{2}, \ldots,(x_{2})_{(n-1)},a \bigr) \\ &{}+A \bigl(x_{3},x_{3},x_{3}, \ldots,(x_{3})_{(n-1)},a \bigr) \\ &{}\vdots \\ &{}+A \bigl(x_{(n-1)},x_{(n-1)},x_{(n-1)}, \ldots,(x_{(n-1)})_{(n-1)},a \bigr) \\ &{}+A \bigl(x_{n},x_{n},x_{n}, \ldots,(x_{n})_{(n-1)},a \bigr). \end{aligned}$$
The pair \((X, A)\) is called an A-metric space.
Note that A-metric space is an n-dimensional S-metric space. Therefore the ordinary metric d and S-metric are special cases of an A-metric with \(n=2\) and \(n=3\), respectively.
Lemma 2.2
Let \((X, A)\) be A-metric space. Then \(A(x,x,x,\ldots,x,y)=A(y,y,y,\ldots,y,x)\) for all \(x,y\in X\).
Proof
Applying condition (A3) of an A-metric, we obtain
In a similar fashion
The result follows from (2.1) and (2.2). □
Example 2.3
Let \(X=\mathbb{R}\). Define a function \(A:X^{n}\rightarrow [0,\infty)\) by
Then \((X, A)\) is a usual A-metric space.
Example 2.4
Let \(X=\mathbb{R}\). Define a function \(A:X^{n}\rightarrow [ 0,\infty)\) by
Then \((X, A)\) is an A-metric space.
Lemma 2.5
Let \((X,A)\) be A-metric space. Then for all \(x,y\in X\) we have \(A(x,x,x,\ldots,x,z)\leq(n-1)A(x,x,x,\ldots ,x,y)+A(z,z,z,\ldots ,z,y)\) and \(A(x,x,x,\ldots,x,z)\leq(n-1)A(x,x,x,\ldots,x,y)+A(y,y,y,\ldots,y,z)\).
Proof
Applying Lemma 2.2 and condition (A3) of the A-metric, we obtain
which implies
Hence the result. □
Lemma 2.6
Let \((X, A)\) be A-metric space. Then (\(X^{2}\), \(D_{A}\)) is A-metric space on \(X\times X\) with the metric \(D_{A}\) given by \(D((x_{1},y_{1}),(x_{2},y_{2}),\ldots ,(x_{n},y_{n}))=A(x_{1},x_{2},x_{3},\ldots ,x_{n},)+A(y_{1},y_{2},y_{3}, \ldots,y_{n})\) for all \(x_{i}, y_{j}\in X\), \(i,j=1,2,\ldots,n\).
Proof
For all \(x_{i}, y_{j}\in X\), \(i,j=1,2,\ldots,n\), we have \(D((x_{1},y_{1}),(x_{2},y_{2}),(x_{3},y_{3}),\ldots,(x_{n},y_{n}))\geq0\). Note that \(D((x_{1},y_{1}),(x_{2},y_{2}),(x_{3},y_{3}),\ldots ,(x_{n},y_{n}))=0 \Leftrightarrow A(x_{1},x_{2},x_{3},\ldots ,x_{n},)+A(y_{1},y_{2},y_{3}, \ldots,y_{n})=0 \Leftrightarrow A(x_{1},x_{2},x_{3},\ldots,x_{n},)=0 \) and \(A(y_{1},y_{2},y_{3},\ldots,y_{n})=0 \Leftrightarrow x_{1}=x_{2}=x_{3}=\cdots=x_{n}\) and \(y_{1}=y_{2}=y_{3}=\cdots=y_{n} \Leftrightarrow (x_{1},y_{1})=(x_{2},y_{2})=(x_{3},y_{3})=\cdots =(x_{n},y_{n})\). Consider
□
Hence \((X^{2}, D_{A})\) is an A-metric space on \(X \times X\).
Remark 2.7
It is easy to see that whenever \(n=2\), we would get \(D( (x_{1},y_{1}),(x_{2},y_{2}))=d(x_{1},x_{2})+d(y_{1},y_{2})\) where \(D_{A}= D_{d}\) and if we put \(n=3\), then we have \(D( (x_{1},y_{1}),(x_{2},y_{2}), (x_{3},y_{3}))= S(x_{1},x_{2},x_{3})+S(y_{1},y_{2},y_{3})\).
Note also that the following implications hold.
G-metric space ⇒ \(D^{*}\)-metric space ⇒ S-metric space ⇒ A-metric space.
Definition 2.8
The A-metric space \((X, A)\) is said to be bounded if there exists a constant \(r>0 \) such that \(A( x,x,x,\ldots,x, y)\leq r\) for all \(x,y\in X \). Otherwise, X is unbounded.
Definition 2.9
Given a point \(x_{0}\) in A-metric space \((X, A)\) and a positive real number r, the set \(B(x_{0},r)= \{y\in X : A( y,y,y,\ldots,y,x_{0})< r \}\) is called an open ball centered at \(x_{0}\) with radius r.
The set \(\overline{B( x_{0},r )}= \{y\in X : A(y,y,y,\ldots,y,x_{0})\leq r \}\) is called a closed ball centered at \(x_{0}\) with radius r.
Definition 2.10
A subset G in A-metric space \((X, A)\) is said to be an open set if for each \(x\in G\) there exists an \(r > 0\) such that \(B( x, r)\subset G\). A subset \(F \subset X\) is called closed if \(X \setminus F\) is open.
Lemma 2.11
In any A-metric space \((X, A)\), each open ball is an open set in X and each closed ball is also a closed set in X.
Proof
Let \(y \in B(x, r)\) be arbitrary. Thus \(A(y,y,y,\ldots,y,x) < r\). Set \(s = r - A(y,y,y,\ldots,y,x) > 0 \). We show that \(B(y, s)\subset B(x, r)\). For this, let \(z \in B(y, s)\). Then by the condition (A3), we have
This implies \(A(z,z,z,\ldots,z,x)< A(y,y,y,\ldots,y,x)+ s = r\). Hence \(z \in B(x, r)\). Thus \(B(x, r)\) is open. It is easy to show that \(X \setminus \overline{B( x ,r )}\) is open and hence \(\overline{B( x,r )} \) is closed. □
Theorem 2.12
Let \((X, A)\) be A-metric space, then:
-
(i)
An arbitrary union and finite intersection of open balls \(B(x, r)\in X \) is open.
-
(ii)
An arbitrary intersection and finite union of closed balls \(B(x, r)\in X\) is closed.
Proof
The proof is direct and similar to the case of an ordinary metric space. □
Theorem 2.13
The collection \(\Im= \{ B(x,r): x\in X, r >0 \}\) of all balls in A-metric space \((X, A)\) is a basis for a topology τ on X.
Definition 2.14
Let \((X, A)\) be A-metric space. A sequence \(\{{x_{k}}\}\) in X is said to converge to a point \(x \in X\). If \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, x)\rightarrow 0 \) as \(k\rightarrow\infty\).
That is, for each \(\epsilon\geq0\), there exists \(N \in\mathbb{N}\) such that for all \(k\geq N\) we have \(A( x_{k},x_{k},x_{k}, \ldots,x_{k}, x)\leq\epsilon\) and we write \(\lim_{k \to\infty} x_{k} =x \).
Lemma 2.15
Let \((X, A)\) be A-metric space. If the sequence \(\{x_{k}\}\) in X converges to a point x, then x is unique.
Proof
Suppose \(\{x_{k}\}\) converges to x and y. Then given \(\epsilon> 0 \), there exist \(N_{1}, N_{2} \in\mathbb{N}\) such that for all \(k\geq N_{1} \) we have \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, x) < \frac{\epsilon}{2(n-1)}\) and for every \(k\geq N_{2}\) we get \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, y) < \frac{\epsilon}{2}\). Choose \(N = \max\{{N_{1},N_{2}}\}\), therefore, for all \(k\geq N \), we have
Since ϵ is arbitrary, we have \(A( x,x,x,\ldots,x, y)=0 \) and so \(x=y\). Establishing the uniqueness of \(\{x_{k}\}\). □
Definition 2.16
Let \((X, A)\) be A-metric space. A sequence \(\{x_{k}\}\) in X is called a Cauchy sequence if \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, x_{m})\rightarrow0 \) as \(k, m \rightarrow\infty\).
That is, for each \(\epsilon\geq0\), there exists \(N \in\mathbb{N}\) such that for all \(k, m \geq N\) we have \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, x_{m})\leq\epsilon\).
Lemma 2.17
Every convergent sequence in A-metric space is a Cauchy sequence.
Proof
Let \(\{x_{k}\}\) be a convergent sequence in \((X, A)\). Let \(\lim_{k \to \infty} x_{k} =x \). Then given \(\epsilon> 0 \), there exist \(N_{1}, N_{2} \in \mathbb{N}\) such that for all \(k\geq N_{1}\) we have \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, x)< \frac{\epsilon}{2(n-1)}\) and for all \(m\geq N_{2}\) we get \(A( x_{m},x_{m},x_{m},\ldots,x_{m},x)< \frac{\epsilon}{2}\). Put \(N = \max\{ {N_{1},N_{2}}\}\). Therefore, for all \(k, m \geq N \), we obtain
This implies that \(\{x_{k}\}\) is a Cauchy sequence. □
Remark 2.18
The converse of Lemma 2.17 does not hold in general. A Cauchy sequence in an A-metric space does not need to be convergent. To see this we consider the space \((X= \mathbb{Q}, A)\) with the A-metric defined as in Example 2.3. Let \(\{x_{k}\}\) be a sequence defined by \(x_{k}=( 1+\frac{1}{k} )^{k}\). Observe that \(x_{k}\in\mathbb{Q}\) \(\forall k\in\mathbb{N}\). Furthermore,
as \(k, m\rightarrow\infty\). Thus, \(\{x_{k}\}\) is Cauchy. But \(x_{k}\rightarrow e\) as \(k\rightarrow\infty\) and e is not in \(\mathbb{Q}\). Hence \(\{x_{k}\} \) does not converge.
Definition 2.19
The A-metric space \((X, A)\) is said to be complete if every Cauchy sequence in X is convergent.
Definition 2.20
Let \((X, A_{X} )\) and \((Z, A_{Z})\) be A-metric spaces.
A function \(f: X\rightarrow Z \) is said to be continuous at a point \(x_{0} \in X\). If \(f^{-I}(G)\) is open in X, for each open set G in Z. The function f is continuous on X if it is continuous at each points of X.
Theorem 2.21
Let \((X, A_{X} )\) and \((Z, A_{Z} )\) be A-metric spaces.
A function \(f: X\rightarrow Z \) is continuous at a point \(x_{0} \in X\) iff it is sequentially continuous at \(x_{0}\).
Lemma 2.22
Let \((X, A)\) be A-metric space, then the function \(A( 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 \to\infty} x_{k} =x \) and \(\lim_{k \to\infty} y_{k} =y \) then \(\lim_{k \to\infty}A( x_{k},x_{k},x_{k},\ldots,x_{k}, y_{k}) = A( x,x,x,\ldots,x, y)\).
Proof
Let \(\{x_{k}\}\) and \(\{y_{k}\}\) be convergent sequences in \((X, A)\). Let \(\lim_{k \to\infty} x_{k} =x \) and \(\lim_{k \to\infty} y_{k} =y \). Then given \(\epsilon> 0 \), there exist \(N_{1}, N_{2} \in\mathbb{N}\) such that, for all \(k\geq N_{1}\), we get \(A( x_{k},x_{k},x_{k},\ldots,x_{k}, x)< \frac{ \epsilon}{2(n-1)}\) and, for all \(k\geq N_{2}\), we have \(A( y_{k},y_{k},y_{k},\ldots,y_{k}, y) < \frac{\epsilon}{2(n-1)}\). Put \(N = \max\{{N_{1},N_{2}}\}\), therefore, for every \(k \geq N\), we have
which implies
On the other hand,
Therefore by (2.3) and (2.4) we obtain \(|A( x_{k},x_{k},x_{k},\ldots,x_{k}, y_{k}) - A( x,x,x,\ldots,x,y)|\leq\epsilon\), i.e.
This completes the proof. □
3 Main result
In this section, we obtain common coupled fixed point results of mappings satisfying more general contractive conditions in the framework of partially ordered A-metric spaces. We start with the following result.
Theorem 3.1
Let \(( X,\leq,A)\) be a partially ordered complete A-metric space, \(f,g: X^{2}\rightarrow X \) two maps such that;
-
(1)
The pair \((f,g)\) has mixed weakly monotone property on X; \(x_{0}\leq f(x_{0},y_{0}), f(y_{0}, x_{0} )\leq y_{0} \) or \(x_{0}\leq g(x_{0},y_{0}), g(y_{0},x_{0})\leq y_{0}\) for some \(x_{0}, y_{0} \in X\).
-
(2)
There exist \(\alpha_{\imath}\geq0\), \(\imath=1,\ldots,5\), satisfying \(\sum_{\imath}^{5}{\alpha}_{\imath} < 1\) and
$$\begin{aligned} &A \bigl( f(x,y),f(x,y),\ldots,f(x,y),g(u,v) \bigr) + A \bigl( f(y,x),f(y,x),\ldots,f(y,x),g(v,u) \bigr) \\ &\quad\leq \alpha_{1}D \bigl( (x,y),(x,y),(x,y),(x,y), \ldots,(x,y),(u,v) \bigr) \\ &\qquad{}+ \alpha_{2}D \bigl( (x,y),(x,y),\ldots,(x,y), \bigl(f(x,y),f(y,x) \bigr) \bigr) \\ &\qquad{}+ \alpha_{3}D \bigl( (u,v),(u,v),\ldots,(u,v), \bigl(g(u,v),g(v,u) \bigr) \bigr) \\ &\qquad{}+ \alpha_{4}D \bigl( (x,y),(x,y),\ldots,(x,y), \bigl(g(u,v),g(v,u) \bigr) \bigr) \\ &\qquad{}+ \alpha_{5}D \bigl( (u,v),(u,v),\ldots,(u,v), \bigl(f(x,y),f(y,x) \bigr) \bigr) \end{aligned}$$(3.1)for all \(x,y,u,v \in X\) with \(x\leq u\) and \(y\geq v\).
-
(3)
Either f or g is continuous or X has the following properties:
-
(a)
If \(\{x_{k}\}\) is an increasing sequence with \(x_{k}\rightarrow x\), then \(x_{k}\leq x \) for all \(k\in\mathbb{N}\).
-
(b)
If \(\{y_{k}\}\) is a decreasing sequence with \(y_{k}\rightarrow y \), then \(y\leq y_{k}\) for all \(k\in\mathbb{N}\).
-
(a)
Then f and g have a coupled common fixed point in X.
Proof
Let \((x_{0},y_{0})\) be a given point in \(X\times X \).
Choose \(x_{1}=f(x_{0},y_{0})\), \(y_{1}=f(y_{0},x_{0})\), \(x_{2}=g(x_{1},y_{1})\), and \(y_{2}=g(y_{1},x_{1})\).
From the condition \(x_{0} \leq f(x_{0},y_{0}), y_{0} \geq f(y_{0},x_{0})\), and the fact that \((f,g)\) has mixed weakly monotone property we have
Thus,
Continuing this way, we obtain
Therefore the sequences \(\{x_{k}\}\) and \(\{y_{k}\}\) are monotone:
Now we show that these sequences are Cauchy. From the contractive condition (3.1) we have for all \(k \in\mathbb{N}\)
Applying (3.2) we get
Similarly we obtain
This implies that
Thus
Let \(\delta=[\frac{(\alpha_{1} +\alpha_{2} +\alpha_{4})}{(1-( \alpha_{3} +\alpha_{4} )) }] \), then \(0\leq\delta< 1\) and
For all \(k\in\mathbb{N} \), applying (3.1) again and by interchanging the roles of f and g, we obtain
It follows from (3.6) that
This implies
Similarly, by (3.7) we get
By Lemma 2.5 we have for all \(k, m \in\mathbb{N} \) with \(k\leq m \)
and
So we have
Similarly, we have
and
Hence, for all \(k , m \in\mathbb{N} \) with \(k\leq m\), we have
Since \(0\leq\delta=[\frac{(\alpha_{1} +\alpha_{2} +\alpha_{4})}{(1-( \alpha_{3} +\alpha_{4} )) }] < 1\), we have
That is,
Therefore, \(\{ x_{k}\}\) and \(\{ y_{k}\}\) are both Cauchy sequences in X. By the completeness of X, there exist \(x, y \in X \) such that \(x_{k} \rightarrow x \) and \(y_{k} \rightarrow y \) as \(k\rightarrow\infty\).
We next show that the pair \((x,y)\) is a coupled common fixed point of f and g.
Now, suppose f is continuous, then we have
and
Applying (3.1), we have
Therefore
Since \(0\leq( \alpha_{3} + \alpha_{4} ) < 1\), \(A( x,x,x,\ldots,x ,g(x,y))=A(y,y,y,\ldots,y ,g(y,x))=0\).
That is, \(g(x,y)=x\) and \(g(y,x)=y\). This implies \((x,y)\) is a coupled fixed point of g.
In a similar fashion, suppose g is continuous, then we have
and
Applying (3.1) again, we also get
This implies \(f(x,y)=x\) and \(f(y,x)=y\) and so \((x,y)\) is as well a coupled fixed point of f.
Therefore, \((x,y)\) is a coupled common fixed point of f and g.
Finally, suppose X satisfies hypotheses (3a) and (3b). Then by (3.3) we get \(x_{k} \leq x \) and \(y\leq y_{k} \) for all \(k\in\mathbb{N}\). Applying Lemmas 2.5 and 2.6, we obtain
This implies
By using (3.1) and interchanging the roles of f with g we obtain
It follows from (3.10) and (3.11) that
Taking the limit as \(k \rightarrow\infty\) in (3.12), we get
Therefore,
Since \((\alpha_{3} + \alpha_{4}) < 1\) we have \(D((x,y),(x,y),\ldots,(x,y) ,(f(x,y),f(y,x)))=0\). That is \(f(x,y)=x\) and \(f(y,x)=y\). This implies \((x,y)\) is a coupled fixed point of f.
Similarly, we can show that \(g(x,y)=x \) and \(g(y,x)=y\).
Hence, \(f(x,y)=x=g(x,y)\) and \(f(y,x)=y=g(y,x)\). Thus \((x,y)\) is a coupled common fixed point of f and g. This completes the proof. □
Theorem 3.2
In addition to the hypotheses of Theorem 3.1, if X is a totally ordered set, then f and g have a unique coupled common fixed point. Furthermore, any fixed point of f is a fixed point of g, and conversely.
Proof
Let X be a totally ordered set. Suppose \((x,y)\), \((x^{*},y^{*})\) are coupled common fixed points of f and g. That is, \(f(x,y)=x\), \(f(y,x)=y\), and \(g(x^{*},y^{*})=x^{*}\), \(g(y^{*},x^{*})=y^{*}\). We show that \(x=x^{*}\), \(y=y^{*}\), and subsequently \(x=y\).
Observe that if X is a totally ordered set, then, for every \((x,y), (x^{*},y^{*}) \in X\times X \), there exists \((u,v)\in X\times X\) that is comparable to \((x,y)\) and \((x^{*},y^{*})\).
So we let \((x,y) \leq(x^{*},y^{*})\) without loss of generality, then it follows from Lemma 2.6 and Theorem 3.1 that
Since \(0\leq( \alpha_{1} +\alpha_{4} + \alpha_{5} )< 1\), we have \(D((x,y),(x,y),\ldots,(x,y) ,(x^{*},y^{*}))=0\), which implies \(x=x^{*}\) and \(y=y^{*}\).
Proceeding, we show that any fixed point of f is a fixed point of g, and conversely. Applying Lemma 2.6 and Theorem 3.1 we have
Therefore
Since \(0\leq( \alpha_{1} +\alpha_{4} + \alpha_{5} )< 1\), \(A( x,x,\ldots,x ,y)+A( y,y,\ldots,y ,x) =0\).
That is, \(x=y\). The coupled common fixed point of f and g is unique. □
If \(n=3\), \(\alpha_{1}=p\), \(\alpha_{2}=q\), \(\alpha_{3}=r\), \(\alpha_{4}=\alpha_{5}=s\) in Theorem 3.1 with \(D_{A} = D_{S} \), then we obtain the main result in [26].
If \(n=2 \), \(\alpha_{1}=p\), \(\alpha_{2}=q\), \(\alpha_{3}=r\), \(\alpha_{4}=\alpha_{5}=s\), in Theorem 3.1 with \(D_{A} = D_{d} \), then we get the main result in [7].
Example 3.3
Let \((\mathbb{R}, \leq, A)\) be a totally ordered complete A-metric space with A-metric defined as in Example 2.3. Let \(f,g: \mathbb{R}^{2}\rightarrow\mathbb{R}\) be two maps defined by \(f(x,y)=\frac {6x-3y+24n-3}{24n}\) and \(g(x,y)=\frac{8x-4y+32n-4}{32n}\) for all \(n\geq1\).
The pair \((f,g)\) has the mixed weakly monotone property on \(\mathbb{R}\) and
Then the contractive condition (3.2) is satisfied with \(\alpha_{1}=\frac {(n-1)}{n}\), \(\alpha_{2}=\alpha_{3}=\alpha_{4}=\alpha_{5}=0\). Moreover, \((1, 1)\) is the unique coupled common fixed point of f and g.
References
Dhage, BC: Generalized metric spaces mappings with fixed point. Bull. Calcutta Math. Soc. 84, 329-336 (1992)
Gähler, S: 2-metriche raume und ihre topologische strukture. Math. Nachr. 26, 115-148 (1963)
Sedghi, S, Shobe, N, Zhou, H: A common fixed point theorem in \(D^{*}\)-metric spaces. Fixed Point Theory Appl. 2007, Article ID 027906 (2007)
Sedghi, S, Shobe, N, Aliouche, A: A generalization of fixed point theorems in S-metric spaces. Mat. Vesn. 64(3), 258-266 (2012)
Mustafa, Z, Sims, B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 7(2), 289-297 (2006)
Gähler, S: Zur geometric 2-metriche raume. Rev. Roum. Math. Pures Appl. 11, 664-669 (1966)
Ha, KIS, Cho, YJ, White, A: Strictly convex and 2-convex 2-normed spaces. Math. Jpn. 33(3), 375-384 (1988)
Sharma, AK: A note on fixed points in 2-metric spaces. Indian J. Pure Appl. Math. 11(2), 1580-1583 (1980)
Dhage, BC: A study of some fixed point theorem. Ph.D. thesis, Marathwada University, Aurangabad, India (1984)
Dhage, BC: On generalized metric spaces and topological structure. II. Pure Appl. Math. Sci. 40, 37-41 (1994)
Dhage, BC: Generalized metric spaces and topological structure. I. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 46, 3-24 (2000)
Naidu, SVR, Rao, KPR, Srinivasa, N: On the topology of D-metric spaces and the generation of D-metric spaces from metric spaces. Int. J. Math. Math. Sci. 51, 2719-2740 (2004)
Naidu, SVR, Rao, KPR, Srinivasa, N: On the concepts of balls in a D-metric space. Int. J. Math. Math. Sci. 1, 133-141 (2005)
Mustafa, Z, Sims, B: Some results concerning D-metric spaces. In: Proceedings of the International Conferences on Fixed Point Theory and Applications, Valencia, Spain, pp. 189-198 (2003)
Mustafa, Z, Obiedat, H, Awawdeh, F: Some common fixed point theorems for mapping on complete G-metric spaces. Fixed Point Theory Appl. 2008, Article ID 189870 (2008)
Sedghi, S, Rao, KPR, Shobe, N: Common fixed point theorems for six weakly compatible mappings in \(D^{*}\)-metric spaces. Int. J. Math. Math. Sci. 6, 225-237 (2007)
Samet, B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 72, 4508-4517 (2010)
Sedghi, S, Dung, NV: Fixed point theorems on S-metric spaces. Mat. Vesn. 66(1), 113-124 (2014)
Lakshmikantham, V, Ćirić, LI: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70(12), 4341-4349 (2009)
Berinde, V, Vetro, F: Common fixed points of mappings satisfying implicit contractive conditions. Fixed Point Theory Appl. 2012, Article ID 105 (2012)
Bhaskar, TG, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65(7), 1379-1393 (2006)
Choudhurya, BS, Kundu, A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 73, 2524-2531 (2010)
Agarwal, RP, El-Gebeily, MA, O’Regan, D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 87, 1-8 (2008)
Berinde, V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 74(18), 7347-7355 (2011)
Kadelburg, Z, Pavlović, M, Radenović, S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces. Comput. Math. Appl. 59, 3148-3159 (2010)
Gordji, ME, Ramezani, M, Cho, YJ, Akbartabar, E: Coupled common fixed point theorems for mixed weakly monotone mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2012, Article ID 95 (2012)
Dung, NV: On coupled common fixed points theorem for mixed weakly monotone maps in partially ordered S-metric spaces. Fixed Point Theory Appl. 2013, Article ID 48 (2013)
Acknowledgements
The authors are grateful to the reviewers for their helpful comments.
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. Generalized coupled common fixed point results in partially ordered A-metric spaces. Fixed Point Theory Appl 2015, 64 (2015). https://doi.org/10.1186/s13663-015-0309-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0309-2