Modified proof of Caristi’s fixed point theorem on partial metric spaces
© Klin-eam; licensee Springer 2013
Received: 25 December 2012
Accepted: 12 April 2013
Published: 26 April 2013
In this paper, lower semi-continuous functions are used to modify the proof of Caristi’s fixed point theorems on partial metric spaces. We prove a new type of fixed point theorems in complete partial metric spaces, and then generalize them to metric spaces. Some more general results are also obtained on partial metric spaces.
Keywordslower semi-continuous functions Caristi’s fixed point theorem partial metric spaces
The number of extensions of the Banach contraction principle have appeared in literature. One of its most important extensions is known as Caristi’s fixed point theorem because Caristi’s theorem is a variety of Ekeland’s ϵ-variational principle . In 1976, Caristi  proved the following fixed point theorem.
Theorem 1.1 Let be a complete metric space and , and let ϕ be a lower semicontinuous function from X into . Assume that for all . Then f has a fixed point in X.
Caristi’s fixed point theorem was generalized by several authors. For example, Bae  generalized Caristi’s theorem to prove the fixed point theorem for weakly contractive set-valued mappings. Downing and Kirk  generalized Caristi’s theorem to prove the surjectivity theorem for a nonlinear closed mapping. See also  and others [6, 7].
In 1977, Siegel  found that based on the work of Brondsted  (see also ), Caristi  had given a significant generalization of the contraction theorem. However, Caristi’s proof, as well as other more recent ones , lacked the constructive aspect of the original proof. Therefore, he presented a version of Caristi’s theorem which offered a construction of the fixed point as a countable iteration of application of suitable operators in a complete metric space.
In recent years many works on domain theory have been made in order to equip semantics domain with a notion of distance, see . In particular, Matthews  introduced the notion of a partial metric space as a part of the study of denotational semantics of dataflow network, showing that the Banach contraction mapping theorem can be generalized to the partial metric context for applications in program verification.
In this paper we present a version of Caristi’s theorem which offers a construction of the fixed point as a countable iteration of application of suitable operators in a complete partial metric space. The theorem we present is proved by a very simple argument which is in the spirit of the original contraction theorem.
First, we start with some preliminaries on partial metric spaces. For more details, we refer the reader to .
for all .
if and only if .
for all .
for all .
Then p is called a partial metric on X and is called a partial metric space.
Note that the self-distance of any point need not be zero, hence the idea of generalizing metrics so that a metric on a non-empty set X is precisely a partial metric p on X such that for any .
Contrary to the metric space case, some open balls may be empty. As an example, in a partial metric space , the open balls are empty for any . For example, consider the function defined by for any . Then the pair is a partial metric space. In a partial metric space , the set of open balls is the basis of a topology on X, called the partial metric topology and denoted by .
Then is a metric space.
Definition 2.4 A sequence in a partial metric space converges to , and we write if, for any such that , there exists so that for any , .
Definition 2.5 If is a sequence in a partial metric space , then is a proper limit of written (properly) if in . If a sequence has a proper limit, then one says that the sequence is properly convergent.
Definition 2.6 A sequence in a partial metric space is called a Cauchy sequence if exists and is finite. A partial metric space is said to be complete if every Cauchy sequence in X converges with respect to to a point such that .
a sequence in a partial metric space converges to a point if and only if ,
a sequence in a partial metric space converges properly to a point if and only if ,
a sequence in a partial metric space is a Cauchy sequence if and only if it is a Cauchy sequence in the metric ,
- (iv)a partial metric space is complete if and only if the metric space is complete. Moreover,
Definition 2.8 A function is called lower semi-continuous if for any sequence in X and such that converges to x, we have .
3 Main results
If it exists, call it the countable composition of the .
Now, we let , , and then we prove a simple lemma as follows.
Lemma 3.1 Both Φ and are closed under compositions. Moreover, if ϕ is lower semi-continuous, then Φ and are closed under countable compositions.
Proof We first show that Φ is closed under compositions.
implies that .
Furthermore, we have is closed under compositions.
and then . This implies that .
Therefore Φ and are closed under compositions. □
To show the classes are closed under countable composition, we use the following lemma.
then and , for each n, where ϕ is a lower semi-continuous function.
This last inequality obtained by ϕ is lower semi-continuous.
Therefore . □
The remainder of the proof of Lemma 3.1 amounts to the observation that for each , the sequence satisfies the conditions of Lemma 3.2. Before starting the main theorem of this paper, we also need the following.
- (1)For , define the diameter of A, written , by
Let ; note implies .
Let . For each , define .
Lemma 3.4 .
Thus . □
Let be closed under countable compositions. Then there exists an such that and for all .
Let the elements of be continuous functions. Then there exists a sequence of functions and such that for all .
Next, to show that under hypothesis 1. Let and . Since is closed under compositions, then . Since , it implies that for each i. On the other hand, since , we have . Since , we obtain that . Thus . Finally, to show that under hypothesis 2. Let . First, since , for each i we have that , the closure of . Since , we have that .
Therefore . The proof is completed. □
Remark In Theorem 3.5(2) one may choose , the set consisting of g and its finite iterates. For this choice of , one has as in the contraction theorem.
The author is grateful to the referees for precise remarks allowing us to improve the presentation of the paper and would like to thank the faculty of Science, Naresuan University, Phitsanulok for the financial support.
- Ekeland I: Sur les problemes variationnels. C. R. Acad. Sci. Paris 1972, 275: 1057–1059.MathSciNetGoogle Scholar
- Caristi J: Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 1976, 215: 241–251.MathSciNetView ArticleGoogle Scholar
- Bae JS: Fixed point theorems for weakly contractive multivalued maps. J. Math. Anal. Appl. 2003, 284: 690–697. 10.1016/S0022-247X(03)00387-1MathSciNetView ArticleGoogle Scholar
- Downing D, Kirk WA: A generalization of Caristi’s theorem with applications to nonlinear mapping theory. Pac. J. Math. 1977, 69: 339–346. 10.2140/pjm.1977.69.339MathSciNetView ArticleGoogle Scholar
- Bae JS, Cho EW, Yeom SH: A generalization of the Caristi-Kirk fixed point theorem and its applications to mapping theorems. J. Korean Math. Soc. 1994, 31: 29–48.MathSciNetGoogle Scholar
- Reich S: Approximate selections best approximations fixed points and invariant set. J. Math. Anal. Appl. 1978, 62: 104–113. 10.1016/0022-247X(78)90222-6MathSciNetView ArticleGoogle Scholar
- De Blasi FS, Myjak J, Reich S, Zaslavski AJ: Generic existence and approximation of fixed points for nonexpansive set-valued maps. Set-Valued Var. Anal. 2009, 17: 97–112. 10.1007/s11228-009-0104-5MathSciNetView ArticleGoogle Scholar
- Siegel J: A new proof of Caristi’s fixed point theorem. Proc. Am. Math. Soc. 1977, 66: 54–56.Google Scholar
- Brondsted A: On a lemma of Bishop and Phelps. Pac. J. Math. 1974, 55: 335–341. 10.2140/pjm.1974.55.335MathSciNetView ArticleGoogle Scholar
- Wong CS: On a fixed point theorem of contractive type. Proc. Am. Math. Soc. 1976, 57: 283–284. 10.1090/S0002-9939-1976-0407826-5View ArticleGoogle Scholar
- Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.Google Scholar
- Valero O: On Banach fixed point theorems for partial metric spaces. Appl. Gen. Topol. 2005, 6: 229–240.MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.