- Research
- Open Access

# Fixed point theorems on ordered vector spaces

- Jin Lu Li
^{1}, - Cong Jun Zhang
^{2}and - Qi Qiong Chen
^{3}Email author

**2014**:109

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

© Li et al.; licensee Springer. 2014

**Received:**8 January 2014**Accepted:**21 April 2014**Published:**6 May 2014

## Abstract

In this paper, we introduce the concept of ordered metric spaces with respect to some ordered vector spaces, which is an extension of the normal metric spaces. Then we investigate some properties of ordered metric spaces and provide several fixed point theorems. As applications we prove several existence theorems for best ordered approximation.

**MSC:** 46B42, 47H10, 58J20, 91A06, 91A10.

## Keywords

- ordered vector spaces
- order-continuity
- ordered Lipschitz condition
- order-preserving mapping
- best ordered approximation
- fixed point

## 1 Introduction

*S*be a nonempty set and let

*X*be a Banach space. Let

*K*be a closed convex cone in

*X*. The cone metric defined on

*S*, with respect to the cone

*K*in

*X*, is a bifunction $d:S\times S\to X$, for which the following properties hold:

- (a)
$d(u,v)\in K$ and $d(u,v)=0$ if and only if $u=v$;

- (b)
$d(u,v)=d(v,u)$;

- (c)
$d(u,s)+d(s,v)-d(u,v)\in K$, for all $s,u,v\in S$.

Note that if we take *X* to be the set of real numbers and take $K=[0,\mathrm{\infty})$, then any cone metric space with respect to *K* turns out to be a normal metric space. Hence the concept of vector metric spaces extends the notion of the normal metric spaces.

In the field of nonlinear analysis, vector metric spaces have been widely studied by many authors (see [1]). Similarly to ordinary analysis, the concepts of continuity and of the Lipschitz condition for mapping on vector metric spaces have been introduced and have been applied for proving the existence of fixed points (see [2–4]).

Since the definition of vector metrics is based on closed convex cones in normed vector spaces, and every closed convex cone in a vector space can induce a partial order on it, which equips this vector space to be an ordered vector space, it is natural to generalize the concept of cone metric spaces to ordered metric spaces (see Section 3).

This paper is organized as follows: in Section 2, we recall some concepts of ordered vector spaces and order-convergence of sequences; in Section 3, we introduce the concept of ordered metric spaces and investigate some properties; in Section 4, several fixed point theorems on ordered metric spaces are provided; in Section 5, we extend the concept of best ordered approximation and prove several existence theorems by applying the fixed point theorems provided in Section 4.

## 2 Preliminaries

In this section, we recall some concepts of ordered sets and some properties of order-limits. For more details, the readers are referred to [5–7]. Then we extend the concept of order-continuity of mappings on ordered vector spaces and provide some properties that are similar to those of ordinary limits in analysis. These properties will be frequently used throughout this paper.

In this paper, all vector spaces considered are real vector spaces. A vector space *X* equipped with a partial order ${\succcurlyeq}^{X}$ (that is, ${\succcurlyeq}^{X}$ is a reflexive, antisymmetric, and transitive binary relation on *X*) is called a partially ordered vector space, or is simply called an ordered vector space, which is written as $(X,{\succcurlyeq}^{X})$, if the following (order-linearity) properties hold:

(v1) $x{\succcurlyeq}^{X}y$ implies $x+z{\succcurlyeq}^{X}y+z$, for all $x,y,z\in X$.

(v2) $x{\succcurlyeq}^{X}y$ implies $\alpha x{\succcurlyeq}^{X}\alpha y$, for all $x,y\in X$ and $\alpha \u2a7e0$.

A sequence $\{{x}_{n}\}$ in an ordered vector space $(X,{\succcurlyeq}^{X})$ is said to be order-decreasing, which is denoted by ${x}_{n}\downarrow $, whenever $m>n$ implies ${x}_{m}{\preccurlyeq}^{X}{x}_{n}$. An order-decreasing sequence $\{{x}_{n}\}$ is said to order-converge to *x*, if ${x}_{n}\downarrow $ and $\bigwedge \{{x}_{n}\}$ exists with $\bigwedge \{{x}_{n}\}=x$, which is denoted by $\{{x}_{n}\}\downarrow x$. The meaning of ${x}_{n}\uparrow $ is analogously defined for an order-increasing sequence $\{{x}_{n}\}$; and $\{{x}_{n}\}\uparrow x$, if and only if ${x}_{n}\uparrow $ and $\bigvee \{{x}_{n}\}$ exists with $\bigvee \{{x}_{n}\}=x$.

**Lemma 2.1**

*Let*$\{{x}_{n}\}$, $\{{y}_{n}\}$

*be two sequences in an arbitrary ordered vector space*$(X,{\succcurlyeq}^{X})$.

*The following properties hold*:

- 1.
${x}_{n}\downarrow x$

*implies*$a{x}_{n}\downarrow ax$,*for every*$a\u2a7e0$. - 2.
${x}_{n}\downarrow x$

*and*${y}_{n}\downarrow y$*imply*$({x}_{n}+{y}_{n})\downarrow (x+y)$. - 3.
${x}_{n}\downarrow x$

*and*${y}_{n}\downarrow y$*imply*$(a{x}_{n}+b{y}_{n})\downarrow (ax+by)$,*for any nonnegative numbers**a**and**b*.

**Definition 2.2**An ordered vector space $(X,{\succcurlyeq}^{X})$ is said to be generalized Archimedean if and only if for any given element $x{\succcurlyeq}^{X}0$ and any decreasing sequence of positive numbers $\{{a}_{n}\}$ with limit 0, we have

*X*be a vector space and

*K*a closed convex cone in

*X*. Define a binary relation ${\succcurlyeq}_{K}$ on

*X*as follows:

Then ${\succcurlyeq}_{K}$ is a partial order on *X*, which satisfies conditions (v1) and (v2), and therefore $(X,{\succcurlyeq}_{K})$ is an ordered vector space, which is said to be induced by the closed convex cone *K*.

**Lemma 2.3** *Every ordered vector space induced by a closed convex cone is generalized Archimedean*.

The proof of Lemma 2.3 is straightforward and it is omitted here.

In order theory, the order completeness of a poset is as important as the topological counterpart of a topological space in analysis. Recall that a subset *C* of an ordered vector space $(X,{\succcurlyeq}^{X})$ is said to be chain complete if and only if for any chain $\{{x}_{\alpha}\}$ in *X*, $\bigvee \{{x}_{\alpha}\}$ exists. Next, we define a special case of chain-complete subsets.

**Definition 2.4**Let $(X,{\succcurlyeq}^{X})$ be an ordered vector space and

*C*a subset of

*X*.

*C*is said to be (sequentially) conditionally chain complete if and only if for any sequence $\{{x}_{n}\}$ in

*C*, the following properties hold:

- 1.
If ${x}_{n}\downarrow $ and $\{{x}_{n}\}$ has a lower bound, then $\bigwedge \{{x}_{n}\}$ exists satisfying ${x}_{n}\downarrow \bigwedge \{{x}_{n}\}\in C$.

- 2.
If ${x}_{n}\uparrow $ and $\{{x}_{n}\}$ has an upper bound, then $\bigvee \{{x}_{n}\}$ exists satisfying ${x}_{n}\uparrow \bigvee \{{x}_{n}\}\in C$.

## 3 Ordered metric spaces

We extend the concept of cone metric to the following ordered metric with respect to ordered vector spaces.

**Definition 3.1** Let *S* be a nonempty set and let $(X,{\succcurlyeq}^{X})$ be an ordered vector space. A bifunction ${d}_{X}:S\times S\to X$ is called an ordered metric on *S*, with respect to *X* if, for every *u*, *v*, and *s* in *S*, it satisfies the following conditions:

(m1) ${d}_{X}(u,v){\succcurlyeq}^{X}0$ with ${d}_{X}(u,v)=0$, if and only if $u=v$;

(m2) ${d}_{X}(u,v)={d}_{X}(v,u)$;

(m3) ${d}_{X}(u,v){\preccurlyeq}^{X}{d}_{X}(u,s)+{d}_{X}(s,v)$.

Then $(S,{d}_{X})$ is called an ordered metric space, and ${d}_{X}(u,v)$ is called the ordered distance between *u* and *v*, with respect to the ordered vector space $(X,{\succcurlyeq}^{X})$.

We offer some examples below to demonstrate that the class of ordered metric spaces is a very broad one. First, note that $(R,\u2a7e)$ is an ordered vector space with the ordinal real order ⩾. Then we have the following results.

**Example 3.2** The metric defined on a metric space is an ordered metric; and therefore, every metric space is an ordered metric space.

**Example 3.3** Let *B* be a Banach space with the norm $\parallel \cdot \parallel $ and let *d* be the metric on *B* induced by $\parallel \cdot \parallel $. Then *d* is an ordered metric; and therefore, every Banach space with the metric induced by its norm is an ordered metric space (where the metric *d* is defined by $d(u,v)=\parallel u-v\parallel $, for every $u,v\in B$).

**Example 3.4** Every cone metric on a nonempty set is an ordered metric; and therefore, every cone metric space is an ordered metric space.

As a matter of fact, if an ordered vector space $(X,{\succcurlyeq}_{K})$ is induced by a closed convex cone *K* in *X*, then from (1), $d(u,v)\in K$ if and only if ${d}_{X}(u,v){\succcurlyeq}_{K}0$; and therefore, the ordered metrics on sets extend the concept of cone metrics.

**Example 3.5** Let $(X,{\succcurlyeq}^{X})$ be a Riesz space (vector lattice). Then the bifunction ${d}_{X}:X\times X\to X$ induced by the (ordered) absolute values on *X* as ${d}_{X}(x,y)=|x-y|$, for every $x,y\in X$, is an ordered metric on *X*. Hence every Riesz space with the ordered metric induced by its (ordered) absolute values is an ordered metric space.

Here, as usual, for any $x\in X$, ${x}^{+}=x\vee 0$, ${x}^{-}=(-x)\vee 0$ and $|x|={x}^{+}\vee {x}^{-}$ are called the (ordered) positive part, negative part, and (ordered) absolute value of *x*, respectively.

In real analysis, an arbitrary metric on a metric space is a function with positive values in *R*, which is totally ordered with respect to the ordinal order of real numbers. This property implies that the distances of pairs of elements are comparable. But in ordered metric space, the ordered distances of pairs of elements are not always comparable. Thus, this idea provides us a useful tool to study some problems, which have outcomes in a poset.

**Definition 3.6**A sequence $\{{s}_{n}\}$ in an ordered metric space $(S,{d}_{X})$ is said to order-converge to an element $s\in S$, which is denoted by ${s}_{n}\underrightarrow{o}s$, whenever there exists another sequence $\{{x}_{n}\}$ in $(X,{\succcurlyeq}^{X})$ with ${x}_{n}\downarrow 0$ such that

In this case, *s* is called an order-limit of the sequence $\{{s}_{n}\}$.

**Lemma 3.7** *If a sequence* $\{{s}_{n}\}$ *in an ordered metric space* $(S,{d}_{X})$ *is order*-*convergent*, *then its order*-*limit is unique*.

*Proof*Let

*u*and

*v*be order-limits of $\{{s}_{n}\}$. Then there are sequences $\{{x}_{n}\}$ and $\{{z}_{n}\}$ in

*X*with ${x}_{n}\downarrow 0$ and ${z}_{n}\downarrow 0$ such that

From Part 2 of Lemma 2.1, $\bigwedge ({x}_{n}+{z}_{n})=0$. It implies $0{\preccurlyeq}^{X}{d}_{X}(u,v){\preccurlyeq}^{X}0$. Hence ${d}_{X}(u,v)=0$. From condition (m1) in the definition of ordered metric, it follows that $v=u$. □

**Definition 3.8**A sequence $\{{s}_{n}\}$ in an ordered metric space $(S,{d}_{X})$ is called an order-Cauchy sequence, whenever there exists another sequence $\{{x}_{n}\}$ in $(X,{\succcurlyeq}^{X})$ with ${x}_{n}\downarrow 0$ such that

**Definition 3.9** An ordered metric space $(S,{d}_{X})$ is said to be order-metric complete, whenever every order-Cauchy sequence in *S* is order-convergent.

**Definition 3.10** Let $(S,{d}_{X})$ and $(T,{d}_{Y})$ be ordered metric spaces, with respect to the ordered vector spaces $(X,{\succcurlyeq}^{X})$ and $(Y,{\succcurlyeq}^{Y})$, respectively. A mapping $f:S\to T$ is said to be sequentially or *σ*-continuous, whenever, for any sequence $\{{s}_{n}\}\subset S$, ${s}_{n}\underrightarrow{o}s$, with respect to the ordered metric ${d}_{X}$ on *S*, implies $f({s}_{n})\underrightarrow{o}f(s)$, with respect to the ordered metric ${d}_{Y}$ on *T*.

## 4 Several fixed point theorems on ordered metric spaces

**Theorem 4.1**

*Let*$(S,{d}_{X})$

*be an order*-

*metric complete ordered metric space*,

*with respect to a generalized Archimedean ordered vector space*$(X,{\succcurlyeq}^{X})$.

*Let*$f:S\to S$

*be a self*-

*mapping*.

*Suppose there is a positive number*$\alpha <1$,

*such that*

*Then* *f* *has a unique fixed point*.

*Proof*Taking any ${s}_{0}\in S$, we define a sequence $\{{f}^{n}({s}_{0})\}\subset S$. From condition (4), it follows that

*i*, we get

It follows that $f({s}^{\ast})={s}^{\ast}$; and therefore, ${s}^{\ast}$ is a fixed point of *f*. The uniqueness of the fixed point of *f* immediately follows from condition (4) of the mapping *f* and condition (m1) of the ordered metric. □

From Example 3.5, any arbitrary Riesz space (vector lattice) $(X,{\succcurlyeq}^{X})$ is an ordered metric space with the ordered metric induced by its (ordered) absolute values. Then the following result immediately follows from Theorem 4.1.

**Corollary 4.2**

*Let*

*S*

*be a nonempty order*-

*metric complete subset of a generalized Archimedean Riesz space*.

*Let*$f:S\to S$

*be a self*-

*mapping*.

*Suppose there is a positive number*$\alpha <1$,

*such that*

Then *f* has a unique fixed point.

Next we generalize the concept of order-increasing of mappings on ordered vector spaces.

$(S,{d}_{X})$ and $(T,{d}_{Y})$ be ordered metric spaces, with respect to ordered vector spaces $(X,{\succcurlyeq}^{X})$ and $(Y,{\succcurlyeq}^{Y})$, respectively. A set-valued mapping $F:S\to {2}^{T}\setminus \mathrm{\varnothing}$ is said to be ordered metric increasing upward from *S* to ${2}^{T}\setminus \mathrm{\varnothing}$, whenever there are elements ${s}^{\prime}\in S$, ${t}^{\prime}\in T$ such that, for any given ${s}_{1},{s}_{2}\in S$, ${d}_{X}({s}_{1},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}({s}_{2},{s}^{\prime})$ implies that, for every ${t}_{1}\in F({s}_{1})$, there is ${t}_{2}\in F({s}_{2})$ satisfying ${d}_{Y}({t}_{1},{t}^{\prime}){\preccurlyeq}^{Y}{d}_{Y}({t}_{2},{t}^{\prime})$ (with respect to points ${s}^{\prime}$ and ${t}^{\prime}$). *F* is said to be ordered metric increasing downward from *S* to ${2}^{T}\setminus \mathrm{\varnothing}$ (with respect to points *s* and *t*), whenever for any given ${s}_{1},{s}_{2}\in S$, ${d}_{X}({s}_{1},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}({s}_{2},{s}^{\prime})$ implies that, for every ${t}_{2}\in F({s}_{2})$, there is ${t}_{1}\in F({s}_{1})$ satisfying ${d}_{Y}({t}_{1},{t}^{\prime}){\preccurlyeq}^{Y}{d}_{Y}({t}_{2},{t}^{\prime})$. *F* is said to be ordered metric increasing from *S* to ${2}^{T}\setminus \mathrm{\varnothing}$ (with respect to points ${s}^{\prime}$ and ${t}^{\prime}$), whenever *F* is both ordered metric increasing downward and ordered metric increasing upward. In particular, if $S=T$ and ${s}^{\prime}={t}^{\prime}$, then *F* is said to be ordered metric increasing (upward, downward) on *S* (with respect to point ${s}^{\prime}$).

A single-valued mapping $f:S\to T$ is said to be ordered metric increasing (decreasing) with respect to elements ${s}^{\prime}\in S$, ${t}^{\prime}\in T$, whenever, for any given ${s}_{1},{s}_{2}\in S$, ${d}_{X}({s}_{1},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}({s}_{2},{s}^{\prime})$ implies ${d}_{Y}(f({s}_{1}),{t}^{\prime}){\preccurlyeq}^{Y}{d}_{Y}(f({s}_{2}),{t}^{\prime})({d}_{Y}(f({s}_{1}),{t}^{\prime}){\succcurlyeq}^{Y}{d}_{Y}(f({s}_{2}),{t}^{\prime}))$.

**Definition 4.3** Let $(S,{d}_{X})$ be an ordered metric space with respect to an ordered vector space $(X,{\succcurlyeq}^{X})$. $(S,{d}_{X})$ is called a monodromy ordered metric space, with respect to an element ${s}^{\prime}\in S$, whenever the map ${d}_{X}(\cdot ,{s}^{\prime}):S\to X$ is one to one. Such an element ${s}^{\prime}\in S$ is called a monotonized point of the ordered metric space $(S,{d}_{X})$.

**Example 4.4**For an arbitrary positive integer

*n*, let $({R}_{n},{\succcurlyeq}_{n})$ denote the ordered vector space, where

*n*is the coordinate ordering on the

*n*-dimensional Euclidean space ${R}_{n}$. Let

*S*be a subset of the positive cone of $({R}_{n},{\succcurlyeq}_{n})$ containing the origin of ${R}_{n}$. Define an ordered metric ${d}_{n}$ on

*S*as: for any $x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in S$,

It implies that the ordered metric space $(S,{d}_{n})$ is a monodromy ordered metric space with respect to its monotonized point $0\in S$.

**Example 4.5** Let $(X,{\succcurlyeq}^{X})$ be a Riesz space and let the ordered metric ${d}_{X}$ on *X* be defined in Example 3.5. Similarly to Example 4.4, we can see that every subset *S* of the positive cone of *X* containing the origin of *X* is a monodromy ordered metric space with the same metric ${d}_{X}$ on *S* and with respect to a monotonized point $0\in S$.

Recall that a nonempty subset *A* of a poset $(P,\succcurlyeq )$ is said to be inductive if every chain in *A* has an upper bound in *A*. The next definition extends this concept.

**Definition 4.6** A nonempty subset *A* of a poset $(P,\succcurlyeq )$ is said to be totally inductive in *P* whenever, for any given chain $\{{x}_{\alpha}\}\subset P$, every element ${x}_{\beta}\in \{{x}_{\alpha}\}$ has an upper bound in *A* implies that the chain $\{{x}_{\alpha}\}$ has an upper bound in *A*.

It is clear that every totally inductive subset of a poset is inductive. However, the inverse may not true. The following lemma provides a sufficient condition for an inductive set to be totally inductive.

**Lemma 4.7** *Let* *A* *be an inductive subset of a poset* $(P,\succcurlyeq )$. *If* *A* *has finite number of maximal elements*, *then* *A* *is totally inductive*.

*Proof*Take an arbitrary chain $\{{x}_{\alpha}\}\subset P$ satisfying that every element ${x}_{\beta}\in \{{x}_{\alpha}\}$ has an upper bound ${z}_{\beta}\in A$. We write the set of maximal elements of

*A*by $\{{u}_{1},{u}_{2},\dots ,{u}_{m}\}\subset A$, for some positive integer

*m*. We claim that, for any given ${x}_{\beta}\in \{{x}_{\alpha}\}$, we must have

Since ${z}_{\gamma}\in E({z}_{\gamma})$, we get $E({z}_{\gamma})\ne \mathrm{\varnothing}$. For any arbitrary chain *C* in $E({z}_{\gamma})\subset A$, it is also a chain in *A*. It follows that the inductivity of *A* implies that *C* has an upper bound $d\in A$. It is clear that $d\in E({z}_{\gamma})$. Thus, it shows that *d* is an upper bound of *C* in $E({z}_{\gamma})$, hence $E({z}_{\gamma})$ is inductive. Using Zorn’s Lemma, $E({z}_{\gamma})$ has a maximal element *w* of $E({z}_{\gamma})$. In the case if there is $v\in A$ with $v\succcurlyeq w$ and $w\nsucc v$, then $v\in E({z}_{\gamma})$ and *w* could not be a maximal element in $E({z}_{\gamma})$. It shows that *w* is also a maximal element of *A*. From the hypotheses that ${z}_{\gamma}$ does not satisfy (6), then the maximal element $w\notin \{{u}_{1},{u}_{2},\dots ,{u}_{m}\}$. It is a contradiction to the assumption that $\{{u}_{1},{u}_{2},\dots ,{u}_{m}\}$ is the collection of all maximal elements of *A*. The claim is proved.

*C*is recursively defined as below:

By (6), it follows that $\{{E}_{1},{E}_{2},\dots ,{E}_{m}\}$ is a partition of $\{{x}_{\alpha}\}$ with some empty members.

Next we show that in $\{{E}_{1},{E}_{2},\dots ,{E}_{m}\}$, there is one and only one nonempty member. To this end, contrarily assume that there are two numbers $1\u2a7di<j\u2a7dm$, such that ${E}_{i}$ and ${E}_{j}$ both are nonempty. Then we take ${x}_{\alpha (i)}\in {E}_{i}$ and ${x}_{\alpha (j)}\in {E}_{j}$. Since $\{{x}_{\alpha}\}$ is a chain, which is totally ordered, so we must have either ${x}_{\alpha (i)}\preccurlyeq {x}_{\alpha (j)}$ or ${x}_{\alpha (j)}\preccurlyeq {x}_{\alpha (i)}$. It implies either ${x}_{\alpha (i)}\in {E}_{j}$ or ${x}_{\alpha (j)}\in {E}_{i}$. It is a contradiction to the fact that ${E}_{i}\cap {E}_{j}=\mathrm{\varnothing}$. It proves that in $\{{E}_{1},{E}_{2},\dots ,{E}_{m}\}$, there is a unique nonempty member. Thus, this lemma follows immediately. □

**Theorem 4.8**

*Let*$(S,{d}_{X})$

*be a monodromy ordered metric space with respect to an ordered vector space*$(X,{\succcurlyeq}^{X})$

*and with a monotonized point*${s}^{\prime}\in S$.

*Suppose a set*-

*valued mapping*$F:S\to {2}^{S}\setminus \{\mathrm{\varnothing}\}$

*satisfies the following conditions*:

- 1.
*F**is ordered metric increasing upward on**S**with respect to the point*${s}^{\prime}\in S$; - 2.
*For every*$s\in S$,*the set*$\{{d}_{X}(u,{s}^{\prime}):u\in F(s)\}$*is a totally inductive subset of**X*; - 3.
*The set*${\bigcup}_{s\in S}\{{d}_{X}(u,{s}^{\prime}):u\in F(s)\}$*is a chain*-*complete subset of**X*; - 4.
*There is an element*${s}_{0}\in S$*such that*${d}_{X}({s}_{0},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}(u,{s}^{\prime})$,*for some*$u\in F({s}_{0})$.

*Then* *F* *has a fixed point*.

*Proof*We define the ordered metric image set for the given mapping

*F*as follows:

From condition 4, ${d}_{X}({s}_{0},{s}^{\prime})\in A(F)$; and therefore, $A(F)$ is a nonempty subset of *X*.

Next, we show that $A(F)$ is inductive.

*α*, since ${u}_{\alpha}\in F({s}_{\alpha})$, from condition 1, (10) implies that there is ${v}_{\alpha}\in F(\stackrel{\u02c6}{u})$ such that

*X*. Then (11) implies that the chain $\{{d}_{X}({s}_{\alpha},{s}^{\prime})\}$ has an upper bound in $\{{d}_{X}(v,{s}^{\prime}):v\in F(\stackrel{\u02c6}{u})\}$, which is denoted by ${d}_{X}(\stackrel{\u02c6}{v},{s}^{\prime})$ with $\stackrel{\u02c6}{v}\in F(\stackrel{\u02c6}{u})$. Hence

It follows that $\bigvee \{{d}_{X}({s}_{\alpha},{s}^{\prime})\}={d}_{X}(\stackrel{\u02c6}{u},{s}^{\prime})\in A(F)$. It implies that the chain $\{{d}_{X}({s}_{\alpha},{s}^{\prime})\}$ has an upper bound in $A(F)$; and therefore, $A(F)$ is inductive.

Since $(S,{d}_{X})$ is monodromy with respect to this element ${s}^{\prime}\in S$, (14) implies that ${s}^{\ast}={u}^{\ast}\in F({s}^{\ast})$. Hence ${s}^{\ast}$ is a fixed point of *F*. □

Let *S* be an arbitrary nonempty subset *S* of ${X}^{+}$ containing 0. From Example 4.5, $(S,{d}_{X})$ is a monodromy ordered metric space with respect to the ordered vector space $(X,{\succcurlyeq}^{X})$, and with $0\in S$ as a monotonized point. It satisfies, for any $s\in S$, ${d}_{X}(s,0)=s$; and therefore, for any ${s}_{1},{s}_{2}\in S$, ${d}_{X}({s}_{1},0){\preccurlyeq}^{X}{d}_{X}({s}_{2},0)$ if and only if ${s}_{1}{\preccurlyeq}^{X}{s}_{2}$. Hence, if a set-valued mapping $F:S\to {2}^{S}\setminus \{\mathrm{\varnothing}\}$ is ordered metric increasing upward, with respect to point 0, then it is ordered increasing upward, that is, whenever for any given ${s}_{1},{s}_{2}\in S$, ${s}_{1}{\preccurlyeq}^{X}{s}_{2}$ implies that, for every ${t}_{1}\in F({s}_{1})$, there is ${t}_{2}\in F({s}_{2})$ satisfying ${t}_{1}{\preccurlyeq}^{X}{t}_{2}$. As a consequence of Theorem 4.8, we have the following.

**Corollary 4.9**

*Let*$(S,{d}_{X})$

*be a nonempty subset of the positive cone of a Riesz space*$(X,{\succcurlyeq}^{X})$,

*which contains*0.

*Suppose a set*-

*valued mapping*$F:S\to {2}^{S}\setminus \{\mathrm{\varnothing}\}$

*satisfies the following conditions*:

- 1.
*F**is ordered increasing upward on**S*; - 2.
*for every*$s\in S$,*the set*$F(s)$*is a totally inductive subset of**X*; - 3.
*the set*${\bigcup}_{s\in S}F(s)$*is a chain*-*complete subset of**X*; - 4.
*there is an element*${s}_{0}\in S$*such that*${s}_{0}{\preccurlyeq}^{X}u$,*for some*$u\in F({s}_{0})$.

*Then* *F* *has a fixed point*.

**Remark 4.10** From Lemma 4.7, Theorem 4.8 and Corollary 4.9 still hold if condition 2 is, respectively, replaced by

2′ For every $s\in S$, the set $\{{d}_{X}(u,{s}^{\prime}):u\in F(s)\}$, or $F(s)$, is an inductive subset of *X* with finite number of maximal elements.

Considering single-valued mappings as special cases of set-valued mappings, the following result follows immediately from Theorem 4.8.

**Corollary 4.11**

*Let*$(S,{d}_{X})$

*be a monodromy ordered metric space with respect to an ordered vector space*$(X,{\succcurlyeq}^{X})$

*and with a monotonized point*${s}^{\prime}\in S$.

*If a single*-

*valued self*-

*mapping*

*f*

*on*

*S*

*satisfies the following conditions*:

- 1.
*f**is ordered metric increasing on**S**with respect to the point*${s}^{\prime}\in S$; - 2.
*The set*$\{{d}_{X}(f(s),{s}^{\prime}):s\in S\}$*is a chain*-*complete subset of**X*; - 3.
*There is an element*${s}_{0}\in S$*such that*${d}_{X}({s}_{0},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}(f({s}_{0}),{s}^{\prime})$.

*Then* *f* *has a fixed point*.

## 5 Applications to best ordered approximation problems

Since Fan [8] proved a best approximation theorem by applying fixed point theorem on normed linear spaces, many authors have extended this theorem to more general topological spaces and have provided applications to approximation theory (see [9–12]). As applications of the fixed point theorems proved in previous section, in this section, we extend the concept of best approximation from metric spaces to ordered metric spaces and give some best ordered approximation theorems.

**Definition 5.1**Let $(S,{d}_{X})$ be an ordered metric space with respect to an ordered vector space $(X,{\succcurlyeq}^{X})$ and

*K*a nonempty subset of

*S*. Let $f:K\to S$ be a map. An element $u\in K$ is called a best ordered approximation of

*f*on

*K*, if it satisfies

where $min\{{d}_{X}(s,f(u)):s\in K\}$ is the smallest (minimum) element of the set $\{{d}_{X}(s,f(u)):s\in K\}$ with respect to the ordering ${\succcurlyeq}^{X}$ on *X*.

This mapping ${T}_{f}$ is called the approximating mapping of the map *f*.

It is worthy to note that if $(S,{d}_{X})$ is monodromy, then, for any given map $f:K\to S$ and for $t\in K$, the value of its approximating mapping ${T}_{f}(t)$ is either ∅ or a singleton.

As a consequence of Corollary 4.11, we have the following.

**Theorem 5.2**

*Let*$(S,{d}_{X})$

*be a monodromy ordered metric space with respect to an ordered vector space*$(X,{\succcurlyeq}^{X})$

*and with a monotonized point*${s}^{\prime}\in S$

*and*

*K*

*a nonempty order*-

*metric complete subset of*

*S*

*containing*${s}^{\prime}$.

*Let*$f:K\to S$

*be a map*.

*Suppose the approximating mapping*${T}_{f}$

*of*

*f*

*satisfies the following conditions*:

- 1.
${T}_{f}(s)\ne \mathrm{\varnothing}$;

*and therefore it is a singleton*,*for every*$s\in K$; - 2.
${T}_{f}$

*is ordered metric increasing on**K**with respect to the point*${s}^{\prime}\in K$; - 3.
*the set*$\{{d}_{X}({T}_{f}({s}^{\prime})):s\in K\}$*is a chain*-*complete subset of**X*; - 4.
*there is an element*${s}_{0}\in K$*such that*${d}_{X}({s}_{0},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}(f({s}_{0}),{s}^{\prime})$.

*Then* *f* *has a best ordered approximation on* *K*.

*Proof*Since ${s}^{\prime}\in K$, it is easily to see that $(K,{d}_{X})$ is also a monodromy ordered metric space with respect to an ordered vector space $(X,{\succcurlyeq}^{X})$ and with this monotonized points ${s}^{\prime}\in S$. Condition 1 implies that the map ${T}_{f}:K\to S$ is well defined. From conditions 2-4 in this theorem, the map ${T}_{f}$ satisfies all conditions in Corollary 4.11. Then it follows that ${T}_{f}$ has a fixed points ${s}^{\ast}={T}_{f}({s}^{\ast})$. It implies

Hence ${s}^{\ast}$ is a best ordered approximation of *f* on *K*. □

**Theorem 5.3**

*Let*$(S,{d}_{X})$

*be a monodromy ordered metric space*,

*with respect to a generalized Archimedean ordered vector space*$(X,{\succcurlyeq}^{X})$

*and with a monotonized point*${s}^{\prime}\in S$

*and*

*K*

*a nonempty order*-

*metric complete subset of*

*S*

*containing*${s}^{\prime}$.

*Let*$f:K\to S$

*be a map*.

*Suppose the approximating mapping*${T}_{f}:K\to {2}^{K}$

*of*

*f*

*satisfies the following conditions*:

- 1.
${T}_{f}(s)\ne \mathrm{\varnothing}$,

*for every*$s\in K$; - 2.
*there is a positive number*$\alpha <1$,*such that*${d}_{X}({T}_{f}({s}_{1}),{T}_{f}({s}_{2})){\preccurlyeq}^{X}\alpha {d}_{X}({s}_{1},{s}_{2})$,*for all*${s}_{1},{s}_{2}\in S$.

*Then* *f* *has a best ordered approximation on* *K*.

*Proof* Since $(S,{d}_{X})$ is monodromy, from condition 1, it implies that, for every $t\in K$, the value of its approximating mapping ${T}_{f}(t)$ is a singleton. Hence, we can consider ${T}_{f}$ as a single-valued map from *K* to *K*. By condition 2 of this theorem, ${T}_{f}$ satisfies condition (4) in Theorem 4.1. It follows that ${T}_{f}$ has a fixed point. Similarly to the proof of Theorem 4.1, the fixed point of ${T}_{f}$ is a best ordered approximation of *f* on *K*. □

**Definition 5.4**Let $(S,{d}_{X})$ be an ordered metric space with respect to an ordered vector space $(X,{\succcurlyeq}^{X})$ and

*K*a nonempty subset of

*S*. Let $f:K\to S$ be a map. An element $u\in K$ is called an extended best ordered approximation of

*f*on

*K*, if it satisfies

where $Min\{{d}_{X}(s,f(u)):s\in K\}$ is the set of minimal elements of the set $\{{d}_{X}(s,f(u)):s\in K\}$ with respect to the ordering ${\succcurlyeq}^{X}$ on *X*.

It is clear that even in the case if $(S,{d}_{X})$ is a monodromy, for any given map $f:K\to S$ and for $t\in K$, the value of its approximating mapping ${T}_{f}(t)$ may not be a singleton. As a consequence of Theorem 4.8, we have the following.

**Theorem 5.5**

*Let*$(S,{d}_{X})$

*be a monodromy ordered metric space with respect to an ordered vector space*$(X,{\succcurlyeq}^{X})$

*and with a monotonized point*${s}^{\prime}\in S$

*and*

*K*

*a nonempty subset of*

*S*

*containing*${s}^{\prime}$.

*Let*$f:K\to S$

*be a map*.

*Suppose the approximating mapping*${T}_{f}:K\to {2}^{K}$

*of*

*f*

*satisfies the following conditions*:

- 1.
${T}_{f}(s)\ne \mathrm{\varnothing}$,

*for every*$s\in K$; - 2.
${T}_{f}$

*is ordered metric increasing upward on**K**with respect to the point*${s}^{\prime}\in K$; - 3.
*for every*$s\in K$,*the set*$\{{d}_{X}(u,{s}^{\prime}):u\in {T}_{f}(s)\}$*is a totally inductive subset of**X*; - 4.
*the set*${\bigcup}_{s\in K}\{{d}_{X}(u,{s}^{\prime}):u\in {T}_{f}(s)\}$*is a chain*-*complete subset of**X*; - 5.
*there is an element*${s}_{0}\in K$*such that*${d}_{X}({s}_{0},{s}^{\prime}){\preccurlyeq}^{X}{d}_{X}(u,{s}^{\prime})$,*for some*$u\in {T}_{f}({s}_{0})$.

*Then* *f* *has a best ordered approximation on* *K*.

## Misc

Equal contributors

## Declarations

### Acknowledgements

The authors are grateful for those who have offered their valuable suggestions on improving our work.

## Authors’ Affiliations

## References

- Mustafa Z, Sims B: A new approach to generalized metric spaces.
*J. Nonlinear Convex Anal.*2006, 7(2):289–297.MathSciNetGoogle Scholar - Dhage BC: Generalized metric space and mapping with fixed point.
*Bull. Am. Math. Soc.*1992, 84: 329–336.MathSciNetGoogle Scholar - Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings.
*J. Math. Anal. Appl.*2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087View ArticleMathSciNetGoogle Scholar - Morales JR, Rojas S: Cone metric spaces and fixed point theorems of
*T*-contractive mappings.*Notas Mat.*2008, 4(2):66–78.Google Scholar - Aliprantis CD, Burkinshaw O:
*Positive Operators*. Springer, Berlin; 2006.View ArticleGoogle Scholar - Alber YI, Reich S: An iterative method for solving a class of nonlinear operator equations in Banach spaces.
*Panam. Math. J.*1994, 4(2):39–54.MathSciNetGoogle Scholar - Carl S, Heikkilä S:
*Fixed Point Theory in Ordered Sets and Applications: From Differential and Integral Equations to Game Theory*. Springer, New York; 2010.Google Scholar - 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 - 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 - Reich S: Fixed points in locally convex spaces.
*Math. Z.*1972, 125: 17–31. 10.1007/BF01111112View ArticleMathSciNetGoogle Scholar - Reich S: Approximate selection sets, best approximations, fixed points, and invariant sets.
*J. Math. Anal. Appl.*1978, 62: 104–113. 10.1016/0022-247X(78)90222-6View ArticleMathSciNetGoogle 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 credited.