- Research
- Open Access

# Fixed points of set-valued Caristi-type mappings on semi-metric spaces via partial order relations

- Nimit Nimana
^{1}, - Narin Petrot
^{1}Email author and - Warut Saksirikun
^{1}

**2014**:27

https://doi.org/10.1186/1687-1812-2014-27

© Nimana et al.; licensee Springer. 2014

**Received:**13 November 2013**Accepted:**13 January 2014**Published:**3 February 2014

## Abstract

In this paper, we present some fixed-point theorems that are related to a set-valued Caristi-type mapping. The main results extend the recent work which was presented by Jiang and Li (Fixed Point Theory Appl. 2013:74, 2013) from a single-valued setting to a set-valued case. Further, the presented results also improve essentially many results that have appeared, because we have removed some conditions from the auxiliary function. Meanwhile, we give some partial answers to an important problem which was raised by Kirk (Colloq. Math. 36:81-86, 1976).

**MSC:**47H10, 37C25.

## Keywords

- Caristi-type mapping
- maximal fixed point
- minimal fixed point
- partially ordered set
- set-valued monotone mapping
- semi-metric space

## 1 Introduction

*T*on

*X*(not necessarily continuous). In 1976, Caristi [1] asserted that

*T*must have a fixed point provided that there exists a nonnegative real-valued function

*φ*, which is lower semicontinuous, such that

*ε*-variational principle of Ekeland [2], which is an important tool in nonlinear analysis, such as optimization, variational inequalities, differential equations, and control theory. Of course, many authors have studied and generalized Caristi’s fixed-point theorem in various directions. Notice that Caristi’s original proof involved an intricate transfinite induction argument. Subsequently, Kirk [3] gave an elegant proof of Caristi’s fixed-point theorem by considering a partial order on

*X*, which has been defined by Brøndsted [4], as follows:

*Caristi*-

*type mapping*, that is, a map $T:X\to X$ such that for all $x\in X$

for some a function $\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ and a function $\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$. He raised a problem relating to generalize Caristi’s fixed-point theorem stating whether a Caristi-type mapping *T* has a fixed point for a complete metric space $(X,d)$.

*η*on a subset

*A*of real numbers is called

*subadditive*if

*T*has a fixed point whenever we assume

*φ*is a nonnegative lower semicontinuous on

*X*and

*η*is a nondecreasing and subadditive function, continuous at 0 and such that ${\eta}^{-1}(\{0\})=\{0\}$. Later, in 2006, Feng and Liu [6] considered a relation ⪯ which is defined on

*X*by

for all $x,y\in X$. By assuming that *η* is nondecreasing, continuous, subadditive, and ${\eta}^{-1}(\{0\})=\{0\}$, they showed that the relation defined by (1.4) is a partial order on *X* and proved that each Caristi-type mapping has a fixed point, by inquiring the existence of maximal element of a partially ordered complete metric space $(X,\u2aaf)$ provided that *φ* is bounded from below and lower semicontinuous. It was noticed that the subadditivity of *η* is necessarily assumed for insisting that the relation in (1.4) is a partial order. Thus if *η* is not a subadditive function, then the relationship ⪯ defined by (1.4) may not be a partial order in *X*, and consequently the technique used in [5, 6] becomes invalid. Observing this one, by introducing a partial order on a complete subset of *X*, Khamsi [7] removed the subadditivity of *η* and showed the existence theorem of fixed point for a Caristi type mapping. Recently, Li [8] noticed that $\eta (0)=0$ is an essential condition for the existence of a fixed point for Caristi-type mapping.

*X*be a nonempty set, and ⪯ be a partial ordering on

*X*. For each $x\in X$, we set

*T*is said to be an

*isotone mapping*if

Without the subadditivity of *η* and the continuity of both *η* and *φ*, they successfully obtained the following fixed-point theorem.

**Theorem 1.1**

*Let*$(X,d)$

*be a complete metric space*,

*let*$\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$

*be a bounded below functional*,

*let*$\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*be a nondecreasing function with*${\eta}^{-1}(\{0\})=\{0\}$,

*and let*⪯

*be a partial order on*

*X*

*such that*(1.6)

*and*${[x,+\mathrm{\infty})}_{\u2aaf}$

*and*${(-\mathrm{\infty},x]}_{\u2aaf}$

*are closed for each*$x,y\in X$.

*Let*$T:X\to X$

*be an isotone mapping*.

*Assume that there exists*${x}_{0}\in X$

*such that*${x}_{0}\u2aafT{x}_{0}$.

*Then*

- (i)
*T**has a maximal fixed point*${x}^{\ast}\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$,*i*.*e*.,*let*$x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$*be a fixed point of**T*,*then*${x}^{\ast}\u2aafx$*implies*$x={x}^{\ast}$; - (ii)
*T**has a least fixed point*${x}_{\ast}\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$,*i*.*e*.,*let*$x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$*be a fixed point of**T*,*then*${x}_{\ast}\u2aafx$.

Inspired by the above literature, in this work, we will present some extensions of results of Jiang and Li [9], say from a single-valued setting to a set-valued case. Further, meanwhile, our results also improve essentially many results. This is because we will remove some conditions, such as the assumption of an auxiliary function, as *η*, being nondecreasing. Also, some related results will be discussed. To complete our plan, the following useful basic concepts are needed.

A *semi*-*metric* for a nonempty set *X* is a nonnegative real-valued function *d* from $X\times X$ into ℝ such that

(S1) $d(x,y)=0\iff x=y$;

(S2) $d(x,y)=d(y,x)$,

for each $x,y\in X$. A pair $(X,d)$ is called a *semi*-*metric space*.

A subset *A* of a semi-metric space $(X,d)$ is said to be *closed* iff ${\overline{A}}^{d}=A$, where ${\overline{A}}^{d}=\{x\in X:d(x,A)=0\}$ and $d(x,A)=inf\{d(x,y):y\in A\}$. Let *d* be a semi-metric on *X* and ${({x}_{n})}_{n\in \mathbb{N}}$ be a sequence in *X*. A sequence ${({x}_{n})}_{n\in \mathbb{N}}$ is said to be *convergent* to $x\in X$ if for any $\epsilon >0$, there exists ${n}_{0}\in \mathbb{N}$ such that $d({x}_{n},x)<\epsilon $, for all $n\ge {n}_{0}$. ${({x}_{n})}_{n\in \mathbb{N}}$ is called *Cauchy* if for any $\epsilon >0$, there exists ${n}_{0}\in \mathbb{N}$ such that $d({x}_{m},{x}_{n})<\epsilon $, for all $m,n\ge {n}_{0}$. A semi-metric space $(X,d)$ is said to be *complete* if every Cauchy sequence is a convergent sequence.

For more information on semi-metric space, readers may consult [10–15].

Let $(X,\u2aaf)$ be a partial order set and ${2}^{X}$ be denoted for a class of all nonempty subset of *X*. As the core of this work, we are interested in the following class of set-valued mappings: a set-valued mapping $T:X\to {2}^{X}$ is called *isotone* if, whenever $x\u2aafy$ in *X*,

(I1) for each $u\in T(x)$ there is $v\in T(y)$ such that $u\u2aafv$, and

(I2) dually, for each $v\in T(y)$ there is $u\in T(x)$ such that $u\u2aafv$.

Isotone mappings were first studied by Smithson [16], and it is well known that one of these conditions may be satisfied while the other is not. In particular, a single-valued case of (I1) and (I2) must be similar, *i.e.*, for all $x,y\in X$ with $x\u2aafy$ we have $T(x)\u2aafT(y)$.

## 2 Main results

In this section, we let $(X,d)$ be a semi-metric space, $\eta :[0,+\mathrm{\infty})\to (-\mathrm{\infty},+\mathrm{\infty})$ and $\phi :X\to (-\mathrm{\infty},+\mathrm{\infty})$ be functions such that

*η*is nonnegative on $\{d(x,y):x,y\in X\}$ with $\eta (0)=0$, and there exist $c>0$ and $\epsilon >0$ such that

where ${W}_{\eta ,\epsilon}=\{t\ge 0:\eta (t)\le \epsilon \}\cap \{d(x,y):x,y\in X\}$.

Further if ${x}_{0}$ is an element in *X*, we assume that there is a partially ordered set $(X,\u2aaf)$ such that the following conditions hold:

(H2) *φ* is bounded below function on ${[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$.

(H4) ${[x,+\mathrm{\infty})}_{\u2aaf}$ is closed for each $x\in X$ such that ${x}_{0}\u2aafx$.

(H5) The set $P:=\{x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}:x\u2aafu,\mathrm{\exists}u\in T(x)\}$ contains every limit points of increasing convergent sequence in *P*.

**Remark 2.1**If

*η*is a nonnegative and subadditive function on $[0,+\mathrm{\infty})$ with $\eta (0)=0$, we know that

see [17]. By using this, we know that (H1) is always satisfied, see [7].

The following two examples show that (H4) and (H5) are different.

**Example 2.2**Let $X:=\{0\}\cup \{\frac{1}{n}:n\in \mathbb{N}\}$ with the usual metric

*d*. Define a partially ordered ⪯ on

*X*by $x\u2aafy\iff y\le x$ for all $x,y\in X$. Pick ${x}_{0}=1$. One can observe that, for each $1\u2aafx$, we have ${[x,+\mathrm{\infty})}_{\u2aaf}$ is a closed set. This means that (H4) is satisfied, whereas (H5) is not satisfied. Indeed, if we consider a mapping

We see that $P=\{\frac{1}{n}:n\in \mathbb{N}\}$. One can notice that there is an increasing convergent sequence ${(\frac{1}{n})}_{n\in \mathbb{N}}$ in *P* which converges to 0, but $0\notin P$.

**Example 2.3**Let

*X*and

*d*be the same as in Example 2.2. Define a partial ordering ⪯ on

*X*by $x\u2aafy$ if and only if (i) $y\le x$, and (ii) $\frac{x}{y}\in \mathbb{N}$. Define a mapping

*T*by

For ${x}_{0}=1$, we notice that the set *P* is nothing else but $\{1,\frac{1}{2}\}$. It follows that (H5) must be satisfied. This notwithstanding, since ${[1,+\mathrm{\infty})}_{\u2aaf}=\{\frac{1}{n}:n\in \mathbb{N}\}$ is not a closed set, (H4) is not satisfied.

Now we show our main results.

**Theorem 2.4**

*Let*$(X,d)$

*be a complete semi*-

*metric space and*$T:X\to {2}^{X}$

*be a set*-

*valued mapping*.

*Assume that there exist a partially ordered*⪯

*on*

*X*

*and a point*${x}_{0}\in X$

*such that*

*If* *T* *is an isotone mapping* (I1) *and conditions* (H1)-(H5) *are satisfied*, *then* *T* *has a fixed point* ${x}^{\ast}$. *Moreover*, ${x}^{\ast}$ *is a maximal fixed point in* ${[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$.

*Proof*Firstly, by (2.1), we notice that the set $P:=\{x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}:x\u2aafu,\mathrm{\exists}u\in T(x)\}$ is a nonempty set. Now, let ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ be an increasing chain in

*P*, where Γ is a directed set. By condition (H3), we know that ${(\phi ({x}_{\alpha}))}_{\alpha \in \mathrm{\Gamma}}$ is a decreasing net of real numbers. Further, by condition (H2), we know that $s:=inf\{\phi ({x}_{\alpha}):\alpha \in \mathrm{\Gamma}\}$ does exist. Related to this number

*s*, let us define now a nonempty subset Δ of Γ by

where *ε* is a positive real number as appeared in condition (H1).

*i*approaches infinity that

*P*. Thus, since

*X*is complete, there exists $\overline{x}\in X$ such that

Further, by (H5), we have $\overline{x}\in P$.

Next, we will show that ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ has an upper bound in *P*. We consider the following two cases.

*Case* I. *For each* $\alpha \in \mathrm{\Gamma}$, *there exists* ${n}_{\mathrm{\Gamma}}\in \mathbb{N}$ *such that* ${x}_{\alpha}\u2aaf{x}_{{\alpha}_{{n}_{\mathrm{\Gamma}}}}$.

Let $\alpha \in \mathrm{\Gamma}$ be fixed. By the closedness of ${[{x}_{\alpha},+\mathrm{\infty})}_{\u2aaf}$ and passing to a subsequence ${({x}_{{\alpha}_{j}})}_{j={n}_{\mathrm{\Gamma}}+1}^{\mathrm{\infty}}$ of an increasing sequence ${({x}_{{\alpha}_{n}})}_{n\in \mathbb{N}}$, we know that ${x}_{\alpha}\u2aaf\overline{x}$. Since $\alpha \in \mathrm{\Gamma}$ is arbitrary and $\overline{x}\in P$, we reach the required result.

*Case* II. *There exists* $\beta \in \mathrm{\Gamma}$ *such that* ${x}_{{\alpha}_{n}}\u2aaf{x}_{\beta}$ *for all* $n\in \mathbb{N}$.

This implies that $\phi ({x}_{{\alpha}_{0}})<\phi ({x}_{\beta})$, and this contradicts to (2.6). Hence, our claim is asserted.

By Cases I and II, we can conclude that ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ has an upper bounded in *P*. Consequently, since ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ is an arbitrary chain in *P*, Zorn’s lemma will therefore imply that $(P,\u2aaf)$ has a maximal element, say ${x}^{\ast}$.

Consequently, in view of the isotonicity (I1) of *T*, we can find $v\in T(u)$ such that $u\u2aafv$. This, alternatively, implies that $u\in P$. Thus, by (2.7) together with the maximality of ${x}^{\ast}$, we obtain ${x}^{\ast}=u\in T({x}^{\ast})$. This means ${x}^{\ast}$ is a maximal fixed point of *T*, and the proof is completed. □

**Remark 2.5** Assume that conditions (H1)-(H5) are satisfied and *T* is linked to *X* by the following stronger relationships: there exists a point ${x}_{0}\in X$ such that ${x}_{0}\u2aafu$ for all $u\in T({x}_{0})$, and

(SI) if $x,y\in X$ with $x\u2aafy$, $x\ne y$ then $u\u2aafv$ for each $u\in T(x)$, $v\in T(y)$.

*T*has an end point $\tilde{x}$. Moreover, $\tilde{x}$ is the maximal endpoint in ${[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$. Indeed, let $\tilde{P}=\{x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}:x\u2aafu,\mathrm{\forall}u\in T(x)\}$ and also ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ be an increasing chain in $\tilde{P}$, where Γ is a directed set. It follows from the proof of Theorem 2.4 that there is $\tilde{x}\in \tilde{P}$ such that it is a maximal element of $(\tilde{P},\u2aaf)$. Let $y\in T(\tilde{x})$ be arbitrary. It follows by $\tilde{x}\in \tilde{P}$ that ${x}_{0}\u2aaf\tilde{x}\u2aafy$. Subsequently, by (SI), we obtain

This implies that $y\in \tilde{P}$. Now, by the maximality of $\tilde{x}$, we see that $\tilde{x}=y$. Since *y* is arbitrary, we conclude that $\{\tilde{x}\}=T(\tilde{x})$.

By using Theorem 2.4, we also have the following results.

**Theorem 2.6**

*Let*$(X,d)$

*be a complete semi*-

*metric space and*$T:X\to {2}^{X}$

*be a set*-

*valued mapping*.

*Assume that there exist a partially ordered*⪯

*on*

*X*

*and a point*${x}_{0}\in X$

*such that*

*Assume that* *T* *is an isotone mapping* (I2) *on* ${(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$ *and the conditions* (H2), (H3) *and the following are satisfied*:

(H1)′ *φ* *is a bounded above functional on* ${(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$;

(H4)′ ${(-\mathrm{\infty},x]}_{\u2aaf}$ *is closed for each* $x\in X$ *such that* $x\u2aaf{x}_{0}$;

(H5)′ *the set* $\stackrel{\u02c6}{P}:=\{x\in {(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}:u\u2aafx,\mathrm{\exists}u\in T(x)\}$ *contains every limit points of decreasing convergent sequence in* $\stackrel{\u02c6}{P}$.

*Then* *T* *has a fixed point* ${x}^{\ast}$. *Moreover*, ${x}^{\ast}$ *is a minimal fixed point in* ${[-\mathrm{\infty},{x}_{0})}_{\u2aaf}$.

*Proof* Let ⪯_{1} be the inverse partial order of ⪯ and ${\phi}_{1}:=-\phi $. Clearly, ${x}_{0}{\u2aaf}_{1}v$ for some $v\in T({x}_{0})$ and ${\phi}_{1}$ is a bounded below functional on ${(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$. Set ${[x,+\mathrm{\infty})}_{{\u2aaf}_{1}}=\{z\in X:x{\u2aaf}_{1}z\}$. Then, by (H4)′, we find that ${[x,+\mathrm{\infty})}_{{\u2aaf}_{1}}$ is a closed set for each $x\in X$ such that ${x}_{0}{\u2aaf}_{1}x$. It is easy to check that (H3) is satisfied for ⪯_{1} and *T* is an isotone mapping (I1) on ${[{x}_{0},+\mathrm{\infty})}_{1}$. Moreover, any decreasing sequence in $\stackrel{\u02c6}{P}$ is an increasing sequence in *P*. Applying Theorem 2.4 with respect to ⪯_{1}, we have *T* has a maximal fixed point ${x}^{\ast}\in {[{x}_{0},+\mathrm{\infty})}_{{\u2aaf}_{1}}$. This gives the result that *T* has a minimal fixed point in ${(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$. □

**Remark 2.7** Similarly, as we have mentioned in Remark 2.5, if all assumptions of Theorem 2.6 are satisfied and *T* is linked to *X* by the stronger relationship (SI), and there exists a point ${x}_{0}\in X$ such that such that $v\u2aaf{x}_{0}$ for all $v\in T({x}_{0})$, then one can show that there is a minimal end point $\tilde{x}\in {(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$ of *T*.

Now we give an example to demonstrate Theorem 2.4.

**Example 2.8**Let $X=\{0\}\cup \{\frac{1}{n}:n=1,2,3,\dots \}$ with a semi-metric $d:X\times X\to [0,+\mathrm{\infty})$ defined by

We know that $(X,d)$ is a complete semi-metric space, see [18].

for all $t\in [0,+\mathrm{\infty})$, and $\phi (x)=\frac{3x}{4}$ for all $x\in X$, respectively.

*X*which is defined by $x\u2aafy$ if and only if (i) $y\le x$, and (ii) $\frac{x}{y}\in \mathbb{N}$ or $xy=0$, where ≤ is the usual order of real numbers. Related to this partial ordering ⪯, one can check that the mapping

*T*is an isotone (I1) and ${[x,+\mathrm{\infty})}_{\u2aaf}\cap T(x)\ne \mathrm{\varnothing}$, for each $x\in X$. Moreover, we note that

*η*satisfies condition (H1) in Theorem 2.4 and

*φ*is a bounded below functional on ${[1,+\mathrm{\infty})}_{\u2aaf}$. Further, we have

Note that $\{0\}$, $\{0\}\cup \{\frac{1}{m}:\frac{m}{n}\in \mathbb{N}\}$ ($n\ge 1$) are closed sets. Then for each $x\in X$, ${[x,+\mathrm{\infty})}_{\u2aaf}$ is a closed set. This means (H4) is satisfied. Therefore, all assumptions of Theorem 2.4 are satisfied. In fact, we see that 0 is a maximal fixed point in ${[1,+\mathrm{\infty})}_{\u2aaf}$.

## 3 Further results

By using Theorems 2.4 and 2.6, in this section, we will provide some largest and least fixed-point theorems for a single-valued mapping on semi-metric space.

**Theorem 3.1** *Let* $(X,d)$ *be a complete semi*-*metric space and* $T:X\to X$ *be an isotone mapping*. *Assume that there exist a partial ordering* ⪯ *on* *X* *and a point* ${x}_{0}\in X$ *such that* ${x}_{0}\u2aafT({x}_{0})$. *If conditions* (H1)-(H4) *hold and the following condition is satisfied*:

(H6) ${(-\mathrm{\infty},x]}_{\u2aaf}$ *is a closed set for each* $x\in X$ *such that* ${x}_{0}\u2aafx$,

*then*

- (i)
*T**has a maximal fixed point*${x}^{\ast}\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$; - (ii)
*T**has a least fixed point*${x}_{\ast}\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$,*that is*,*if*$x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$*is a fixed point of**T*,*then*${x}_{\ast}\u2aafx$.

*Proof* (i) Set $P=\{x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}:x\u2aafT(x)\}$; in this case, it suffices to show that the condition (H5) in Theorem 2.4 can be removed. Indeed, let an increasing sequence ${({x}_{n})}_{n\in \mathbb{N}}$ in *P* be such that ${x}_{n}\to \overline{x}$, for some $\overline{x}\in X$. Since ${({x}_{n})}_{n\in \mathbb{N}}\subset P$, we have ${x}_{n}\u2aafT({x}_{n})$, for all $n\in \mathbb{N}$. Furthermore, for each ${n}_{0}\in \mathbb{N}$, we have ${x}_{{n}_{0}}\u2aaf{x}_{n}$, for each $n\ge {n}_{0}$. It follows from ${[{x}_{{n}_{0}},+\mathrm{\infty})}_{\u2aaf}$ is a closed set that $\overline{x}\in {[{x}_{{n}_{0}},+\mathrm{\infty})}_{\u2aaf}$. So, we have ${x}_{{n}_{0}}\u2aaf\overline{x}$. Since ${n}_{0}$ is arbitrary, we obtain ${x}_{n}\u2aaf\overline{x}$, for each $n\in \mathbb{N}$. This implies that ${x}_{n}\u2aafT({x}_{n})\u2aafT(\overline{x})$, for each $n\in \mathbb{N}$. By taking *n* approaching infinity and the closedness of ${(-\mathrm{\infty},T(\overline{x})]}_{\u2aaf}$, we have $\overline{x}\u2aafT(\overline{x})$ and hence $\overline{x}\in P$. Therefore, the result can be obtained immediately from Theorem 2.4.

*S*by

It is easy to check that the relation ${\u2aaf}_{s}$ is a partial order on *S*.

*S*, where ${I}_{\alpha}={[{x}_{\alpha},+\mathrm{\infty})}_{\u2aaf}$. Then we see that ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ is an increasing chain of

*M*, where $M=\{x\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}:x\u2aafT(x),F(T)\subset {[x,+\mathrm{\infty})}_{\u2aaf}\}$. Clearly $M\subset P$. Following the proof of Theorem 2.4, we know that there exists an increasing sequence ${({x}_{n})}_{n\in \mathbb{N}}$ in

*M*with ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{{\alpha}_{n}})={inf}_{\alpha \in \mathrm{\Gamma}}\phi ({x}_{\alpha})$ and $\overline{x}\in P$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{{\alpha}_{n}}=\overline{x}$ and ${x}_{{\alpha}_{n}}\u2aaf\overline{x}$, for all $n\in \mathbb{N}$. Since ${({x}_{{\alpha}_{n}})}_{n\in \mathbb{N}}\subset M$, we have ${x}_{{\alpha}_{n}}\u2aafx$ for each $x\in F(T)$ and $n\in \mathbb{N}$. By the fact that

*T*is an isotone mapping, we have

*M*, denote it by $\stackrel{\u02c6}{x}$. Set $\stackrel{\u02c6}{I}={[\stackrel{\u02c6}{x},+\mathrm{\infty})}_{\u2aaf}$, then, by $\stackrel{\u02c6}{x}\in M$ and (3.1), we have $\stackrel{\u02c6}{I}\in S$. Since $\stackrel{\u02c6}{x}$ is an upper bound of ${({x}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ in

*M*, we have

*S*. By Zorn’s lemma, $(S,{\u2aaf}_{s})$ has a minimal element, denote it by ${I}^{\ast}={[{x}_{\ast},+\mathrm{\infty})}_{\u2aaf}$. By (3.1) we have ${x}_{0}\u2aaf{x}_{\ast}\u2aafT({x}_{\ast})$ and

By the fact that *T* is an isotone mapping, we have ${x}_{0}\u2aaf{x}_{\ast}\u2aafT({x}_{\ast})\u2aafT(T({x}_{\ast}))$ and $T({x}_{\ast})\u2aafT(x)=x$ for each $x\in F(T)$. Set $\tilde{I}={[T({x}_{\ast}),+\mathrm{\infty})}_{\u2aaf}$. Clearly, $\tilde{I}\in S$ and $\tilde{I}\subset {I}^{\ast}$ by (3.1). Thus, we have $\tilde{I}{\u2aaf}_{s}{I}^{\ast}$ by (3.2). By the minimality of ${I}^{\ast}$ in *S*, we can conclude that $\tilde{I}={I}^{\ast}$. This implies that ${x}_{\ast}=T({x}_{\ast})$. Therefore ${x}_{\ast}$ is a least fixed point of *T* in ${[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$. □

By Theorem 3.1 and using a technique as in Theorem 2.6, we can obtain the following result.

**Theorem 3.2**

*Let*$(X,d)$

*be a complete semi*-

*metric space and*$T:X\to X$

*be an isotone mapping*.

*Assume that there exist a partial ordering*⪯

*on*

*X*

*and a point*${x}_{0}\in X$

*such that*$T({x}_{0})\u2aaf{x}_{0}$.

*If conditions*(H1)-(H4)

*and*(H6)

*are satisfied*,

*then*

- (i)
*T**has a minimal fixed point*${x}^{\ast}\in {[{x}_{0},+\mathrm{\infty})}_{\u2aaf}$; - (ii)
*T**has a largest fixed point*${x}_{\ast}\in {(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$,*that is*,*if*$x\in {(-\mathrm{\infty},{x}_{0}]}_{\u2aaf}$*be a fixed point of**T*,*then*$x\u2aaf{x}_{\ast}$.

**Remark 3.3** In Theorems 3.1 and 3.2, we replace the conditions that *η* is a nondecreasing function on $[0,+\mathrm{\infty})$ and ${\eta}^{-1}(\{0\})=\{0\}$, which have proposed in Theorem 1.1, by the condition (H1).

The following example is inspired by Example 2 in [9].

**Example 3.4**Let

*X*,

*d*,

*φ*, ⪯ be the same as appearing in Example 2.8. Let $T:X\to X$ and $\eta :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ be defined by

respectively. We know that *T* is an isotone mapping. Moreover, for each $x\in X$, ${(x,\mathrm{\infty}]}_{\u2aaf}$ and ${(-\mathrm{\infty},x]}_{\u2aaf}$ are closed sets, see also [9]. Further, with respect to the given function *η* and as showed in Example 2.8, we know that the condition (H3) is also satisfied. In fact, 0 is the largest fixed point and $\frac{1}{2}$ is the least fixed point in ${[\frac{1}{2},+\mathrm{\infty})}_{\u2aaf}$.

**Remark 3.5** In Example 3.4, the considered function *η* is not a decreasing function and ${\eta}^{-1}\{0\}=\{0,\frac{1}{\sqrt{3}}\}$. Thus, Theorem 1.1 cannot be applied in this situation.

## 4 Conclusion

In this work, the set-valued Caristi-type mapping in the setting of generalized metric space, as a semimetric space, is considered. Evidently, the presented results improve essentially many results because we also removed some conditions, such as a nondecreasingness assumption from an auxiliary function, which have been imposed in the literature. In fact, we would like to point out that this paper gives some partial answers to an important problem which was raised by Kirk [3].

## Declarations

### Acknowledgements

The authors would like to thank the anonymous referees for their careful reading, suggestions, and appropriate questions, which permitted us to improve the first version of this paper. This research was partly supported by Naresuan University, Thailand (grant no. R2556C022).

## Authors’ Affiliations

## References

- Caristi J: Fixed point theorems for mappings satisfying inwardness conditions.
*Trans. Am. Math. Soc.*1976, 215: 241–251.View ArticleMathSciNetMATHGoogle Scholar - Ekeland I: Nonconvex minimization problems.
*Bull. Am. Math. Soc.*1979, 1: 443–474. 10.1090/S0273-0979-1979-14595-6View ArticleMathSciNetMATHGoogle Scholar - Kirk WA: Caristi’s fixed-point theorem and metric convexity.
*Colloq. Math.*1976, 36: 81–86.MathSciNetMATHGoogle Scholar - Brøndsted A: On a lemma of Bishop and Phelps.
*Pac. J. Math.*1974, 55: 335–341. 10.2140/pjm.1974.55.335View ArticleGoogle Scholar - Jachymski JR: Caristi’s fixed point theorem and selection of set-valued contractions.
*J. Math. Anal. Appl.*1998, 227: 55–67. 10.1006/jmaa.1998.6074View ArticleMathSciNetMATHGoogle 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.004View ArticleMathSciNetMATHGoogle Scholar - Khamsi MA: Remarks on Caristi’s fixed point theorem.
*Nonlinear Anal.*2009, 71: 227–231. 10.1016/j.na.2008.10.042View ArticleMathSciNetMATHGoogle 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.048View ArticleMathSciNetMATHGoogle Scholar - Jiang S, Li Z: Largest and least fixed point theorems of increasing mappings in partially ordered metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 74 10.1186/1687-1812-2013-74Google Scholar - Arhangelskii AV: Mappings and spaces.
*Usp. Mat. Nauk*1966, 21(4):133–184. (130)MathSciNetGoogle Scholar - Blumenthal LM:
*Theory and Applications of Distance Geometry*. 2nd edition. Chelsea, New York; 1970.MATHGoogle Scholar - Burke DK: Cauchy sequences in semimetric spaces.
*Proc. Am. Math. Soc.*1972, 33: 161–164. 10.1090/S0002-9939-1972-0290328-3View ArticleMathSciNetMATHGoogle Scholar - Galvin F, Shore SD: Completeness in semimetric spaces.
*Pac. J. Math.*1984, 113: 67–74. 10.2140/pjm.1984.113.67View ArticleMathSciNetMATHGoogle Scholar - McAuley LF: A relation between perfect separability, completeness, and normality in semi-metric spaces.
*Pac. J. Math.*1956, 6: 315–326. 10.2140/pjm.1956.6.315View ArticleMathSciNetMATHGoogle Scholar - Wilson WA: On semi-metric spaces.
*Am. J. Math.*1931, 53: 361–373. 10.2307/2370790View ArticleGoogle Scholar - Smithson RE: Fixed points of order preserving multifunctions.
*Proc. Am. Math. Soc.*1971, 28: 304–310. 10.1090/S0002-9939-1971-0274349-1View ArticleMathSciNetMATHGoogle Scholar - Hille E, Phillips RS Colloquium Publications 31. In
*Functional Analysis and Semigroups*. Am. Math. Soc., Providence; 1957.Google Scholar - Jachymski J, Matkowski J, Świa̧tkowski T: Nonlinear contractions on semimetric spaces.
*J. Appl. Anal.*1995, 1: 125–134.View ArticleMathSciNetMATHGoogle 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.