Fixed point theorems for setvalued mappings on TVScone metric spaces
 Raúl Fierro^{1, 2}Email authorView ORCID ID profile
https://doi.org/10.1186/s1366301504681
© Fierro 2015
Received: 22 August 2015
Accepted: 16 November 2015
Published: 1 December 2015
Abstract
In the context of TVScone metric spaces, we prove a BishopPhelps and a Caristi type theorem. These results allow us to prove a fixed point theorem for \((\delta, L)\)weak contraction according to a pseudo Hausdorff metric defined by means of a cone metric.
Keywords
TVScone metric space BishopPhelps type theorem Caristi type theorem Berinde weak contraction setvalued mappingMSC
47H10 47H041 Introduction
Huang and Zhang in [1], introduced the concept of cone metric space as a generalization of metric space. The most relevant feature of their work is that these authors gave an example of a contraction on a cone metric space, which is not a contraction in a standard metric space. This fact makes it clear that the theory of metric spaces is not flexible enough for the fixed point theory, which has prompted several authors to publish numerous works on fixed point theory for operators defined on cone metric spaces. Most of these are based on cone metrics taking values in a Banach space, and even, some of them suppose this space is normal, in the sense that this space has a base of neighborhood of zero consisting of orderconvex subsets. The main aim of this paper is to provide results for setvalued mappings defined on a cone metric space, whose metric takes values in a quite general topological vector space, since it is only assumed this space is σorder complete. In [2] (see also, [3]), Agarwal and Khamsi proved a version of Caristi’s theorem based on a BishopPhelps type result for a cone metric taking values in a Banach space. In this paper, we extend this result, which enables us to prove a more general version of Caristi’s theorem for cone metric spaces. Natural consequences are deduced from this fact and, as an application, we prove the existence of a fixed point for an analogous weak contraction of setvalued mapping defined by Berinde and Berinde in [4], which, in our case, is defined according to a pseudo Hausdorff cone metric.
The paper is organized as follows. In Section 2 some preliminary definitions and facts are given, while in Section 3, BishopPhelps’ and Caristi’s theorems are proved. Finally, Section 4 is devoted to an application to setvalued weak contractions defined by means of a cone metric.
2 Preliminaries
Let E be a topological vector space with θ as zero element and usual notations for addition and scalar product. A cone is a nonempty closed subset P of E such that \(P\cap(P)=\{\theta\}\) and for each \(\lambda\geq0\), \(\lambda P+P\subseteq P\). Given a cone P of E, a partial order is defined on E as \(x\preceq y\), if and only if \(yx\in P\). We denote by \(x\prec y\) whenever \(x\preceq y\) and \(x\neq y\). Moreover, the notations \(x\ll y\) means that \(yx\) belongs to \(\mathrm{int}(P)\), the interior of P. As natural, the notations \(x\succeq y\), \(x\succ y\), and \(x\gg y\) mean \(y\preceq x\), \(y\prec x\), and \(y\ll x\), respectively. In the following, we assume P is a cone of E such that E is a Riesz space, i.e. given \(x,y\in E\), the greatest lower bound (infimum) of \(\{x,y\}\) exists, which also implies that the least upper bound (supremum) of \(\{x,y\}\) exists. Additionally, E is assumed order complete (Dedekind), which means that every decreasing bounded from below net has an infimum. Of course, from this we see that every increasing bounded from the above net has a supremum. For notations and facts as regards ordered vector spaces, we refer to [5]. In particular, since E is a Riesz space, Theorem 1.20 in [5] implies that every bounded from below subset of E has an infimum. This fact is used in Section 4 when a kind of Hausdorff pseudo metric is defined.
Remark 1
For each \(a,b,c\in E\) such that \(a\preceq b \ll c\), we have \(a\ll c\).
A cone metric space is a pair \((X,d)\), where X is a nonempty set and \(d:X\times X\to E\) is a function satisfying the following two conditions: (i) for all \(x,y\in X\), \(d(x,y)=\theta\), if and only if \(x=y\), and (ii) for all \(x,y,z\in X\), \(d(x,y)\preceq d(x,z)+d(y,z)\).
In the sequel, \((X,d)\) stands for a cone metric space.
Remark 2
Note that for all \(x,y\in X\), \(d(x,y)\succeq\theta\) and \(d(x,y)= d(y,x)\).
Let \(\{x_{n}\}_{n\in \mathbb{N}}\) be a sequence in X and \(x\in X\). We say \(\{ x_{n}\}_{n\in \mathbb{N}}\) converges to x, if and only if, for every \(\epsilon\gg\theta\), there exists \(N\in \mathbb{N}\) such that, for any \(n\geq \mathbb{N}\), we have \(d(x_{n},x)\ll\epsilon\). The sequence \(\{x_{n}\} _{n\in \mathbb{N}}\) it said to be a Cauchy sequence, if and only if, for every \(\epsilon\gg\theta\), there exists \(N\in \mathbb{N}\) such that, for any \(m,n\geq \mathbb{N}\), we have \(d(x_{m},x_{n})\ll\epsilon\). The cone metric space \((X,d)\) is said to be complete, if and only if every Cauchy sequence in X converges to some point \(x\in X\). A subset F of X is said to be closed, if, for any sequence \(\{x_{n}\} _{n\in \mathbb{N}}\) in F converging to \(x\in E\), we have \(x\in F\).
Remark 3
If X is complete and \(F\subseteq X\) is closed, then F is complete.
In the sequel, \(\mathcal{LS}(X)\) stands for the space of all lower semicontinuous and bounded below functions from X to E.
Remark 4
The function φ defining \(\preceq_{\varphi}\) is nonincreasing.
3 BishopPhelps and Caristi type theorems
The following theorem is an extension of the wellknown results by BishopPhelps lemma [6].
Theorem 5
Suppose X is dcomplete. Then, for each \(\varphi\in\mathcal {LS}(X)\) and \(x_{0}\in X\), there exists a maximal element \(x^{*}\in X\) such that \(x_{0}\preceq_{\varphi}x^{*}\).
Proof
A set \(B\subseteq X\) is said to be bounded, whenever \(\{d(x,y):x,y\in X\}\) is bounded in E. In the sequel, we denote by \(2^{X}\) the family of all nonempty subsets of X and by \(B(X)\) the subfamily of \(2^{X}\) consisting of all closed, nonempty and bounded subsets of X. For a setvalued mapping \(T:X\to2^{X}\) and \(x\in X\), we usually denote Tx instead of \(T(x)\).
Theorem 5 enables us to state below a generalized version of Caristi’s theorem.
Theorem 6
 (6.1)
If for each \(x\in X\), there exists \(y\in Tx\) such that \(d(x,y)\preceq\varphi(x)\varphi(y)\), then there exists \(x^{*}\in X\) such that \(x^{*}\in Tx^{*}\).
 (6.2)
If for each \(x\in X\) and \(y\in Tx\), \(d(x,y)\preceq\varphi(x)\varphi(y)\), then there exists \(x^{*}\in X\) such that \(\{x^{*}\}= Tx^{*}\).
Proof
From Theorem 5, \(\preceq_{\varphi}\) has a maximal element \(x^{*}\in X\). Suppose there exists \(y\in Tx^{*}\) such that \(d(x^{*},y)\preceq\varphi (x^{*})\varphi(y)\). That is, \(x^{*}\preceq_{\varphi}y\). The maximality of \(x^{*}\) implies \(y=x^{*}\) and hence (6.1) holds.
Since \(Tx^{*}\) is nonempty, (6.1) implies \(\{x^{*}\}\subseteq Tx^{*}\). By applying assumption in (6.2) again and the maximality of \(x^{*}\), we have \(Tx^{*}\subseteq\{x^{*}\}\), which proves (6.2), and the proof is complete. □
For singlevalued mappings the following corollary holds.
Corollary 7
Suppose X is dcomplete. Let \(f:X\to X\) be a mapping and \(\varphi\in\mathcal{LS}(X)\) such that for each \(x\in X\), \(d(x,f(x))\preceq\varphi(x)\varphi(f(x))\). Then there exists \(x^{*}\in X\) such that \(x^{*}= f(x^{*})\).
A cone metric version of the nonconvex minimization theorem according to Takahashi [7] is stated as follows.
Theorem 8
Let \(\varphi\in\mathcal{LS}(X)\) such that for any \(x_{0}\in X\) satisfying \(\inf_{x\in X}\varphi(x)\prec\varphi(x_{0})\), the following condition holds: there exists \(x\in X\setminus\{x_{0}\}\) such that \(d(x_{0},x)\preceq\varphi (x_{0})\varphi(x)\). Then there exists \(x^{*}\in X\) such that \(\inf_{y\in X}\varphi (y)=\varphi(x^{*})\).
Proof
Suppose for every \(z\in X\), \(\inf_{y\in X}\varphi(y)\prec\varphi (z)\), and let \(x_{0}\in X\). From Theorem 5, \(\preceq_{\varphi}\) has a maximal element \(x^{*}\in X\) such that \(x_{0} \preceq_{\varphi} x^{*}\). Since φ is nonincreasing, \(\varphi(x^{*})\preceq \varphi(x_{0})\) and the assumption implies that there exists \(x\in X\setminus\{x^{*}\}\) such that \(x^{*}\preceq_{\varphi} x\). From the maximality of \(x^{*}\) we have \(x=x^{*}\), which is a contradiction. Therefore, there exists \(z\in X\) such that \(\inf_{x\in X}\varphi(x)=\varphi(z)\), which completes the proof. □
4 Contractions
Remark 9
When d is a standard metric on X, H is the Hausdorff metric on \(B(X)\). However, in general, \((B(X),H)\) is not a cone metric space.
An linear operator \(L:E\to E\) is said to be positive, if for any \(x\in P\) we have \(Lx\in P\). Let \(\mathcal{K}_{+}(E)\) be the set of all positive, injective and continuous linear operators δ from E into itself such that there exists \(0\leq t<1\) satisfying \(0\preceq\delta x\preceq tx\), for all \(x\in P\). Notice that for each \(\delta\in \mathcal{K}_{+}(E)\) and \(x\in E\), \(\delta x\preceq\deltax\).
Let \(T:X\to B(X)\) be a setvalued mapping. We say T is Hcontinuous at \(x\in A\), if, for any sequence \(\{x_{n}\}_{n\in \mathbb{N}}\) in A converging to x, \(\{H(Tx_{n},Tx)\}_{n\in \mathbb{N}}\) converges to θ in E. The mapping T is said to be a contraction, if there exists \(k\in \mathcal{K}_{+}(E)\) such that for any \(x,y\in X \), \(H(Tx,Ty)\preceq kd(x,y)\). Notice that T is a contraction, if and only if there exists \(0\leq t<1\) such that for any \(x,y\in X \), \(H(Tx,Ty)\preceq td(x,y)\). When E is a Banach space, t can be chosen as the spectral ratio \(\rho(k)\) of k and hence in this case, k is a contraction, if and only if \(\rho (k)<1\). Of course, any contraction is a weak contraction. A selector of T is any function \(f:X\to X\) such that \(f(x)\in Tx\), for all \(x\in X\). We say T satisfies condition (S) if, for any \(\epsilon>0\), there exists a selector \(f_{\epsilon}\) of T such that for each \(x\in X\), \(d(x,f_{\epsilon}(x))\preceq(1+\epsilon)d(x,Tx)\).
Remark 10
Example 11
Given a setvalued mapping \(T:X\to B(X)\), we denote by \(\varphi_{T}\) the mapping from X to E defined as \(\varphi_{T}(x)=d(x,Tx)\).
Proposition 12
Let \(T:X \to B(X)\) be a Hcontinuous setvalued mapping. Then \(\varphi_{T}\in\mathcal{LS}(X)\).
Proof
Consequently, \(\varphi_{T}(u)\preceq\varphi_{T}(v)+d(u,v)+H(Tu,Tv) \) and from this the lower semicontinuity of \(\varphi_{T}\) is obtained. □
Corollary 13
Let \(T:X \to B(X)\) be a contraction. Then \(\varphi_{T}\in\mathcal{LS}(X)\).
Theorem 14
Let \(L:E\to E\) be a positive linear operator, \(\delta\in \mathcal{K}_{+}(E)\), and \(T:X\to B(X)\) be a \((\delta, L)\)weak contraction satisfying condition (S). Suppose E is dcomplete and \(\varphi_{T}\in\mathcal {LS}(X)\). Then there exists \(x^{*}\in X\) such that \(x^{*}\in Tx^{*}\).
Proof
Corollary 15
Suppose E is dcomplete and let \(T:X\to B(X)\) be a contraction satisfying condition (S). Then there exists \(x^{*}\in X\) such that \(x^{*}\in Tx^{*}\).
Corollary 16
Suppose E is dcomplete and let \(f:X\to X\) be a singlevalued contraction. Then there exists \(x^{*}\in X\) such that \(x^{*}= f(x^{*})\).
Remark 17
Since the condition \(d(x,Tx)=0\) does not imply, even if Tx is closed, that \(x\in Tx\), it is not possible, in the scenario of cone metric spaces, to prove existence of fixed point for weak contractions, as was done by Berinde and Berinde in [4] for setvalued mapping defined on standard metric spaces. Consequently, Corollary 7 was crucial in the proof of Theorem 14.
Some emblematic and particular cases of standard weak contractions are the Chatterjea [13] and Kannan [14] contractions. Natural extensions of these concepts are obtained for setvalued mappings defined on cone metric spaces. Corollary 18 below shows that, under the usual conditions, for these we have the existence of fixed points.
Corollary 18
 (18.1):

\(H(Tx,Ty)\preceq\alpha[ d(x,Tx)+d(y,Ty)]\) (Kannan condition) and
 (18.2):

\(H(Tx,Ty)\preceq\alpha[d(x,Ty)+d(y,Tx)]\) (Chatterjea condition),
Then there exists \(x\in X\) such that \(x\in T(x)\).
Declarations
Acknowledgements
This research was partially supported by Chilean Council for Scientific and Technological Research, under grant FONDECYT 1120879.
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.
Authors’ Affiliations
References
 Huang, LG, Zhang, X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332, 14681476 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Agarwal, RP, Khamsi, MA: Extension of Caristi’s fixed point theorem to vector valued metric spaces. Nonlinear Anal. 74, 141145 (2011) MATHMathSciNetView ArticleGoogle Scholar
 Altun, I, Rakoc̆ević, V: Ordered cone metric spaces and fixed point results. Comput. Math. Appl. 60, 11451151 (2010) MATHMathSciNetView ArticleGoogle Scholar
 Berinde, M, Berinde, V: On a general class of multivalued weakly Picard mappings. J. Math. Anal. Appl. 326(2), 772782 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Aliprantis, CD, Tourky, R: Cones and Duality. Am. Math. Soc., Providence (2007) MATHView ArticleGoogle Scholar
 Bishop, E, Phelps, RR: The support functionals of a convex set. In: Proceedings of Symposia in Pure Mathematics VII. Convexity, pp. 2736. Am. Math. Soc., Providence (1963) Google Scholar
 Takahashi, W: Existence theorems generalizing fixed point theorems for multivalued mappings. In: Théra, MA, Baillon, JB (eds.) Fixed Point Theory and Applications. Pitman Research Notes in Mathematics Series, vol. 252, pp. 397406. Longman, Harlow (1991) Google Scholar
 Azam, A, Mehmood, N: Multivalued fixed point theorems in cone TVScone metric spaces. Fixed Point Theory Appl. 2013, 184 (2013) MathSciNetView ArticleGoogle Scholar
 Azam, A, Mehmood, N, Ahmad, J, Radenović, S: Multivalued fixed point theorems in cone bmetric spaces. J. Inequal. Appl. 2013, 582 (2013) View ArticleGoogle Scholar
 Cho, SH, Bae, JS: Fixed point theorems for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2011, 87 (2011) MathSciNetView ArticleGoogle Scholar
 Mehmood, N, Azam, A, Koc̆inac, LDR: Multivalued fixed point results in cone metric spaces. Topol. Appl. 179, 156170 (2015) MATHMathSciNetView ArticleGoogle Scholar
 Shatanawi, W, Rajić, VC, AlRawashdeh, A: MizoguchiTakahashitype theorems in TVScone metric spaces. Fixed Point Theory Appl. 2012, 106 (2012) View ArticleGoogle Scholar
 Chatterjea, SK: Fixedpoint theorems. C. R. Acad. Bulgare Sci. 25, 727730 (1972) MATHMathSciNetGoogle Scholar
 Kannan, R: Some results on fixed points II. Fundam. Math. 76(4), 405408 (1969) MATHGoogle Scholar