Research Article | Open | Published:
Best Approximations Theorem for a Couple in Cone Banach Space
Fixed Point Theory and Applicationsvolume 2010, Article number: 784578 (2010)
The notion of coupled fixed point is introduced by Bhaskar and Lakshmikantham, (2006). In this manuscript, some result of Mitrović, (2010) extended to the class of cone Banach spaces.
1. Introduction and Preliminaries
Banach, valued metric space was considered by Rzepecki , Lin , and lately by Huang and Zhang . Basically, for nonempty set , the definition of metric is replaced by a new metric, namely, by an ordered Banach space : . Such metric spaces are called cone metric spaces (in short CMSs). In 1980, by using this idea Rzepecki  generalized the fixed point theorems of Maia type. Seven years later, Lin  extends some results of Khan and Imdad  by considering this new metric space construction. In 2007, Huang and Zhang  discussed some properties of convergence of sequences and proved the fixed point theorems of contractive mapping for cone metric spaces: any mapping of a complete cone metric space into itself that satisfies, for some , the inequality
for all , has a unique fixed point. Recently, many results on fixed point theorems have been extended to cone metric spaces (see, e.g., [3, 5–11]). In , the authors extends to cone metric spaces over regular cones. In this manuscript, some results of some result of Mitrović in  are extended to the class of cone metric spaces.
Throughout this paper stands for real Banach space. Let always be closed subset of . is called cone if the following conditions are satisfied:
for all and nonnegative real numbers ,
For a given cone , one can define a partial ordering (denoted by or ) with respect to by if and only if . The notation indicates that and while will show , where denotes the interior of . It can be easily shown that and where . Throughout this manuscript .
The cone is called
normal if there is a number such that for all ,
regular if every increasing sequence which is bounded from above is convergent. That is, if is a sequence such that for some , then there is such that .
In , the least positive integer satisfying (1.2) is called the normal constant of . Note that, in [3, 5], normal constant is considered a positive real number, (), although it is proved that there is no normal cone for in (see e.g., Lemma , ).
Lemma 1.1 (see e.g., ).
One has the following.
(i)Every regular cone is normal.
(ii)For each , there is a normal cone with normal constant .
(iii)The cone is regular if every decreasing sequence which is bounded from below is convergent.
Definition 1.2 (see ).
is called minihedral cone if exists for all ; and strongly minihedral if every subset of which is bounded from above has a supremum.
Let with the supremum norm and Since the sequence is monotonically decreasing, but not uniformly convergent to , thus, is not strongly minihedral.
Let be nonempty set. Suppose that the mapping satisfies the following:
for all ,
if and only if ,
, for all .
Then is called cone metric on , and the pair is called a cone metric space (CMS).
Let and and . Define by , where are positive constants. Then is a CMS. Note that the cone is normal with the normal constant
It is quite natural to consider Cone Normed Spaces (CNSs).
Let be a vector space over . Suppose that the mapping satisfies the following:
for all ,
if and only if ,
, for all .
for all .
Then is called cone norm on , and the pair is called a cone normed space (CNS).
Note that each CNS is CMS. Indeed, .
Let be a CNS, and a sequence in . Then one has the following.
(i)converges towhenever for every with there is a natural number , such that for all . It is denoted by or .
(ii) is a Cauchy sequence whenever for every with there is a natural number , such that for all .
(iii) is a complete cone normed space if every Cauchy sequence is convergent.
Complete cone-normed spaces will be called cone Banach spaces.
Let be a CNS, let be a normal cone with normal constant , and let be a sequence in . Then, one has the following:
(i)the sequence converges to if and only if , as ,
(ii)the sequence is Cauchy if and only if as ,
(iii)the sequence converges to and the sequence converges to and then .
The proof is direct by applying Lemmas 1, 4, and 5 in  to the cone metric space , where , for all .
Let be a CNS over a cone in . Then (1) and . (2) If then there exists such that implies . (3) For any given and there exists such that . (4) If are sequences in such that , and for all then .
Let be a CNS and let be the closed unit interval. A continuous mapping is said to be a convex structure on if for all and
holds for all . A CNS together with a convex structure is said to be convex CNS. A subset is convex, if holds for all and .
Let be a CNS, and and the nonempty convex subsets of . A mapping is said to be almost quasiconvex with respect to if
where for all and .
2. Couple Fixed Theorems on Cone Metric Spaces
Let be a CMS and . Then the mapping such that forms a cone metric on . A sequence is said to be a double sequence of . A sequence is convergent to if, for every , there exists a natural number such that for all .
Let and . Then, if and only if and .
Suppose . Thus, for any , there exist such that for all . Hence, and for all , that is, and .
Conversely, assume and . Thus, for any , there exist such that for all , and also for all . Hence, for all , where .
Let be a CMS. A function is said to be sequentially continuous if implies that . Analogously, a function is sequentially continuous if implies that .
Lemma 2.3 (see ).
Let be a CNS. Then is continuous if and only if is sequentially continuous.
Let be partially ordered set and . is said to have mixed monotone property if is monotone nondecreasing in and is monotone nonincreasing in , that is, for any ,
Note that this definition reduces the notion of mixed monotone function on where represents usual total order in .
An element is said to be a couple fixed point of the mapping if
Throughout this paper, let be partially ordered set and let be a cone metric on such that is a complete CMS over the normal cone with the normal constant . Further, the product spaces satisfy the following:
Definition 2.6 (see ).
Let be a CMS and . is said to be sequentially compact if for any sequence in there is a subsequence of such that is convergent in .
Remark 2.7 (see ).
Every cone metric space is a topological space which is denoted by . Moreover, a subset is sequentially compact if and only if is compact.
Let be a nonempty subset of a CNS . A set-valued map is called KKM map if for every finite subset of
where denotes the convex hull.
Let be a topological vector space, let be a nonempty subset of and let be called KKM map with closed values. If is compact for at least one then .
Let be a CNS over strongly minidhedral cone , and let be a nonempty convex compact subset of . If is continuous mapping and is continuous almost quasiconvex mapping with respect to , then there exists such that
for each . Since , then . Regarding that the mappings and are continuous, is closed for each . Since is compact, then is compact for each . Thus, is a KKM map.
Let , where and are finite subsets of . Then, there exists
From the first expression in (2.7), one can get that there exist such that and . Set and then , and , . Regarding that is almost quasiconvex with respect to yields
Taking (2.7) into account, one can get
for all which is a contradiction. Hence is a KKM mapping. It follows that there exists such that for all . Thus,
Let be a CNS over strongly minidhedral cone , and let be a nonempty convex compact subset of . If is continuous mapping and is continuous almost quasiconvex mapping with respect to such that , then and have a coupled coincidence point.
Due to Theorem 2.10, there exists such that
Thus, and .
If we take as an identity, , in Theorem 2.11, then we get the following result.
Let be a CNS over strongly minidhedral cone , and let be a nonempty convex compact subset of . If is continuous mapping, then has a coupled fixed point.
Let be a CNS over strongly minidhedral cone , and let be a nonempty convex compact subset of . If is continuous mapping, then either has a coupled fixed point or there exists such that
for all .
If has a coupled fixed point, then we are done. Suppose that has no coupled fixed points. Due to Theorem 2.10, there exists such that
Take which implies (2.14). It is sufficient to show that . The inequality (2.14) implies that either or .
Consider the first case: . Suppose . Since is convex, then there exists such that . Thus and
This is a contradiction. Analogously one can get the contradiction from the case . Thus, .
Let be a CNS over strongly minidhedral cone , and let be a nonempty convex compact subset of . Suppose that is continuous mapping. Then has a coupled fixed point if one of the following conditions is satisfied for all such that :
(i)there exists a such that
(ii)there exists an such that
It is clear that (iii)(ii)(i). To finalize proof, it is sufficient to show that is satisfied. Suppose that holds but has no coupled fixed point. Take Theorem 2.13 into account; then there exist such that (2.14) holds which contradicts .
Rzepecki B: On fixed point theorems of Maia type. Publications de l'Institut Mathématique 1980, 28: 179–186.
Lin S-D: A common fixed point theorem in abstract spaces. Indian Journal of Pure and Applied Mathematics 1987,18(8):685–690.
Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. Journal of Mathematical Analysis and Applications 2007,332(2):1468–1476. 10.1016/j.jmaa.2005.03.087
Khan MS, Imdad MA: A common fixed point theorem for a class of mappings. Indian Journal of Pure and Applied Mathematics 1983,14(10):1220–1227.
Rezapour Sh, Hamlbarani R: Some notes on the paper: "cone metric spaces and fixed point theorems of contractive mappings". Journal of Mathematical Analysis and Applications 2008,345(2):719–724. 10.1016/j.jmaa.2008.04.049
Turkoglu D, Abuloha M: Cone metric spaces and fixed point theorems in diametrically contractive mappings. Acta Mathematica Sinica 2010,26(3):489–496.
Turkoglu D, Abuloha M, Abdeljawad T: KKM mappings in cone metric spaces and some fixed point theorems. Nonlinear Analysis: Theory, Methods & Applications 2010,72(1):348–353. 10.1016/j.na.2009.06.058
Di Bari C, Vetro P: -pairs and common fixed points in cone metric spaces. Rendiconti del Circolo Matematico di Palermo 2008,57(2):279–285. 10.1007/s12215-008-0020-9
Karapınar E: Fixed point theorems in cone Banach spaces. Fixed Point Theory and Applications 2009, -9.
Karapınar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Computers and Mathematics with Applications 2010,59(12):3656–3668. 10.1016/j.camwa.2010.03.062
Radenović S, Rhoades BE: Fixed point theorem for two non-self mappings in cone metric spaces. Computers & Mathematics with Applications 2009,57(10):1701–1707. 10.1016/j.camwa.2009.03.058
Mitrović ZD: A coupled best approximations theorem in normed spaces. Nonlinear Analysis: Theory, Methods & Applications 2010,72(11):4049–4052. 10.1016/j.na.2010.01.035
Abdeljawad T, Karapınar E: Quasicone metric spaces and generalizations of Caristi Kirk's theorem. Fixed Point Theory and Applications 2009, -9.
Deimling K: Nonlinear Functional Analysis. Springer, Berlin, Germany; 1985:xiv+450.
Abdeljawad T: Completion of cone metric spaces. Hacettepe Journal of Mathematics and Statistics 2010,39(1):67–74.
Abdeljawad T, Turkoglu D, Abuloha M: Some theorems and examples of cone Banach spaces. Journal of Computational Analysis and Applications 2010,12(4):739–753.
Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Analysis: Theory, Methods & Applications 2006,65(7):1379–1393. 10.1016/j.na.2005.10.017
Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Analysis: Theory, Methods & Applications 2009,70(12):4341–4349. 10.1016/j.na.2008.09.020
Rezapour Sh, Derafshpour M, Hamlbarani R: A review on topological properties of cone metric spaces. to appear