# Fixed-point theorems for mappings satisfying the ordered contractive condition on noncommutative spaces

- Qiaoling Xin
^{1}and - Lining Jiang
^{1}Email author

**2014**:30

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

© Xin and Jiang; licensee Springer. 2014

**Received: **10 September 2013

**Accepted: **21 January 2014

**Published: **7 February 2014

## Abstract

In the paper, we introduce noncommutative Banach spaces which generalize the concept of Banach spaces, and the *k*-ordered contractive condition; we then discuss an ordered structure and several properties on noncommutative Banach spaces. Moreover, some fixed-point theorems for mappings with the *k*-ordered contractive condition on noncommutative Banach spaces are presented. In addition, we investigate the existence and uniqueness of fixed points for an integral equation of Fredholm type.

**MSC:**47H10.

## Keywords

## 1 Introduction

The well-known fixed-point theorem of Banach [1] is a very important tool for solving existence problems in many branches of mathematics and physics. There are a large number of generalizations of the Banach contraction principle in the literature (see [2–14] and others). The theorem has been generalized in two directions. On the one side, the usual contractive condition is replaced by weakly contractive conditions. On the other side, the action spaces are replaced by metric spaces endowed with an ordered or partially ordered structure. In particular, there is much interest in obtaining the existence and uniqueness of fixed points for self-maps by altering the action spaces. In this direction, Dhage *et al.* [8] addressed a new category of fixed-point problems for a self-map with the help of ordered Banach spaces. Further improvements in those spaces were found in [14]. In recent years, Ran and Reurings [13], O’Regan and Petruşel [12] and others started the investigations concerning a fixed-point theory in ordered metric spaces. Later, many authors followed this concept by introducing and investigating the different types of contractive mappings, *e.g.*, in [6] Caballero *et al.* considered contractive-like mappings in ordered metric spaces and applied their results in ordinary differential equations. Some interesting fixed-point theorems concerning partially ordered metric spaces can also be found in [3, 5].

The results obtained by Huang and Zhang [9] have become of interest for many scholars. They reconsidered the Banach contraction principle by initiating a new concept of cone metric spaces. Recently, also, the existence of fixed points for the given contractive type mappings in partially ordered cone metric spaces was investigated (see [4, 10]).

The purpose of this paper is to present some fixed-point theorems for mappings satisfying the ordered contractive condition in the context of noncommutative metric spaces which are noncommutative sense of those in [9].

The paper is organized as follows: we firstly introduce a noncommutative Banach space and the *k*-ordered contractive condition, and then discuss the ordered structure and several properties on noncommutative Banach spaces. Moreover, some fixed-point theorems on this space are established. Finally, we investigate the existence and uniqueness of fixed points for integral equation of Fredholm type.

Throughout this paper, the letters ℝ, ${\mathbb{R}}^{+}$, ℕ will denote the sets of all real numbers, nonnegative real numbers and natural numbers, respectively.

To begin with, we introduce some definitions and properties which will be used later.

**Definition 1.1**Let

*E*be a group with a unit

*e*and suppose that there exists a metric

*d*on

*E*such that $(E,d)$ is a complete metric space.

*E*is said to be a noncommutative Banach space if the following conditions hold:

- (1)
for any $x,y,z\in E$, we have $d(xz,yz)=d(x,y)$;

- (2)there exists a binary continuous operation$F:\mathbb{R}\times E\to E,\phantom{\rule{1em}{0ex}}(\alpha ,x)\mapsto {x}^{\alpha}$

*x*in the group

*E*and $F(0,x)={x}^{0}=e$ is the unit in the group

*E*, and that

- (3)for any $x\in E$, there exists a constant ${M}_{x}>0$ such that$d({x}^{\alpha},e)\le {M}_{x}|\alpha |,\phantom{\rule{1em}{0ex}}\mathrm{\forall}\alpha \in \mathbb{R}.$

In particular, if there exists a constant $M>0$ such that $d({x}^{\alpha},e)\le M|\alpha |$ for $x\in E$, $\alpha \in \mathbb{R}$, then *E* is said to be uniformly bounded.

Let *E* be a uniformly bounded noncommutative Banach space. Taking $\alpha =1$, we conclude that $d(x,e)\le M$, which together with the triangular inequality yields $d(x,y)\le 2M$. This shows *E* is bounded.

**Example 1.1** All Banach spaces are noncommutative Banach spaces. Let $(X,\parallel \cdot \parallel )$ be a Banach space, then $(X,+)$ is a group with a unit *θ*, and there exists a metric *d* induced by the norm $\parallel \cdot \parallel $ such that $(X,d)$ is a complete metric space. Firstly, the metric *d* satisfies $d(x+z,y+z)=d(x,y)$ for $x,y,z\in X$. Secondly, there exists a binary continuous mapping $F:\mathbb{R}\times X\to X$, $(k,x)\mapsto kx$ satisfying the condition (2) in Definition 1.1. Finally, for any $x\in X$, there exists a constant ${M}_{x}=\parallel x\parallel +1>0$ such that $d(kx,\theta )=\parallel kx\parallel =|k|\parallel x\parallel \le |k|{M}_{x}$, $\mathrm{\forall}k\in \mathbb{R}$. According to the definition, *X* is a noncommutative Banach space.

**Example 1.2**Let ${\mathbb{R}}^{n}$ be the standard

*n*-dimensional vector space over ℝ. Define

for $x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in {\mathbb{R}}^{n}$. Clearly, ${\mathbb{R}}^{n}$ is a complete metric space. In order to verify that ${\mathbb{R}}^{n}$ is a noncommutative Banach space. It suffices to show that for any $x=({x}_{1},{x}_{2},\dots ,{x}_{n})\in {\mathbb{R}}^{n}$, there exists a constant ${M}_{x}>0$ such that $d(kx,\theta )\le {M}_{x}|k|$, for $k\in \mathbb{R}$, where *θ* is unit in ${\mathbb{R}}^{n}$. Indeed, choose ${M}_{x}=\{1,|{x}_{1}|,|{x}_{2}|,\dots ,|{x}_{n}|\}$, and we get $d(kx,\theta )\le {M}_{x}|k|$.

**Example 1.3**Suppose that

*H*is a Hilbert space and $U(H)$ is the unitary group of

*H*. Put

*H*. Moreover, for any $T\in U(H)$ and $\alpha \in \mathbb{R}$, set

*T*. Notice that

for $\alpha \in \mathbb{R}$. Then $U(H)$ is a uniformly bounded noncommutative Banach space.

**Definition 1.2**Let

*E*be a noncommutative Banach space.

*P*is a subset of

*E*satisfying the following conditions:

- (1)
*P*is nonempty, closed, and $P\ne \{e\}$; - (2)
$x,y\in P$ and $\alpha ,\beta \in {\mathbb{R}}^{+}$ implies ${x}^{\alpha}{y}^{\beta}\in P$;

- (3)
$P\cap {P}^{-1}=\{e\}$ where ${P}^{-1}=\{{x}^{-1}:x\in P\}$.

Then *P* is called a cone in *E*.

*P*in a noncommutative Banach space

*E*, a relation can be introduced as follows:

*E*with respect to

*P*. In fact:

- (i)
For $x\in E$, ${x}^{\beta}{x}^{-\beta}={x}^{\beta -\beta}={x}^{0}=e\in P$ for all $\beta \in [0,1]$. This implies that $x\lesssim x$.

- (ii)
If $x\lesssim y$ and $y\lesssim x$, then ${y}^{\beta}{x}^{-\beta}\in P$ and ${({y}^{\beta}{x}^{-\beta})}^{-1}={x}^{\beta}{y}^{-\beta}\in P$ for all $\beta \in [0,1]$. By $P\cap {P}^{-1}=\{e\}$, we get ${y}^{\beta}={x}^{\beta}$, which implies that $y=x$.

- (iii)
If $x\lesssim y$ and $y\lesssim z$, then ${y}^{\beta}{x}^{-\beta}\in P$ and ${z}^{\beta}{y}^{-\beta}\in P$ for all $\beta \in [0,1]$, which together with the condition (2) in Definition 1.2 can infer ${z}^{\beta}{x}^{-\beta}\in P$. This shows that $x\lesssim z$.

**Definition 1.3**A cone $P\subseteq E$ is called normal if there is a number $N>0$ such that

The least positive number *N* satisfying the above is called the normal constant of *P*. It is clear that $N\ge 1$.

**Remark 1.1**Let $x\in P$, $\alpha \in \mathbb{R}$, then the following relation holds:

Indeed, for any $\beta \in [0,1]$, if $\alpha \ge 1$, then ${({x}^{\alpha})}^{\beta}{x}^{-\beta}={x}^{(\alpha -1)\beta}\in P$ since *P* is a cone, thus we can get $x\lesssim {x}^{\alpha}$; if $\alpha <1$, then ${x}^{\beta}{({x}^{\alpha})}^{-\beta}={x}^{(1-\alpha )\beta}\in P$, which means ${x}^{\alpha}\lesssim x$.

**Definition 1.4**For $u,v\in E$, if either $u\lesssim v$ or $v\lesssim u$ holds, we say that

*u*and

*v*are comparable, denoted

From the above definitions, we have the following properties.

**Lemma 1.1**

*Suppose that*

*P*

*is a cone in*

*E*.

*For*$u,v\in E$,

*we have*:

- (1)
*Set*$u\lesssim v$,*then*${u}^{\alpha}\lesssim {v}^{\alpha}$*holds for any*$0\le \alpha \le 1$. - (2)
*If**u**and**v**are comparable*,*then*$u{v}^{-1}$*and*$v{u}^{-1}$*are comparable*,*and furthermore*$e\lesssim \vee (u{v}^{-1},v{u}^{-1})$. - (3)
*If**u**and**v**are comparable*,*then*$d(\vee (u{v}^{-1},v{u}^{-1}),e)=d(u,v)$. - (4)
(

*compatibility*)*Let*$\{{u}_{n}\},\{{v}_{n}\}\subset E$, ${u}_{n}$*and*${v}_{n}$*be comparable for all*$n\in \mathbb{N}$.*If*${u}_{n}\to {u}_{0}$, ${v}_{n}\to {v}_{0}$,*then*${u}_{0}$*and*${v}_{0}$*are comparable*.

*Proof* (1) Let $u\lesssim v$, we have ${v}^{\beta}{u}^{-\beta}\in P$ for all $\beta \in [0,1]$. Since $\alpha \beta \in [0,1]$ for any $\alpha \in [0,1]$, we see ${v}^{\alpha \beta}{u}^{-\alpha \beta}\in P$, which implies that ${u}^{\alpha}\lesssim {v}^{\alpha}$.

(2) Without loss of generality, one can suppose that $u\lesssim v$, which means $v{u}^{-1}\in P$. Using Remark 1.1, one can see $u{v}^{-1}\lesssim v{u}^{-1}$. Furthermore ${(v{u}^{-1})}^{\beta}{e}^{-\beta}={(v{u}^{-1})}^{\beta}\in P$ for all $\beta \in [0,1]$, which implies $e\lesssim v{u}^{-1}$, and therefore $e\lesssim \vee (u{v}^{-1},v{u}^{-1})$.

*n*, we can suppose that there exist two subsequences ${u}_{{n}_{k}}$ and ${v}_{{n}_{k}}$ such that ${u}_{{n}_{k}}\lesssim {v}_{{n}_{k}}$ for all

*k*. Note that for all $\beta \in [0,1]$

As *P* is closed, one obtains ${v}_{0}^{\beta}{u}_{0}^{-\beta}\in P$. This says that ${u}_{0}\lesssim {v}_{0}$. □

## 2 Fixed-point theorems on noncommutative Banach spaces

From now on, we always suppose that *E* is a noncommutative Banach space with a partial ordering ≲ induced by a normal cone *P* with the normal constant *N*. And some fixed-point theorems for mappings on *E* satisfying the ordered contractive condition will be presented. Let us begin with the following theorem.

**Theorem 2.1**

*Let*$A:E\to E$

*be a continuous mapping and suppose that the following two assertions hold*.

- (1)
*There exists a constant*$k\in (0,1)$*such that for all*$u,v\in E$,*if**u**and**v**are comparable*,*then**Au**and**Av**are comparable and furthermore*$\vee (Av{(Au)}^{-1},Au{(Av)}^{-1})\lesssim \vee {(v{u}^{-1},u{v}^{-1})}^{k}.$*In this case*,*we say**A**satisfies the**k*-*ordered contractive condition*. - (2)
*There exists*${x}_{0}\in E$*such that*${x}_{0}$*and*$A{x}_{0}$*are comparable*.

*Then*

*A*

*has a fixed point*${x}^{\ast}$

*which is unique in the comparable sense*.

*Namely*,

*if*$A{y}^{\ast}={y}^{\ast}$

*and*${y}^{\ast}$

*and*${x}^{\ast}$

*are comparable*,

*then*${y}^{\ast}={x}^{\ast}$.

*Moreover*,

*Proof* Define a sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}\subseteq E$ by the formula ${x}_{n}={A}^{n}{x}_{0}$, $n\in \mathbb{N}$. The proof can be divided into three steps.

*Step I*. $\{{x}_{n}\}$ is a Cauchy sequence.

*A*satisfies the

*k*-ordered contractive condition, we obtain ${x}_{1}$ and ${x}_{2}$, ${x}_{2}$ and ${x}_{3}$, … , ${x}_{n}$ and ${x}_{n+1}$ are comparable. Notice

which shows $\{{x}_{n}\}$ is a Cauchy sequence. The completeness of *E* implies that there exists ${x}^{\ast}\in E$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}={x}^{\ast}$.

*Step II*. ${x}^{\ast}$ is a fixed point of *A*.

*A*is continuous, we get

which shows ${x}^{\ast}$ is a fixed point of *A*.

*Step III*. The uniqueness of the fixed point of *A* in the comparable sense.

In addition, we know $\vee ({y}^{\ast}{{x}^{\ast}}^{-1},{x}^{\ast}{{y}^{\ast}}^{-1})={x}^{\ast}{{y}^{\ast}}^{-1}$. Then ${x}^{\ast}{{y}^{\ast}}^{-1}\lesssim {({x}^{\ast}{{y}^{\ast}}^{-1})}^{k}$, which implies ${({x}^{\ast}{{y}^{\ast}}^{-1})}^{k-1}\in P$. On the other hand, we have ${({x}^{\ast}{{y}^{\ast}}^{-1})}^{1-k}\in P$. Now, from the definition of a cone, we have ${x}^{\ast}{{y}^{\ast}}^{-1}=e$, and then ${y}^{\ast}={x}^{\ast}$.

□

**Remark 2.1**Assume in addition that

*E*satisfies the condition:

- (3)
For $u,v\in E$, if they are not comparable, then there exists $w\in E$ such that

*u*and*w*,*v*and*w*are comparable, respectively.

Then *A* has a unique fixed point. Note that condition (3) is always valid if *E* is a lattice.

*A*. Suppose that ${x}^{\ast}$, ${y}^{\ast}$ are fixed points of

*A*. Claim that ${x}^{\ast}$ and ${y}^{\ast}$ are comparable. If not, there exists $z\in E$ such that ${x}^{\ast}$ and

*z*, ${y}^{\ast}$ and

*z*are comparable, respectively. Since

*A*satisfies the

*k*-ordered contractive condition, then ${A}^{n+1}{x}^{\ast}$ and ${A}^{n+1}z$, ${A}^{n+1}{y}^{\ast}$ and ${A}^{n+1}z$ are comparable for any $n\in \mathbb{N}$, respectively. Also,

as $n\to \mathrm{\infty}$, which implies ${x}^{\ast}={y}^{\ast}$. This is a contradiction. Therefore, ${x}^{\ast}$ and ${y}^{\ast}$ are comparable. By Theorem 2.1, ${x}^{\ast}={y}^{\ast}$.

**Corollary 2.1** *Let* *E* *be a uniformly bounded noncommutative Banach space*, *P* *a normal cone with the normal constant* *N*. *For* $c\in {\mathbb{R}}^{+}$, ${x}_{0}\in E$, *set* $B({x}_{0},c)=\{x\in E:d(x,{x}_{0})\le c\}$. *Suppose that a continuous mapping* $A:E\to E$ *satisfies the* *k*-*ordered contractive condition and* $d(A{x}_{0},{x}_{0})\le c-kNM$. *Also*, ${x}_{0}$ *and* $x\in B({x}_{0},c)$ *are comparable*. *Then there exists a unique fixed point in* $B({x}_{0},c)$ *in the comparable sense*.

*Proof* It suffices to show that $Ax\in B({x}_{0},c)$ for any $x\in B({x}_{0},c)$.

*A*satisfies the

*k*-ordered contractive condition, we have

□

**Corollary 2.2**

*Let*$A:E\to E$

*be a continuous mapping and suppose that the following two assertions hold*:

- (1)
*there exist*$k\in (0,1)$*and*${n}_{0}\in \mathbb{N}$*such that for all*$u,v\in E$,*if**u**and**v**are comparable*,*then**Au**and**Av**are comparable and furthermore*$\vee ({A}^{{n}_{0}}v{\left({A}^{{n}_{0}}u\right)}^{-1},{A}^{{n}_{0}}u{\left({A}^{{n}_{0}}v\right)}^{-1})\lesssim \vee {(v{u}^{-1},u{v}^{-1})}^{k};$ - (2)
*there exists*${x}_{0}\in E$*such that*${x}_{0}$*and*$A{x}_{0}$*are comparable*.

*Then* *A* *admits a unique fixed point* ${x}^{\ast}$ *in the comparable sense*.

*Proof*By Theorem 2.1, we know ${A}^{{n}_{0}}$ has a unique fixed point ${x}^{\ast}$ in the comparable sense. Notice that

which means $A{x}^{\ast}$ is also a fixed point of ${A}^{{n}_{0}}$. Again, since ${x}_{0}$ and $A{x}_{0}$ are comparable, then ${x}^{\ast}$ and $A{x}^{\ast}$ are comparable, which implies $A{x}^{\ast}={x}^{\ast}$. Since the fixed point of *A* is also the fixed point of ${A}^{{n}_{0}}$, the fixed point of *A* is unique in the comparable sense. □

**Theorem 2.2**

*Let*$A:E\to E$

*be a mapping and suppose that the following two assertions hold*:

- (1)
*there exists a constant*$k\in (0,\frac{1}{2})$*such that for all*$\beta \in [0,1]$,*if**u**and**v**are comparable*,*then**Au**and**Av*,*Au**and**u*,*Av**and**v**are comparable*,*and furthermore*$\vee {(Av{(Au)}^{-1},Au{(Av)}^{-1})}^{\beta}\lesssim \vee {(Au{u}^{-1},u{(Au)}^{-1})}^{k\beta}\vee {(Av{v}^{-1},v{(Av)}^{-1})}^{k\beta};$ - (2)
*A**is continuous*.

*Then*

*A*

*admits a unique fixed point*${x}^{\ast}$

*in the comparable sense*,

*and for each*${x}_{0}\in E$, ${lim}_{n\to \mathrm{\infty}}{A}^{n}{x}_{0}={x}^{\ast}$.

*Moreover*,

*Proof*By the reflexivity of the partial ordering ‘≲’ in

*E*, ${x}_{0}\lesssim {x}_{0}$. And since

*A*satisfies the condition (1), then ${x}_{0}$ and $A{x}_{0}$, $A{x}_{0}$ and ${A}^{2}{x}_{0}$, … , ${A}^{n}{x}_{0}$ and ${A}^{n+1}{x}_{0}$ are comparable. Put ${x}_{n}={A}^{n}{x}_{0}$. Then for each integer $n\ge 1$, from the condition (1), we get

*E*with respect to

*P*, one has

As in the proof of Theorem 2.1, $\{{x}_{n}\}$ is a Cauchy sequence and there exists ${x}^{\ast}\in E$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}={x}^{\ast}$. Also, ${x}^{\ast}$ is a fixed point of *A*.

It remains to be shown that ${x}^{\ast}$ is a unique fixed point of *A*.

Since $\vee ({y}^{\ast}{{x}^{\ast}}^{-1},{x}^{\ast}{{y}^{\ast}}^{-1})={x}^{\ast}{{y}^{\ast}}^{-1}$. Then ${x}^{\ast}{{y}^{\ast}}^{-1}\lesssim e$, which implies ${({x}^{\ast}{{y}^{\ast}}^{-1})}^{-1}\in P$. Now, applying Definition 1.2, we obtain the desired result.

Let ${u}_{0},{v}_{0}\in E$, and ${u}_{0}\lesssim {v}_{0}$. By $[{u}_{0},{v}_{0}]$ from now on we denote the order interval $\{u\in E:{u}_{0}\lesssim u\lesssim {v}_{0}\}$. Finally, we consider the fixed-point theorem in the order interval. □

**Theorem 2.3** *Let* $[{u}_{0},{v}_{0}]$ *be the order interval in* *E*. *If* $A:[{u}_{0},{v}_{0}]\to [{u}_{0},{v}_{0}]$ *satisfies the conditions in Theorem * 2.2, *then* *A* *has a unique fixed point in the comparable sense*.

*Proof*Consider sequences $\{{u}_{n}\}$ and $\{{v}_{n}\}$ defined by ${u}_{n}={A}^{n}{u}_{0}$ and ${v}_{n}={A}^{n}{v}_{0}$, respectively. Then $\{{u}_{n}\},\{{v}_{n}\}\subseteq [{u}_{0},{v}_{0}]$. Since

*A*satisfies Theorem 2.2(1), then for any $n\in \mathbb{N}$, ${u}_{n}$ and ${v}_{n}$ are comparable, and

*P*is a normal cone,

Hence, we conclude that $\{{u}_{n}\}$ is a Cauchy sequence with a limit point ${u}^{\ast}\in [{u}_{0},{v}_{0}]$ for any $0<k<\frac{1}{2}$.

Similarly, $\{{v}_{n}\}$ is a Cauchy sequence with a limit point ${v}^{\ast}\in [{u}_{0},{v}_{0}]$ for any $0<k<\frac{1}{2}$.

then ${u}^{\ast}={v}^{\ast}$.

The rest of the proof is analogue to that in Theorem 2.2. □

If one checks the proof of Theorem 2.3, then one can easily obtain the following result.

**Corollary 2.3** *Let* $[{u}_{0},{v}_{0}]$ *be the order interval in* *E*. *If the continuous mapping* $A:[{u}_{0},{v}_{0}]\to [{u}_{0},{v}_{0}]$ *satisfies the* *k*-*ordered contractive condition*, *then* *A* *admits a unique fixed point in the comparable sense*.

## 3 Examples

We give some examples to illustrate the main result of this paper in the following.

**Example 3.1**Consider the space $({\mathbb{R}}^{n},d)$ given in Example 1.2. Let $P=\{x=({x}_{1},{x}_{2},\dots ,{x}_{n})\in {\mathbb{R}}^{n}:{x}_{i}\ge 0,1\le i\le n\}$ be a normal cone. The partial ordering in

*E*with respect to

*P*is given by

*E*is a lattice. It is known that the operators on ${\mathbb{R}}^{n}$ are in one-to-one correspondence with the $n\times n$ matrices. Consider a matrix

where $0<{a}_{i}<1$, $i=1,2,\dots ,n$. Choose $k\in \mathbb{R}$ such that ${max}_{1\le i\le n}\{{a}_{i}\}<k<1$. Clearly, *Ax* and *Ay* are comparable if *x* and *y* are comparable. Moreover, if $x\lesssim y$, then $Ay-Ax\lesssim k(y-x)$. By Theorem 2.1 and Remark 2.1, we know that *A* has a unique fixed point.

**Example 3.2**Consider the integral equation of Fredholm type

- (1)
$K:[0,1]\times [0,1]\times \mathbb{R}\to \mathbb{R}$ and $g:[0,1]\to \mathbb{R}$ are continuous;

- (2)
$K(t,s,\cdot ):\mathbb{R}\to \mathbb{R}$ is monotonous for $t,s\in \mathbb{R}$;

- (3)there exist a continuous function $\phi :[0,1]\times [0,1]\to \mathbb{R}$ and $k\in (0,1)$ such that$|K(t,s,u)-K(t,s,v)|\le k|\phi (t,s)(u-v)|,$

- (4)
${sup}_{t\in [0,1]}{\int}_{0}^{1}|\phi (t,s)|\phantom{\rule{0.2em}{0ex}}ds\le 1$;

- (5)
there exists ${x}_{0}\in C[0,1]$ such that for any $t\in [0,1]$, ${x}_{0}(t)\le {\int}_{0}^{1}K(t,s,{x}_{0}(s))\phantom{\rule{0.2em}{0ex}}ds+g(t)$ or ${x}_{0}(t)\ge {\int}_{0}^{1}K(t,s,{x}_{0}(s))\phantom{\rule{0.2em}{0ex}}ds+g(t)$.

Then the integral equation has a unique solution ${x}^{\ast}$ in $C[0,1]$.

*i.e.*,

*E*induced by

*P*is given as follows:

*A*is monotonous. The monotonicity condition implies that

*Ax*and

*Ay*are comparable if

*x*and

*y*are comparable. Observe that for $x,y\in E$, if

*x*and

*y*are comparable, then

for $t\in [0,1]$, which implies that $\parallel Ay-Ax\parallel \le k\parallel y-x\parallel $. Thus, *A* is continuous. Again, *E* is a lattice, by Theorem 2.1 and Remark 2.1, the integral equation has a unique solution ${x}^{\ast}$ in $C[0,1]$.

for $t,s\in [0,1]$ and $u\in \mathbb{R}$.

Notice that the examples given above are in linear spaces. As to the noncommutative case, it is under consideration now.

## Declarations

### Acknowledgements

The authors would like to thank the referees for their many valuable suggestions that have greatly contributed to improve the quality of this paper. This work is supported financially by the NSFC (10971011, 11371222).

## Authors’ Affiliations

## References

- Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales.
*Fundam. Math.*1922, 3: 133–181.Google Scholar - Abbas M, Rhoades BE, Nazir T: Common fixed points for four maps in cone metric spaces.
*Appl. Math. Comput.*2010, 216: 80–86. 10.1016/j.amc.2010.01.003View ArticleMathSciNetGoogle Scholar - Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces.
*Appl. Anal.*2008, 87(1):109–116. 10.1080/00036810701556151View ArticleMathSciNetGoogle Scholar - Altun I, Damnjanović B, Djorić D: Fixed point and common fixed point theorems on ordered cone metric spaces.
*Appl. Math. Lett.*2010, 23: 310–316. 10.1016/j.aml.2009.09.016View ArticleMathSciNetGoogle Scholar - Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations.
*Nonlinear Anal.*2010, 72(5):2238–2242. 10.1016/j.na.2009.10.023View ArticleMathSciNetGoogle Scholar - Caballero J, Harjani J, Sadarangani K: Contractive-like mapping principles in ordered metric spaces and application to ordinary differential equations.
*Fixed Point Theory Appl.*2010., 2010: Article ID 916064Google Scholar - Cho YJ, Saadati R, Wang SH: Common fixed point theorems on generalized distance in ordered cone metric spaces.
*Comput. Math. Appl.*2011, 61: 1254–1260. 10.1016/j.camwa.2011.01.004View ArticleMathSciNetGoogle Scholar - Dhage BC, O’Regan D, Agrawal RP: Common fixed point theorems for a pair of countably condensing mapping in ordered Banach spaces.
*J. Appl. Math. Stoch. Anal.*1977, 62(2):344–348.Google Scholar - Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings.
*J. Math. Anal. Appl.*2007, 33(2):1468–1476.View ArticleGoogle Scholar - Kadelburg Z, Pavlović M, Radenović S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces.
*Comput. Math. Appl.*2010, 59: 3148–3159. 10.1016/j.camwa.2010.02.039View ArticleMathSciNetGoogle Scholar - Klim D, Wardowski D: Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces.
*Nonlinear Anal.*2009, 71: 5170–5175. 10.1016/j.na.2009.04.001View ArticleMathSciNetGoogle Scholar - O’Regan D, Petruşel A: Fixed point theorems for generalized contractions in ordered metric spaces.
*J. Math. Anal. Appl.*2008, 341(2):1241–1252. 10.1016/j.jmaa.2007.11.026View ArticleMathSciNetGoogle Scholar - 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-4View ArticleMathSciNetGoogle Scholar - Wang JG: Fixed points of increasing operators in ordered Banach spaces.
*Acta Math. Sin. Chin. Ser.*2000, 43: 43–48.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 credited.