Abstract
In this paper, the concept of cone 2-metric spaces over Banach algebras is introduced and some existence and uniqueness theorems of fixed points for some mappings satisfying certain contractive conditions are established. As an application of one of the main results, an example is given at the end of the paper.
Similar content being viewed by others
1 Introduction
The notion of 2-metric spaces can be dated back to the work of Gähler, who established some fixed point theorems in 2-metric spaces in [1–3]. In 1976, Sharma et al. in [4] investigated the existence and uniqueness of the fixed points of a family of mappings in 2-metric spaces as follows.
Theorem 1.1
Let \((X,d)\) be a complete bounded 2-metric space (namely, there exists a constant K such that \(d(a,b,c)\leq K\) for all \(a, b, c\in X\)) and let \(\{T_{i}\}_{i=1}^{\infty}\) be a family of mappings from X to itself. Suppose that there exists a non-negative integer sequence \(\{ m_{i}\}_{i=1}^{\infty}\) such that for all positive integers i, j and for all \(x,y,a\in X\), we have
for non-negative constants α, β with \(2\alpha+\beta<1\). Then \(\{T_{i}\}\) share a unique fixed point in X.
In 1979, Rhoades [5] obtained the following.
Theorem 1.2
Let \((X,d)\) be a complete 2-metric space. Suppose the mapping \(T: X\rightarrow X\) satisfies
for \(0\leq h<1\). Then T has a unique fixed point x in X and for every \(x_{0}\in X\), the iterative sequence \(\{T^{n}x_{0}\}\) converges to x. Besides, the following error estimate formula holds:
In 2007, by defining the distance \(d(x,y)\) as a vector in an ordered Banach space E, Huang and Zhang [6] introduced the concept of cone metric spaces and gave the new version of the Banach contraction principle in the setting of cone metric spaces. Since then, a few fixed point results have been proven on cone metric spaces (see [7–11] for more details). Moreover, Liu and Xu [12] introduced the concept of cone metric spaces over Banach algebras and showed that cone metric spaces over Banach algebras are not equivalent to metric spaces. Based on the work of Liu and Xu [12], the authors of [13, 14] obtained some interesting results on cone metric spaces over Banach algebras. By combining the concepts of 2-metric spaces and cone metric spaces, Singh et al. [15] introduced a new space, which is called a cone 2-metric space and established some fixed point theorems of a contractive mapping on cone 2-metric spaces.
Enlightened by these thoughts, we define a new space in this paper, which is called the cone 2-metric space over a Banach algebra and prove some fixed point theorems of some mappings satisfying certain contractive conditions. Our main results extend Theorem 1.1 and Theorem 1.2 to cone 2-metric spaces over Banach algebras. Moreover, some frequently used conditions as the normality of a cone and the boundedness of a metric space are not needed in our results. In addition, the proofs of our results are quite different from those of some known results since a given pair of elements in a Banach algebra may not be compared.
2 Preliminaries
Let \(\mathcal{A}\) always be a real Banach algebra, that is, \(\mathcal {A}\) is a real Banach space in which an operation of multiplication is defined, subject to the following properties (for all \(x,y,z\in\mathcal{A}\), \(a\in\mathbb{R}\)):
-
(i)
\((xy)z=x(yz)\);
-
(ii)
\(x(y+z)=xy+xz\) and \((x+y)z=xz+yz\);
-
(iii)
\(\alpha(xy)=(\alpha x)y=x(\alpha y)\);
-
(iv)
\(\| xy \| \leq\| x \| \| y\| \).
Throughout this paper, we shall assume that a Banach algebra has a unit (i.e., a multiplicative identity) e such that \(ex = xe = x\) for all \(x \in\mathcal{A}\). An element \(x \in\mathcal{A}\) is said to be invertible if there is an inverse element \(y\in\mathcal{A}\) such that \(xy = yx = e\). The inverse of x is denoted by \(x^{-1}\). For more details, we refer to [16].
The following several lemmas about spectral radius are needed in this paper.
Lemma 2.1
(see [16])
Let \(\mathcal{A}\) be a Banach algebra with a unit e and \(x \in \mathcal{A}\). If the spectral radius \(r(x)\) of x is less than 1, i.e.,
then \(e-x\) is invertible. Actually
Remark 2.1
If \(r(x)<1\), then \(\|x^{n}\|\rightarrow0\) (\(n\rightarrow\infty\)).
Lemma 2.2
(see [17])
Let \(\mathcal{A}\) be a Banach algebra and let x, y be vectors in \(\mathcal{A}\). If x and y commute, then the following hold:
-
(i)
\(r(xy)\leq r(x)r(y)\);
-
(ii)
\(r(x+y)\leq r(x)+r(y)\);
-
(iii)
\(|r(x)-r(y)|\leq r(x-y)\).
Lemma 2.3
(see [17])
Let \(\mathcal{A}\) be a Banach algebra and let k be a vector in \(\mathcal{A}\). If \(0\leq r(k)<1\), then we have
Now let us recall the concepts of cone and partial ordering for the Banach algebra \(\mathcal{A}\). A subset P of \(\mathcal{A}\) is called a cone of \(\mathcal{A}\) if:
-
(i)
P is non-empty closed and \(\{\theta, e\}\subset P\);
-
(ii)
\(\alpha P+\beta P\subset P\) for all non-negative real numbers α, β;
-
(iii)
\(P^{2}=PP\subset P\);
-
(iv)
\(P\cap(-P)=\{\theta\}\),
where θ denotes the null of the Banach algebra \(\mathcal{A}\). For a given cone \(P\subset\mathcal{A}\), we can define a partial ordering ⪯ with respect to P by \(x\preceq y\) if and only if \(y-x\in P\). \(x\prec y\) will stand for \(x\preceq y\) and \(x\neq y\), while \(x\ll y\) will stand for \(y-x\in \operatorname{int} P\), where intP denotes the interior of P. If \(\operatorname{int} P\neq\emptyset\), then P is called a solid cone.
In the following we always assume that P is a cone in \(\mathcal{A}\) with \(\operatorname{int} P\neq\emptyset\) and ⪯ is the partial ordering with respect to P.
Definition 2.1
(see [1])
Let X be a non-empty set. Suppose that the mapping \(d: X\times X\times X\rightarrow\mathbb{R^{+}}\) satisfies:
-
(i)
for every pair of distinct points \(x, y\in X\), there exists a point \(z\in X\) such that \(d(x, y, z)\neq0\);
-
(ii)
\(d(x,y,z)=0\) if and only if at least two of \(x,y,z\) are equal;
-
(iii)
\(d(x,y,z)=d(p(x,y,z))\) for all \(x,y,z\in X\) and for all permutations \(p(x,y,z)\) of x, y, z;
-
(iv)
\(d(x,y,z)\leq d(x,y,w)+d(x,w,z)+d(w,y,z)\) for all \(x,y,z,w\in X\).
Then d is called a 2-metric on X, and \((X,d)\) is called a 2-metric space.
Definition 2.2
Let X be a non-empty set. Suppose that the mapping \(d: X\times X\times X\rightarrow\mathcal{A}\) satisfies:
-
(i)
for every pair of distinct points \(x, y\in X\), there exists a point \(z\in X\) such that \(d(x, y, z)\neq\theta\);
-
(ii)
\(\theta\preceq d(x,y,z)\) for all \(x,y,z\in X\) and \(d(x,y,z)=\theta \) if and only if at least two of x, y, z are equal;
-
(iii)
\(d(x,y,z)=d(p(x,y,z))\) for all \(x,y,z\in X\) and for all permutations \(p(x,y,z)\) of x, y, z;
-
(iv)
\(d(x,y,z)\preceq d(x,y,w)+d(x,w,z)+d(w,y,z)\) for all \(x,y,z,w\in X\).
Then d is called a cone 2-metric on X, and \((X,d)\) is called a cone 2-metric space over the Banach algebra \(\mathcal{A}\).
See [15] for some special examples of cone 2-metric spaces over Banach algebras.
Definition 2.3
Let \((X,d)\) be a cone 2-metric space over the Banach algebra \(\mathcal{A}\), \(x\in X\), and let \(\{x_{n}\}\) be a sequence in X. Then:
-
(i)
\(\{x_{n}\}\) converges to x whenever for each \(c\in\mathcal{A}\) with \(\theta\ll c\) there is a natural number N such that \(d(x_{n}, x,a)\ll c\) for all \(a\in X\) and for all \(n \geq N\). We denote it by \(\lim_{n\rightarrow\infty}x_{n}=x\) or \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\).
-
(ii)
\(\{x_{n}\}\) is a Cauchy sequence whenever for each \(c\in\mathcal {A}\) with \(\theta\ll c\) there is a natural number N such that \(d(x_{n}, x_{m},a)\ll c\) for all \(a\in X\) and for all \(n,m \geq N\).
-
(iii)
\((X,d)\) is a complete cone 2-metric space if every Cauchy sequence is convergent in X.
Lemma 2.4
(see [18])
If E is a real Banach space with a solid cone P and if \(\theta \preceq u\ll c\) for each \(\theta\ll c\), then \(u=\theta\).
Lemma 2.5
(see [18])
If \(\mathcal{A}\) is a real Banach space with a solid cone P and if \(\|x_{n} \|\rightarrow0\) (\(n\rightarrow\infty\)), then for any \(\theta \ll c\), there exists \(N\in\mathbb{N}\) such that, for any \(n > N\), we have \(x_{n}\ll c\).
Now, we review some facts on c-sequence theories.
Definition 2.4
Let P be a solid cone in a Banach space \(\mathcal{A}\). A sequence \(\{ x_{n}\}\subset P\) is a c-sequence if for each \(\theta\ll c\) there exists \(N\in\mathbb{N}\) such that \(x_{n}\ll c\) for all \(n > N\).
Lemma 2.6
(see [20])
Let P be a solid cone in a Banach space \(\mathcal{A}\) and let \(\{x_{n}\} \) and \(\{y_{n}\}\) be sequences in P. If \(\{x_{n}\}\) and \(\{y_{n}\}\) are c-sequences and \(\alpha,\beta>0\), then \(\{\alpha x_{n}+\beta y_{n}\}\) is a c-sequence.
Lemma 2.7
(see [17])
Let P be a solid cone in a Banach space \(\mathcal{A}\) and let \(\{x_{n}\} \) be a sequence in P. Suppose that \(k\in P\) is an arbitrarily given vector and \(\{x_{n}\}\) is a c-sequence in P. Then \(\{kx_{n}\}\) is a c-sequence.
3 Main results and proofs
In this section, we will give some fixed point theorems in the setting of cone 2-metric spaces over Banach algebras.
Proposition 3.1
Let \((X,d)\) be a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\) and let P be the underlying solid cone in \(\mathcal {A}\). Let \(\{x_{n}\}\) be a sequence in X. If \(\{x_{n}\}\) converges to \(x\in X\), then we have:
-
(i)
\(\{d(x_{n},x,a)\}\) is a c-sequence for all \(a\in X\).
-
(ii)
For any \(p\in\mathbb{N}\), \(\{d(x_{n},x_{n+p},a)\}\) is a c-sequence for all \(a\in X\).
Proof
The proof of this proposition is easy, so we omit it here. □
Proposition 3.2
Let P be a solid cone in the Banach algebra \(\mathcal{A}\) and let x be a vector in \(\mathcal{A}\). Suppose that \(k\in P\) is an arbitrarily given vector and \(x\ll c\) for any \(\theta\ll c\), then we have \(kx\ll c\) for any \(\theta\ll c\).
Proof
Fix \(c\gg\theta\), then \(\frac{c}{m}\gg\theta\) for all \(m\in\mathbb {N}\). It is clear that \(x\preceq\frac{c}{m}\) for all \(m\in\mathbb{N}\). So \(kx\preceq\frac{kc}{m}\). Since \(\frac{kc}{m}\rightarrow\theta\) as \(m\rightarrow\infty\), there exists \(M\in\mathbb{N}\) such that \(kx\preceq\frac{kc}{m}\ll c\) when \(m>M\). This completes the proof. □
Theorem 3.1
Let \((X,d)\) be a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\) and P be the underlying solid cone and \(\{T_{i}\} _{i=1}^{\infty}\) be a family of mappings from X to itself. Suppose that there exists a non-negative integer sequence \(\{m_{i}\}_{i=1}^{\infty}\) such that for all positive integers i, j and for all \(x,y,a\in X\), we have
for \(k_{1},k_{2},k_{3}\in P\) with \(r(k_{1})+r(k_{2})+r(k_{3})<1\) and \(k_{1}\), \(k_{2}\), and \(k_{3}\) commute. Then \(\{T_{i}\}_{i=1}^{\infty}\) share a unique fixed point in X.
Proof
Write \(g_{i}=T_{i}^{m_{i}}\), \(i=1,2,\ldots \) . Then for all i, j, by (3.1), we have
Pick \(x_{0}\in X\) and set \(x_{n}=g_{n}(x_{n-1})\), \(n\geq1\). Then
which together with Lemma 2.1 yields
where \(k=(e-k_{1})^{-1}(k_{2}+k_{3})\). In this case, for all \(l< n\), one has
It means that \(d(x_{n},x_{n-1},x_{l})=\theta\) for all \(l< n\). Thus, for \(n>m\), we have
On the other hand, it follows from Lemma 2.2 and Lemma 2.3 that
Hence, from Lemma 2.5 and the fact that \(\| (e-k)^{-1}k^{m}d(x_{1},x_{0},a)\|\rightarrow0\) (\(n\rightarrow\infty\)), it follows that, for any \(c\in\mathcal{A}\) with \(\theta\ll c\), there exists \(N\in\mathbb{N}\) such that for any \(n>m>N\), we have
So \(\{x_{n}\}\) is a Cauchy sequence in X. As X is complete, there exists \(x\in X\) such that \(x_{n}\rightarrow x\) (\(n\rightarrow\infty\)). We claim that x is the unique fixed point of \(T_{i}\) for all \(i\geq1\). In fact
which implies
Therefore, it follows from Lemma 2.6, Lemma 2.7, and Proposition 3.1 that \((e-k_{2})d(g_{n}(x), x,a)\preceq y_{m}\), where \(\{y_{m}\}\) is a c-sequence in P. In this case, we have \((e-k_{2})d(g_{n}(x),x,a)\ll c\) for any \(c\gg \theta\), which together with Proposition 3.2 implies that \(\theta \preceq d(g_{n}(x),x,a)\ll c\) for any \(a\in X\), \(n\in\mathbb{N}\), and \(c\gg\theta\) as \(e-k_{2}\) is invertible. Therefore, by Lemma 2.4, \(d(g_{n}(x),x,a)=\theta\) for any \(n\in\mathbb{N}\). Namely, \(g_{n}(x)=x\) for any \(n\in\mathbb{N}\).
Suppose that y is another fixed point of \(g_{n}\) in X, then
That is \((e-k_{3})d(x,y,a)\preceq\theta\), which means \(d(x,y,a)=\theta\) for any \(a\in X\) because of the invertibility of \(e-k_{3}\). So \(x=y\). That is, the fixed point of \(g_{n}\) is unique. As \(x=g_{n}(x)=T_{n}^{m_{n}}(x)\), we have \(T_{n}(x)=T_{n}(T_{n}^{m_{n}}(x))=T_{n}^{m_{n}}(T_{n}(x))=g_{n}(T_{n}(x))\). It is easy to see that \(T_{n}(x)=x\). Similarly, the uniqueness of the fixed point of \(T_{n}\) can be proven. □
Remark 3.1
If we replace the Banach algebra \(\mathcal{A}\) with the real numbers field \(\mathbb{R}\) in Theorem 3.1, then we get a similar result as Theorem 1.1. Moreover, it should be noted that, in this case, we do not need the bounded property of the underlying space \((X, d)\), so Theorem 3.1 generalizes and extends Theorem 1.1.
Corollary 3.1
Let \((X,d)\) be a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\) and P be the underlying solid cone and let \(\{ T_{i}\}_{i=1}^{\infty}\) be a family of mappings from X to itself. Suppose that there exists a non-negative integer sequence \(\{m_{i}\}_{i=1}^{\infty }\) such that for all positive integers i, j and for all \(x,y,a\in X\), we have
for some fixed \(k\in P\) with \(r(k)<1\). Then the \(\{T_{i}\}\) share a unique fixed point in X.
Corollary 3.2
Let \((X,d)\) be a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\) and P be the underlying solid cone and let \(\{ T_{i}\}_{i=1}^{\infty}\) be a family of mappings from X to itself. Suppose that there exists a non-negative integer sequence \(\{m_{i}\}_{i=1}^{\infty }\) such that for all positive integers i, j and for all \(x,y,a\in X\), we have
for some fixed \(k\in P\) with \(r(k)<\frac{1}{2}\). Then the \(\{T_{i}\}\) share a unique fixed point in X.
Proof
Note that \(r(k+k)\leq2r(k)<1\) according to Lemma 2.2, so the proof is rightward from Theorem 3.1. □
In the following, we will present some notations. Let \(a_{i},b_{i},x,y,k\in\mathcal{A}\). Write:
-
(i)
\(x\preceq\bigvee_{i\geq0}\{a_{i}\}\) ⇔ there exists \(i\geq0\) such that \(x\preceq a_{i}\).
-
(ii)
\(\bigvee_{i\geq0}\{a_{i}\}\preceq\bigvee_{j\geq0}\{b_{j}\}\) ⇔ for any \(i\geq0\) there exists \(j\geq0\) such that \(a_{i}\preceq b_{j}\).
-
(iii)
\(\bigvee_{i\geq0}\{a_{i}\}\preceq x\) ⇔ for any \(i\geq0\), we have \(a_{i}\preceq x\).
-
(iv)
\(k\bigvee_{i\geq0}\{a_{i}\}=\bigvee_{i\geq0}\{ka_{i}\}\).
Lemma 3.1
(see [17])
Let \(\mathcal{A}\) be a Banach algebra with a unit e, P be a cone in \(\mathcal{A}\), and ⪯ be the partial ordering generated by P. Suppose that x is invertible and that \(x^{-1}\succ\theta\) implies \(x\succ\theta\). Let \(\lambda\in P\). If the spectral radius \(r(\lambda )\) of λ is less than 1, then for any integer \(n\geq1\), we have \(\lambda^{n}\preceq\lambda\preceq e\).
Lemma 3.2
Let \((X,d)\) be a complete cone 2-metric space, P be a cone in the Banach algebra \(\mathcal{A}\) and ⪯ be the partial ordering generated by P. Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be two sequences in X with \(\lim_{n\rightarrow\infty}x_{n}=x\) and \(\lim_{n\rightarrow \infty}y_{n}=y\). Then for any \(c\gg\theta\), there exists \(N\in\mathbb {N}\) such that for any \(n>N\), we have
for all \(a\in X\).
Proof
The proof is easy, so we omit it here. □
Lemma 3.3
Let \((X,d)\) be a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\) and P be the underlying solid cone.
-
(1)
Suppose that x is invertible and that \(x^{-1}\succ\theta\) implies \(x\succ\theta\).
-
(2)
Suppose the mapping \(T: X\rightarrow X\) satisfies
$$ d(Tx, Ty, a)\preceq k\bigvee\bigl\{ d(x, y,a),d(x,Tx,a),d(y,Ty,a)d(x,Ty,a),d(y,Tx,a) \bigr\} $$(3.2)for an invertible \(k\in P\) with \(r(k)<1\).
Then for any positive integers n and any \(x_{0}\in X\), the following assertions hold:
-
(i)
\(\bigvee_{1\leq i,j\leq n}\{d(T^{i}x_{0},T^{j}x_{0},a)\}\preceq k\bigvee_{0\leq i,j\leq n}\{d(T^{i}x_{0},T^{j}x_{0},a)\}\).
-
(ii)
\(\bigvee_{1\leq i,j\leq n}\{d(T^{i}x_{0},T^{j}x_{0},a)\}\preceq k\bigvee_{0\leq j\leq n}\{d(x_{0},T^{j}x_{0},a)\}\).
-
(iii)
For all \(i,j=1,2,\ldots,n\), we have \(d(T^{i}x_{0},T^{j}x_{0},x_{0})=\theta\).
-
(iv)
For any \(n\in\mathbb{N}\),
$$\bigvee_{0\leq i,j\leq n}\bigl\{ d\bigl(T^{i}x_{0},T^{j}x_{0},a \bigr)\bigr\} \preceq \bigl((e-k)^{-1}(e-k)^{-1}+(e-k)^{-1} \bigr)d(x_{0},Tx_{0},a). $$
Proof
According to (3.2), for all i, j, \(1\leq i,j\leq n\), we have
So (i) is true.
From (i), we know that
We claim that \(\bigvee_{1\leq i,j\leq n}\{d(T^{i}x_{0},T^{j}x_{0},a)\}\preceq k\bigvee_{0\leq j\leq n}\{d(x_{0},T^{j}x_{0},a)\}\). In fact, for any \(1\leq i,j\leq n\), there exist \(1\leq i^{(1)},j^{(1)}\leq n\) such that \(d(T^{i}x_{0},T^{j}x_{0},a)\preceq kd(T^{i^{(1)}}x_{0},T^{j^{(1)}}x_{0},a)\) (otherwise \(d(T^{i}x_{0},T^{j}x_{0},a)\preceq k d(x_{0},T^{j_{1}}x_{0},a)\) for some \(0\leq j_{1}\leq n\), then the claim is true). Also, there exist \(1\leq i^{(2)},j^{(2)}\leq n\) such that \(d(T^{i^{(1)}}x_{0},T^{j^{(1)}}x_{0},a)\preceq kd(T^{i^{(2)}}x_{0},T^{j^{(2)}}x_{0},a) \) (otherwise, by Lemma 3.1, \(d(T^{i}x_{0},T^{j}x_{0},a)\preceq k(k d(x_{0},T^{j_{2}}x_{0},a))=k^{2}d(x_{0},T^{j_{2}}x_{0},a)\preceq kd(x_{0},T^{j_{2}}x_{0},a)\) for some \(0\leq j_{2}\leq n\); so the claim is true). As the procedure continues, we obtain
Otherwise, the claim is true. Besides, there exists \(0\leq s< t\) such that \(i^{(s)}=i^{(t)}\), \(j^{(s)}=j^{(t)}\), where \(i^{(0)}=i\), \(j^{(0)}=j\). Then we have \(k^{s}d(T^{i^{(s)}}x_{0},T^{j^{(s)}}x_{0},a)\preceq k^{t}d(T^{i^{(t)}}x_{0},T^{j^{(t)}}x_{0},a)=k^{t}d(T^{i^{(s)}}x_{0},T^{j^{(s)}}x_{0},a)\), which implies
Since \(k^{s}-k^{t}\) is invertible, we can obtain \(d(T^{i^{(s)}}x_{0},T^{j^{(s)}}x_{0},a)=\theta\) by multiplying \((k^{s}-k^{t})^{-1}\) in both sides. This means \(d(T^{i}x_{0},T^{j}x_{0},a)=\theta\) for any i, j, a, which contradicts the definition of cone 2-metric spaces over Banach algebras. Hence, our claim is true. Namely, (ii) is proven.
Now, take \(a=x_{0}\), for any \(1\leq i,j\leq n\), by (ii), there exists \(0\leq m\leq n\) such that
which gives (iii).
According to (ii) and (iii), for fixed \(n\in\mathbb{N}\) and for any \(1\leq i,j\leq n\), there exists \(0\leq j^{(1)},j^{(2)},\ldots ,j^{(t)}\leq n\) such that
There exists \(1\leq s< t\) such that \(j^{(s)}=j^{(t)}\), then
which implies
Hence,
On the other hand, by Lemma 3.1, we have
Also, we can get \((k^{s-1}+\cdots+k)\preceq(e-k)^{-1}\) in a similar way. So we have
In fact, we can obtain \(d(x_{0},T^{j}x_{0},a)\preceq ((e-k)^{-1}(e-k)^{-1}+(e-k)^{-1})d(x_{0},Tx_{0},a)\) for any \(1\leq j\leq n\) by using the same approach. Then (iv) is given. □
Theorem 3.2
Let \((X,d)\) be a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\) and P be the underlying solid cone.
-
(i)
Suppose that x is invertible and that \(x^{-1}\succ\theta\) implies \(x\succ\theta\).
-
(ii)
Assume the mapping \(T: X\rightarrow X\) satisfies
$$ d(Tx, Ty, a)\preceq k\bigvee\bigl\{ d(x, y,a),d(x,Tx,a),d(y,Ty,a), d(x,Ty,a),d(y,Tx,a)\bigr\} $$(3.3)for an invertible \(k\in P\) with \(r(k)<1\).
Then T has a unique fixed point x in X and for every \(x_{0}\in X\), the iterative sequence \(\{ T^{n}x_{0}\}\) converges to x. Besides, the following error estimate formula holds for any \(c\gg\theta\):
Proof
Take \(x_{0}\in X\). Set \(x_{n}=T^{n}x_{0}\), \(i=1,2,\ldots \) . For any n, m, \(n< m\), it follows from Lemma 3.3 and (3.3) that
Hence, by Lemma 2.5 and the fact that \(\| k^{n}((e-k)^{-1}(e-k)^{-1}+(e-k)^{-1})d(x_{0},Tx_{0},a)\|\rightarrow0\) (\(n\rightarrow\infty\)), we see that, for any \(c\in\mathcal{A}\) with \(\theta\ll c\), there exists \(N\in\mathbb{N}\) such that for any \(m>n>N\), we have
So \(\{x_{n}\}\) is a Cauchy sequence in X. As X is complete, there exists \(x\in X\) such that \(x_{n}\rightarrow x\) (\(n\rightarrow\infty\)). Let \(m\rightarrow\infty\) and by Lemma 3.2, we have
for all \(n\geq1\) and any \(c\gg\theta\), which gives the error estimate formula.
For all \(a\in X\), we have
By Proposition 3.2, for any \(\theta\ll c\) there exists \(N\in \mathbb{N}\) such that for all \(n>N\),
Hence, we have \(d(x_{n+1},Tx,a)\ll\frac{c}{2}\) or \(d(x_{n+1},Tx,a)\preceq kd(x,Tx,a)\) for all \(n>N\). By Lemma 3.2, it is easy to see that \(d(x,Tx,a)\ll c\) or \((e-k)d(x,Tx,a)\ll c\), which together with Proposition 3.2 implies that \(d(x,Tx,a)=\theta\) for any \(a\in X\) as \(e-k\) is invertible. Furthermore, \(Tx=x\).
Suppose that y is another fixed point of T in X, then
which gives \(d(x,y,a)\preceq\theta\) or \(d(x,y,a)\preceq kd(x,y,a)\). So \(d(x,y,a)=\theta\). Then \(x=y\). □
Remark 3.2
If we replace the Banach algebra \(\mathcal{A}\) with the real numbers field \(\mathbb{R}\) in Theorem 3.2, then we get Theorem 1.2, so Theorem 1.2 is just a corollary of Theorem 3.2. Moreover, it should be noted that, in a cone 2-metric space over the Banach algebra \(\mathcal{A}\), for any pair of given elements, they may not be comparable, which is the key difficulty for us in proving Theorem 3.2. Fortunately, we found an effective way for it, and our way may be helpful for other researchers to deal with similar problems.
We conclude the paper with an example, which can illustrate the result of Theorem 3.1.
Example 3.1
Let \(\mathcal{A}=\mathbb{R}^{2}\). For each \((x_{1},x_{2})\in\mathcal{A}\), \(\| (x_{1},x_{2})\|=|x_{1}|+|x_{2}|\). The multiplication is defined by \(xy=(x_{1},x_{2})(y_{1},y_{2})=(x_{1}y_{1},x_{1}y_{2}+x_{2}y_{1})\). Then \(\mathcal{A}\) is a Banach algebra with unit \(e=(1,0)\). Let \(P=\{(x_{1},x_{2})\in\mathbb {R}^{2}|x_{1},x_{2}\geq0\}\). Then P is a cone in \(\mathcal{A}\).
Let \(X=\{(x,0)\in\mathbb{R}^{2}|0\leq x\leq1\}\cup\{(0,x)\in\mathbb {R}^{2}|0\leq x\leq1\}\). The mapping is defined by \(d(\alpha_{1},\alpha _{2},\alpha_{3})=d_{1}(\beta_{1},\beta_{2})\) where \(\alpha_{1},\alpha_{2},\alpha_{3}\in X\) and \(\beta_{1},\beta_{2}\in\{\alpha_{1},\alpha_{2},\alpha_{3}\}\) are such that \(\|\beta_{1}-\beta_{2}\|=\min\{\|\alpha_{1}-\alpha_{2}\|,\|\alpha_{2}-\alpha _{3}\|,\|\alpha_{3}-\alpha_{2}\|\}\) and
Then \((X,d)\) is a complete cone 2-metric space over the Banach algebra \(\mathcal{A}\).
Now we define mappings \(T_{i}: X\rightarrow X\) (\(i\geq1\)) by
and
Then it is not difficult to verify that \(T_{i}^{2i-1}((x,0))=(0,\frac {1}{12}x)\) and \(T_{i}^{2i-1}((0,x))=(\frac{1}{18}x,0)\). Hence, it follows from [15] that \(T_{i}\) satisfies the contractive condition
for all \(x,y,a\in X\) and \(i\geq1\), where \(m_{i}=2i-1\), \(k_{1}=(\frac {1}{3},0)\), \(k_{2}=(\frac{1}{3},0)\), \(k_{3}=(\frac{1}{4},0)\). Besides, \(r(k_{1})=r(k_{2})=\frac{1}{3}\), \(r(k_{3})=\frac{1}{4}\). By Theorem 3.1, we see that \(T_{i}\) has a unique fixed point \((0,0)\) for all \(i\geq1\).
References
Gähler, S: 2-metrische Räume und ihre topologische strukturen. Math. Nachr. 26, 115-148 (1963)
Gähler, S: Über die Uniformisierbarkeit 2-metricsche Raume. Math. Nachr. 28, 235-244 (1965)
Gähler, S: Zur geometric 2-metrische Räume. Rev. Roum. Math. Pures Appl. 11, 665-667 (1966)
Sharma, P, Sharma, B, Iseki, K: Contractive type mapping in 2-metric space. Math. Jpn. 21, 67-70 (1976)
Rhoades, B: Contractive type mapping on a 2-metric space. Math. Nachr. 91, 151-155 (1979)
Huang, L, Zhang, X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332, 1468-1476 (2007)
Kadelburg, Z, Radenović, S: Some common fixed point results in non-normal cone metric spaces. J. Nonlinear Sci. Appl. 3(3), 193-202 (2010)
Kadelburg, Z, Murthy, P, Radenović, S: Common fixed points for expansive mappings in cone metric spaces. Int. J. Math. Anal. 5(27), 1309-1319 (2011)
Radenović, S, Radojević, S, Pantelić, S, Pavlović, M: Ćirić type theorems in abstract metric spaces. Theor. Math. Appl. 2(1), 89-102 (2012)
Kadelburg, Z, Radenović, S: A note on various types of cones and fixed point results in cone metric spaces. Asian J. Math. Appl. 2013, Article ID ama0104 (2013)
Gajić, L, Rakočević, V: Quasi-contractions on a nonnormal cone metric space. Funct. Anal. Appl. 46(1), 75-79 (2012)
Liu, H, Xu, S: Cone metric spaces with Banach algebras and fixed point theorems of generalized Lipschitz mappings. Fixed Point Theory Appl. 2013, 320 (2013)
Huang, H, Radenović, S, Došenović, T: Some common fixed point theorems on c-distance in cone metric spaces over Banach algebras. Appl. Comput. Math. 14(2), 180-193 (2015)
Huang, H, Radenović, S: Common fixed point theorems of generalized Lipschitz mappings in cone b-metric spaces over Banach algebras and applications. J. Nonlinear Sci. Appl. 8, 787-799 (2015)
Singh, B, Jain, S, Bhagat, P: Cone 2-metric space and fixed point theorem of contractive mappings. Comment. Math. 52(2), 143-151 (2012)
Rudin, W: Functional Analysis, 2nd edn. McGraw-Hill, New York (1991)
Xu, S, Radenović, S: Fixed point theorems of generalized Lipschitz mappings on cone metric spaces over Banach algebras without assumption of normality. Fixed Point Theory Appl. 2014, 102 (2014)
Radenović, S, Rhoades, B: Fixed point theorem for two non-self mappings in cone metric spaces. Comput. Math. Appl. 57, 1701-1707 (2009)
Dordević, M, Dorić, D, Kadelburg, Z, Radenović, S, Spasić, D: Fixed point results under c-distance in tvs-cone metric spaces. Fixed Point Theory Appl. 2011, 29 (2011). doi:10.1186/1687-1812-2011-29
Kadelburg, Z, Radenović, S: A note on various types of cones and fixed point results in cone metric spaces. Asian J. Math. Appl. 2013, Article ID ama0104 (2013)
Acknowledgements
The authors are grateful to the referees and the editors for valuable comments and suggestions, which have greatly improved the original manuscript.
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 to the writing of 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
Wang, T., Yin, J. & Yan, Q. Fixed point theorems on cone 2-metric spaces over Banach algebras and an application. Fixed Point Theory Appl 2015, 204 (2015). https://doi.org/10.1186/s13663-015-0459-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0459-2