Quasicone Metric Spaces and Generalizations of Caristi Kirk's Theorem
© T. Abdeljawad and E. Karapinar. 2009
Received: 4 July 2009
Accepted: 3 December 2009
Published: 9 December 2009
Cone-valued lower semicontinuous maps are used to generalize Cristi-Kirik's fixed point theorem to Cone metric spaces. The cone under consideration is assumed to be strongly minihedral and normal. First we prove such a type of fixed point theorem in compact cone metric spaces and then generalize to complete cone metric spaces. Some more general results are also obtained in quasicone metric spaces.
1. Introduction and Preliminaries
In 2007, Huang and Zhang  introduced the notion of cone metric spaces (CMSs) by replacing real numbers with an ordering Banach space. The authors there gave an example of a function which is contraction in the category of cone metric spaces but not contraction if considered over metric spaces and hence, by proving a fixed point theorem in cone metric spaces, ensured that this map must have a unique fixed point. After that series of articles about cone metric spaces started to appear. Some of those articles dealt with the extension of certain fixed point theorems to cone metric spaces (see, e.g., [2–5]), and some other with the structure of the spaces themselves (see, e.g., [3, 6]). Very recently, some authors have used regular cones to extend some fixed point theorems. For example, in  a result about Meir-Keeler type contraction mappings has been extended to regular cone metric spaces. In other works, some results about fixed points of multifunctions on cone metric spaces with normal cones have been obtained as well . For the use of lower semicontinuous functions in obtaining fixed point theorems in cone metric spaces we refer to .
In this manuscript, we use cone-valued lower semicontinuous functions to extend some of the results in Caristi  and Ekeland  to CMS and quasicone metric space (QCMS). The cones under consideration are assumed to be strongly minihedral and normal and hence regular. In particular the cone in the real line is strongly minihedral and normal; hence the results mentioned in the above references are recovered.
Throughout this paper stands for a real Banach space. Let always be a closed subset of . is called cone if the following conditions are satisfied:
for all and non-negative 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 . From now on, it is assumed that
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.1), is called the normal constant of . Note that, in [1, 2], normal constant is stated a positive real number, ( ). However, later on and in [2, Lemma ] it was proved that there is no normal cone with constant .
Every regular cone is normal.
For each , there is a normal cone with normal constant .
The cone is regular if every decreasing sequence which is bounded from below is convergent.
The proof of (i) and (ii) were given in  and the last one just follows from definition.
Example 1.2 (see ).
Let with the norm , and consider the cone
For each , put and Then, , and Since , is not normal constant of and hence is a nonnormal cone.
Let be a nonempty set. Suppose that the mapping satisfies the following:
() for all ,
() if and only if ,
() , for all .
Then is said to be a quasicone metric on , and the pair is called a quasicone metric space (QCMS). Additionally, if also satisfies
() for all ,
then is called a 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
Let be a CMS, , and let be a sequence in . Then
(i) converges to if for every with there is a natural number , such that for all . It is denoted by or ;
(ii) is a Cauchy sequence if for every with there is a natural number , such that for all ;
(iii) is a complete cone metric space if every Cauchy sequence in is convergent in .
Lemma 1.6 (see ).
Let be a CMS, let be a normal cone with normal constant , and let be a sequence in . Then,
(i)the sequence converges to if and only if d ( , ) 0 or equivalently ;
(ii)the sequence is Cauchy if and only if (or equivalently );
(iii)the sequence converges to and the sequence converges to then .
Let be a CMS over a cone in . Thenone has the following.
(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 .
Definition 1.8 (see ).
is called minihedral cone if exists for all , and strongly minihedral if every subset of which is bounded from above has a supremum.
It is easy to see that every strongly minihedral normal cone is regular.
Let with the supremum norm and Then is a cone with normal constant which is not regular. This is clear, since the sequence is monotonicly decreasing, but not uniformly convergent to . Thus, is not strongly minihedral. It is easy to see that the cone mentioned in Example 1.4 is strongly minihedral.
Definition 1.10 (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 1.11 (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.
2. Main Results
Let be a CMS, , and a function on . Then, the function is called a lower semicontinuous (l.s.c) on whenever
Also, let be an arbitrary selfmapping on such that
Then, is called a Caristi map on .
The following Lemma will be used to prove the next results.
If is a decreasing sequence (via the partial ordering obtained by the closed cone ) such that , then
Since is an increasing sequence, , for and for all . Then closeness of implies that for all . To see that is the greatest lower bound of , assume that some satisfies for all . From and the closeness of we get or which shows that
Let be a compact CMS, a strongly minihedral cone, and a lower semicontinuous function. Then, attains a minimum on .
Let which exists by strong minihedrality. For each , there is an such that , where . Since is compact, then has a convergent subsequence. Let be this sequence and let .
But then, by the definition of , for all . This completes the proof.
Let be a CMS, a compact subset of , a strongly minihedral normal cone, and a lower semicontinuous function. Then, each selfmap satisfying (2.2) has a fixed point in .
Thus, and so
The following theorem is an extension of the result of Caristi ([10, Theorem ]).
Let be a complete CMS, a strongly minihedral normal cone, and a lower semicontinuous function. Then, each selmap satisfying (2.2) has a fixed point in .
Let have the normal constant . Let and for all . Since , and so .
For , set and construct a sequence in the following way: let be such that , where . Thus, one can observe that
Hence, . By Lemma 1.6, yields that the sequence is a Cauchy in . Completeness of implies that the sequence is convergent to some point in , say
Hence, for all . This implies that for all .
is achieved. Hence, . Finally, by (2.2) we have .
The following theorem is a generalization of the result in .
Let be defined by .
Let be strongly minihedral normal cone with normal constant . First note that strong minihedrality of guarantees that exists. Let and for all . Note that , so and also .
For , set and construct a sequence as in the proof of Theorem 2.4: such that , . Thus, one can observe that for each ,
Also, by using the same method in the proof of Theorem 2.4, it can be shown that is a Cauchy sequence and converges to some and .
The following theorem is a generalization of [13, Theorem ].
and each , then and have a common coincidence point, that is, for some , for all .
Thus, by Theorem 2.6, for all . Hence for all , where is such that .
This work is partially supported by the Scientific and Technical Research Council of Turkey.
- 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.087MathSciNetView ArticleMATHGoogle Scholar
- 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.049MathSciNetView ArticleMATHGoogle Scholar
- Turkoglu D, Abuloha M: Cone metric spaces and fixed point theorems in diametrically contractive mappings. Acta Mathematica Sinica, English Series, submitted
- Turkoglu D, Abuloha M, Abdeljawad T: KKM mappings in cone metric spaces and some fixed point theorems. Nonlinear Analysis: Theory, Methods and Applications 2010,72(1):348–353. 10.1016/j.na.2009.06.058MathSciNetView ArticleMATHGoogle Scholar
- Şahin İ, Telci M: Fixed points of contractive mappings on complete cone metric spaces. Hacettepe Journal of Mathematics and Statistics 2008, 345: 719–724.MATHGoogle Scholar
- Rezapour Sh, Derafshpour M, Hamlbarani R: A Review on Topological Properties of Cone Metric Spaces. Analysis, Topology and Applications 2008 (ATA2008), the 30th of May to the 4th of June, 2008, Technical Faculty, Cacak, University of Kragujevac Vrnjacka Banja, Serbia
- Haghi RH, Rezapour Sh: Fixed points of multifunctions on regular cone metric spaces. Expositiones Mathematicae. In press
- Rezapour Sh, Haghi RH: Fixed point of multifunctions on cone metric spaces. Numerical Functional Analysis and Optimization 2009,30(7–8):825–832. 10.1080/01630560903123346MathSciNetView ArticleMATHGoogle Scholar
- Klim D, Wardowski D: Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces. Nonlinear Analysis: Theory, Methods and Applications 2009,71(11):5170–5175. 10.1016/j.na.2009.04.001MathSciNetView ArticleMATHGoogle Scholar
- Caristi J: Fixed point theorems for mappings satisfying inwardness conditions. Transactions of the American Mathematical Society 1976, 215: 241–251.MathSciNetView ArticleMATHGoogle Scholar
- Ekeland I: Sur les problèmes variationnels. Comptes Rendus de l'Académie des Sciences 1972, 275: A1057-A1059.MathSciNetMATHGoogle Scholar
- Deimling K: Nonlinear Functional Analysis. Springer, Berlin, Germany; 1985:xiv+450.View ArticleMATHGoogle Scholar
- Ćirić LB: On a common fixed point theorem of a Greguš type. Publications de l' Institut Mathématique 1991,49(63):174–178.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.