- Research
- Open Access

# Generalized contractions in metric spaces endowed with a graph

- Cristian Chifu
^{1}Email author and - Gabriela Petruşel
^{1}

**2012**:161

https://doi.org/10.1186/1687-1812-2012-161

© Chifu and Petruşel; licensee Springer 2012

**Received:**27 March 2012**Accepted:**7 September 2012**Published:**25 September 2012

## Abstract

A very interesting approach in the theory of fixed points in some general structures was recently given by Jachymski (Proc. Amer. Math. Soc. 136:1359-1373, 2008) and Gwóźdź-Lukawska and Jachymski (J. Math. Anal. Appl. 356:453-463, 2009) by using the context of metric spaces endowed with a graph. The purpose of this article is to present some new fixed point results for graphic contractions and for Ćirić-Reich-Rus *G*-contractions on complete metric spaces endowed with a graph. The particular case of almost contractions is also considered.

**MSC:**47H10, 54H25.

## Keywords

- metric space
- connected graph
- fixed point
- graphic contraction
- almost contraction
- generalized contraction

## 1 Introduction

A very interesting approach in the theory of fixed points in some general structures was recently given by Jachymski [1] and Gwóźdź-Lukawska and Jachymski [2] by using the context of metric spaces endowed with a graph. More precisely, let $(X,d)$ be a metric space and Δ be the diagonal of $X\times X$. Let *G* be a directed graph such that the set $V(G)$ of its vertices coincides with *X* and $\mathrm{\Delta}\subseteq E(G)$, where $E(G)$ is the set of edges of the graph. Assume also that *G* has no parallel edges, and thus, one can identify *G* with the pair $(V(G),E(G))$.

*G*-contraction (see Definition 2.1 in Jachymski [1]) if and only if:

- (a)
for each $x,y\in X$ with $(x,y)\in E(G)$, we have $(f(x),f(y))\in E(G)$;

- (b)
there exists $\alpha \in \phantom{\rule{0.2em}{0ex}}]0,1[$ such that for each $x,y\in X$, the following implication holds: $((x,y)\in E(G)\text{implies}d(f(x),f(y))\le \alpha d(x,y))$.

If *x* and *y* are vertices of *G*, then a path in *G* from *x* to *y* of length $k\in \mathbb{N}$ is a finite sequence ${({x}_{n})}_{n\in \{0,1,2,\dots ,k\}}$ of vertices such that ${x}_{0}=x$, ${x}_{k}=y$ and $({x}_{i-1},{x}_{i})\in E(G)$ for $i\in \{1,2,\dots ,k\}$. Notice that a graph *G* is connected if there is a path between any two vertices, and it is weakly connected if $\tilde{G}$ is connected, where $\tilde{G}$ denotes the undirected graph obtained from *G* by ignoring the direction of edges.

*G*is such that $E(G)$ is symmetric, then for $x\in V(G)$, the symbol ${[x]}_{G}$ denotes the equivalence class of the relation ℜ defined on $V(G)$ by the rule

*f*. Denote also

**Theorem 1.3** (Jachymski [1])

*Let*$(X,d)$

*be a complete metric space*,

*and let*

*G*

*be a directed graph such that*$V(G)=X$, $\mathrm{\Delta}\subseteq E(G)$

*and the triple*$(X,d,G)$

*has the property*(P).

*Let*$f:X\to X$

*be a*

*G*-

*contraction*.

*Then the following statements hold*:

- (1)
${F}_{f}\ne \mathrm{\varnothing}$

*if and only if*${X}_{f}\ne \mathrm{\varnothing}$; - (2)
*if*${X}_{f}\ne \mathrm{\varnothing}$*and**G**is weakly connected*,*then**f**is a Picard operator*,*i*.*e*., ${F}_{f}=\{{x}^{\ast}\}$*and*${({f}^{n}(x))}_{n\in \mathbb{N}}\to {x}^{\ast}$*as*$n\to \mathrm{\infty}$*for all*$x\in X$; - (3)
*for any*$x\in {X}_{f}$,*we have that*$f{|}_{{[x]}_{\tilde{G}}}$*is a Picard operator*; - (4)
*if*$f\subseteq E(G)$,*then**f**is a weakly Picard operator*,*i*.*e*., ${F}_{f}\ne \mathrm{\varnothing}$*and*,*for each*$x\in X$,*we have*${({f}^{n}(x))}_{n\in \mathbb{N}}\to {x}^{\ast}(x)\in {F}_{f}$*as*$n\to \mathrm{\infty}$.

The purpose of this paper is to extend the above result to the case of some generalized contractions. More precisely, the cases of Ćirić-Reich-Rus *G*-contractions, *G*-graphic contractions and of *G*-almost contractions in the sense of Berinde will be considered. As one can see from the recent literature (see [3–6]), these classes of operators are important extensions of the classical contraction mapping.

Our results also generalize and extend some fixed point theorems in partially ordered complete metric spaces given in Harjani and Sadarangani [7], Nicolae, O’Regan and Petruşel [8], Nieto and Rodríguez-López [9] and [10], Agarwal, El-Gebeily and O’Regan [16], Nieto, Pouso and Rodríguez-López [11], O’Regan and Petruşel [12], Petruşel and Rus [13], and Ran and Reurings [14].

## 2 Main results

*G*be a directed graph. Throughout this section, we will suppose that the graph

*G*satisfies the following standard conditions: the set $V(G)$ of its vertices coincides with

*X*, $E(G)$ is the set of edges of the graph, and Δ (the diagonal of $X\times X$) is a subset of $E(G)$. We also denote

**Definition 2.1**The mapping $f:X\to X$ is a

*G*-graphic contraction if:

- (1)
*f*is edge preserving,*i.e.*, $(x,y)\in E(G)$ implies $(f(x),f(y))\in E(G)$; - (2)there exists $a\in [0,1[$ such that$d(f(x),{f}^{2}(x))\le ad(x,f(x))\phantom{\rule{1em}{0ex}}\text{for all}x\in {X}^{f}.$

**Lemma 2.1** *Let* $(X,d)$ *be a metric space endowed with a graph* *G* *satisfying the above standard conditions*. *Let* $f:X\to X$ *be a* *G*-*graphic contraction*. *Then* *f* *is a* ${G}^{-1}$-*graphic contraction too*.

*Proof*Suppose that $f:X\to X$ is a

*G*-graphic contraction. We have to prove that $f:X\to X$ is a ${G}^{-1}$-graphic contraction,

*i.e.*,

- (1)
$(x,y)\in E({G}^{-1})$ implies $(f(x),f(y))\in E({G}^{-1})$;

- (2)
there exists $a\in [0,1[$ such that $d(f(x),{f}^{2}(x))\le ad(x,f(x))$ for all $x\in X$ with $(x,f(x))\in E({G}^{-1})$ or $(f(x),x)\in E({G}^{-1})$.

(indeed, let $x\in X$ such that $(x,f(x))\in E({G}^{-1})$ or $(f(x),x)\in E({G}^{-1})$. Then $(f(x),x)\in E(G)$ or $(x,f(x))\in E(G)$. In both cases, we get, by the *G*-graphic contraction condition, that there exists $a\in [0,1[$ such that $d(f(x),{f}^{2}(x))\le ad(x,f(x))$. □

Notice now the fact that a *G*-graphic contraction is also a $\tilde{G}$-graphic contraction. This follows by (∗), (∗∗), the symmetry of the metric *d* and the above lemma.

**Definition 2.2**The operator $f:X\to X$ is called a Ćirić-Reich-Rus

*G*-contraction if and only if:

- (a)
*f*is edge preserving,*i.e.*for each $x,y\in X$ with $(x,y)\in E(G)$ we have that $(f(x),f(y))\in E(G)$; - (b)
there exists $\alpha ,\beta ,\gamma \in {\mathbb{R}}_{+}$ with $\alpha +\beta +\gamma \in \phantom{\rule{0.2em}{0ex}}]0,1[$ such that for each $x,y\in X$, we have $((x,y)\in E(G)\text{implies}d(f(x),f(y))\le \alpha d(x,y)+\beta d(x,f(x))+\gamma d(y,f(y)))$.

In particular, if $\beta =\gamma =0$, then we get the concept of Banach *G*-contraction presented in the first section.

A similar result to the above one (see Lemma 2.1) is the following.

**Lemma 2.2** *Let* $(X,d)$ *be a metric space endowed with a graph* *G* *satisfying the standard conditions mentioned at the beginning of this section*. *Let* $f:X\to X$ *be a Ćirić*-*Reich*-*Rus* *G*-*contraction*. *Then* *f* *is a Ćirić*-*Reich*-*Rus* ${G}^{-1}$-*contraction too*.

Notice also that a Ćirić-Reich-Rus *G*-contraction is a Ćirić-Reich-Rus $\tilde{G}$-contraction.

Now, we can prove the main results of this paper. We first present some auxiliary results.

**Lemma 2.3**

*Let*$(X,d)$

*be a metric space endowed with a graph*

*G*

*satisfying the above standard conditions*.

*Let*$f:X\to X$

*be a*

*G*-

*graphic contraction with the constant*

*a*.

*Then*,

*given*$x\in {X}^{f}$,

*there exists*$r(x)\ge 0$

*such that*

*Proof*Let $x\in {X}^{f}$,

*i.e.*, $(x,f(x))\in E(G)$ or $(f(x),x)\in E(G)$. If $(x,f(x))\in E(G)$, then by induction, we have that $({f}^{n}(x),{f}^{n+1}(x))\in E(G)$ for each $n\in \mathbb{N}$. Thus

□

**Lemma 2.4** *Let* $(X,d)$ *be a complete metric space endowed with a graph* *G* *satisfying the above standard conditions*. *Suppose that* $f:X\to X$ *is a* *G*-*graphic contraction*. *Then for each* $x\in {X}^{f}$, *there exists* ${x}^{\ast}(x)\in X$ *such that the sequence* ${({f}^{n}(x))}_{n\in \mathbb{N}}$ *converges to* ${x}^{\ast}(x)$ *as* $n\to +\mathrm{\infty}$.

*Proof*Let $x\in {X}^{f}$. By Lemma 2.3, we get that

where $r(x):=d(x,f(x))$. Hence ${\sum}_{n\ge 0}d({f}^{n}(x),{f}^{n+1}(x))<\mathrm{\infty}$, proving by a standard argument that the sequence ${({f}^{n}(x))}_{n\in \mathbb{N}}$ is Cauchy. Since the space *X* is complete with respect to *d*, we get that there exists ${x}^{\ast}(x)\in X$ such that the sequence ${({f}^{n}(x))}_{n\in \mathbb{N}}$ converges to ${x}^{\ast}(x)$ as $n\to +\mathrm{\infty}$. □

The next result is also important.

**Lemma 2.5** *Let* $(X,d)$ *be a metric space endowed with a graph* *G* *satisfying the above standard conditions*. *Let* $f:X\to X$ *be a* *G*-*graphic contraction for which there exists* ${x}_{0}\in X$ *such that* $f({x}_{0})\in {[{x}_{0}]}_{\tilde{G}}$. *Then the set* ${[{x}_{0}]}_{\tilde{G}}$ *is invariant with respect to* *f* *and* $f{|}_{{[{x}_{0}]}_{\tilde{G}}}$ *is a* ${\tilde{G}}_{{x}_{0}}$-*graphic contraction*, *where* ${\tilde{G}}_{{x}_{0}}$ *is the component of* $\tilde{G}$ *containing* ${x}_{0}$.

*Proof* Let $x\in {[{x}_{0}]}_{\tilde{G}}$. Then there exist $({x}_{0},{x}_{1},\dots ,{x}_{k-1},{x}_{k}=x)$ which form a path between ${x}_{0}$ and *x* in $\tilde{G}$, *i.e.*, $({x}_{i},{x}_{i+1})\in E(\tilde{G})$ for $i\in \{0,\dots ,k-1\}$. Since *f* is a $\tilde{G}$-graphic contraction (thus edge preserving), we get that $(f({x}_{i}),f({x}_{i+1}))\in E(\tilde{G})$ for $i\in \{0,\dots ,k-1\}$, *i.e.*, we have a path from $f({x}_{0})$ to $f(x)$. Hence $f(x)\in {[f({x}_{0})]}_{\tilde{G}}={[{x}_{0}]}_{\tilde{G}}$ since $f({x}_{0})\in {[{x}_{0}]}_{\tilde{G}}$. Thus, the set ${[{x}_{0}]}_{\tilde{G}}$ is invariant with respect to *f*.

*y*passing through

*x*,

*i.e.*, $({x}_{0},{x}_{1},\dots ,{x}_{k-1}=x,{x}_{k}=y)$ and $({x}_{i},{x}_{i+1})\in E(\tilde{G})$ for $i\in \{0,\dots ,k-1\}$. As before, by the edge preserving condition, we get that $(f({x}_{i}),f({x}_{i+1}))\in E(\tilde{G})$ for $i\in \{0,\dots ,k-1\}$. Let $({y}_{0},{y}_{1},\dots ,{y}_{l-1},{y}_{l})$ be a path between ${x}_{0}$ and ${f}_{{x}_{0}}$. Thus

is a path in $\tilde{G}$ from ${x}_{0}$ to $f(y)$ such that $(f(x),f(y))\in E(\tilde{{G}_{{x}_{0}}})$. Moreover, *f* is a ${\tilde{G}}_{{x}_{0}}$-graphic contraction since $E({\tilde{G}}_{{x}_{0}})\subset E(\tilde{G})$, and *f* is a $\tilde{G}$-graphic contraction. □

For our next result, we need the following definition.

**Definition 2.3**Let $(X,d)$ be a metric space endowed with a graph

*G*satisfying the above standard conditions. The operator $f:X\to X$ is called orbitally

*G*-continuous if, for all $x,a\in X$ and for any sequence ${(n(i))}_{i\in \mathbb{N}}$ of positive integers,

We can now give the main result for *G*-graphic contractions. We will make use of the property (P) introduced in Section 1.

**Theorem 2.1**

*Let*$(X,d)$

*be a complete metric space and*

*G*

*be a directed graph satisfying the above standard conditions such that the triple*$(X,d,G)$

*satisfies the property*(P).

*Let*$f:X\to X$

*be a*

*G*-

*graphic contraction which is*

*G*-

*orbitally continuous*.

*Then the following statements hold*:

- (1)
${F}_{f}\ne \mathrm{\varnothing}$

*if and only if*${X}^{f}\ne \mathrm{\varnothing}$; - (2)
*if*${X}^{f}\ne \mathrm{\varnothing}$*and**G**is weakly connected*,*then**f**is a weakly Picard operator*; - (3)
*for any*$x\in {X}^{f}$,*we have that*$f{|}_{{[x]}_{\tilde{G}}}$*is a weakly Picard operator*.

*Proof*We start by proving statement (3). Let $x\in {X}^{f}$. Applying Lemma 2.3, we have that there exists $r(x)\ge 0$ such that

This yields, as in the proof of Lemma 2.4, that there exists ${x}^{\ast}(x)\in X$ such that ${lim}_{n\to \mathrm{\infty}}{f}^{n}(x)={x}^{\ast}(x)$. Because $x\in {X}^{f}$, condition (1) in Definition 2.1 implies that ${f}^{n}(x)\in {X}^{f}$ for every $n\in \mathbb{N}$. Suppose now, for example, that $(x,f(x))\in E(G)$. (A similar deduction can be made if $(f(x),x)\in E(G)$.) Using the property (P), we can find a subsequence ${({f}^{{k}_{n}}(x))}_{n\in \mathbb{N}}$ of ${({f}^{n}(x))}_{n\in \mathbb{N}}$ such that $({f}^{{k}_{n}}(x),{x}^{\ast}(x))\in E(G)$ for each $n\in \mathbb{N}$. Then the points $x,f(x),\dots ,{f}^{{k}_{1}}(x),{x}^{\ast}(x)$ form a path in *G*, and thus ${x}^{\ast}(x)\in {[x]}_{\tilde{G}}$. Since *f* is *G*-orbitally continuous, we obtain that ${x}^{\ast}(x)$ is a fixed point for $f{|}_{{[x]}_{\tilde{G}}}$.

For (1), notice that from (3) it follows that ${F}_{f}\ne \mathrm{\varnothing}$ if ${X}^{f}\ne \mathrm{\varnothing}$. Suppose ${F}_{f}\ne \mathrm{\varnothing}$. Since we work under the assumption that $\mathrm{\Delta}\subseteq E(G)$, we immediately get that ${X}^{f}\ne \mathrm{\varnothing}$. Hence, (1) also holds.

To prove (2), let $x\in {X}^{f}$. Because *G* is weakly connected, we have that $X={[x]}_{\tilde{G}}$ and we only need to apply (3). □

**Remark 2.1** In the above result, we can remove the condition that the triple $(X,d,G)$ satisfies the property (P) and *f* is *G*-orbitally continuous if we assume that the mapping *f* is orbitally continuous.

**Remark 2.2**If we relax the definition of the

*G*-graphic contraction, by replacing the condition

- (1)
*f*is edge preserving,*i.e.*, $(x,y)\in E(G)$ implies $(f(x),f(y))\in E(G)$

with

(1^{′}) $(x,f(x))\in E(G)$ implies $(f(x),{f}^{2}(x))\in E(G)$,

then part of the above results take place. More precisely, we do not know if a similar result to Lemma 2.5 takes place.

The following example shows that our result is a non-trivial extension of the above mentioned papers.

**Example 2.1**Let $X=[0,1]$ be endowed with the usual distance. Consider

Then *G* is weakly connected, ${X}^{f}$ is nonempty and *f* is a *G*-graphic contraction which fails to be a *G*-contraction. Moreover, $Fix(f)=\{1\}$.

*Proof* It can be easily checked that *G* is weakly connected and *f* is edge preserving. To see that *f* is not a *G*-contraction, notice that $|f(0)-f(1/2)|=1/2=|0-1/2|$. A simple case-by-case calculation shows that *f* is a *G*-graphic contraction. Moreover, $Fix(f)=\{1\}$. □

We will consider next the case of almost contractions; see Berinde [3]. See also Păcurar [15] for a detailed and comprehensive study of almost contractions.

**Definition 2.4**The mapping $f:X\to X$ is a

*G*-almost contraction if:

- (1)
*f*is edge preserving,*i.e.*, $(x,y)\in E(G)$ implies $(f(x),f(y))\in E(G)$; - (2)there exists $\alpha \in ]0,1[$ and $L\ge 0$ such that for each $x,y\in X$ the following implication holds:$(x,y)\in E(G)\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}d(f(x),f(y))\le ad(x,y)+Ld(y,f(x)).$

Notice that if *f* is a *G*-almost contraction, then *f* is a *G*-graphic contraction with the constant $a\in [0,1[$. Thus all the above results take place.

We will consider now the case of Ćirić-Reich-Rus *G*-contractions.

**Lemma 2.6**

*Let*$(X,d)$

*be a metric space endowed with a graph*

*G*

*satisfying the above standard conditions*.

*Let*$f:X\to X$

*be a Ćirić*-

*Reich*-

*Rus*

*G*-

*contraction with constants*

*α*,

*β*,

*γ*.

*Then*,

*given*$x\in {X}^{f}$,

*there exists*$r(x)\ge 0$

*such that*

*where* $a:=\frac{\alpha +\beta}{1-\gamma}$.

*Proof*Let $x\in {X}^{f}$,

*i.e.*, $(x,f(x))\in E(G)$ or $(f(x),x)\in E(G)$. If $(x,f(x))\in E(G)$, then by induction, we have that $({f}^{n}(x),{f}^{n+1}(x))\in E(G)$ for each $n\in \mathbb{N}$. Hence

If $(f(x),x)\in E(G)$, again by induction, we have that $({f}^{n+1}(x),{f}^{n}(x))\in E(G)$ for each $n\in \mathbb{N}$. Thus we get the same relation as before. This completes the proof. □

**Lemma 2.7** *Let* $(X,d)$ *be a complete metric space endowed with a graph* *G* *satisfying the above standard conditions*. *Suppose that* $f:X\to X$ *is a Ćirić*-*Reich*-*Rus* *G*-*contraction with constants* *α*, *β*, *γ*. *Then for each* $x\in {X}^{f}$, *there exists* ${x}^{\ast}(x)\in X$ *such that the sequence* ${({f}^{n}(x))}_{n\in \mathbb{N}}$ *converges to* ${x}^{\ast}(x)$ *as* $n\to +\mathrm{\infty}$.

*Proof*Let $x\in {X}^{f}$. By Lemma 2.6, we get that

where $r(x):=d(x,f(x))$. Hence ${\sum}_{n\ge 0}d({f}^{n}(x),{f}^{n+1}(x))<\mathrm{\infty}$, proving by a standard argument that the sequence ${({f}^{n}(x))}_{n\in \mathbb{N}}$ is Cauchy. Since the space *X* is complete with respect to *d*, we get that there exists ${x}^{\ast}(x)\in X$ such that the sequence ${({f}^{n}(x))}_{n\in \mathbb{N}}$ converges to ${x}^{\ast}(x)$ as $n\to +\mathrm{\infty}$. □

We can now give the main result for Ćirić-Reich-Rus *G*-contractions. We will make use again of the property (P) introduced in Section 1.

**Theorem 2.2**

*Let*$(X,d)$

*be a complete metric space and*

*G*

*be a directed graph satisfying the above standard conditions such that the triple*$(X,d,G)$

*satisfies the property*(P).

*Let*$f:X\to X$

*be Ćirić*-

*Reich*-

*Rus*

*G*-

*contraction with constants*

*α*,

*β*,

*γ*

*such that it is*

*G*-

*orbitally continuous*.

*Then the following statements hold*:

- (1)
${F}_{f}\ne \mathrm{\varnothing}$

*if and only if*${X}^{f}\ne \mathrm{\varnothing}$; - (2)
*if*${X}^{f}\ne \mathrm{\varnothing}$*and**G**is weakly connected*,*then**f**is a weakly Picard operator*; - (3)
*for any*$x\in {X}^{f}$,*we have that*$f{|}_{{[x]}_{\tilde{G}}}$*is a weakly Picard operator*.

*Proof*We start by proving statement (3). Let $x\in {X}^{f}$. Applying Lemma 2.6, we have that there exists $r(x)\ge 0$ such that

This yields, as in the proof of Lemma 2.7, that there exists ${x}^{\ast}(x)\in X$ such that ${lim}_{n\to \mathrm{\infty}}{f}^{n}(x)={x}^{\ast}(x)$. Because $x\in {X}^{f}$, condition (1) in Definition 2.2 implies that ${f}^{n}(x)\in {X}^{f}$ for every $n\in \mathbb{N}$. Suppose now, for example, that $(x,f(x))\in E(G)$. (A similar deduction can be made if $(f(x),x)\in E(G)$.) Using the property (P), we can find a subsequence ${({f}^{{k}_{n}}(x))}_{n\in \mathbb{N}}$ of ${({f}^{n}(x))}_{n\in \mathbb{N}}$ such that $({f}^{{k}_{n}}(x),{x}^{\ast}(x))\in E(G)$ for each $n\in \mathbb{N}$. Then the points $x,f(x),\dots ,{f}^{{k}_{1}}(x),{x}^{\ast}(x)$ form a path in *G*, and thus ${x}^{\ast}(x)\in {[x]}_{\tilde{G}}$. Since *f* is *G*-orbitally continuous, we obtain that ${x}^{\ast}(x)$ is a fixed point for $f{|}_{{[x]}_{\tilde{G}}}$.

For (1), notice that from (3) it follows that ${F}_{f}\ne \mathrm{\varnothing}$ if ${X}^{f}\ne \mathrm{\varnothing}$. Suppose ${F}_{f}\ne \mathrm{\varnothing}$. Since we work under the assumption that $\mathrm{\Delta}\subseteq E(G)$, we immediately get that ${X}^{f}\ne \mathrm{\varnothing}$. Hence, (1) also holds.

To prove (2), let $x\in {X}^{f}$. Because *G* is weakly connected, we have that $X={[x]}_{\tilde{G}}$, and we only need to apply (3). □

**Remark 2.3** If in the above result we put $\beta =\gamma =0$, then we get the results given in Jachymski [1].

**Remark 2.4** It is an open problem if in some appropriate assumptions, one can prove that a Ćirić-Reich-Rus *G*-contraction is a Picard operator.

## Declarations

## Authors’ Affiliations

## References

- Jachymski J: The contraction principle for mappings on a metric space with a graph.
*Proc. Am. Math. Soc.*2008, 136: 1359–1373.MathSciNetView ArticleGoogle Scholar - Gwóźdź-Lukawska G, Jachymski J: IFS on a metric space with a graph structure and extensions of the Kelisky-Rivlin theorem.
*J. Math. Anal. Appl.*2009, 356: 453–463. 10.1016/j.jmaa.2009.03.023MathSciNetView ArticleGoogle Scholar - Berinde V: Approximating fixed points of weak contractions using the Picard iteration.
*Nonlinear Anal. Forum*2004, 9: 43–53.MathSciNetGoogle Scholar - Berinde V: Some remarks on a fixed point theorem for Ćirić-type almost contractions.
*Carpath. J. Math.*2009, 25(2):157–162.MathSciNetGoogle Scholar - Rus IA: Picard operators and applications.
*Sci. Math. Jpn.*2003, 58: 191–219.MathSciNetGoogle Scholar - Rus IA, Petruşel A, Petruşel G:
*Fixed Point Theory*. Cluj University Press, Cluj-Napoca; 2008.Google Scholar - Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets.
*Nonlinear Anal.*2009, 71: 3403–3410. 10.1016/j.na.2009.01.240MathSciNetView ArticleGoogle Scholar - Nicolae A, O’Regan D, Petruşel A: Fixed point theorems for singlevalued and multivalued generalized contractions in metric spaces endowed with a graph.
*Georgian Math. J.*2011, 18: 307–327.MathSciNetGoogle Scholar - Nieto JJ, Rodríguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.
*Order*2005, 22: 223–239. 10.1007/s11083-005-9018-5MathSciNetView ArticleGoogle Scholar - Nieto JJ, Rodríguez-López R: Existence and uniqueness of fixed points in partially ordered sets and applications to ordinary differential equations.
*Acta Math. Sin. Engl. Ser.*2007, 23: 2205–2212. 10.1007/s10114-005-0769-0MathSciNetView ArticleGoogle Scholar - Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces.
*Proc. Am. Math. Soc.*2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1View ArticleGoogle Scholar - O’Regan D, Petruşel A: Fixed point theorems in ordered metric spaces.
*J. Math. Anal. Appl.*2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026MathSciNetView ArticleGoogle Scholar - Petruşel A, Rus IA: Fixed point theorems in ordered
*L*-spaces.*Proc. Am. Math. Soc.*2006, 134: 411–418.View ArticleGoogle Scholar - Ran ACM, Reurings MC: 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-4MathSciNetView ArticleGoogle Scholar - Păcurar M:
*Iterative Methods for Fixed Point Approximations*. Risoprint, Cluj-Napoca; 2010.Google Scholar - Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces.
*Appl. Anal.*2008, 87: 109–116. 10.1080/00036810701556151MathSciNetView ArticleGoogle 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.