- Research
- Open Access

# Best approximation and fixed-point theorems for discontinuous increasing maps in Banach lattices

- Dezhou Kong
^{1, 2}, - Lishan Liu
^{1}Email author and - Yonghong Wu
^{3}

**2014**:18

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

© Kong et al.; licensee Springer. 2014

**Received:**30 October 2013**Accepted:**26 December 2013**Published:**22 January 2014

## Abstract

In this paper, we extend and prove Ky Fan’s Theorem for discontinuous increasing maps *f* in a Banach lattice *X* when *f* has no compact conditions. The main tools of analysis are the variational characterization of the generalized projection operator and order-theoretic fixed-point theory. Moreover, we establish a sequence $\{{x}_{n}\}$ which converges strongly to the unique best approximation point. As an application of our best approximation theorems, a fixed-point theorem for non-self maps is established and proved under some conditions. Our results generalize and improve many recent results obtained by many authors.

**MSC:**06F30, 47H07, 41A50, 41A65.

## Keywords

- best approximation theorem
- generalized projection operator
- discontinuous increasing map
- Banach lattice

## 1 Introduction

Ky Fan’s approximation theorem (Theorem 2 in [1]) has attracted great attention worldwide over the last few decades. The normed space version of the theorem is as follows.

**Theorem** *Let* *K* *be a non*-*empty compact convex set in a normed linear space* *X*. *If* *f* *is a continuous map from* *K* *into* *X*, *then there exists a point* *u* *in* *K* *such that* $\parallel u-f(u)\parallel =d(f(u),K)$. *The point* *u* *in the theorem above is called a best approximation point of* *f* *in* *K*.

Ky Fan’s Theorem is of great importance in nonlinear analysis, approximation theory, game theory and minimax theorems. In recent years, the theorem has been studied and generalized in various respects and applied in the analysis of many problems. Lin and Park [2], O’Regan and Shahzad [3] obtained a multivalued version of Ky Fan’s result for condensing maps. Tan and Yuan [4] and Liu [5, 6] extended the theorem to the more general continuous 1-set-contractive maps under some stronger hypothesis. In the last decade, the study of random approximations and random fixed points have been a very active area of research in probabilistic functional analysis. Some results have already been achieved in this line such as those by Lin [7], Seghal and Singh [8], Seghal and Water [9], Liu [10, 11], Tan and Yuan [4], Beg and Shahzad [12]. Meanwhile, Lin [13] proved Fan’s theorem for a continuous condensing map defined on a closed ball in a Banach space. Subsequently, Lin and Yen [14] proved that Ky Fan’s Theorem is true for a semi-contractive map defined on a closed convex subset of a Hilbert space. Very recently, Liu [5] proved that Ky Fan’s Theorem is true for the 1-set-contractive maps defined on a bounded closed convex subset in a Banach space when $\parallel \cdot \parallel $ is replaced by Minkowski’s function. For more results, the reader is referred to Shahzad [15], Markin and Shahzad [16], Amini-Harandi [17], Roux and Singh [18], Liu [19, 20], O’Regan [21], and so on.

However, so far, Ky Fan’s Theorem has not been well investigated for the cases where *f* is a discontinuous map and has no compact conditions. Partly motivated by this difficulty, Alber [22] introduced the notion of a generalized projection operator and noted that ${\mathrm{\Pi}}_{C}$ can be used instead of ${P}_{C}$ in Banach space. Based on this concept, Li and Ok [23] proved that the metric projection operator is order-preserving in partially ordered Banach spaces. Motivated and inspired by the above mentioned work, in this paper, we obtain two best approximation theorems through the order-theoretic fixed-point theorems by using ${\mathrm{\Pi}}_{C}$ instead of ${P}_{C}$ for reflexive, strictly convex and smooth Banach lattice. In the first best approximation theorem, we establish a sequence $\{{x}_{n}\}$ which converges strongly to the unique best approximation point; while in the second best approximation theorem, we obtain the existence of a minimum best approximation point and a maximum best approximation point in order intervals. As an application of our best approximation theorems, a fixed-point theorem for non-self maps is established under some conditions which do not need to require any continuous and compact conditions on *f*.

The rest of the paper is organized as follows. In Section 2, we review the definition of the generalized projection operator in Banach spaces and its basic properties, and also give some definitions in Banach lattice and some fundamental results as preliminaries for our theorems. In Section 3, we establish the properties of the generalized projection operator in Banach lattice under some assumptions. Then we combine these results with an order-theoretic fixed-point theorem to derive some best approximation theorems. Section 4 provides an application of these best approximation theorems to the fixed-point theory.

## 2 Preliminaries

### 2.1 The generalized projection operator

*X*be a real Banach space with the dual ${X}^{\ast}$. We denote by

*J*the normalized duality mapping from

*X*to ${2}^{{X}^{\ast}}$ defined by

for all $x\in X$, where $\u3008\cdot ,\cdot \u3009$ denotes the generalized duality pairing between ${X}^{\ast}$ and *X*. It is well known that if *X* is reflexive, strictly convex and smooth, *J* is a surjective, injective, and single-valued map.

*X*be a reflexive, strictly convex and smooth Banach space and

*C*a non-empty closed convex subset of

*X*. Consider the Lyapunov functional defined by

*J*. It is obvious from the definition of the functional

*W*that

If *X* is a Hilbert space, then $W(x,y)={\parallel x-y\parallel}^{2}$ and ${\mathrm{\Pi}}_{C}={P}_{C}$.

If *X* is a reflexive, strictly convex, and smooth Banach space, then for $x,y\in X$, $W(x,y)=0$ if and only if $x=y$. It is sufficient to show that if $W(x,y)=0$ then $x=y$. From (2.4), we have $\parallel x\parallel =\parallel y\parallel $. This implies that $\u3008Jx,y\u3009={\parallel y\parallel}^{2}={\parallel Jx\parallel}^{2}$. From the definition of *J*, one has $Jx=Jy$. Therefore, we have $x=y$; and for more details, the reader is referred to [24, 25].

*C*satisfies the following properties:

- (i)
The operator ${\mathrm{\Pi}}_{C}$ is fixed in each point $x\in C$,

*i.e.*, $\stackrel{\u02c6}{x}=x$. - (ii)The operator ${\mathrm{\Pi}}_{C}$ is d-accretive in
*X*,*i.e.*,$\u3008Jx-Jy,\stackrel{\u02c6}{x}-\stackrel{\u02c6}{y}\u3009\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in X.$(2.5) - (iii)The point ${\mathrm{\Pi}}_{C}(x)=\stackrel{\u02c6}{x}$ is a generalized projection of
*x*on $C\subset X$ if and only if the following inequality is satisfied:$\u3008Jx-J\stackrel{\u02c6}{x},\stackrel{\u02c6}{x}-y\u3009\ge 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall}y\in C.$(2.6) - (iv)The operator ${\mathrm{\Pi}}_{C}$ gives the absolutely best approximation of $x\in X$ relative to the functional $W(x,y)$,
*i.e.*,$W(\stackrel{\u02c6}{x},y)=W(x,y)-W(x,\stackrel{\u02c6}{x}),\phantom{\rule{1em}{0ex}}\mathrm{\forall}y\in C.$(2.7)

#### 2.1.1 Banach lattices

Let $(X,\u2aaf)$ be a real partially ordered Banach space with the dual ${X}^{\ast}$ and *S* be a subset of *X*. We say that an element *x* of *X* is an upper bound for *S* if $S\u2aafx$, that is, $y\u2aafx$ for each $y\in S$ (the notation $S\u2ab0x$ is similarly understood). We say that *S* is bounded from above if $S\u2aafx$ for some $x\in X$, and bounded from below if $S\u2ab0x$ for some $x\in X$. In turn, *S* is said to be bounded if it is bounded both from above and below. The supremum of *S* is the minimum of the set of all upper bounds for *S*, and is denoted by ${\bigvee}_{X}S$ (the infimum of *S* is denoted as ${\bigwedge}_{X}S$). As is conventional, we denote ${\bigvee}_{X}\{x,y\}$ as $x\vee y$, and ${\bigwedge}_{X}\{x,y\}$ as $x\wedge y$, for any $x,y\in X$. If $x\vee y$ and $x\wedge y$ exist for every *x* and *y* in *X*, we say that $(X,\u2aaf)$ is a lattice. And if ${\bigvee}_{X}S$ and ${\bigwedge}_{X}S$ exist for every non-empty (bounded) $S\subseteq X$, we say that $(X,\u2aaf)$ is a (Dedekind) complete lattice. If *Y* is a non-empty subset of *X* which contains $x\wedge y$ and $x\vee y$ for every $x,y\in Y$, then *Y* is said to be a sublattice of *X*.

*X*is a vector lattice with a norm $\parallel \cdot \parallel $ such that the following condition is satisfied:

where $|x|$ is defined by $|x|=x\vee (-x)$ for each $x\in X$.

A Riesz space is a lattice $(X,\u2aaf)$ where *X* is a (real) linear space whose linear structure is compatible with the partial order ⪯ in the sense that for all $x,y\in X$, $x\u2aafy$ implies $\alpha x+z\u2aaf\alpha y+z$ for every $z\in X$ and real number $\alpha >0$. The positive cone of $(X,\u2aaf)$ is ${X}_{+}=\{x\in X:x\u2ab0\theta \}$, which is a pointed convex cone in *X*. We will assume throughout the paper that the positive cones is closed.

Let $(X,\u2aaf)$ be a Banach lattice, that is, $(X,\u2aaf)$ is an ordered Riesz space with *X* being Banach space (if *X* is a Hilbert space here, $(X,\u2aaf)$ is referred to as a Hilbert lattice). The cone ${X}_{+}$ is said to be solid if ${X}_{+}$ has a non-empty interior *i.e.* $int{X}_{+}\ne \mathrm{\varnothing}$. The cone ${X}_{+}$ is said to be normal if there is a number $K>0$ such that for all $x,y\in X$, $\theta \u2aafx\u2aafy$ implies $\parallel x\parallel \le K\parallel y\parallel $. The least positive number satisfying this inequality is called the normal constant of ${X}_{+}$.

**Definition 2.1** ([23])

*Y*of

*X*is said to be regular if ${\parallel \cdot \parallel}^{2}$ is submodular on

*Y*with respect to ⪯, that is,

Obviously, if $(X,\u2aaf)$ is itself regular, then every sublattice of *X* is regular. We know every Hilbert normed lattice is regular and the positive cones of many Banach lattices are regular. For example, if $p\ge 2$, every sublattice *S* of ${R}^{n,p}$ with $S\subseteq {R}_{+}^{n}$ is regular; if $p\ge 2$, every sublattice *S* of ${\ell}^{p}$ with $S\subseteq {\ell}_{+}^{p}$ is regular.

**Definition 2.2** ([23])

For any lattices $(X,{\u2aaf}_{X})$ and $(Y,{\u2aaf}_{Y})$, we say that a map $F:X\to Y$ is order-preserving if $x{\u2aaf}_{X}y$ implies $F(x){\u2aaf}_{Y}F(y)$.

#### 2.1.2 Order-dual

^{∗}on ${X}^{\ast}$ defined as follows:

It is well known that $({X}^{\ast},{\u2aaf}^{\ast})$ is a Banach lattice, which is called the dual of $(X,\u2aaf)$. As usual, we denote the positive cone of $({X}^{\ast},{\u2aaf}^{\ast})$ by ${X}_{+}^{\ast}$, and recall that $x\in {X}_{+}$ iff $\u3008\phi ,x\u3009\ge 0$ for every $\phi \in {X}_{+}^{\ast}$ (see Meyer-Nieberg [26], Proposition 1.4.2).

Let $(H,\u3008\cdot ,\cdot \u3009)$ be a Hilbert space and $K\subseteq H$ be a closed convex cone. Recall that ${K}^{\ast}=\{x\in H:\u3008x,y\u3009\ge 0,\phantom{\rule{0.25em}{0ex}}\mathrm{\forall}y\in K\}$ is called the dual cone of *K*. The cone *K* is called subdual if $K\subseteq {K}^{\ast}$ and superdual if ${K}^{\ast}\subseteq K$. Suppose $(H,\u3008\cdot ,\cdot \u3009)$ be a Hilbert lattice and *K* be its positive cone, for any $x,y\in H$, we denote the minimum (supremum) with respect to *K* as $x\wedge y$ ($x\vee y$) and the minimum (supremum) with respect to ${K}^{\ast}$ as $x{\wedge}^{\ast}y$ ($x{\vee}^{\ast}y$).

The following fixed-point theorem is fundamental for the proof of the best approximation theorem.

**Theorem 2.1** ([27])

*Let*

*K*

*be a normal and solid cone*.

*Suppose that*$f:K\to K$

*is increasing and satisfies the following conditions*:

- (i)
*There exist*$v\in intK$*and*$c>0$,*such that*$\theta \prec f(v)\u2aafv$, $f(\theta )\u2ab0cf(v)$. - (ii)
*For any*$0<a<b<1$*and any bounded subset*$B\subset K$,*there exists*$\eta (a,b,B)>0$*such that*$f(tx)\u2ab0t(1+\eta )f(x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in B,t\in [a,b].$(2.10)

*Then* *f* *has a unique fixed point* ${x}^{\ast}$ *in* *K* *such that* $\theta \prec {x}^{\ast}\u2aafv$. *Moreover*, *if* $\mathrm{\forall}{x}_{0}\in K$ *such that* ${x}_{n}=f({x}_{n-1})$ ($n=1,2,3,\dots $), *then* $\parallel {x}_{n}-{x}^{\ast}\parallel \to 0$ *for* $n\to \mathrm{\infty}$.

We denote ${d}_{W}(x,K)=inf\{W(x,y):y\in K\}$, where $x\in X$ and *W* is a Lyapunov functional in *X*.

## 3 Best approximation theorems

First we establish the following properties of the generalized projection operators.

**Lemma 3.1**

*Let*$(X,\u2aaf)$

*be a partially ordered space*,

*and let*${X}_{+}$

*be its positive cone*,

*then*

*Proof*For every $t>0$, $x\in X$, we take $y\in {X}_{+}$. It is obvious that $\frac{y}{t}\in {X}_{+}$, and so by equation (2.6) we have

*J*, we get

Using (2.6), we obtain ${\mathrm{\Pi}}_{{X}_{+}}(tx)=t{\mathrm{\Pi}}_{{X}_{+}}(x)$. □

**Lemma 3.2** *For a reflexive*, *strictly convex*, *and smooth Banach lattice* $(X,\u2aaf)$, *the following statements are equivalent*:

(H_{1}) *The normalized duality mapping* *J* *is order*-*preserving*;

(H_{2}) $\mathrm{\forall}x,y\in X$, $x\u2aafy$ *implies* ${\parallel Jx\wedge Jy\parallel}^{2}+{\parallel Jx\vee Jy\parallel}^{2}\le {\parallel x\parallel}^{2}+{\parallel y\parallel}^{2}$.

*Proof* (H_{1}) ⇒ (H_{2}) If *J* is order-preserving, for $x\u2aafy$, we have $Jx\wedge Jy=Jx$, $Jx\vee Jy=Jy$. It is thus obvious that (H_{2}) holds.

_{2}) ⇒ (H

_{1}) Assume that

*J*is not order-preserving, then there exist ${x}_{0},{y}_{0}\in X$, ${x}_{0}\u2aaf{y}_{0}$ such that $J{x}_{0}\wedge J{y}_{0}\ne J{x}_{0}$, $J{x}_{0}\vee J{y}_{0}\ne J{y}_{0}$. Since

*X*is a reflexive Banach lattice,

*J*is surjective and ${X}^{\ast}$ is a Banach lattice, which implies that there exist ${z}_{1}\ne {x}_{0}$, ${z}_{2}\ne {y}_{0}\in X$, such that $J{x}_{0}\wedge J{y}_{0}=J{z}_{1}$, $J{x}_{0}\vee J{y}_{0}=J{z}_{2}$. Indeed we have

*X*is strictly convex, which implies only in the case ${z}_{1}=t{x}_{0}$, $t\ge 0$, the relation $2\u3008J{x}_{0}\wedge J{y}_{0},{x}_{0}\u3009=2\parallel J{x}_{0}\wedge J{y}_{0}\parallel \parallel {x}_{0}\parallel $ holds. Moreover, only in the case $\parallel {z}_{1}\parallel =\parallel {x}_{0}\parallel $, the relation $2\parallel J{x}_{0}\wedge J{y}_{0}\parallel \parallel {x}_{0}\parallel ={\parallel J{x}_{0}\wedge J{y}_{0}\parallel}^{2}+{\parallel {x}_{0}\parallel}^{2}$ holds. This obviously implies $2\u3008J{x}_{0}\wedge J{y}_{0},{x}_{0}\u3009={\parallel J{x}_{0}\wedge J{y}_{0}\parallel}^{2}+{\parallel {x}_{0}\parallel}^{2}$ if and only if ${z}_{1}={x}_{0}$. From the assumption, it is impossible that ${z}_{1}={x}_{0}$. Thus

This contradicts (H_{2}). So *J* is order-preserving and the assertion is proved. □

**Lemma 3.3** *Let* $(X,\u2aaf)$ *be a reflexive*, *strictly convex*, *smooth Banach lattice and satisfy condition* (H_{2}) *and* *C* *a closed convex regular sublattice of* *X*. *Then*, ${\mathrm{\Pi}}_{C}$ *is increasing*.

*Proof*To derive a contradiction, assume that ${\mathrm{\Pi}}_{C}$ is not increasing. Then, there exist ${x}_{0},{y}_{0}\in X$, ${x}_{0}\u2aaf{y}_{0}$ such that ${\mathrm{\Pi}}_{C}{x}_{0}\wedge {\mathrm{\Pi}}_{C}{y}_{0}\ne {\mathrm{\Pi}}_{C}{x}_{0}$, ${\mathrm{\Pi}}_{C}{x}_{0}\vee {\mathrm{\Pi}}_{C}{y}_{0}\ne {\mathrm{\Pi}}_{C}{y}_{0}$. Because

*C*is a sublattice of

*X*, we have ${\mathrm{\Pi}}_{C}{x}_{0}\wedge {\mathrm{\Pi}}_{C}{y}_{0}\in C$. It follows from the definition of ${\mathrm{\Pi}}_{C}$ that $W({x}_{0},{\mathrm{\Pi}}_{C}{x}_{0})<W({x}_{0},{\mathrm{\Pi}}_{C}{x}_{0}\wedge {\mathrm{\Pi}}_{C}{y}_{0})$, that is,

*C*, we get

By Lemma 3.2, $J{y}_{0}-J{x}_{0}\in {X}_{+}^{\ast}$, and so ${\mathrm{\Pi}}_{C}{x}_{0}\vee {\mathrm{\Pi}}_{C}{y}_{0}-{\mathrm{\Pi}}_{C}{y}_{0}$ does not belong to ${X}_{+}$, which is a contradiction. This proves that ${\mathrm{\Pi}}_{C}$ is increasing. □

**Lemma 3.4** *Let* *H* *be a Hilbert normed lattice with its positive cone* *K* *and* *C* *a closed convex sublattice of* *H*. *Then*, ${P}_{C}$ *is increasing*.

*Proof* It is well known that *J* is an identity function in Hilbert space. $\mathrm{\forall}x,y\in K$, we have $|x-y|=(x-y)\vee (y-x)\u2aafx+y$. As *H* is a normed lattice, we get $\parallel x-y\parallel \le \parallel x+y\parallel $, that is, ${\parallel x-y\parallel}^{2}\le {\parallel x+y\parallel}^{2}$. Furthermore, $\u3008x,y\u3009\ge 0$. Thus, $x\in {K}^{\ast}$. Conclusion: *K* is subdual cone. Let $x,y\in H$ be such that $x\u2aafy$, we have $y-x\in K\subseteq {K}^{\ast}$, that is, $x{\u2aaf}^{\ast}y$. Thus $x{\vee}^{\ast}y=y$ and $x{\wedge}^{\ast}y=x$. We have ${\parallel x{\vee}^{\ast}y\parallel}^{2}+{\parallel x{\wedge}^{\ast}y\parallel}^{2}={\parallel x\parallel}^{2}+{\parallel y\parallel}^{2}$. So (H_{2}) holds. From Lemma 3.2.1 in [23], we know that *C* is regular. By Lemma 3.3, ${P}_{C}$ is increasing. □

From Theorem 2.1 and the properties of the generalized projection operator, we obtain the following best approximation theorems.

**Theorem 3.1** *Let* $(X,\u2aaf)$ *be a reflexive*, *strictly convex*, *smooth Banach lattice satisfying condition* (H_{2}), *and* ${X}_{+}$ *be normal*, *solid and regular*. *Suppose that* $f:{X}_{+}\to X$ *is increasing and satisfies the following conditions*:

(H_{3}) *There exist* $v\in int{X}_{+}$ *and* $c>0$, *such that* $f(v)\u2aafv$, ${\mathrm{\Pi}}_{{X}_{+}}(f(v))\ne \theta $ *and* $f(\theta )\u2ab0cf(v)$.

_{4})

*For any*$0<a<b<1$

*and any bounded subset*$B\subset {X}_{+}$,

*there exists*$\eta (a,b,B)>0$

*such that*

*Then* *f* *has a unique point* ${x}^{\ast}$ *in* ${X}_{+}$, *satisfying* $\theta \prec {x}^{\ast}\u2aafv$, *such that* $W(f({x}^{\ast}),{x}^{\ast})={d}_{W}(f({x}^{\ast}),{X}_{+})$. *Moreover*, *if* ${x}_{0}\in {X}_{+}$ *and* ${x}_{n}={\mathrm{\Pi}}_{{X}_{+}}(f({x}_{n-1}))$ ($n=1,2,3,\dots $), *then* $\parallel {x}_{n}-{x}^{\ast}\parallel \to 0$ *for* $n\to \mathrm{\infty}$.

*Proof*Define $F:{X}_{+}\to {X}_{+}$ by $F(x)={\mathrm{\Pi}}_{{X}_{+}}(f(x))$. It is obvious that ${X}_{+}$ is a sublattice of

*X*. By Lemma 3.3, it is easy to see that

*F*is increasing. Since ${\mathrm{\Pi}}_{{X}_{+}}$ is increasing and $f(v)\u2aafv$, $f(\theta )\u2ab0cf(v)$, we get

*F*satisfies all conditions of Theorem 2.1, and so

*F*has a unique fixed point ${x}^{\ast}$ in ${X}_{+}$, such that $\theta \prec {x}^{\ast}\u2aafv$, and $\parallel {x}_{n}-{x}^{\ast}\parallel \to 0$ for $n\to \mathrm{\infty}$. Now we consider $F({x}^{\ast})={x}^{\ast}$,

*i.e.*${\mathrm{\Pi}}_{{X}_{+}}(f({x}^{\ast}))={x}^{\ast}$. By the definition of ${\mathrm{\Pi}}_{{X}_{+}}$, we get

The assertion is proved. □

**Remark 3.1** In Theorem 3.1, *f* is a discontinuous map and has no compact conditions.

**Corollary 3.1** *Let* *H* *be a Hilbert normed lattice and its positive cone* *K* *be solid*. *Suppose that* $f:K\to H$ *is increasing and satisfies* (H_{3}), (H_{4}) *in* *K*. *Then* *f* *has a unique point* ${x}^{\ast}$ *in K*, *satisfying* $\theta \prec {x}^{\ast}\u2aafv$, *such that* $\parallel f({x}^{\ast})-{x}^{\ast}\parallel =d(f({x}^{\ast}),K)={inf}_{y\in K}\parallel f({x}^{\ast})-y\parallel $. *Moreover*, *if* ${x}_{0}\in K$ *and* ${x}_{n}={P}_{K}(f({x}_{n-1}))$ ($n=1,2,3,\dots $), *then* $\parallel {x}_{n}-{x}^{\ast}\parallel \to 0$ *for* $n\to \mathrm{\infty}$.

*Proof* The assertion follows from the above Lemma 3.4 and Theorem 3.1. □

It is easy to see that $[{u}_{0},{v}_{0}]$ is a sublattice of *X*.

**Theorem 3.2**

*Let*$(X,\u2aaf)$

*be a reflexive*,

*strictly convex*,

*smooth Banach and Dedekind complete lattice satisfying condition*(H

_{2}).

*Suppose that*$[{u}_{0},{v}_{0}]$

*is regular and*$f:[{u}_{0},{v}_{0}]\to X$

*is increasing*.

*Then*,

*f*

*has a minimum best approximation point*${x}_{\ast}$

*and a maximum best approximation point*${x}^{\ast}$

*with respect to*$W(x,y)$

*in*$[{u}_{0},{v}_{0}]$,

*such that*

*where* ${u}_{n}={\mathrm{\Pi}}_{[{u}_{0},{v}_{0}]}(f({u}_{n-1}))$, ${v}_{n}={\mathrm{\Pi}}_{[{u}_{0},{v}_{0}]}(f({v}_{n-1}))$ ($n=1,2,3,\dots $).

*Proof* Define $F:[{u}_{0},{v}_{0}]\to [{u}_{0},{v}_{0}]$ by $F(x)={\mathrm{\Pi}}_{[{u}_{0},{v}_{0}]}(f(x))$. From Lemma 3.3, we see that *F* is increasing. It is easy to see that ${u}_{0}\u2aafF({u}_{0})$ and $F({v}_{0})\u2aaf{v}_{0}$. Thus, *F* satisfies all conditions of Theorem 2.1.2 in [28]. Then, *F* has a minimum fixed point ${x}_{\ast}$ and a maximum fixed point ${x}^{\ast}$ and satisfies (3.18). By the definition of ${\mathrm{\Pi}}_{[{u}_{0},{v}_{0}]}$, the assertion is proved. □

**Remark 3.2** In Theorem 3.2, *f* is a discontinuous map and has no compact conditions.

**Example 3.1** Let $(X,\u2aaf)=({\ell}^{2},\u2aaf)$. Here ⪯ stands for the coordinatewise ordering. Given ${u}_{0},{v}_{0}\in {\ell}^{2}$ such that ${u}_{0}\prec {v}_{0}$. Then, by Theorem 3.2, every increasing $f:[{u}_{0},{v}_{0}]\to {\ell}^{2}$ has a minimum best approximation point and a maximum best approximation point with respect to $W(x,y)$ in $[{u}_{0},{v}_{0}]$.

**Example 3.2**Let $(X,\u2aaf)=({L}^{2}(\mathrm{\Omega}),\u2aaf)$, the space of measurable functions which are 2nd power summable on Ω. Endow ${L}^{2}(\mathrm{\Omega})$ with the following norm and ⪯:

It is easy to see that $({L}^{2}(\mathrm{\Omega}),\u2aaf)$ is a Hilbert normed lattice. Given ${u}_{0},{v}_{0}\in {L}^{2}(\mathrm{\Omega})$ such that ${u}_{0}\prec {v}_{0}$; then, by Theorem 3.2, every increasing $f:[{u}_{0},{v}_{0}]\to {L}^{2}(\mathrm{\Omega})$ has a minimum best approximation point and a maximum best approximation point with respect to $W(x,y)$ in $[{u}_{0},{v}_{0}]$.

## 4 Fixed-point theorems

From the above best approximation theorems, we can obtain the following fixed-point theorems.

**Theorem 4.1** *Suppose that all conditions in Theorem * 3.1 *are satisfied*. *Moreover*, *one of the following conditions holds*:

(H_{5}) $f(\theta )\u2ab0\theta $;

(H_{6}) $f(v)\succ \theta $.

*Then*, *f* *has a unique fixed point* ${x}^{\ast}$ *in* ${X}_{+}$, *which satisfies* $\theta \prec {x}^{\ast}\u2aafv$. *Moreover*, *if* ${x}_{0}\in {X}_{+}$ *and* ${x}_{n}={\mathrm{\Pi}}_{{X}_{+}}(f({x}_{n-1}))$ ($n=1,2,3,\dots $), *then* $\parallel {x}_{n}-{x}^{\ast}\parallel \to 0$ *for* $n\to \mathrm{\infty}$.

*Proof* It suffices to show that ${x}^{\ast}$ is the fixed point of *f*. Indeed, if (H_{5}) holds, using $\theta \prec {x}^{\ast}\u2aafv$, we get $f(\theta )\u2aaff({x}^{\ast})\u2aaff(v)$. Thus $f({x}^{\ast})=(f({x}^{\ast})-f(\theta ))+f(\theta )\in {X}_{+}$ and $W(f({x}^{\ast}),{x}^{\ast})={d}_{W}(f({x}^{\ast}),{X}_{+})=0$. Hence $f({x}^{\ast})={x}^{\ast}$.

If (H_{6}) holds, using $f(\theta )\u2ab0cf(v)$, we get $f(\theta )\in {X}_{+}$. From (H_{5}), we have $f({x}^{\ast})={x}^{\ast}$. The assertion is proved. □

If $f:[{u}_{0},{v}_{0}]\to [{u}_{0},{v}_{0}]$ is self-projective, then ${\mathrm{\Pi}}_{[{u}_{0},{v}_{0}]}(f(x))=f(x)$, and Theorem 3.2 reduces to the following fixed-point theorem:

**Corollary 4.1**

*Let*$(X,\u2aaf)$

*be a Dedekind complete lattice*.

*Suppose that*$f:[{u}_{0},{v}_{0}]\to X$

*is increasing and satisfies*:

*Then*, *f* *has a minimum fixed point* ${x}_{\ast}$ *and a maximum fixed point* ${x}^{\ast}$ *in* $[{u}_{0},{v}_{0}]$. *Moreover*, *if* ${u}_{n}=f({u}_{n-1})$ *and* ${v}_{n}=f({v}_{n-1})$ ($n=1,2,3,\dots $), *then equation* (3.18) *holds*.

## Declarations

### Acknowledgements

The first and second authors were supported financially by the National Natural Science Foundation of China (11371221, 11071141), the Specialized Research Foundation for the Doctoral Program of Higher Education of China (20123705110001) and the Program for Scientific Research Innovation Team in Colleges and Universities of Shandong Province. The third author was supported financially by the Australia Research Council through an ARC Discovery Project Grant.

## Authors’ Affiliations

## References

- Fan K: Extensions of two fixed point theorems of F. E. Browder.
*Math. Z.*1969, 112: 234–240. 10.1007/BF01110225View ArticleMathSciNetGoogle Scholar - Lin TC, Park S: Approximation and fixed point theorems for condensing composites of multifunctions.
*J. Math. Anal. Appl.*1998, 233: 1–8.View ArticleMathSciNetGoogle Scholar - O’Regan D, Shahzad N: Approximation and fixed point theorems for countable condensing composite maps.
*Bull. Aust. Math. Soc.*2003, 68: 161–168. 10.1017/S0004972700037515View ArticleMathSciNetGoogle Scholar - Tan KK, Yuan XZ: Random fixed-point theorems and approximation in cones.
*J. Math. Anal. Appl.*1994, 85: 378–390.View ArticleMathSciNetGoogle Scholar - Liu LS: Approximation theorems and fixed point theorems for various classes of 1-set-contractive mappings in Banach spaces.
*Acta Math. Sin. Engl. Ser.*2001, 17: 103–112. 10.1007/s101140000095View ArticleMathSciNetGoogle Scholar - Liu LS: Random approximations and random fixed point theorems for random 1-set-contractive non-self-maps in abstract cones.
*Stoch. Anal. Appl.*2000, 18: 125–144. 10.1080/07362990008809659View ArticleGoogle Scholar - Lin TC: Random approximations and random fixed point theorems for non-self maps.
*Proc. Am. Math. Soc.*1988, 103: 1129–1135. 10.1090/S0002-9939-1988-0954994-0View ArticleGoogle Scholar - Sehgal VM, Singh SP: On random approximations and a random fixed point theorem for set-valued mappings.
*Proc. Am. Math. Soc.*1985, 95: 91–94. 10.1090/S0002-9939-1985-0796453-1View ArticleMathSciNetGoogle Scholar - Sehgal VM, Waters C: Some random fixed point theorems for condensing operators.
*Proc. Am. Math. Soc.*1984, 90: 425–429. 10.1090/S0002-9939-1984-0728362-7View ArticleMathSciNetGoogle Scholar - Liu LS: Some random approximations and random fixed point theorems for 1-set-contractive random operators.
*Proc. Am. Math. Soc.*1997, 125: 515–521. 10.1090/S0002-9939-97-03589-2View ArticleGoogle Scholar - Liu LS: Random approximations and random fixed point theorems for random 1-set-contractive non-self-maps in infinite dimensional Banach spaces.
*Indian J. Pure Appl. Math.*1997, 28(2):139–150.MathSciNetGoogle Scholar - Beg I, Shahzad N: Random fixed points of random multivalued operators on Polish spaces.
*Nonlinear Anal.*1993, 20: 835–847. 10.1016/0362-546X(93)90072-ZView ArticleMathSciNetGoogle Scholar - Lin TC: A note on a theorem of Ky Fan.
*Can. Math. Bull.*1979, 22: 513–515. 10.4153/CMB-1979-067-xView ArticleGoogle Scholar - Lin TC, Yen CL: Applications of the proximity map to fixed point theorems in Hilbert space.
*J. Approx. Theory*1988, 52: 141–148. 10.1016/0021-9045(88)90053-6View ArticleMathSciNetGoogle Scholar - Shahzad N: Fixed point and approximation results for multimaps in S-KKM class.
*Nonlinear Anal.*2004, 56: 905–918. 10.1016/j.na.2003.10.019View ArticleMathSciNetGoogle Scholar - Markin J, Shahzad N: Best approximation theorems for nonexpansive and condensing mappings in hyperconvex spaces.
*Nonlinear Anal.*2009, 70: 2435–2441. 10.1016/j.na.2008.03.045View ArticleMathSciNetGoogle Scholar - Amini-Harandi A: Best and coupled best approximation theorems in abstract convex metric spaces.
*Nonlinear Anal.*2011, 74: 922–926. 10.1016/j.na.2010.09.045View ArticleMathSciNetGoogle Scholar - Roux D, Singh SP: On some fixed point theorems.
*Int. J. Math. Math. Sci.*1989, 12: 61–64. 10.1155/S0161171289000074View ArticleMathSciNetGoogle Scholar - Liu LS: On approximation theorems and fixed point theorems for non-self-mapping in infinite dimensional Banach spaces.
*J. Math. Anal. Appl.*1994, 188(2):541–551. 10.1006/jmaa.1994.1444View ArticleMathSciNetGoogle Scholar - Liu LS, Li XK: On approximation theorems and fixed point theorems for non-self-mappings in uniformly convex Banach spaces.
*Banyan Math. J.*1997, 4: 11–20.Google Scholar - O’Regan D: Existence and approximation of fixed points for multivalued maps.
*Appl. Math. Lett.*1999, 12: 37–43.View ArticleGoogle Scholar - Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar - Li J, Ok EA: Optimal solutions to variational inequalities on Banach lattices.
*J. Math. Anal. Appl.*2012, 388: 1157–1165. 10.1016/j.jmaa.2011.11.009View ArticleMathSciNetGoogle Scholar - Cioranescu I: Geometry of Banach spaces. In
*Duality Mappings and Nonlinear Problems*. Kluwer Academic, Dordrecht; 1990.View ArticleGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis. Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama; 2000.Google Scholar - Meyer-Nieberg P Universitext. In
*Banach Lattices*. Springer, Berlin; 1991.View ArticleGoogle Scholar - Guo D: Existence and uniqueness of positive fixed points for mixed monotone operators and applications.
*Appl. Anal.*1992, 46: 91–100. 10.1080/00036819208840113View ArticleMathSciNetGoogle Scholar - Guo D, Lakshmikantham V:
*Nonlinear Problems in Abstract Cones*. Academic Press, New York; 1988.Google 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.