Abstract
In this work, the concept of almost contraction for multi-valued mappings in the setting of cone metric spaces is defined and then we establish some fixed point and common fixed point results in the set-up of cone metric spaces. As an application, some invariant approximation results are obtained. The results of this paper extend and improve the corresponding results of multi-valued mapping from metric space theory to cone metric spaces. Further our results improve the recent result of Arshad and Ahmad (Sci. World J. 2013:481601, 2013).
Similar content being viewed by others
1 Introduction
Fixed point theory has many applications in different branches of science. This theory itself is a beautiful mixture of analysis, topology, and geometry. Since the appearance of the Banach contraction mapping principle, there has been a lot of activity in this area and several well-known fixed point theorems came into existence as a generalization of that principle. Many authors generalized and extended the notion of metric spaces such as b-metric spaces, partial metric spaces, generalized metric spaces, complex-valued metric space etc. For a useful discussion of these generalizations of metric spaces, one may refer to [1].
In 2007, Huang and Zhang [2] introduced the concept of cone metric space as a generalization of metric space, in which they replace the set of real numbers with a real Banach space. Although they proved several fixed point theorems for contractive type mappings on a cone metric space when the underlying cone is normal. Rezapour and Hamlbarani [3] proved such fixed point theorems omitting the assumptions of normality of cone. After that, the study of fixed point theorems in cone metric spaces was followed by many others (e.g., see [4–17] and the references therein).
On the other side, Nadler [18] and Markin [19] initiated the study of fixed point theorems for multi-valued mappings and established the multi-valued version of the Banach contraction mapping principle. Since the theory of multi-valued mappings has many applications, it became a focus of research over the years. Recently, many authors worked out results on multi-valued mappings defined on a cone metric space when the underlying cone is normal or regular (see [20–23]). In 2011, Janković et al. [24] showed that most of the fixed point results in the set-up of normal cone metric space can be obtained as a consequence of the corresponding results in metric spaces. In the light of this, Arshad and Ahmad [25] improved Wardowski’s results by proving the same without the assumption of the normality of the cones.
Here, the concept of almost contraction for multi-valued mappings in the setting of cone metric spaces is defined and then we establish some fixed point and common fixed point results in the set-up of cone metric spaces. In this way our results extend the results of Arshad and Ahmad [25] and also improve the corresponding results of both single-valued and multi-valued mappings existing in the literature. Before starting our work we need the following well-known definitions and results.
Definition 1
Let E be a real Banach space with norm \(\Vert \cdot \Vert \) and P be a subset of E. Then P is called a cone if
-
(1)
P is nonempty, closed, and \(P \neq\{\theta\}\), where θ is the zero element of E;
-
(2)
for any non-negative real numbers a, b and for any \(x, y \in P\), one has \(ax+by\in P\);
-
(3)
\(x\in P\) and \(-x\in P\) implies \(x = \theta\).
Given a cone \(P\subseteq E\), we define a partial ordering ⪯ with respect to P by \(x \preceq y\) if and only if \(y-x\in P\). We shall write \(x\prec y\) if \(x \preceq y\) and \(x\neq y\) while \(x\ll y\) if and only if \(y-x \in \operatorname{int}P\), where intP is the interior of P. A cone P is called normal if there is a number \(K>0\) such that for all \(x,y\in E\),
The least positive number K satisfying the above inequality is called the normal constant of P. In the following we suppose that E is a real Banach space and P is a cone in E with \(\operatorname{int}P \neq\phi\) and ⪯ is a partial ordering with respect to P.
Definition 2
[2]
Let X be a nonempty set. Suppose the mapping \(d: X \times X \to E\) satisfies the following:
- (d1):
-
\(\theta\preceq d(x,y) \) for all \(x, y \in X\);
- (d2):
-
\(d(x,y)=\theta\) if and only if \(x=y\);
- (d3):
-
\(d(x,y)=d(y,x)\) for all \(x, y \in X\);
- (d4):
-
\(d(x,y)\preceq d(x,z)+d(z,y)\) for all \(x, y, z \in X\).
Then d is called a cone metric on X, and \((X,d)\) is called a cone metric space.
Definition 3
[2]
Let \((X,d)\) be a cone metric space and let \(\{x_{n}\}\) be a sequence in X. Then the sequence \(\{x_{n}\}\) obeys the following.
-
(1)
\(\{x_{n}\}\) converges to x, if for every \(c\in E\) with \(\theta\ll c\) there exists a positive integer N such that \(d(x_{n}, x)\ll c\), for all \(n\geq N\). We denote this by \(\lim_{n\to\infty} x_{n} = x\).
-
(2)
\(\{x_{n}\}\) is said to be Cauchy if for every \(c\in E\) with \(\theta\ll c\) there exists a positive integer N such that \(d(x_{n}, x_{m})\ll c\), for all \(n, m\geq N\).
A cone metric space X is said to be complete if every Cauchy sequence in X is convergent in X.
Lemma 4
[24]
Let P be a cone in Banach space E. Then the following properties hold:
-
(1)
If \(c\in \operatorname{int}P\) and \(a_{n}\to\theta\), then there exists a positive integer N such that for all \(n>N\), we have \(a_{n}\ll c\).
-
(2)
If \(a\preceq k a\), where \(a\in P\) and \(0\leq k<1\), then \(a=\theta\).
Definition 5
[25]
Let \((X,d)\) be a cone metric space and let \(C(X)\) be the family of all nonempty and closed subsets of X. A map \(H: C(X)\times C(X)\to E\) is called an H-cone metric on \(C(X)\) induced by d if the following conditions hold:
- (H1):
-
\(\theta\preceq H(A, B)\) for all \(A, B\in C(X)\).
- (H2):
-
\(H(A, B) = \theta\) if and only if \(A= B\).
- (H3):
-
\(H(A, B)= H(B,A)\) for all \(A, B\in C(X)\).
- (H4):
-
\(H(A, B)\preceq H(A, C)+ H(C, B)\) for all \(A, B, C\in C(X)\).
- (H5):
-
If \(A, B\in C(X)\), \(\theta\prec\epsilon\in E\) with \(H(A, B)\prec\epsilon\), then for each \(a\in A\) there exists \(b\in B\) such that \(d(a,b)\prec\epsilon\).
Example 6
Let \((X,d)\) be a metric space. Then the mapping \(H_{u}: C(X)\times C(X)\to\mathbb{R}\) defined by
is an H-cone metric induced by d. It is also known as the usual Hausdorff metric induced by d.
It is to be noted that \((C(X), H)\) is a complete metric space whenever \((X,d)\) is a complete metric space.
Definition 7
Let X be a nonempty set, \(T: X\to C(X)\) be a multi-valued mapping, and \(f:X\to X\). Then an element \(x\in X\) is said to be
-
(i)
a fixed point of T, if \(x\in Tx\);
-
(ii)
a common fixed point of T and f, if \(x=fx\in Tx\);
-
(iii)
a coincidence point of T and f, if \(w=fx\in Tx\), and w is called the point of coincidence of T and f.
We denote \(C(f,T)=\{x\in X : fx\in Tx\}\), the set of coincidence point of f and T. The set of fixed point of T and the set of common fixed point of f and T is denoted by \(F(T)\) and \(F(f,T)\), respectively.
Definition 8
[26]
Let X be a nonempty set, \(T: X\to C(X)\) be a multi-valued mapping, and \(f:X\to X\). Then f is called T-weakly commuting at \(x\in X\) if \(ffx\in Tfx\).
2 Main result
We start this section with the following definition.
Definition 9
Let \((X,d)\) be a cone metric space and let there exist an H-cone metric on \(C(X)\) induced by d. A map \(T: X\to C(X)\) is said to be a multi-valued almost contraction if there exist two constants \(\lambda \in(0,1)\) and \(L\geq0\) such that
for all \(x, y \in X\) and \(u\in Tx\).
Theorem 10
Let \((X,d)\) be a complete cone metric space and let there exist an H-cone metric on \(C(X)\) induced by d. Suppose \(T:X\to C(X)\) is a multi-valued almost contraction. Then T has a fixed point in X.
Proof
Let \(x_{0}\) be an arbitrary fixed element and \(x_{1}\in Tx_{0}\), if \(x_{0}=x_{1}\), then \(x_{0}\) is fixed point of T; if \(x_{0}\neq x_{1}\), then \(\theta\prec d(x_{0}, x_{1})\). As \(\lambda> 0\), we have \(H(Tx_{0}, Tx_{1})\prec \epsilon\), where \(\epsilon= H(Tx_{0}, Tx_{1})+\lambda d(x_{0}, x_{1})\). Then, by the definition of H-cone metric there exists \(x_{2}\in Tx_{1}\) such that
Clearly, \(H(Tx_{1}, Tx_{2})\prec H(Tx_{1}, Tx_{2})+\lambda^{2}d(x_{0}, x_{1})\). Since \(x_{2}\in Tx_{1}\), for \(\epsilon=H(Tx_{1},Tx_{2})+\lambda^{2}d(x_{0},x_{1})\), there exists \(x_{3}\in Tx_{2}\) such that
In the same way, we can find a sequence \(\{x_{n}\}\) in X such that \(x_{n+1}\in Tx_{n}\), for each \(n\in\mathbb{N}\cup\{0\}\) and
Since T is a multi-valued almost contraction, in view of (2.2) we have
for each \(u\in Tx_{n-1}\). Also, as \(x_{n}\in Tx_{n-1}\), for each \(n\geq 1\) we have
By repeated use of (2.4), we get
Now, for any \(m>n\),
Let \(c\in E\) be any with \(\theta\ll c\). Choose \(\delta>0\) such that \(c+N_{\delta}(\theta)\subset \operatorname{int}P\), where \(N_{\delta}(\theta)=\{x\in E : \Vert x\Vert <\delta\}\). Also, since the series \(\sum^{\infty }_{n=1}(n+1)\lambda^{n}\) is convergent, there exists a natural number N such that \(d(x_{0}, x_{1})\sum^{\infty}_{i=n}(i+1)\lambda^{i}\in N_{\delta }(\theta)\), for all \(n\geq N\). Thus \(d(x_{0}, x_{1})\sum^{\infty}_{i=n}(i+1)\lambda^{i}\ll c\), for all \(n\geq N\). Hence, (2.6) implies
for all \(m>n\geq N\). Thus, the sequence \(\{x_{n}\}\) is Cauchy. Since X is complete, there exists \(z\in X\) such that \(\lim_{n\to\infty }d(x_{n},z)=\theta\). Now we shall show that z is a fixed point of T, that is, \(z\in Tz\). As \(x_{n+1}\in Tx_{n}\) and
using the definition of the H-cone metric there exists \(y_{n}\in Tz\) such that
Since T is a multi-valued almost contraction and \(x_{n+1}\in Tx_{n}\), it follows from (2.7) that
Then, by the triangle inequality, we get
Further, since \(d(x_{n}, z)\to\theta\) and \(\lambda^{n}\to0\) as \(n\to\infty \), the right-hand side of the inequality (2.8) tends to θ as \(n\to\infty\). Now, by Lemma 4, for any \(c\in E\) with \(\theta \ll c\) there exists a positive integer \(N_{1}\) such that \(d(z, y_{n})\ll c\) for all \(n\geq N_{1}\). Thus, the sequence \(\{y_{n}\}\) converges to z. As \(y_{n}\in Tz\) and Tz is closed, we get \(z\in Tz\). □
Now we present an example in support of the proved result.
Example 11
Let \(X=[0,1]\), \(E=C^{1}_{\mathbb{R}}([0,1])\) with the norm \(\Vert \varphi \Vert =\sup_{x\in X}\vert \varphi(x)\vert +\sup_{x\in X}\vert \varphi '(x)\vert \) and consider the cone \(P=\{\varphi\in E: \varphi(t)\geq0\}\). Suppose \(\varphi, \phi\in E\) are defined as
Then \(\theta\preceq\phi\preceq\varphi\) and \(\Vert \varphi \Vert =2\), \(\Vert \phi \Vert = 2n+1\). Given any \(K>0\) we can find a positive integer n such that \(2n+1>2K\). So, \(\Vert \phi \Vert \nleq K \Vert \varphi \Vert \) for any \(K>0\). Thus, P is non-normal cone. Now, define \(d: X\times X\to E\) by
where \(\varphi: [0,1]\to R\) with \(\varphi(t)=e^{t}\). Then \((X,d)\) be a complete cone metric space. Let \(C(X)\) be the family of all nonempty and closed subsets of X and define a mapping \(H: C(X)\times C(X)\to E\) as
where \(H_{u}\) is the usual Hausdorff metric induced by \(d(x,y)= \vert x-y\vert \). Also define \(T: X\to C(X)\) by
Now we shall show that T is a multi-valued almost contraction, that is, we show that T will satisfy condition (2.1). For this, we consider the following possible cases:
Case (1). If \(x\in[0,\frac{1}{2}]\) and \(y\in(\frac{1}{2},1]\), then condition (2.1) can be written as
for all \(u\in Tx=[0,\frac{x}{2}]\). Here, we observe that \(\vert \frac {x}{2}- (\frac{y}{3}+\frac{1}{2} )\vert \leq\frac{5}{6}\), \(\vert x-y\vert \in(0,1]\), and \(\vert y-u\vert >\frac{1}{4}\) for all \(u\in[0,\frac{x}{2}]\). Thus, the inequality (2.9) is true for any \(\lambda\in(0,1)\) and \(L\geq\frac{10}{3}\).
Case (2). If \(x\in(\frac{1}{2},1]\) and \(y\in[0,\frac{1}{2}]\), then condition (2.1) takes the form
for all \(u\in Tx=[\frac{2}{3},\frac{x}{3}+\frac{1}{2}]\). In this case \(\vert (\frac{x}{3}+\frac{1}{2})-\frac{y}{2}\vert \leq\frac{5}{6}\), \(\vert x-y\vert \in(0,1]\) and \(\vert y-u\vert \geq\frac{1}{6}\) for all \(u\in[\frac{2}{3},\frac{x}{3}+\frac{1}{2}]\). Thus, the inequality (2.10) is true for any \(\lambda\in(0,1)\) and \(L\geq5\).
Case (3). If \(x,y\in[0,\frac{1}{2}]\), then
for any \(\lambda\in[\frac{1}{2},1)\) and \(L\geq0\), where u is arbitrary element of Tx.
Case (4). If \(x,y\in(\frac{1}{2},1]\), then
for any \(\lambda\in[\frac{1}{3},1)\) and \(L\geq0\), where u is arbitrary element of Tx.
Now, from all the cases, it is concluded that the multi-valued mapping T satisfies the inequality (2.1) for \(\lambda=\frac{1}{2}\) and \(L=5\). Hence, T is an almost multi-valued contraction that satisfies all the hypotheses of Theorem 10. Thus, the mapping T has a fixed point. Here \(x=0\) is such a fixed point.
Remark 12
-
(i)
Theorem 3.1 of Arshad and Ahmad [25], Theorem 2.4 of Dorić [27], and Theorem 3.1 of Wardowski [20] are direct consequences of Theorem 10.
-
(ii)
In Example 11, for \(x=\frac{1}{2}\) and \(y=\frac {2}{3}\), we get \(Tx=[0,\frac{1}{4}]\), \(Ty=[\frac{2}{3}, \frac {13}{18}]\), therefore \(H(Tx,Ty)=\frac{17}{36}e^{t}\). Then it can easily be checked that there does not exist any \(\lambda\in(0,1)\) such that the mapping T satisfies the conditions (D1), (D2), (D3), (D4) given in Definition 2.1 of Dorić [27]. Hence, Theorem 2.4 of Dorić [27] cannot be applied to Example 11. It is also to be noted that Theorem 3.1 of Arshad and Ahmad [25] and Theorem 3.1 of Wardowski [20] are not applicable to Example 11.
In [28] Haghi et al. proved the following lemma.
Lemma 13
Let X be a nonempty set and \(f: X\to X\) be a function. Then there exists a subset \(E\subseteq X\) such that \(f(E)=f(X)\) and \(f: E\to X\) is one to one.
Theorem 14
Let \((X,d)\) be a cone metric space and let there exist an H-cone metric on \(C(X)\) induced by d. Suppose \(f: X\to X\) is a self map such that \(f(X)\) is a complete subspace of X and \(T: X\to C(X)\) is a multi-valued mapping with \(Tx\subseteq f(X)\) for each \(x\in X\). If there exist two constants \(\lambda\in(0,1)\) and \(L\geq0\) such that
for all \(x, y \in X\) and \(u\in Tx\). Then T and f have a coincidence point in X. Moreover, if \(ffx=fx\) for each \(x\in C(f,T)\), then T and f have a common fixed point in X.
Proof
By Lemma 13, there exists \(E\subseteq X\) such that \(f(E)=f(X)\) and \(f: E\to X\) is one to one. Now, we define a map \(g: f(E)\to C(f(E))\) by \(g(f(x))= Tx\). Clearly g is well defined as f is one to one. Also
for all \(fx, fy\in f(E)\) and \(u\in Tx=g(fx)\). Then, by Theorem 10, there exists \(fx_{0}\in f(E)\) such that \(fx_{0}\in g(fx_{0})=Tx_{0}\). Thus \(x_{0}\) is a coincidence point of f and T and hence \(ffx_{0}=fx_{0}\). Let \(w=fx_{0}\), therefore \(fw=ffx_{0}=fx_{0}\in Tx_{0}\). By (2.11), we have
which gives \(Tx_{0}=Tw\). Therefore, \(w=fw\in Tw\), that is, w is a common fixed point of f and T. □
Theorem 15
Let \((X,d)\) be a cone metric space and let there exist an H-cone metric on \(C(X)\) induced by d. Assume K is a nonempty closed subset of X such that for each \(x\in K\) and \(y\notin K\) there exists \(z\in\delta K\) such that
Suppose \(T: K\to C(X)\) and \(f:K\to X\) are two non-self maps satisfying
for all \(x,y\in K\) and \(u\in Tx\) with some \(\lambda\in(0,1)\) and \(L\geq0\) such that \(\lambda(1+L)<1\). Further assume
-
(i)
\(\delta K\subseteq fK\);
-
(ii)
\((\bigcup_{x\in K}Tx)\cap K\subseteq fK\);
-
(iii)
\(fx\in\delta K \Rightarrow Tx\subseteq K\);
-
(iv)
fK is closed in X.
Then T and f have a coincidence point in X. Moreover, if \(ffx=fx\) for each \(x\in C(f,T)\), then there exists a common fixed point of f and T.
Proof
Let \(x\in\delta K\). We construct two sequences \(\{x_{n}\}\) in K and \(\{ y_{n}\}\) in fK in the following way. Since \(\delta K\subseteq fK\), there exists \(x_{0}\in K\) such that \(fx_{0}=x\in\delta K\). So, by (iii) we get \(Tx_{0}\subseteq K\). Since \((\bigcup_{x\in K}Tx)\cap K\subseteq fK\), we have \(Tx_{0}\subseteq fK\). Let \(y_{1}\in Tx_{0}\), then there exists \(x_{1}\in K\) such that \(y_{1}=fx_{1}\). Consider the element \(H(Tx_{0}, Tx_{1})\in E\). If the right-hand side of (2.13) is θ at \(x=x_{0}\) and \(y=x_{1}\), then, as \(fx_{1}\in Tx_{0}\), we have \(d(fx_{0}, fx_{1})=\theta\) and hence \(fx_{1}=fx_{0}\). This and \(fx_{1}\in Tx_{0}\) imply \(fx_{0}\in Tx_{0}\). Thus, \(x_{0}\) is coincidence point of f and T.
Assume the right-hand side of (2.13) is not θ. Let \(e\in P\) be a fixed element such that \(e\neq\theta\). Since \(\lambda> 0\), we have \(H(Tx_{0}, Tx_{1})\prec\epsilon\), where \(\epsilon= H(Tx_{0}, Tx_{1})+\lambda e\). Then, as \(y_{1}\in Tx_{0}\), by the definition of an H-cone metric there exists \(y_{2}\in Tx_{1}\) such that
If \(y_{2}\in K\), then from (ii), we have \(y_{2}\in fK \). Therefore, there exists \(x_{2}\in K\) such that \(y_{2}=fx_{2}\). If \(y_{2}\notin K\), then, as \(fx_{1}\in K\), there exists a point \(p\in \delta K\) such that
Since \(p\in\delta K\subseteq fK\), there exists a point \(x_{2}\in K\) such that \(p=fx_{2}\). Then, by (2.14)
Clearly, \(H(Tx_{1}, Tx_{2})\prec H(Tx_{1}, Tx_{2})+\lambda^{2} e\). Then, again using the definition of the H-cone metric, there exists \(y_{3}\in Tx_{2}\) such that
If \(y_{3}\in K\), then, again using (ii), we have \(y_{3}\in fK \). So, there is a point \(x_{3}\in K\) such that \(y_{3}=fx_{3}\). If \(y_{3}\notin K\), then there exists a point \(q\in\delta K\) such that
Again, since \(q\in\delta K\subseteq fK\), there exists a point \(x_{3}\in K\) such that \(q=fx_{3}\). Then, by (2.16),
Repeating the foregoing procedure we construct two sequences \(\{x_{n}\}\) in K and \(\{y_{n}\}\) in fK such that
-
(a)
\(y_{n+1}\in Tx_{n}\), for each \(n\in\mathbb{N}\cup\{0\}\);
-
(b)
\(d(y_{n}, y_{n+1})\preceq H(Tx_{n-1}, Tx_{n})+\lambda^{n}e\);
-
(c)
if \(y_{n}\in K\), then \(y_{n}=fx_{n}\);
-
(d)
if \(y_{n}\notin K\), then \(fx_{n}\in\delta K\) with
$$ d(fx_{n-1}, fx_{n})+ d(fx_{n}, y_{n})=d(fx_{n-1}, y_{n}). $$(2.18)
Now we show that the sequence \(\{fx_{n}\}\) is Cauchy and for this we define two sets P and Q as follows:
Clearly, if \(fx_{n}\in Q\), then \(fx_{n-1}\) and \(fx_{n+1}\) lies in P. Now, it can be concluded that there are three possibilities.
Case 1. If \(fx_{n}\in P\) and \(fx_{n+1}\in P\), then \(fx_{n}=y_{n}\) and \(fx_{n+1}=y_{n+1}\). Therefore, by using (b)
Thus, in view of (a) and (2.19), we have
Case 2. If \(fx_{n}\in P\) and \(fx_{n+1}\in Q\), then \(fx_{n}=y_{n}\) and \(y_{n+1}\notin K\). Thus, (d) implies \(fx_{n+1}\in\delta K\) with
Regarding (2.21) and (b), we get
Since \(fx_{n}=y_{n}\in Tx_{n-1}\), (2.21) gives
Case 3. If \(fx_{n}\in Q\) and \(fx_{n+1}\in P\), then \(fx_{n-1}\in P\), \(y_{n}\notin K\) and \(fx_{n+1}=y_{n+1}\). Thus, from (d) \(fx_{n}\in\delta K\) such that
By the triangle inequality, (2.24), and (b), we obtain
□
Since \(y_{n}\in Tx_{n-1}\), on account of (2.13), we derive from (2.25) that
Therefore, by using (b) and (2.13), we conclude that
Now, we define
Thus, from Case 1-Case 3, it follows that
where
Now we claim that for each \(n>1\),
where
We shall prove it by mathematical induction. If \(n=2\), then (2.28) gives
Thus, (2.29) holds for \(n=2\). Let (2.29) be true for \(2\leq n\leq m\), then we have to show that it is also true for \(n=m+1\). From (2.28), for \(n=m+1\), we have
where
Case 1. If \(\zeta_{m+1}=d(fx_{m}, fx_{m+1})\), then (2.30) implies
Case 2. If \(\zeta_{m+1}=d(fx_{m-1}, fx_{m})\), then it follows from (2.30) that
Therefore, in both cases, (2.29) is true for \(n=m+1\). Thus, by the principle of mathematical induction the inequality (2.29) holds for each \(n>1\). Now, by the triangle inequality and (2.29), for any \(m>n\), we have
where \(R_{n}(\mu)\) is the remainder of the convergent series \(\sum_{n=1}^{\infty}n\mu^{\frac{n}{2}}\). As \(\mu<1\), by (2.31) we get
Thus, by Lemma 4, for any \(c\in E\) with \(\theta\ll c\) there exists a positive integer \(N_{1}\) such that \(d(fx_{n}, fx_{m})\ll c\) for all \(n\geq N_{1}\). Hence, the sequence \(\{fx_{n}\}\) is Cauchy. Also, \(\{fx_{n}\}\) is a sequence in \(K\cap f(K)\) and, being a closed subset of complete space X, \(K\cap f(K)\) is complete. Therefore, there exists \(z\in K\cap f(K)\) such that \(fx_{n}\to z\) as \(n\to\infty\). Further, as \(z\in f(K)\), there exists \(w\in K\) such that \(z=f(w)\). By the construction of \(\{ fx_{n}\}\) there is a subsequence \(fx_{m}\) such that
Now we shall show that w is a coincidence point of T and f, that is, \(fw\in Tw\). As \(fx_{m}\in Tx_{m-1}\) and
using the definition of H-cone metric, there exists \(z_{m}\in Tw\) such that
Regarding (2.13) and \(fx_{m}\in Tx_{m-1}\), we obtain from (2.33)
Then, by the triangle inequality, we get
Since the subsequence \(\{fx_{m}\}\) converges to \(z=f(w)\) and \(\lambda <1\), the right-hand side of the inequality (2.34) converges to θ as \(m\to\infty\). Therefore, in view of Lemma 4, for any \(c\in E\) with \(\theta\ll c\), we can choose a positive integer \(N_{2}\) such that \(d(fw, z_{m})\ll c\) for all \(m\geq N_{2}\). Thus the sequence \(z_{m}\) converges to \(f(w)\). As \(z_{m}\in Tw\) and Tw is closed, we get \(fw\in Tw\). Since \(w\in C(f,T)\), it follows that \(ffw=fw\). Let \(z=fw\) and so \(fz=ffw=fw\in Tw\). In view of (2.13) we have
which gives \(Tw=Tz\). Therefore, \(z=fz\in Tz\), that is, z is a common fixed point of f and T.
If we let \(f=I\) (identity map) in Theorem 15, we obtain the following result as an extension of Theorem 9 of [29] to a cone metric space.
Corollary 16
Let \((X,d)\) be a cone metric space and let there exist an H-cone metric on \(C(X)\) induced by d. Assume K is a nonempty closed subset of X such that for each \(x\in K\) and \(y\notin K\) there exists \(z\in \delta K\) such that
Suppose that \(T: K\to C(X)\) is a non-self map satisfying
for all \(x,y\in K\) and \(u\in Tx\) with some \(\lambda\in(0,1)\) and \(L\geq0\) such that \(\lambda(1+L)<1\). Further assume \(x\in\delta K \Rightarrow Tx\subseteq K\), then there exists \(z\in K\) such that \(z\in Tz\).
Now, we present a non-trivial example which shows the generality of Corollary 16 over the corresponding existing theorems.
Example 17
Let \(X=[-1,\infty)\), \(E=C^{1}_{\mathbb{R}}([0,1])\) with supremum norm, \(P=\{ \varphi\in E: \varphi(t)\geq0\}\) and \(d:X\times X\to E\) defined by \(d(x,y)=\vert x-y\vert \varphi\), where \(\varphi: [0,1]\to\mathbb{R}\) with \(\varphi(t)=e^{t}\). Then \((X,d)\) is a cone metric space with a non-normal cone P. Let \(C(X)\) be the family of all nonempty and closed subsets of X and define a mapping \(H: C(X)\times C(X)\to E\) as
where \(H_{u}\) is the usual Hausdorff metric induced by \(d(x,y)=\vert x-y\vert \). Take \(K=[0,1]\) and define \(T: K\to C(X)\) as given in Example 11 of [29]:
Here \(\delta K=\{0,1\}\). Clearly, for each \(x\in K\) and \(y\notin K\) there exists a point \(z=0\) or \(z=1\in\delta K\) such that \(d(x,z)+d(z,y)=d(x,y)\). Further, as \(0\in\delta K\Rightarrow T0=\{0\} \subseteq[0,1]=K\) and \(1\in\delta K\Rightarrow T1=[\frac {17}{18},1]\subseteq K\), so \(x\in\delta K \Rightarrow Tx\subseteq K\). Now, using a routine calculation as done in Example 11, it can easily be shown that the inequality (2.35) holds for \(\delta= \frac {1}{9}\) and \(L=\frac{9}{2}\). Thus, all the conditions of Corollary 16 are satisfied and hence T has a fixed point in K. Here \(x=1\) is such a point.
Remark 18
-
(i)
Theorem 1 of Assad and Kirk [30] is a direct consequence of Corollary 16.
-
(ii)
In Example 17, for \(x=1\) and \(y=\frac{1}{2}\), it can be checked that the inequality
$$H(Tx,Ty)\leq\delta d(x,y) $$is not satisfied for any \(\delta\in(0,1)\). Therefore, Theorem 1 of Assad and Kirk [30] is not applicable to Example 17.
3 Application to invariant approximation
Since the appearance of Meinardus’ result in best approximation theory, several authors have obtained best approximation results for single-valued maps as an application of fixed point and common fixed point results. The best approximation results for multi-valued mappings was obtained by Kamran [26], Al-Thagafi and Shahzad [31], Beg et al. [32], O’Regan and Shahzad [33], and Markin and Shahzad [34]. Further, best approximation results in the setting of cone metric space were for the first time considered by Rezapour [35] (see also [36]).
In this section the best approximation results for a multi-valued mapping in the setting of cone metric spaces are obtained.
Definition 19
Let M be a nonempty subset of a cone metric space X. A point \(y\in M\) is said to be a best approximation to \(p\in X\), if \(d(y,p)\preceq d(z,p)\) for all \(z\in M\). The set of best approximations to p in M is denoted by \(B_{M}(p)\).
As an application of Theorem 14, we obtain the following theorem, which ensures the existence of a best approximation.
Theorem 20
Let M be subset of a cone metric space X, \(p\in X\), and let there exist an H-cone metric on \(C(M)\) induced by d. Suppose \(f:M\to M\) is a single-valued mapping and \(T: M\to C(M)\) is a multi-valued mapping such that for all \(x, y\in B_{M}(p)\) and \(u\in Tx\) we have
where \(\lambda\in(0,1)\) and \(L\geq0\). Also the following conditions hold:
-
(i)
\(f(B_{M}(p))=B_{M}(p)\).
-
(ii)
\(ffv=fv\) for \(v\in C(f,T)\cap B_{M}(p)\).
-
(iii)
\(d(y,p)\preceq d(fx,p)\) for all \(x\in B_{M}(p)\) and \(y\in Tx\).
-
(iv)
\(f(B_{M}(p))\) is complete.
Then \(F(f,T)\cap B_{M}(P)\neq\phi\).
Proof
First we show that \(T|_{B_{M}(p)}: B_{M}(p)\to C(B_{M}(p))\) is a multi-valued mapping. For this let \(x\in B_{M}(p)\) and \(u\in Tx\). Then, as \(f(B_{M}(p))= B_{M}(p)\), we get \(fx\in B_{M}(p)\) and hence \(d(fx,p)\preceq d(z,p)\) for all \(z\in M\).
Since \(u\in Tx\), by (iii) we obtain
Thus, \(u\in B_{M}(p)\) and hence \(Tx\subseteq B_{M}(p)\) for all \(x\in B_{M}(p)\). Since Tx is closed for all \(x\in M\), therefore also Tx is closed for all \(x\in B_{M}(p)\). So, \(T|_{B_{M}(p)}\) is a multi-valued mapping from \(B_{M}(p)\) to \(C(B_{M}(p))\). Moreover, \(Tx\subseteq B_{M}(p)=f(B_{M}(p))\) for each \(x\in B_{M}(p)\). Further, as \(f(B_{M}(p))= B_{M}(p)\) and \(f:M\to M\), the mapping \(f|_{B_{M}(p)}: B_{M}(p)\to B_{M}(p) \) is single-valued. Clearly
Therefore, by applying Theorem 14 for \(X=B_{M}(p)\), \(F(f,T)\cap B_{M}(P)\neq\phi\). □
Corollary 21
Let M be subset of a cone metric space X, \(p\in X\), and let there exist an H-cone metric on \(C(M)\) induced by d. Suppose \(T: M\to C(M)\) is a multi-valued mapping such that for all \(x, y\in B_{M}(p)\) and \(u\in Tx\) we have
where \(\lambda\in(0,1)\) and \(L\geq0\). Also the following conditions hold:
-
(i)
\(d(y,p)\preceq d(x,p)\) for all \(x\in B_{M}(p)\) and \(y\in Tx\).
-
(ii)
\(B_{M}(p)\) is complete.
Then \(F(T)\cap B_{M}(P)\neq\phi\).
Let M be a subset of a cone metric space \((X,d)\) and let there exist an H-cone metric on \(C(M)\) induced by d. A family \(F=\{h_{A} : A\in C(M)\}\) of functions from \([0,1]\) into \(C(M)\) with the property \(h_{A}(1)=A\) for each \(A\in C(M)\) is said to be contractive if there exists a mapping \(\varphi:(0,1)\to(0,1)\) such that for all \(A, B\in C(M)\) and \(t\in(0,1)\), we have
Such a family F is said to be jointly continuous if \(A\to A_{0}\) in \(C(M)\) and \(t\to t_{0}\) in \((0,1)\) imply \(h_{A}(t)\to h_{A_{0}}(t_{0})\).
Theorem 22
Let M be a subset of a cone metric space \((X,d)\), and let there exist an H-cone metric on \(C(M)\) induced by d. Suppose \(F=\{h_{A} : A\in C(M)\}\) is a contractive and joint continuous family, \(T: M\to C(M)\) is a multi-valued mapping and there exists \(L\geq0\) such that
for all \(x,y\in M\) and \(u\in h_{Tx}(k)\), where \(k\in(0,1)\) is any fixed element. If M is compact and T is continuous, then T has a fixed point in M.
Proof
For each \(n\geq1\), if we put \(k_{n}=\frac{n}{n+1}\), then \(k_{n}\) is a real sequence which lies in \((0,1)\) with \(k_{n}\to1\) as \(n\to\infty\). Now, we define \(T_{n}: M\to C(M)\) by
Firstly, we show that \(T_{n}\) is a multi-valued almost contraction on M. For this let \(x,y\in M\), as F is a contractive family, we have
for all \(u\in h_{Tx}(k_{n})=T_{n}x\). For each \(n\geq1\), define \(\lambda _{n}=\varphi(k_{n})\) and \(L_{n}=L\varphi(k_{n})\). Clearly, \(\lambda_{n}\in(0,1)\) and \(L_{n}\geq0\) for each \(n\geq1\). Therefore, for each \(n\geq1\), (3.4) implies
for all \(x,y\in M\) and \(u\in T_{n}x\). Hence, T is a multi-valued almost contraction. Since M is compact, by Theorem 10 for each \(n\geq 1\) there exists \(x_{n}\in M\) such that \(x_{n}\in T_{n}x_{n}\). Again compactness of M implies that there exists a convergent subsequence \(\{x_{m}\}\) of \(\{x_{n}\}\) such that \(x_{m}\to z\in M\) as \(m\to\infty\). Since T is continuous, the family F is jointly continuous and \(x_{m}\in T_{m}x_{m}=h_{Tx_{m}}(k_{m})\), we have \(z\in Tz\), as \(k_{m}\to1\) as \(m\to\infty \). Thus T has a fixed point in M. □
The following theorem ensures the existence of a fixed point from the set of best approximations.
Theorem 23
Let M be a subset of a cone metric space \((X,d)\) and let there exist an H-cone metric on \(C(X)\) induced by d. Suppose \(T: X\to C(X)\), \(p\in X\), and \(B_{M}(p)\) is nonempty, compact, and it has a joint contractive family \(F=\{h_{A} : A\in C(B_{M}(p))\}\). If T is continuous on \(B_{M}(p)\), (3.3) holds for all \(x,y\in B_{M}(p)\) and also \(d(y,p)\preceq d(x,p)\) for all \(x\in B_{M}(p)\) and \(y\in Tx\). Then \(B_{M}(p)\cap F(T)\neq\phi\).
Proof
We claim \(Tx\subseteq B_{M}(p)\) for each \(x\in B_{M}(p)\). To prove this let \(x\in B_{M}(p)\), then \(d(x,p)\preceq d(z,p)\) for all \(z\in M\). If \(u\in Tx\), then by the given hypothesis
Thus, \(u\in B_{M}(p)\). So \(T: B_{M}(p)\to C(B_{M}(p))\) is a multi-valued mapping and hence by applying Theorem 22 for \(B_{M}(p)\), it follows that \(B_{M}(p)\cap F(T)\neq\phi\). □
Remark 24
All results in this paper hold as well in the frame of tvs-cone metric spaces (see [16]).
References
Van An, T, Van Dung, N, Kadelburg, Z, Radenović, S: Various generalizations of metric spaces and fixed point theorems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. (2015). doi:10.1007/s13398-014-0173-7
Huang, G, Zhang, X: Cone metric spaces and fixed point theorems of contractive maps. J. Math. Anal. Appl. 332, 1467-1475 (2007)
Rezapour, S, Hamlbarani, R: Some note on the paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 345(2), 719-724 (2008)
Kadelburg, Z, Radenović, S, Rakočević, S: A note on the equivalence of some metric and cone metric fixed point results. Appl. Math. Lett. 24, 370-374 (2011)
Kumar, A, Rathee, S, Kumar, N: The point of coincidence and common fixed point for three mappings in cone metric spaces. J. Appl. Math. 2013, Article ID 146794 (2013)
Radenović, S, Rakočević, V, Resapour, S: Common fixed points for \((g,f)\) type maps in cone metric spaces. Appl. Math. Comput. 218, 480-491 (2011)
Pathak, HK, Shahzad, N: Fixed point results for generalized quasicontraction mappings in abstract metric spaces. Nonlinear Anal. TMA 71(12), 6068-6076 (2009)
Radenović, S: A pair of nonself mappings in cone metric space. Kragujev. J. Math. 36(2), 189-198 (2012)
Karapinar, E: Some non unique fixed point theorems of Ćirić type on cone metric spaces. Abstr. Appl. Anal. 2010, Article ID 123094 (2010)
Abdeljawad, T, Karapinar, E: A gap in the paper ‘A note on cone metric fixed point theory and its equivalence’ [Nonlinear Analysis 72(5), (2010), 2259-2261]. Gazi Univ. J. Sci. 24(2), 233-234 (2011)
Karapinar, E: Fixed point theorems in cone Banach spaces. Fixed Point Theory Appl. 2009, Article ID 609281 (2009)
Haghi, RH, Rakočević, V, Rezapour, S, Shahzad, N: Best proximity results in regular cone metric spaces. Rend. Circ. Mat. Palermo 60, 323-327 (2011)
Alnafei, SH, Radenović, S, Shahzad, N: Fixed point theorems for mappings with convex diminishing diameters on cone metric spaces. Appl. Math. Lett. 24, 2162-2166 (2011)
Rezapour, S, Haghi, RH, Shahzad, N: Some notes on fixed points of quasi-contraction maps. Appl. Math. Lett. 23, 498-502 (2010)
Khamsi, MA: Remarks on cone metric spaces and fixed point theorems of contractive mappings. Fixed Point Theory Appl. 2010, Article ID 315398 (2010)
Radenović, S, Simić, S, Cakić, N, Golubović, Z: A note on tvs-cone metric fixed point theory. Math. Comput. Model. 54, 2418-2422 (2011)
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)
Nadler, SB Jr: Multivalued contraction mappings. Pac. J. Math. 30, 475-488 (1969)
Markin, JT: Continuous dependence of fixed point sets. Proc. Am. Math. Soc. 38, 545-547 (1973)
Wardowski, D: On set-valued contractions of Nadler type in cone metric spaces. Appl. Math. Lett. 24(3), 275-278 (2011)
Latif, A, Shaddad, FY: Fixed point results for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2010, Article ID 941371 (2010)
Radenović, S, Kadelburg, Z: Some results on fixed points of multifunctions on abstract metric spaces. Math. Comput. Model. 53, 746-753 (2011)
Rezopour, S, Haghi, RH: Fixed point of multifunctions on cone metric spaces. Numer. Funct. Anal. Optim. 30(7-8), 1-8 (2009)
Janković, S, Kadelburg, K, Radenović, S: On cone metric spaces: a survey. Nonlinear Anal. TMA 74, 2591-2601 (2011)
Arshad, M, Ahmad, J: On multivalued contractions in cone metric spaces without normality. Sci. World J. 2013, Article ID 481601 (2013)
Kamran, T: Coincidence and fixed points for hybrid strict contractions. J. Math. Anal. Appl. 299, 235-241 (2004)
Dorić, D: Common fixed point theorems for generalized multivalued contractions on cone metric spaces over a non-normal solid cone. Fixed Point Theory Appl. 2014, 159 (2014)
Haghi, RH, Rezapour, S, Shahzad, N: Some fixed point generalizations are not real generalization. Nonlinear Anal. 74, 1799-1803 (2011)
Alghamdi, MA, Berinde, V, Shahzad, N: Fixed points of multivalued nonself almost contractions. J. Appl. Math. 2013, Article ID 621614 (2013)
Assad, NA, Kirk, WA: Fixed point theorems for set-valued mappings of contractive type. Pac. J. Math. 43, 553-562 (1972)
Al-Thagafi, MA, Shahzad, N: Coincidence points, generalized I-nonexpansive multimaps, and applications. Nonlinear Anal. TMA 67(7), 2180-2188 (2007)
Beg, I, Khan, AR, Hussain, H: Approximation of ∗-nonexpansive random multivalued operators on Banach spaces. J. Aust. Math. Soc. 76, 51-66 (2004)
O’Regan, D, Shahzad, N: Coincidence points and invariant approximations results for multimaps. Acta Math. Sin. Engl. Ser. 23, 1601-1610 (2007)
Markin, J, Shahzad, N: Best approximation theorem for nonexpansive and condensing mappings in hyperconvex spaces. Nonlinear Anal. TMA 70(16), 2435-2441 (2009)
Rezapour, S: Best approximations in cone metric spaces. Math. Morav. 11, 85-88 (2007)
Abbas, M, Vetro, P: Invariant approximation results in cone metric spaces. Ann. Funct. Anal. 2(2), 101-113 (2011)
Acknowledgements
The authors are grateful to the referees for their valuable comments in modifying the first version of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Kumar, A., Rathee, S. Fixed point and common fixed point results in cone metric space and application to invariant approximation. Fixed Point Theory Appl 2015, 45 (2015). https://doi.org/10.1186/s13663-015-0290-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0290-9