• Research
• Open Access

# Largest and least fixed point theorems of increasing mappings in partially ordered metric spaces

Fixed Point Theory and Applications20132013:74

https://doi.org/10.1186/1687-1812-2013-74

• Received: 17 September 2012
• Accepted: 8 March 2013
• Published:

## Abstract

In this paper, some largest and least fixed point theorems of increasing mappings in partially ordered metric spaces are proved, which extends and improves essentially many recent results since the additivity of η has been removed. In particular, the partial order used in this paper is not confined to that introduced by a functional.

MSC:06A06, 47H10.

## Keywords

• largest and least fixed point
• increasing mapping
• partially ordered metric space

## 1 Introduction

For improving Caristi’s fixed point theorem [1, 2], Feng and Liu [3] defined the following partial order on a metric space.

Lemma 1 (see [[3], Lemma 4.1])

Let $\left(X,d\right)$ be a metric space, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a functional, and let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a nondecreasing and subadditive (i.e., $\eta \left(t+s\right)\le \eta \left(t\right)+\eta \left(s\right)$, $\mathrm{\forall }t,s\in \left[0,+\mathrm{\infty }\right)$) function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$. Define a relation on X by
$x⪯y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}\eta \left(d\left(x,y\right)\right)\le \phi \left(x\right)-\phi \left(y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$
(1)

Then is a partial order on X.

This partial order is a generalized notion of the partial order defined by Caristi [1] as follows:
$x\prec y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}d\left(x,y\right)\le \phi \left(x\right)-\phi \left(y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$
(2)

Since then the existence of fixed points in partially ordered metric spaces has been considered by many authors, and many satisfactory results have been obtained for Caristi-type mappings [27], mappings satisfying some monotone conditions with respect to the partial order introduced by a functional [8, 9], and mappings with some contractive conditions [1018]. Recently, Li [9] proved the existence of maximal and minimal fixed points of increasing mappings by using the partial order introduced by (1).

It is worth mentioning that in [9], the function η is necessarily assumed to be subadditive for ensuring that the relation defined by (1) is a partial order. While it is well known that the additivity of η is no longer necessary for the study of fixed point theorems for a Caristi-type mapping (see [47]), naturally, one may wonder whether the additivity of η in [9] could be omitted.

In this paper we show how the additivity of η could be removed. Without the additivity of η, we prove not only the existence of maximal and minimal fixed points, but also the existence of largest and least fixed points of increasing mappings in a partially ordered metric space. In particular, the partial order used in this paper is not confined to that introduced by (1).

## 2 Fixed point theorems

In this section, let $\left(X,d\right)$ be a complete metric space, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a function, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a functional, and let be a partial order on X such that
$\eta \left(d\left(x,y\right)\right)\le \phi \left(x\right)-\phi \left(y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X,x⪯y,$
(3)
and
(4)

where $\left[x,+\mathrm{\infty }\right)=\left\{z\in X:x⪯z\right\}$ and $\left(-\mathrm{\infty },x\right]=\left\{z\in X:z⪯x\right\}$.

Remark 1 It is easy to see from Lemma 1 that the partial order introduced by (1) is certainly such that (3) is satisfied, but the converse is not true. In fact, a partial order such that (3) is satisfied is not necessarily confined to that introduced by (1). The following example shows that there does exist some partial order on X such that (3) is satisfied even though the relation defined by (1) is not a partial order on X.

Example 1 Let $X=\left\{0\right\}\cup \left\{\frac{1}{n}:n=2,3,\dots \right\}$, $d\left(x,y\right)=|x-y|$, and ≤ is the usual order of reals. Let $\phi \left(x\right)={x}^{2}$ for each $x\in X$ and $\eta \left(t\right)={t}^{2}$ for each $t\in \left[0,+\mathrm{\infty }\right)$. Define a relation on X by
$x⪯y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}y\le x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$
Clearly, is an order on X. Direct calculation gives that
$\eta \left(d\left(x,y\right)\right)=\left\{\begin{array}{cc}{x}^{2}=\phi \left(x\right)-\phi \left(y\right),\hfill & x=\frac{1}{n},n\ge 2,y=0,\hfill \\ \frac{{\left(m-n\right)}^{2}}{{m}^{2}{n}^{2}}\le \frac{{m}^{2}-{n}^{2}}{{m}^{2}{n}^{2}}=\phi \left(x\right)-\phi \left(y\right),\hfill & x=\frac{1}{n},n\ge 2,y=\frac{1}{m},m\ge n,\hfill \end{array}$

which implies (3) is satisfied. However, the relation defined by (1) is not a partial order on X since η is not subadditive.

Theorem 1 Let $\left(X,d\right)$ be a complete metric space, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a bounded below functional, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a nondecreasing function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, and let be a partial order on X such that (3) and (4) are satisfied. Let $T:X\to X$ be an increasing mapping. Assume that there exists ${x}_{0}\in X$ such that ${x}_{0}⪯T{x}_{0}$. Then
1. (i)

T has a maximal fixed point ${x}^{\ast }\in \left[{x}_{0},+\mathrm{\infty }\right)$, i.e., let $x\in \left[{x}_{0},+\mathrm{\infty }\right)$ be a fixed point of T, then ${x}^{\ast }⪯x$ implies $x={x}^{\ast }$;

2. (ii)

T has a least fixed point ${x}_{\ast }\in \left[{x}_{0},+\mathrm{\infty }\right)$, i.e., let $x\in \left[{x}_{0},+\mathrm{\infty }\right)$ be a fixed point of T, then ${x}_{\ast }⪯x$.

Proof
1. (i)
Set
$Q=\left\{x\in \left[{x}_{0},+\mathrm{\infty }\right):x⪯Tx\right\}.$

Clearly, Q is nonempty since ${x}_{0}⪯T{x}_{0}$. Let ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}\subset Q$ be an increasing chain, where Γ is a directed set. From (3) we find that ${\left\{\phi \left({x}_{\alpha }\right)\right\}}_{\alpha \in \mathrm{\Gamma }}$ is a decreasing net of reals. Since φ is bounded below, then ${inf}_{\alpha \in \mathrm{\Gamma }}\phi \left({x}_{\alpha }\right)$ exists. Let $\left\{{\alpha }_{n}\right\}$ be an increasing sequence of elements from Γ such that
$\underset{n\to \mathrm{\infty }}{lim}\phi \left({x}_{{\alpha }_{n}}\right)=\underset{\alpha \in \mathrm{\Gamma }}{inf}\phi \left({x}_{\alpha }\right).$
We claim that $\left\{{x}_{{\alpha }_{n}}\right\}$ is a Cauchy sequence. If otherwise, there exist an increasing subsequence $\left\{{x}_{{\alpha }_{{n}_{i}}}\right\}\subset \left\{{x}_{{\alpha }_{n}}\right\}$ and $\delta >0$ such that
$d\left({x}_{{\alpha }_{{n}_{i}}},{x}_{{\alpha }_{{n}_{i+1}}}\right)\ge \delta ,\phantom{\rule{1em}{0ex}}\mathrm{\forall }i.$
Since η is nondecreasing, then
$\eta \left(d\left({x}_{{\alpha }_{{n}_{i}}},{x}_{{\alpha }_{{n}_{i+1}}}\right)\right)\ge \eta \left(\delta \right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }i,$
which together with (3) implies that
$\eta \left(\delta \right)\le \eta \left(d\left({x}_{{\alpha }_{{n}_{i}}},{x}_{{\alpha }_{{n}_{i+1}}}\right)\right)\le \phi \left({x}_{{\alpha }_{{n}_{i}}}\right)-\phi \left({x}_{{\alpha }_{{n}_{i+1}}}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }i.$
So, we have
$i\eta \left(\delta \right)\le \phi \left({x}_{{\alpha }_{{n}_{1}}}\right)-\phi \left({x}_{{\alpha }_{{n}_{i+1}}}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }i.$
Let $i\to \mathrm{\infty }$, then by ${lim}_{n\to \mathrm{\infty }}\phi \left({x}_{{\alpha }_{n}}\right)={inf}_{\alpha \in \mathrm{\Gamma }}\phi \left({x}_{\alpha }\right)$ and ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, we get
$\underset{\alpha \in \mathrm{\Gamma }}{inf}\phi \left({x}_{\alpha }\right)=\underset{i\to \mathrm{\infty }}{lim}\phi \left({x}_{{\alpha }_{{n}_{i}}}\right)\le \underset{i\to \mathrm{\infty }}{lim}\left[\phi \left({x}_{{\alpha }_{{n}_{1}}}\right)-i\eta \left(\delta \right)\right]=-\mathrm{\infty },$
which is a contradiction, and hence $\left\{{x}_{{\alpha }_{n}}\right\}$ is a Cauchy sequence. By the completeness of X, there exists some $\overline{x}\in X$ such that
$\underset{n\to \mathrm{\infty }}{lim}{x}_{{\alpha }_{n}}=\overline{x}.$
(5)
For arbitrary ${n}_{0}$, we have ${x}_{{\alpha }_{{n}_{0}}}⪯{x}_{{\alpha }_{n}}$ for each $n\ge {n}_{0}$, and hence $\overline{x}\in \left[{x}_{{\alpha }_{{n}_{0}}},+\mathrm{\infty }\right)$ since $\left[{x}_{{\alpha }_{{n}_{0}}},+\mathrm{\infty }\right)$ is closed by (4). So, we have ${x}_{{\alpha }_{{n}_{0}}}⪯\overline{x}$. Moreover, the arbitrary property of ${n}_{0}$ forces that
${x}_{{\alpha }_{n}}⪯\overline{x},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n.$
(6)
Since T is increasing and ${x}_{{\alpha }_{n}}\in Q$, then
${x}_{{\alpha }_{n}}⪯T{x}_{{\alpha }_{n}}⪯T\overline{x},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n.$

Let $n\to \mathrm{\infty }$, then $\overline{x}⪯T\overline{x}$ since $\left(-\mathrm{\infty },T\overline{x}\right]$ is closed by (4). This together with (6) indicates $\overline{x}\in Q$.

In the following, we show that ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$ has an upper bound in Q. For each $\alpha \in \mathrm{\Gamma }$, if there exists some ${n}_{0}$ such that ${x}_{\alpha }⪯{x}_{{\alpha }_{{n}_{0}}}$, then by (6) we have ${x}_{\alpha }⪯\overline{x}$ for each $\alpha \in \mathrm{\Gamma }$, i.e., $\overline{x}$ is an upper bound of ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$. If there exists some $\beta \in \mathrm{\Gamma }$ such that ${x}_{{\alpha }_{n}}⪯{x}_{\beta }$ for each n, by (3), we have $\phi \left({x}_{\beta }\right)\le \phi \left({x}_{{\alpha }_{n}}\right)$ for each n. Let $n\to \mathrm{\infty }$, then we have $\phi \left({x}_{\beta }\right)={inf}_{\alpha \in \mathrm{\Gamma }}\phi \left({x}_{\alpha }\right)$ by (4) and ${lim}_{n\to \mathrm{\infty }}\phi \left({x}_{{\alpha }_{n}}\right)={inf}_{\alpha \in \mathrm{\Gamma }}\phi \left({x}_{\alpha }\right)$. We claim that
${x}_{\beta }⪯{x}_{\alpha },\phantom{\rule{1em}{0ex}}\mathrm{\forall }\alpha \in \mathrm{\Gamma }.$

Otherwise, there exists some ${\alpha }_{0}\in \mathrm{\Gamma }$ such that ${x}_{\beta }⪯{x}_{{\alpha }_{0}}$ and ${x}_{{\alpha }_{0}}\ne {x}_{\beta }$. Then by (3) and ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, we have $0<\eta \left(d\left({x}_{{\alpha }_{0}},{x}_{\beta }\right)\right)\le \phi \left({x}_{\beta }\right)-\phi \left({x}_{{\alpha }_{0}}\right)$, i.e., $\phi \left({x}_{{\alpha }_{0}}\right)<\phi \left({x}_{\beta }\right)$. This contradicts $\phi \left({x}_{\beta }\right)={inf}_{\alpha \in \mathrm{\Gamma }}\phi \left({x}_{\alpha }\right)$, and hence ${x}_{\alpha }⪯{x}_{\beta }$ for each $\alpha \in \mathrm{\Gamma }$, i.e., ${x}_{\beta }$ is an upper bound of ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$.

By Zorn’s lemma, $\left(Q,⪯\right)$ has a maximal element, denote it by ${x}^{\ast }$. Since ${x}^{\ast }\in Q$ and T is increasing, then ${x}^{\ast }⪯T{x}^{\ast }⪯T\left(T{x}^{\ast }\right)$, and hence $T{x}^{\ast }\in Q$. Moreover, the maximality of ${x}^{\ast }$ in Q forces that ${x}^{\ast }=T{x}^{\ast }$. Therefore ${x}^{\ast }$ is a maximal fixed point of T in $\left[{x}_{0},+\mathrm{\infty }\right)$.

(ii) Set
${Fix}_{T}=\left\{x\in \left[{x}_{0},+\mathrm{\infty }\right):x=Tx\right\}.$
From (i) we find that ${Fix}_{T}$ is nonempty. Set
$S=\left\{I=\left[x,+\mathrm{\infty }\right):x\in \left[{x}_{0},+\mathrm{\infty }\right),x⪯Tx,{Fix}_{T}\subset I\right\}.$
(7)
Clearly, $S\ne \mathrm{Ø}$ since $\left[{x}_{0},+\mathrm{\infty }\right)\in S$. Define a relation on S by
${I}_{1}{⪯}_{S}{I}_{2}\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}{I}_{1}\subset {I}_{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }{I}_{1},{I}_{2}\in S.$
(8)

It is easy to check that the relation ${⪯}_{S}$ is a partial order on S.

Let ${\left\{{I}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$ be a decreasing chain of S, where ${I}_{\alpha }=\left[{x}_{\alpha },+\mathrm{\infty }\right)$. From (3), (7), and (8), we find that ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$ is an increasing chain of M, where
$M=\left\{x\in \left[{x}_{0},+\mathrm{\infty }\right):x⪯Tx,{Fix}_{T}\subset \left[x,+\mathrm{\infty }\right)\right\}.$
Clearly, $M\subset Q$. Following the proof of (i), there exist $\overline{x}\in Q$ and an increasing sequence of elements from Γ with ${lim}_{n\to \mathrm{\infty }}\phi \left({x}_{{\alpha }_{n}}\right)={inf}_{\alpha \in \mathrm{\Gamma }}\phi \left({x}_{\alpha }\right)$ such that (5) and (6) are satisfied. Since ${x}_{{\alpha }_{n}}\in M$, then ${x}_{{\alpha }_{n}}⪯x$ for each $x\in {Fix}_{T}$ and each n. So, the increasing property of T implies that
${x}_{{\alpha }_{n}}⪯T{x}_{{\alpha }_{n}}⪯Tx=x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in {Fix}_{T},\mathrm{\forall }n.$
Let $n\to \mathrm{\infty }$, then
$\overline{x}⪯x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in {Fix}_{T},$
(9)
since $\left(-\mathrm{\infty },x\right]$ is closed by (4). Therefore $\overline{x}\in M$ by $\overline{x}\in Q$ and (9). In analogy to the proof of (i), we can prove ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$ has an upper bound in M, denote it by $\stackrel{ˆ}{x}$. Set $\stackrel{ˆ}{I}=\left[\stackrel{ˆ}{x},+\mathrm{\infty }\right)$. By $\stackrel{ˆ}{x}\in M$ and (7), we have $\stackrel{ˆ}{I}\in S$. Note that $\stackrel{ˆ}{x}$ is an upper bound of ${\left\{{x}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$ in M, then
$\stackrel{ˆ}{I}\subset {I}_{\alpha },\phantom{\rule{1em}{0ex}}\mathrm{\forall }\alpha \in \mathrm{\Gamma },$
which together with (8) implies that
$\stackrel{ˆ}{I}{⪯}_{S}{I}_{\alpha },\phantom{\rule{1em}{0ex}}\mathrm{\forall }\alpha \in \mathrm{\Gamma },$
i.e., $\stackrel{ˆ}{I}$ is a lower bound of ${\left\{{I}_{\alpha }\right\}}_{\alpha \in \mathrm{\Gamma }}$ in S. By Zorn’s lemma, $\left(S,{⪯}_{S}\right)$ has a minimal element, denote it by ${I}^{\ast }=\left[{x}_{\ast },+\mathrm{\infty }\right)$. By (7) we have ${x}_{0}⪯{x}_{\ast }⪯T{x}_{\ast }$ and
${x}_{\ast }⪯x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in {Fix}_{T}.$
(10)

Moreover, by the increasing property of T, we have ${x}_{0}⪯{x}_{\ast }⪯T{x}_{\ast }⪯T\left(T{x}_{\ast }\right)$ and $T{x}_{\ast }⪯Tx=x$ for each $x\in {Fix}_{T}$. Set $\stackrel{˜}{I}=\left[T{x}_{\ast },+\mathrm{\infty }\right)$. Clearly, $\stackrel{˜}{I}\in S$ and $\stackrel{˜}{I}\subset {I}^{\ast }$ by (7). So, $\stackrel{˜}{I}{⪯}_{S}{I}^{\ast }$ by (8). Finally, the minimality of ${I}^{\ast }$ in S forces that $\stackrel{˜}{I}={I}^{\ast }$, which implies that ${x}_{\ast }=T{x}_{\ast }$. Hence ${x}_{\ast }$ is a least fixed point of T in $\left[{x}_{0},+\mathrm{\infty }\right)$ by (10). The proof is complete. □

Theorem 2 Let $\left(X,d\right)$ be a complete metric space, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a bounded above functional, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a nondecreasing function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, and let be a partial order on X such that (3) and (4) are satisfied. Let $T:X\to X$ be an increasing mapping. Assume that there exists ${x}_{0}\in X$ such that $T{x}_{0}⪯{x}_{0}$. Then
1. (i)

T has a minimal fixed point ${x}^{\ast }\in \left(-\mathrm{\infty },{x}_{0}\right]$, i.e., let $x\in \left(-\mathrm{\infty },{x}_{0}\right]$ be a fixed point of T, then $x⪯{x}^{\ast }$ implies $x={x}^{\ast }$;

2. (ii)

T has a largest fixed point ${x}_{\ast }\in \left(-\mathrm{\infty },{x}_{0}\right]$, i.e., let $x\in \left(-\mathrm{\infty },{x}_{0}\right]$ be a fixed point of T, then $x⪯{x}_{\ast }$.

Proof Let 1 be the inverse partial order of and ${\phi }_{1}\left(x\right)=-\phi \left(x\right)$. Clearly, ${\phi }_{1}$ is bounded below on X since φ is bounded above, and ${x}_{0}{⪯}_{1}T{x}_{0}$ by $T{x}_{0}⪯{x}_{0}$. It is easy to check that (3) is satisfied for 1 and ${\phi }_{1}$, and T is increasing with respect to 1. Set ${\left[x,+\mathrm{\infty }\right)}_{1}=\left\{z\in X:x{⪯}_{1}z\right\}$ and ${\left(-\mathrm{\infty },x\right]}_{1}=\left\{z\in X:z{⪯}_{1}x\right\}$. Then ${\left[x,+\mathrm{\infty }\right)}_{1}=\left(-\mathrm{\infty },x\right]$ and ${\left(-\mathrm{\infty },x\right]}_{1}=\left[x,+\mathrm{\infty }\right)$, and ${\left[x,+\mathrm{\infty }\right)}_{1}$ and ${\left(-\mathrm{\infty },x\right]}_{1}$ are closed for each $x\in X$ by (4). Applying Theorem 1 on $\left(X,{⪯}_{1}\right)$, we find that T has a maximal fixed point ${x}^{\ast }\in \left(-\mathrm{\infty },{x}_{0}\right]$ and a least fixed point ${x}_{\ast }\in \left(-\mathrm{\infty },{x}_{0}\right]$ corresponding to 1. Let $x\in \left(-\mathrm{\infty },{x}_{0}\right]$ be a fixed point of T. If $x⪯{x}^{\ast }$, then ${x}^{\ast }{⪯}_{1}x$, and hence $x={x}^{\ast }$ by the maximality of ${x}^{\ast }$ corresponding to 1, i.e., ${x}^{\ast }$ is a minimal fixed point of T corresponding to . By the least property of ${x}_{\ast }$ corresponding to 1, we have ${x}_{\ast }{⪯}_{1}x$, and hence $x⪯{x}_{\ast }$, i.e., ${x}_{\ast }$ is a largest fixed point of T corresponding to . The proof is complete. □

Remark 2 From the proof of Theorem 1 (resp. Theorem 2), we find that it is only necessarily assumed in Theorem 1 (resp. Theorem 2) that the functional φ is bounded below (resp. above) on $\left[{x}_{0},+\mathrm{\infty }\right)$ (resp. $\left(-\mathrm{\infty },{x}_{0}\right]$) and T is increasing on $\left[{x}_{0},+\mathrm{\infty }\right)$ (resp. $\left(-\mathrm{\infty },{x}_{0}\right]$).

Theorem 3 Let $\left(X,d\right)$ be a complete metric space, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a functional, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a nondecreasing function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, and let be a partial order on X such that (3) and (4) are satisfied. Let $T:X\to X$ be a mapping. Assume that there exist ${x}_{0},{y}_{0}\in X$ with ${x}_{0}⪯{y}_{0}$ such that
${x}_{0}⪯T{x}_{0},\phantom{\rule{2em}{0ex}}T{y}_{0}⪯{y}_{0},$
(11)

and T is increasing on $\left[{x}_{0},{y}_{0}\right]=\left\{z\in X:{x}_{0}⪯z⪯{y}_{0}\right\}$. Then T has a largest fixed point and a least fixed point in $\left[{x}_{0},{y}_{0}\right]$.

Proof Note that $\phi \left({x}_{0}\right)\le \phi \left(x\right)⪯\phi \left({y}_{0}\right)$ for each $x\in \left[{x}_{0},{y}_{0}\right]$ by (3), i.e., φ is bounded on $\left[{x}_{0},{y}_{0}\right]$. Then the conclusion follows from Remark 2, Theorem 2, and Theorem 3. The proof is complete. □

Remark 3 In our Theorems 1-3, the continuity and additivity of η necessarily assumed in [9] has been removed.

In analogy to the proof of [[7], Lemma 1], we can prove the following lemma.

Lemma 2 Let $\left(X,d\right)$ be a metric space, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a continuous, nondecreasing, and subadditive function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a continuous functional, and let be the partial order introduced by (1). Then for each $x\in X$, $\left[x,+\mathrm{\infty }\right)$ and $\left(-\mathrm{\infty },x\right]$ are closed.

It follows from Remark 1 and Lemma 2 that if η is a continuous, nondecreasing, and subadditive function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$ and φ is a continuous functional, then the relation defined by (1) is a partial order on X such that (3) and (4) are satisfied. Therefore by Theorem 1 and Theorem 3, we have the following corollaries.

Corollary 1 Let $\left(X,d\right)$ be a complete metric space, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a continuous and bounded below functional, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a continuous, nondecreasing, and subadditive function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, and let be the partial order introduced by (1). Let $T:X\to X$ be an increasing mapping. If there exists ${x}_{0}\in X$ such that ${x}_{0}⪯T{x}_{0}$, then T has a maximal fixed point and a least fixed point in $\left[{x}_{0},+\mathrm{\infty }\right)$.

Corollary 2 Let $\left(X,d\right)$ be a complete metric space, let $\phi :X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$ be a continuous functional, let $\eta :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ be a continuous, nondecreasing, and subadditive function with ${\eta }^{-1}\left(\left\{0\right\}\right)=\left\{0\right\}$, and let be the partial order introduced by (1). Let $T:X\to X$ be a mapping. Assume that there exist ${x}_{0},{y}_{0}\in X$ with ${x}_{0}⪯{y}_{0}$ such that (11) is satisfied and T is increasing on $\left[{x}_{0},{y}_{0}\right]$. Then T has a largest fixed point and a least fixed point in $\left[{x}_{0},{y}_{0}\right]$.

Remark 4 It is clear that [[8], Theorem 3] is exactly a special case of Corollary 1 with $\eta \left(t\right)=t$. In addition, the existence of least fixed points has also been obtained in Theorem 1 and Corollary 1. Therefore both Theorem 1 and Corollary 1 indeed extend [[8], Theorem 3] and [[9], Theorem 2].

Remark 5 Note that each largest (resp. least) fixed point of T must be a maximal (resp. minimal) fixed point of T, but the converse is not true. Therefore both Theorem 3 and Corollary 2 improve essentially [[8], Theorem 6] and [[9], Theorems 5].

Example 2 Let X, d, φ, η, and be the same as the ones appearing in Example 1 and
$Tx=\left\{\begin{array}{cc}0,\hfill & x=0,\hfill \\ \frac{1}{2},\hfill & x=\frac{1}{2},\hfill \\ \frac{1}{n-1},\hfill & x=\frac{1}{n},n=3,4,\dots .\hfill \end{array}$
(12)
Clearly, $\left(X,d\right)$ is a complete metric space, φ is continuous, $\left[\frac{1}{2},0\right]=\left\{z\in X:\frac{1}{2}⪯z⪯0\right\}=X$, and $\frac{1}{2}⪯T\frac{1}{2}$, $T0⪯0$. From Example 1 we know that is a partial order such that (3) is satisfied. For each $x\in X$, we have
$\left[x,+\mathrm{\infty }\right)=\left\{z\in X:x⪯z\right\}=\left\{\begin{array}{cc}\left\{0\right\},\hfill & x=0,\hfill \\ \left\{0\right\}\cup \left\{\frac{1}{m}:m\ge n\right\},\hfill & x=\frac{1}{n},n\ge 2,\hfill \end{array}$
and
$\left(-\mathrm{\infty },x\right]=\left\{z\in X:z⪯x\right\}=\left\{\begin{array}{cc}X,\hfill & x=0,\hfill \\ \left\{\frac{1}{m}:2\le m\le n\right\},\hfill & x=\frac{1}{n},n\ge 2.\hfill \end{array}$
Note that $\left\{0\right\}$, X, $\left\{0\right\}\cup \left\{\frac{1}{m}:m\ge n\right\}$ ($n\ge 2$) and $\left\{\frac{1}{m}:2\le m\le n\right\}$ ($n\ge 2$) are closed sets. Then, for each $x\in X$, $\left[x,+\mathrm{\infty }\right)$ and $\left(-\mathrm{\infty },x\right]$ are closed, i.e., (4) is satisfied. By (12) we have
$\left\{\begin{array}{cc}Tx=\frac{1}{2}⪯0=Ty,\hfill & x=\frac{1}{2},y=0,\hfill \\ Tx=\frac{1}{n-1}⪯0=Ty,\hfill & x=\frac{1}{n},n\ge 3,y=0,\hfill \\ Tx=\frac{1}{2}⪯\frac{1}{m-1}=Ty,\hfill & x=\frac{1}{2},y=\frac{1}{m},m\ge 3,\hfill \\ Tx=\frac{1}{n-1}⪯\frac{1}{m-1}=Ty,\hfill & x=\frac{1}{n},n\ge 3,y=\frac{1}{m},m\ge n,\hfill \end{array}$

which implies that $Tx⪯Ty$ for each $x,y\in X$ with $x⪯y$, i.e., T is increasing on X. Therefore it follows from Theorem 3 that T has a largest fixed point and a least fixed point in X. In fact, 0 is the largest fixed point and $\frac{1}{2}$ is the least fixed point in $\left[\frac{1}{2},0\right]$.

Remark 6 (i) The existence of fixed points in Example 2 could not be obtained by [[9], Theorem 2 and Theorem 5] since η is not subadditive.

(ii) For each $x=\frac{1}{n}$, $n\ge 3$, and each $y=\frac{1}{m}$, $m>n$, we have
$d\left(Tx,Ty\right)=\frac{m-n}{\left(m-1\right)\left(n-1\right)}>\frac{m-n}{mn}=d\left(x,y\right).$

Clearly, T is not a contractive mapping and hence the existence of fixed points in Example 2 could not be obtained by the fixed point theorems of contractive mappings in partially ordered metric spaces.

## Declarations

### Acknowledgements

This study was supported by the Natural Science Foundation of China (11161022), the Natural Science Foundation of Jiangxi Province (20114BAB211006, 20122BAB201015), the Educational Department of Jiangxi Province (GJJ12280) and the Program for Excellent Youth Talents of JXUFE(201201).

## Authors’ Affiliations

(1)
Department of Mathematics and Management Science, Jiangxi University of Finance and Economics, Nanchang, Jiangxi, 330013, China
(2)
School of Statistics, Jiangxi University of Finance and Economics, Nanchang, Jiangxi, 330013, China

## References

1. Caristi J: Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 1976, 215: 241–251.
2. Kirk WA: Caristi’s fixed-point theorem and metric convexity. Colloq. Math. 1976, 36: 81–86.
3. Feng Y, Liu S: 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.004
4. Khamsi MA: Remarks on Caristi’s fixed point theorem. Nonlinear Anal. 2009, 71: 227–231. 10.1016/j.na.2008.10.042
5. 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.025
6. 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.048
7. Li Z: Maximal and minimal point theorems and Caristi’s fixed point theorem. Fixed Point Theory Appl. 2011, 2011: 103. 10.1186/1687-1812-2011-103
8. Zhang X: Fixed point theorems of monotone mappings and coupled fixed point of mixed monotone mappings in ordered metric space. Acta Math. Sin. 2001, 44: 641–646.
9. Li Z: Fixed point theorems in partially ordered complete metrics paces. Math. Comput. Model. 2011, 54: 69–72. 10.1016/j.mcm.2011.01.035
10. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4
11. Nieto JJ, Rodriguez-Lopez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5
12. O’Regan D, Petrusel A: Fixed point theorems for generalized contractions in ordered metric spaces. J. Math. Anal. Appl. 2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026
13. Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 2009, 71: 3403–3410. 10.1016/j.na.2009.01.240
14. Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72: 1188–1197. 10.1016/j.na.2009.08.003
15. Luong NV, Thuan NX: Fixed point theorem for generalized weak contractions satisfying rational expressions in ordered metrics paces. Fixed Point Theory Appl. 2011., 2011: Article ID 46Google Scholar
16. Aghajani A, Radenovic S, Roshan JR:Common fixed point results for four mappings satisfying almost generalized $\left(S,T\right)$-contractive condition in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 5665–5670. 10.1016/j.amc.2011.11.061
17. Mursaleen M, Mohiuddine SA, Agarwal RP: Coupled fixed point theorems for generalized contractive mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 228. doi:10.1186/1687–1812–2012–228Google Scholar
18. Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 109–116. 10.1080/00036810701556151