# Maximal and minimal point theorems and Caristi's fixed point theorem

- Zhilong Li
^{1}Email author and - Shujun Jiang
^{1}

**2011**:103

https://doi.org/10.1186/1687-1812-2011-103

© Li and Jiang; licensee Springer. 2011

**Received: **8 August 2011

**Accepted: **21 December 2011

**Published: **21 December 2011

## Abstract

This study is concerned with the existence of fixed points of Caristi-type mappings motivated by a problem stated by Kirk. First, several existence theorems of maximal and minimal points are established. By using them, some generalized Caristi's fixed point theorems are proved, which improve Caristi's fixed point theorem and the results in the studies of Jachymski, Feng and Liu, Khamsi, and Li.

**MSC 2010**: 06A06; 47H10.

## Keywords

## 1 Introduction

In the past decades, Caristi's fixed point theorem has been generalized and extended in several directions, and the proofs given for Caristi's result varied and used different techniques, we refer the readers to [1–15].

*T*:

*X*→

*X*is said to be a Caristi-type mapping [14] provided that there exists a function

*η*: [0, +∞) → [0, +∞) and a function

*φ*:

*X*→ (-∞, +∞) such that

*X*,

*d*) is a complete metric space. Let ≼ be a relationship defined on

*X*as follows

*x*≼

*Tx*for each

*x*∈

*X*provided that

*T*is a Caristi-type mapping. Therefore, the existence of fixed points of Caristi-type mappings is equivalent to the existence of maximal point of (

*X*, ≼). Assume that

*η*is a continuous, nondecreasing, and subadditive function with

*η*

^{-1}({0}) = {0}, then the relationship defined by (1) is a partial order on

*X*. Feng and Liu [12] proved each Caristi-type mapping has a fixed point by investigating the existence of maximal point of (

*X*, ≼) provided that

*φ*is lower semicontinuous and bounded below. The additivity of

*η*appearing in [12] guarantees that the relationship ≼ defined by (1) is a partial order on

*X*. However, if

*η*is not subadditive, then the relationship ≼ defined by (1) may not be a partial order on

*X*, and consequently the method used there becomes invalid. Recently, Khamsi [13] removed the additivity of

*η*by introducing a partial order on

*Q*as follows

where $Q=\left\{x\in X:\phi \left(x\right)\le \underset{t\in X}{inf}\phantom{\rule{2.77695pt}{0ex}}\phi \left(t\right)+\epsilon \right\}$ for some *ε >* 0. Assume that *φ* is lower semicontinuous and bounded below, *η* is continuous and nondecreasing, and there exists *δ >* 0 and *c >* 0 such that *η*(*t*) ≥ *ct* for each *t* ∈ [0, *δ*]. He showed that (*Q*, ≼*) has a maximal point which is exactly the maximal point of (*X*, ≼) and hence each Caristi-type mapping has a fixed point. Very recently, the results of [9, 12, 13] were improved by Li [14] in which the continuity, subadditivity and nondecreasing property of *η* are removed at the expense that

*H*) there exists

*c >*0 and

*ε >*0 such that

*η*(

*t*) ≥

*ct*for each

From [14, Theorem 2 and Remark 2] we know that the assumptions made on *η* in [12, 13] force that (*H*) is satisfied. In other words, (*H*) is necessarily assumed in [12–14]. Meanwhile, *φ* is always assumed to be lower semicontinuous there.

In this study, we shall show how the condition (*H*) and the lower semicontinuity of *φ* could be removed. We first proved several existence theorems of maximal and minimal points. By using them, we obtained some fixed point theorems of Caristi-type mappings in a partially ordered complete metric space without the lower semicontinuity of *φ* and the condition (*H*).

## 2 Maximal and minimal point theorems

For the sake of convenience, we in this section make the following assumptions:

*H*

_{1}) there exists a bounded below function

*φ*:

*X*→ (-∞, +∞) and a function

*η*: [0, +∞) → [0, +∞) with

*η*

^{-1}({0}) = {0} such that

for each *x*, *y* ∈ *X* with *x* ≼ *y*;

(*H*_{2}) for any increasing sequence {*x*_{
n
}}_{
n
}_{≥1} ⊂ *X*, if there exists some *x* ∈ *X* such that *x*_{
n
} → *x* as *n* → ∞, then *x*_{
n
} ≼ *x* for each *n* ≥ 1;

(*H*_{3}) for each *x* ∈ *X*, the set {*y* ∈ *X* : *x* ≼ *y*} is closed;

(*H*_{4}) *η* is nondecreasing;

(*H*_{5}) *η* is continuous and $\underset{t\to +\infty}{lim\; inf}\phantom{\rule{2.77695pt}{0ex}}\eta \left(t\right)>0$;

(*H*_{6}) there exists a bounded above function *φ* : *X* → (-∞, +∞) and a function *η* : [0, +∞) → [0, +∞) with *η*^{-1}({0}) = {0} such that (2) holds for each *x*, *y* ∈ *X* with *x* ≼ *y*;

(*H*_{7}) for any decreasing sequence {*x*_{
n
}}_{
n
}_{≥1} ⊂ *X*, if there exists some *x* ∈ *X* such that *x*_{
n
} → *x* as *n* → ∞, then *x* ≼ *x*_{
n
} for each *n* ≥ 1;

(*H*_{8}) for each *x* ∈ *X*, the set {*y* ∈ *X* : *y* ≼ *x*} is closed.

Recall that a point *x** ∈ *X* is said to be a maximal (resp. minimal) point of (*X*, ≼) provided that *x* = *x** for each *x* ∈ *X* with *x** ≼ *x* (resp. *x* ≼ *x**).

**Theorem 1**. *Let* (*X*, *d*, ≼) *be a partially ordered complete metric space. If* (*H*_{1}) *and* (*H*_{2}) *hold, and* (*H*_{4}) *or* (*H*_{5}) *is satisfied, then* (*X*, ≼) *has a maximal point*.

**Proof**.

*Case 1*. (

*H*

_{4}) is satisfied. Let {

*x*

_{ α }}

_{ α }

_{∈Γ}⊂

*F*be an increasing chain with respect to the partial order ≼. From (2) we find that {

*φ*(

*x*

_{ α })}

_{ α }

_{∈Γ}is a decreasing net of reals, where Γ is a directed set. Since

*φ*is bounded below, then $\underset{\alpha \in \Gamma}{inf}\phantom{\rule{2.77695pt}{0ex}}\phi \left({x}_{\alpha}\right)$ is meaningful. Let {

*α*

_{ n }} be an increasing sequence of elements from Γ such that

*δ >*0 such that ${x}_{{\alpha}_{{n}_{i}}}\preccurlyeq {x}_{{\alpha}_{{n}_{i+1}}}$ for each

*i*≥ 1 and

*H*

_{4}), we have

*i*→ ∞ in (6), by (3) and

*η*

^{-1}({0}) = {0} we have

This is a contradiction, and consequently, ${\left\{{x}_{{\alpha}_{n}}\right\}}_{n\ge 1}$ is a Cauchy sequence.

*X*, there exists

*x*∈

*X*such that ${x}_{{\alpha}_{n}}\to x$ as

*n*→ ∞. Moreover, (

*H*

_{2}) forces that

In the following, we show that {*x*_{
α
}}_{
α
}_{∈Γ} has an upper bound. In fact, for each *α* ∈ Γ, if there exists some *n* ≥ 1 such that ${x}_{\alpha}\preccurlyeq {x}_{{\alpha}_{n}}$, by (7) we get ${x}_{\alpha}\preccurlyeq {x}_{{\alpha}_{n}}\preccurlyeq x$, i.e., *x* is an upper bound of {*x*_{
α
}}_{
α
}_{∈Γ}. Otherwise, there exists some *β* ∈ Γ such that ${x}_{{\alpha}_{n}}\preccurlyeq {x}_{\beta}$ for each *n* ≥ 1. From (2) we find that $\phi \left({x}_{\beta}\right)\le \phi \left({x}_{{\alpha}_{n}}\right)$ for each *n* ≥ 1. This together with (3) implies that $\phi \left({x}_{\beta}\right)=\underset{\alpha \in \Gamma}{inf}\phantom{\rule{2.77695pt}{0ex}}\phi \left({x}_{\alpha}\right)$ and hence *φ*(*x*_{
β
}) ≤ *φ*(*x*_{
α
}) for each *α* ∈ Γ. Note that {*φ*(*x*_{
α
})}_{
α
}_{∈Γ} is a decreasing chain, then we have *β* ≥ *α* for each *α* ∈ Γ. Since {*x*_{
α
}}_{
α
}_{∈Γ} is an increasing chain, then *x*_{
α
} ≼ *x*_{
β
} for each *α* ∈ Γ. This shows that *x*_{
β
} is an upper bound of {*x*_{
α
}}_{
α
}_{∈Γ}.

By Zorn's lemma we know that (*X*, ≼) has a maximal point *x**, i.e., if there exists *x* ∈ *X* such that *x** ≼ *x*, we must have *x* = *x**.

*Case 2*. (

*H*

_{5}) is satisfied. By $\underset{t\to +\infty}{lim\; inf}\eta \left(t\right)>0$, there exists

*l > δ*and

*c*

_{1}

*>*0 such that

*η*is continuous and

*η*

^{-1}({0}) = {0}, then ${c}_{2}=\underset{t\in \left[\delta ,l\right]}{min}\eta \left(t\right)>0$. Let

*c*= min{

*c*

_{1},

*c*

_{2}}, then by (4) we have

In analogy to *Case 1*, we know that (*X*, ≼) has a maximal point. The proof is complete.

**Theorem 2**. *Let* (*X*, *d*, ≼) *be a partially ordered complete metric space. If* (*H*_{6}) *and* (*H*_{7}) *hold, and* (*H*_{4}) *or* (*H*_{5}) *is satisfied, then* (*X*, ≼) *has a minimal point*.

**Proof**. Let ≼_{1} be an inverse partial order of ≼, i.e., *x* ≼ *y* ⇔ *y* ≼_{1} *x* for each *x*, *y* ∈ *X*. Let *ϕ*(*x*) = -*φ*(*x*). Then, *ϕ* is bounded below since *φ* is bounded above, and hence from (*H*_{6}) and (*H*_{7}) we find that both (*H*_{1}) and (*H*_{2}) hold for (*X*, *d*, ≼_{1}) and *ϕ*. Finally, Theorem 2 forces that (*X*, ≼_{1}) has a maximal point which is also the minimal point of (*X*, ≼). The proof is complete.

**Theorem 3**. *Let* (*X*, *d*, ≼) *be a partially ordered complete metric space. If* (*H*_{1}) *and* (*H*_{3}) *hold, and* (*H*_{4}) *or* (*H*_{5}) *is satisfied, then* (*X*, ≼) *has a maximal point*.

**Proof**. Following the proof of Theorem 1, we only need to show that (7) holds. In fact, for arbitrarily given *n*_{0} *≥* 1, $\left\{y\in X:{x}_{{\alpha}_{{n}_{0}}}\preccurlyeq y\right\}$ is closed by (*H*_{3}). From (2) we know that ${x}_{{\alpha}_{{n}_{0}}}\preccurlyeq {x}_{{\alpha}_{n}}$ as *n* ≥ *n*_{0} and hence ${x}_{{\alpha}_{n}}\in \left\{y\in X:{x}_{{\alpha}_{{n}_{0}}}\preccurlyeq y\right\}$ for all *n* ≥ *n*_{0}. Therefore, we have $x\in \left\{y\in X:{x}_{{\alpha}_{{n}_{0}}}\preccurlyeq y\right\}$, i.e., ${x}_{{\alpha}_{{n}_{0}}}\preccurlyeq x$. Finally, the arbitrary property of *n*_{0} implies that (7) holds. The proof is complete.

Similarly, we have the following result.

**Theorem 4**. *Let* (*X*, *d*, ≼) *be a partially ordered complete metric space. If* (*H*_{6}) *and* (*H*_{8}) *hold, and* (*H*_{4}) *or* (*H*_{5}) *is satisfied, then* (*X*, ≼) *has a minimal point*.

## 3 Caristi's fixed point theorem

**Theorem 5**. *Let* (*X*, *d*, ≼) *be a partially ordered complete metric space and T* : *X* → *X. Suppose that* (*H*_{1}) *holds, and* (*H*_{2}) *or* (*H*_{3}) *is satisfied. If* (*H*_{4}) *or* (*H*_{5}) *is satisfied, then T has a fixed point provided that x* ≼ *Tx for each x* ∈ *X*.

**Proof**. From Theorems 1 and 3, we know that (*X*, ≼) has a maximal point. Let *x** be a maximal point of (*X*, ≼), then *x** ≼ *Tx**. The maximality of *x** forces *x** = *Tx**, i.e., *x** is a fixed point of *T*. The proof is complete.

**Theorem 6**. *Let* (*X*, *d*, ≼) *be a partially ordered complete metric space and T* : *X* → *X. Suppose that* (*H*_{6}) *holds, and* (*H*_{7}) *or* (*H*_{8}) *is satisfied. If* (*H*_{4}) *or* (*H*_{5}) *is satisfied, then T has a fixed point provided that Tx* ≼ *x for each x* ∈ *X*.

**Proof**. From Theorems 2 and 4, we know that (*X*, ≼) has a minimal point. Let *x** be a minimal point of (*X*, ≼), then *Tx** ≼ *x**. The minimality of *x** forces *x*^{*} = *Tx**, i.e., *x*^{*} is a fixed point of *T*. The proof is complete.

**Remark 1**. *The lower semicontinuity of φ and* (*H*) *necessarily assumed in* [9, 12–14] *are no longer necessary for Theorems 5 and 6. In what follows we shall show that Theorem 5 implies Caristi's fixed point theorem*.

The following lemma shows that there does exist some partial order ≼ on *X* such that (*H*_{3}) is satisfied.

**Lemma 1**. *Let* (*X*, *d*) *be a metric space and the relationship* ≼ *defined by (1) be a partial order on X. If η* : [0, +∞) → [0, +∞) *is continuous and φ* : *X* → (-∞, +∞) *is lower semicontinuous, then* (*H*_{3}) *holds*.

**Proof**. For arbitrary

*x*∈

*X*, let {

*x*

_{ n }}

_{ n }

_{≥1}⊂ {

*y*∈

*X*:

*x*≼

*y*} be a sequence such that

*x*

_{ n }→

*x*

^{*}as

*n*→ ∞ for some

*x*

^{*}∈

*X*. From (1) we have

*n*→ ∞ in (8), then

*η*and the lower semicontinuity of

*φ*we get

which implies that *x* ≼ *x**, i.e., *x*^{*} ∈ {*y* ∈ *X* : *x* ≼ *y*}. Therefore, {*y* ∈ *X* : *x* ≼ *y*} is closed for each *x* ∈ *X*. The proof is complete.

By Theorem 5 and Lemma 1 we have the following result.

**Corollary 1**. *Let* (*X*, *d*) *be a complete metric space and the relationship* ≼ *defined by (1) be a partial order on X. Let T* : *X* → *X be a Caristi-type mapping and φ be a lower semicontinuous and bounded below function. If η is a continuous function with η*^{-1}({0}) = {0}, *and* (*H*_{4}) or $\underset{t\to +\infty}{lim\; inf}\eta \left(t\right)>0$ is satisfied, then T has a fixed point.

It is clear that the relationship defined by (1) is a partial order on *X* for when *η*(*t*) = *t*. Then, we obtain the famous Caristi's fixed point theorem by Corollary 1.

**Corollary 2 (Caristi's fixed point theorem)**. *Let* (*X*, *d*) *be a complete metric space and T* : *X* → *X be a Caristi-type mapping with η*(*t*) = *t. If φ is lower semicontinuous and bounded below, then T has a fixed point*.

**Remark 2**. *From [14, Remarks 1 and 2] we find that [14, Theorem 1] includes the results appearing in* [3, 4, 9, 12, 13]. *Note that [14, Theorem 1] is proved by Caristi's fixed point theorem, then the results of* [9, 12–14] *are equivalent to Caristi's fixed point theorem. Therefore, all the results of* [3, 4, 9, 12–14] *could be obtained by Theorem 5. Contrarily, Theorem 5 could not be derived from Caristi's fixed point theorem. Hence, Theorem 5 indeed improve Caristi's fixed point theorem*.

**Example 1**. Let $X=\left\{0\right\}\cup \left\{\frac{1}{n}:n=2,3,\dots \right\}$

*with the usual metric*

*d*(

*x*,

*y*) = |

*x*-

*y*|

*and the partial order*≼

*as follows*

*Let φ*(

*x*) =

*x*

^{2}

*and*

Clearly, (*X*, *d*) is a complete metric space, (*H*_{2}) is satisfied, and *φ* is bounded below. For each *x* ∈ *X*, we have *x* ≥ *Tx* and hence *x* ≼ *Tx*. Let *η*(*t*) = *t*^{2}. Then *η*^{-1}({0}) = {0}, (*H*_{4}) and (*H*_{5}) are satisfied. Clearly, (2) holds for each *x*, *y* ∈ *X* with *x* = *y*. For each *x*, *y* ∈ *X* with *x* ≼ *y* and *x ≠ y*, we have two possible cases.

**Case 1**. When $x=\frac{1}{n}$,

*n*≥ 2 and

*y*= 0, we have

**Case 2**. When $x=\frac{1}{n}$,

*n*≥ 2 and $y=\frac{1}{m}$,

*m > n*, we have

Therefore, (2) holds for each *x*, *y* ∈ *X* with *x* ≼ *y* and hence (*H*_{1}) is satisfied. Finally, the existence of fixed point follows from Theorem 5.

While for each $x=\frac{1}{n}$, n ≥ 2, we have

$\phi \left(x\right)-\phi \left(Tx\right)=\frac{2n+1}{{n}^{2}{\left(n+1\right)}^{2}}<\frac{1}{n\left(n+1\right)}=d\left(x,Tx\right),$

which implies that corresponding to the function *φ*(*x*) = *x*^{2}, *T* is not a Caristi-type mapping. Therefore, we can conclude that for some given function *φ* and some given mapping *T*, there may exist some function *η* such that all the conditions of Theorem 5 are satisfied even though *T* may not be a Caristi-type mapping corresponding to the function *φ*.

## 4 Conclusions

In this article, some new fixed point theorems of Caristi-type mappings have been proved by establishing several maximal and minimal point theorems. As one can see through Remark 2, many recent results could be obtained by Theorem 5, but Theorem 5 could not be derived from Caristi's fixed point theorem. Therefore, the fixed point theorems indeed improve Caristi's fixed point theorem.

## Declarations

### Acknowledgements

This study was supported by the National Natural Science Foundation of China (10701040, 11161022,60964005), the Natural Science Foundation of Jiangxi Province (2009GQS0007), and the Science and Technology Foundation of Jiangxi Educational Department (GJJ11420).

## Authors’ Affiliations

## References

- Kirk WA, Caristi J:
**Mapping theorems in metric and Banach spaces.***Bull Acad Polon Sci*1975,**23:**891–894.MathSciNetGoogle Scholar - Kirk WA:
**Caristi's fixed-point theorem and metric convexity.***Colloq Math*1976,**36:**81–86.MathSciNetGoogle Scholar - Caristi J:
**Fixed point theorems for mappings satisfying inwardness conditions.***Trans Am Math Soc*1976,**215:**241–251.MathSciNetView ArticleGoogle Scholar - Caristi J:
**Fixed point theory and inwardness conditions.**In*Applied Nonlinear Analysis*. Edited by: Lakshmikantham V. Academic Press, New York; 1979:479–483.Google Scholar - Brondsted A:
**Fixed point and partial orders.***Proc Am Math Soc*1976,**60:**365–368.MathSciNetGoogle Scholar - Downing D, Kirk WA:
**A generalization of Caristi's theorem with applications to nonlinear mapping theory.***Pacific J Math*1977,**69:**339–345.MathSciNetView ArticleGoogle Scholar - Downing D, Kirk WA:
**Fixed point theorems for set-valued mappings in metric and Banach spaces.***Math Japon*1977,**22:**99–112.MathSciNetGoogle Scholar - Khamsi MA, Misane D:
**Compactness of convexity structures in metrics paces.***Math Japon*1995,**41:**321–326.MathSciNetGoogle Scholar - Jachymski J:
**Caristi's fixed point theorem and selection of set-valued contractions.***J Math Anal Appl*1998,**227:**55–67. 10.1006/jmaa.1998.6074MathSciNetView 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 - Suzuki T:
**Generalized Caristi's fixed point theorems by Bae and others.***J Math Anal Appl*2005,**302:**502–508. 10.1016/j.jmaa.2004.08.019MathSciNetView ArticleGoogle Scholar - Feng YQ, Liu SY:
**Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi-type mappings.***J Math Anal Appl*2006,**317:**103–112. 10.1016/j.jmaa.2005.12.004MathSciNetView ArticleGoogle Scholar - Khamsi MA:
**Remarks on Caristi's fixed point theorem.***Nonlinear Anal*2009,**71:**227–231. 10.1016/j.na.2008.10.042MathSciNetView ArticleGoogle Scholar - Li Z:
**Remarks on Caristi's fixed point theorem and Kirk's problem.***Nonlinear Anal*2010,**73:**3751–3755. 10.1016/j.na.2010.07.048MathSciNetView ArticleGoogle Scholar - Agarwal RP, Khamsi MA:
**Extension of Caristi's fixed point theorem to vector valued metric space.***Nonlinear Anal*2011,**74:**141–145. 10.1016/j.na.2010.08.025MathSciNetView ArticleGoogle Scholar

## Copyright

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.