# On $\mathcal{P}$-contractions in ordered metric spaces

- Parin Chaipunya
^{1}, - Wutiphol Sintunavarat
^{1}and - Poom Kumam
^{1}Email author

**2012**:219

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

© Chaipunya et al.; licensee Springer 2012

**Received: **19 March 2012

**Accepted: **16 November 2012

**Published: **5 December 2012

## Abstract

In this paper, we introduced a new type of a contractive condition defined on an ordered space, namely a $\mathcal{P}$-contraction, which generalizes the weak contraction. We also proved some fixed point theorems for such a condition in ordered metric spaces. A supporting example of our results is provided in the last part of our paper as well.

**MSC:**06A05, 06A06, 47H09, 47H10, 54H25.

### Keywords

$\mathcal{P}$-function $\mathcal{P}$-contraction metric space partially ordered set## 1 Introduction and preliminaries

It is well known that the Banach contraction principle has been improved in different directions in different spaces by mathematicians over the years. Even in the contemporary research, it remains a heavily investigated branch. Thus, several authors have generalized the principle in various ways (see, for example, [1–14]).

In 1997, Alber and Guerre-Delabriere [15] have introduced the concept of weak contraction in Hilbert spaces. Later, Rhoades [16] showed, in 2001, that these results are also valid in complete metric spaces. We state the result of Rhoades in the following.

- (i)
*φ*is continuous and nondecreasing; - (ii)
$\phi (t)=0$ if and only if $t=0$;

- (iii)
${lim}_{t\to +\mathrm{\infty}}\phi (t)=+\mathrm{\infty}$.

Note that (1.1) reduces to an ordinary contraction when $\phi (t):=kt$, where $0\le k<1$.

**Theorem 1.1** ([16])

*Let* $(X,d)$ *be a complete metric space and* *f* *be a weakly contractive mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}$ *in* *X*.

An interesting way to generalize this theorem is to consider it in case a partial ordering is defined on the space. Recall that a relation ⊑ is a partial ordering on a set *X* if it is reflexive, antisymmetric and transitive. By this meaning, we write $b\u2292a$ instead of $a\u2291b$ to emphasize some particular cases. Any $a,b\in X$ are said to be *comparable* if $a\u2292b$ or $a\u2291b$. If a set *X* has a partial ordering ⊑ defined on it, we say that it is a *partially ordered set* (*w.r.t.* ⊑) and denote it by $(X,\u2291)$. $(X,\u2291)$ is said to be a *totally ordered set* if any two elements in *X* are comparable. Moreover, it is said to be a *sequentially ordered set* if each element of a convergent sequence in *X* is comparable with its limit. Yet, if $(X,d)$ is a metric space and $(X,\u2291)$ is a partially ordered (totally ordered, sequentially ordered) set, we say that *X* is a *partially ordered (totally ordered, sequentially ordered, respectively) metric space*, and it will be denoted by $(X,\u2291,d)$.

In 2009, Harjani and Sadarangani [17] carried the work of Rhoades [16] into partially ordered metric spaces. We now state the result proved in [17] as follows.

**Theorem 1.2** ([17])

*Let*$(X,\u2291,d)$

*be a complete partially ordered metric space and let*$f:X\to X$

*be a continuous and nondecreasing mapping such that*

*for*$x\u2291y$,

*where*$\phi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*is a function satisfying*:

- (i)
*φ**is continuous and nondecreasing*; - (ii)
$\phi (t)=0$

*if and only if*$t=0$; - (iii)
${lim}_{t\to +\mathrm{\infty}}\phi (t)=+\mathrm{\infty}$.

*If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}\u2291f{x}_{0}$, *then* *f* *has a fixed point*.

Harjini and Sadarangani [17] also proved fixed point theorems for noncontinuous mappings, nonincreasing mappings and even for non-monotonic mappings.

The aim of this paper is to introduce a weak condition which resulted in the concept called a $\mathcal{P}$*-contraction*.

## 2 $\mathcal{P}$-functions

In this section, we introduce our concept of a $\mathcal{P}$-function and some of its fundamental properties. Not to be ambiguous, we assume that ℝ represents the set of all real numbers while ℕ represents the set of all positive integers.

**Definition 2.1**Let $(X,\u2291,d)$ be a partially ordered metric space. A function $\varrho :X\times X\to \mathbb{R}$ is called a $\mathcal{P}$

*-function w.r.t.*⊑ in

*X*if it satisfies the following conditions:

- (i)
$\varrho (x,y)\ge 0$ for every comparable $x,y\in X$;

- (ii)
for any sequences ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$, ${\{{y}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ in

*X*such that ${x}_{n}$ and ${y}_{n}$ are comparable at each $n\in \mathbb{N}$, if ${lim}_{n\to +\mathrm{\infty}}{x}_{n}=x$ and ${lim}_{n\to +\mathrm{\infty}}{y}_{n}=y$, then ${lim}_{n\to +\mathrm{\infty}}\varrho ({x}_{n},{y}_{n})=\varrho (x,y)$; - (iii)
for any sequences ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$, ${\{{y}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ in

*X*such that ${x}_{n}$ and ${y}_{n}$ are comparable at each $n\in \mathbb{N}$, if ${lim}_{n\to +\mathrm{\infty}}\varrho ({x}_{n},{y}_{n})=0$, then ${lim}_{n\to +\mathrm{\infty}}d({x}_{n},{y}_{n})=0$.

- (A)
for any sequences ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$, ${\{{y}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ in

*X*such that ${x}_{n}$ and ${y}_{n}$ are comparable at each $n\in \mathbb{N}$, if the limit ${lim}_{n\to +\mathrm{\infty}}d({x}_{n},{y}_{n})$ exists, then the limit ${lim}_{n\to +\mathrm{\infty}}\varrho ({x}_{n},{y}_{n})$ also exists,

then *ϱ* is said to be a $\mathcal{P}$*-function of type (A) w.r.t.* ⊑ in *X*.

**Example 2.2** Let $(X,\u2291,d)$ be a partially ordered metric space. Suppose that the function $\phi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ is defined as in Theorem 1.2. Then $\phi \circ d$ is a $\mathcal{P}$-function of type (A) w.r.t. ⊑ in *X*.

**Proposition 2.3** *Let* $(X,\u2291,d)$ *be a partially ordered metric space and* $\varrho :X\times X\to \mathbb{R}$ *be a* $\mathcal{P}$-*function w*.*r*.*t*. ⊑ *in* *X*. *If* $x,y\in X$ *are comparable and* $\varrho (x,y)=0$, *then* $x=y$.

*Proof* Let $x,y\in X$ be comparable and $\varrho (x,y)=0$. Define ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ and ${\{{y}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ to be two constant sequences in *X* such that ${x}_{n}=x$ and ${y}_{n}=y$ for all $n\in \mathbb{N}$. It follows from the definition of a $\mathcal{P}$-function, since *x* and *y* are comparable, that $d(x,y)=0$. That is, $x=y$. □

**Corollary 2.4** *Let* $(X,\u2291,d)$ *be a totally ordered metric space and* $\varrho :X\times X\to \mathbb{R}$ *be a* $\mathcal{P}$-*function w*.*r*.*t*. ⊑ *in* *X*. *If* $x,y\in X$ *and* $\varrho (x,y)=0$, *then* $x=y$.

*Proof* Since *X* is totally ordered, any $x,y\in X$ are comparable. The rest of the proof is straightforward. □

**Example 2.5** Let $X=\mathbb{R}$. Define $d,\varrho :X\times X\to \mathbb{R}$ with $d(x,y)=|x-y|$ and $\varrho (x,y)=1+|x-y|$. If *X* is endowed with a usual ordering ≤, then $(X,\le ,d)$ is a totally ordered metric space with *ϱ* as a $\mathcal{P}$-function of type (A) w.r.t. ≤ in *X*. Note that $\varrho (x,y)\ne 0$ for all $x,y\in X$, even when $x=y$.

This example shows that the converse of Proposition 2.3 and that of Corollary 2.4 are not generally true.

**Definition 2.6**Let $(X,\u2291,d)$ be a partially ordered metric space, a mapping $f:X\to X$ is called a $\mathcal{P}$

*-contraction w.r.t.*⊑ if there exists a $\mathcal{P}$-function $\varrho :X\times X\to \mathbb{R}$ w.r.t. ⊑ in

*X*such that

for any comparable $x,y\in X$. Naturally, if there exists a $\mathcal{P}$-function of type (A) w.r.t. ⊑ in *X* such that the inequality (2.1) holds for any comparable $x,y\in X$, then *f* is said to be a $\mathcal{P}$*-contraction of type (A) w.r.t.* ⊑.

**Remark 2.7** From Example 2.2, it follows that in partially ordered metric spaces, a weak contraction is also a $\mathcal{P}$-contraction.

## 3 Fixed point results

### 3.1 Fixed point theorems for monotonic mappings

**Theorem 3.1** *Let* $(X,\u2291,d)$ *be a complete partially ordered metric space and* $f:X\to X$ *be a continuous and nondecreasing* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2291f{x}_{0}$, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a fixed point of* *f* *in* *X*.

*Proof*For the existence of the fixed point, we choose ${x}_{0}\in X$ such that ${x}_{0}\u2291f{x}_{0}$. If $f{x}_{0}={x}_{0}$, then the proof is finished. Suppose that $f{x}_{0}\ne {x}_{0}$. We define a sequence ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ such that ${x}_{n}={f}^{n}{x}_{0}$. Since ${x}_{0}\u2291f{x}_{0}$ and

*f*is nondecreasing w.r.t. ⊑, we obtain

If there exists ${n}_{0}\in \mathbb{N}$ such that $\varrho ({x}_{{n}_{0}},{x}_{{n}_{0}+1})=d({x}_{{n}_{0}},{x}_{{n}_{0}+1})$, then by the notion of $\mathcal{P}$-contractivity, the proof is finished. Therefore, we assume that $\varrho ({x}_{n},{x}_{n+1})<d({x}_{n},{x}_{n+1})$ for all $n\in \mathbb{N}$. Also, assume that $\varrho ({x}_{n},{x}_{n+1})\ne 0$ for all $n\in \mathbb{N}$. Otherwise, we can find ${n}_{0}\in \mathbb{N}$ with ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$, that is, ${x}_{{n}_{0}}=f{x}_{{n}_{0}}$, and the proof is finished. Hence, we consider only the case where $0<\varrho ({x}_{n},{x}_{n+1})<d({x}_{n},{x}_{n+1})$ for all $n\in \mathbb{N}$.

for all $n\in \mathbb{N}$. Therefore, we have ${\{d({x}_{n},{x}_{n+1})\}}_{n=1}^{+\mathrm{\infty}}$ nonincreasing. Since ${\{d({x}_{n},{x}_{n+1})\}}_{n=1}^{+\mathrm{\infty}}$ is bounded, there exists $l\ge 0$ such that ${lim}_{n\to +\mathrm{\infty}}d({x}_{n},{x}_{n+1})=l$. Thus, there exists $q\ge 0$ such that ${lim}_{n\to +\mathrm{\infty}}\varrho ({x}_{n},{x}_{n+1})=q$.

*f*, we have

*X*. Assume the contrary. Then there exists ${\u03f5}_{0}>0$ for which we can define subsequences ${\{{x}_{{m}_{k}}\}}_{k=1}^{+\mathrm{\infty}}$ and ${\{{x}_{{n}_{k}}\}}_{k=1}^{+\mathrm{\infty}}$ of ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ such that ${n}_{k}$ is minimal in the sense that ${n}_{k}>{m}_{k}>k$ and $d({x}_{{m}_{k}},{x}_{{n}_{k}})\ge {\u03f5}_{0}$. Therefore, $d({x}_{{m}_{k}},{x}_{{n}_{k}-1})<{\u03f5}_{0}$. Observe that

which further implies that ${lim}_{k\to +\mathrm{\infty}}\varrho ({x}_{{m}_{k}-1},{x}_{{n}_{k}-1})=0$. Notice that ${x}_{{m}_{k}-1}\u2291{x}_{{n}_{k}-1}$ at each $k\in \mathbb{N}$. Consequently, we obtain that ${lim}_{k\to +\mathrm{\infty}}d({x}_{{m}_{k}-1},{x}_{{n}_{k}-1})=0$, which is a contradiction. So, ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ is a Cauchy sequence. Since *X* is complete, there exists ${x}^{\ast}$ such that ${x}_{n}={f}^{n}{x}_{0}\to {x}^{\ast}$ as $n\to +\mathrm{\infty}$. Finally, the continuity of *f* and $f{f}^{n}{x}_{0}={f}^{n+1}{x}_{0}\to {x}^{\ast}$ imply that $f{x}^{\ast}={x}^{\ast}$. Therefore, ${x}^{\ast}$ is a fixed point of *f*. □

**Remark 3.2** In the setting of Remark 2.7, Theorem 3.1 reduces to Theorem 1.2 of [17].

Next, we drop the continuity of *f* in the Theorem 3.1, and find out that we can still guarantee a fixed point if we strengthen the condition of a partially ordered set to a sequentially ordered set.

**Theorem 3.3** *Let* $(X,\u2291,d)$ *be a complete sequentially ordered metric space and* $f:X\to X$ *be a nondecreasing* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2291f{x}_{0}$, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a fixed point of* *f* *in* *X*.

*Proof* If we take ${x}_{n}={f}^{n}{x}_{0}$ in the proof of Theorem 3.1, then we conclude that ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ converges to a point ${x}^{\ast}$ in *X*.

*f*in

*X*. Indeed, suppose that ${x}^{\ast}$ is not a fixed point of

*f*,

*i.e.*, $d({x}^{\ast},f{x}^{\ast})\ne 0$. Since ${x}^{\ast}$ is comparable with ${x}_{n}$ for all $n\in \mathbb{N}$, we have

As easily seen, $d({x}^{\ast},f{x}^{\ast})$ is less than any nonnegative real number, so $d({x}^{\ast},f{x}^{\ast})=0$, which is a contradiction. Hence, ${x}^{\ast}$ is a fixed point of *f*. □

**Corollary 3.4** *Let* $(X,\u2291,d)$ *be a complete totally ordered metric space and* $f:X\to X$ *be a nondecreasing* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2291f{x}_{0}$, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a unique fixed point of* *f* *in* *X*.

*Proof* Take ${x}_{n}={f}^{n}{x}_{0}$ as in the proof of Theorem 3.1. Since the total ordering implies the partial ordering, we conclude that ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ converges to a fixed point.

*f*is unique. Assume that

*u*and

*v*are two distinct fixed points of

*f*,

*i.e.*, $d(u,v)\ne 0$. Since

*X*is totally ordered,

*u*and

*v*are comparable. Thus, we have

which is a contradiction. Therefore, $u=v$ and the fixed point of *f* is unique. □

We can still guarantee the uniqueness of a fixed point by weakening the total ordering condition as stated and proved in the next theorem.

**Theorem 3.5** *Let* $(X,\u2291,d)$ *be a complete partially ordered metric space and* $f:X\to X$ *be a continuous and nondecreasing* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑. *Suppose that for each* $x,y\in X$, *there exists* $w\in X$ *which is comparable to both* *x* *and* *y*. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2291f{x}_{0}$, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a unique fixed point of* *f* *in* *X*.

*Proof* If we take ${x}_{n}={f}^{n}{x}_{0}$ in the proof of Theorem 3.1, then we conclude that ${x}_{n}$ converges to a fixed point of *f* in *X*.

*f*is unique. Assume that

*u*and

*v*are two distinct fixed points of

*f*,

*i.e.*, $d(u,v)\ne 0$. Since $u,v\in X$, there exists $w\in X$ such that

*w*is comparable to both

*u*and

*v*. We will prove this part by showing that the sequence ${\{{w}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ given by ${w}_{n}={f}^{n}w$ converges to both

*u*and

*v*. Therefore, we have

If we define a sequence ${y}_{n}=d(u,{f}^{n}w)$ and ${z}_{n}=\varrho (u,{f}^{n}w)$, we may obtain from (3.5) that ${\{{y}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ is nonincreasing and there exist $l,q\ge 0$ such that ${lim}_{n\to +\mathrm{\infty}}{y}_{n}=l$ and ${lim}_{n\to +\mathrm{\infty}}{z}_{n}=q$.

*f*, we have

which is a contradiction. Hence, ${lim}_{n\to +\mathrm{\infty}}{y}_{n}=0$. In the same way, we can also show that ${lim}_{n\to +\mathrm{\infty}}d(v,{f}^{n}w)=0$. That is, ${\{{w}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ converges to both *u* and *v*. Since the limit of a convergent sequence in a metric space is unique, we conclude that $u=v$. Hence, this yields the uniqueness of the fixed point. □

**Theorem 3.6** *Let* $(X,\u2291,d)$ *be a complete sequentially ordered metric space and* $f:X\to X$ *be a nondecreasing* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑. *Suppose that for each* $x,y\in X$, *there exists* $w\in X$ *which is comparable to both* *x* *and* *y*. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2291f{x}_{0}$, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a unique fixed point of* *f* *in* *X*.

*Proof* If we take ${x}_{n}={f}^{n}{x}_{0}$ in the proof of Theorem 3.1, then we conclude that ${x}_{n}$ converges to a fixed point of *f* in *X*. The rest of the proof is similar to the proof of Theorem 3.5. □

**Remark 3.7** In parallel with the study of Theorems 3.1, 3.3, 3.5 and 3.6, we can also prove in the same way that if the mapping *f* is nonincreasing, the above theorems still hold. However, we will omit the result for nonincreasing mappings.

### 3.2 Fixed point theorems for mappings with the lack of monotonicity

In this section, we drop the monotonicity conditions of *f* and find out that we can still apply our results to confirm the existence and uniqueness of a fixed point of *f*.

**Theorem 3.8** *Let* $(X,\u2291,d)$ *be a complete partially ordered metric space and* $f:X\to X$ *be a continuous* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑ *such that the comparability of* $x,y\in X$ *implies the comparability of* $fx,fy\in fX$. *If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}$ *and* $f{x}_{0}$ *are comparable*, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a fixed point of* *f* *in* *X*.

*Proof* For the existence of the fixed point, we choose ${x}_{0}\in X$ such that ${x}_{0}$ and $f{x}_{0}$ are comparable. If $f{x}_{0}={x}_{0}$, then the proof is finished. Suppose that $f{x}_{0}\ne {x}_{0}$. We define a sequence ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ such that ${x}_{n}={f}^{n}{x}_{0}$. Since ${x}_{0}$ and $f{x}_{0}$ are comparable, we have ${x}_{n}$ and ${x}_{n+1}$ comparable for all $n\in \mathbb{N}$.

If there exists ${n}_{0}\in \mathbb{N}$ such that $\varrho ({x}_{{n}_{0}},{x}_{{n}_{0}+1})=d({x}_{{n}_{0}},{x}_{{n}_{0}+1})$, then by the notion of $\mathcal{P}$-contractivity, the proof is finished. Therefore, we assume that $\varrho ({x}_{n},{x}_{n+1})<d({x}_{n},{x}_{n+1})$ for all $n\in \mathbb{N}$. Also, assume that $\varrho ({x}_{n},{x}_{n+1})\ne 0$ for all $n\in \mathbb{N}$. Otherwise, we can find ${n}_{0}\in \mathbb{N}$ with ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$, that is, ${x}_{{n}_{0}}=f{x}_{{n}_{0}}$, and the proof is finished. Hence, we consider only the case where $0<\varrho ({x}_{n},{x}_{n+1})<d({x}_{n},{x}_{n+1})$ for all $n\in \mathbb{N}$.

for all $n\in \mathbb{N}$. Therefore, we have ${\{d({x}_{n},{x}_{n+1})\}}_{n=1}^{+\mathrm{\infty}}$ is nonincreasing. Since ${\{d({x}_{n},{x}_{n+1})\}}_{n=1}^{+\mathrm{\infty}}$ is bounded, there exists $l\ge 0$ such that ${lim}_{n\to +\mathrm{\infty}}d({x}_{n},{x}_{n+1})=l$. Thus, there exists $q\ge 0$ such that ${lim}_{n\to +\mathrm{\infty}}\varrho ({x}_{n},{x}_{n+1})=q$.

*f*, we have

Hence, $q=0$, which implies that $l=0$, a contradiction. Hence, ${lim}_{n\to +\mathrm{\infty}}d({x}_{n},{x}_{n+1})=0$.

*X*. Assume the contrary. Then there exists ${\u03f5}_{0}>0$ for which we can define subsequences ${\{{x}_{{m}_{k}}\}}_{k=1}^{+\mathrm{\infty}}$ and ${\{{x}_{{n}_{k}}\}}_{k=1}^{+\mathrm{\infty}}$ of ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ such that ${n}_{k}$ is minimal in the sense that ${n}_{k}>{m}_{k}>k$ and $d({x}_{{m}_{k}},{x}_{{n}_{k}})\ge {\u03f5}_{0}$. Therefore, $d({x}_{{m}_{k}},{x}_{{n}_{k}-1})<{\u03f5}_{0}$. Observe that

which further implies that ${lim}_{k\to +\mathrm{\infty}}\varrho ({x}_{{m}_{k}-1},{x}_{{n}_{k}-1})=0$. Notice that ${x}_{{m}_{k}-1}\u2291{x}_{{n}_{k}-1}$ at each $k\in \mathbb{N}$. Consequently, we obtain that ${lim}_{k\to +\mathrm{\infty}}d({x}_{{m}_{k}-1},{x}_{{n}_{k}-1})=0$, which is a contradiction. So, ${\{{x}_{n}\}}_{n=1}^{+\mathrm{\infty}}$ is a Cauchy sequence. Since *X* is complete, there exists ${x}^{\ast}$ such that ${x}_{n}={f}^{n}{x}_{0}\to {x}^{\ast}$ as $n\to +\mathrm{\infty}$. Finally, the continuity of *f* and $f{f}^{n}{x}_{0}={f}^{n+1}{x}_{0}\to {x}^{\ast}$ imply that $f{x}^{\ast}={x}^{\ast}$. Therefore, ${x}^{\ast}$ is a fixed point of *f*. □

Further results can be proved using the same plots as those of the earlier theorems in this paper, so we omit them.

**Theorem 3.9** *Let* $(X,\u2291,d)$ *be a complete sequentially ordered metric space and* $f:X\to X$ *be a* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑ *such that the comparability of* $x,y\in X$ *implies the comparability of* $fx,fy\in fX$. *If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}$ *and* $f{x}_{0}$ *are comparable*, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a fixed point of* *f* *in* *X*.

**Corollary 3.10** *Let* $(X,\u2291,d)$ *be a complete totally ordered metric space with and* $f:X\to X$ *be a* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑ *such that the comparability of* $x,y\in X$ *implies the comparability of* $fx,fy\in fX$. *If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}$ *and* $f{x}_{0}$ *are comparable*, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a unique fixed point of* *f* *in* *X*.

**Theorem 3.11** *Let* $(X,\u2291,d)$ *be a complete partially ordered metric space and* $f:X\to X$ *be a continuous* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑ *such that the comparability of* $x,y\in X$ *implies the comparability of* $fx,fy\in fX$. *Suppose that for each* $x,y\in X$, *there exists* $w\in X$ *which is comparable to both* *x* *and* *y*. *If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}$ *and* $f{x}_{0}$ *are comparable*, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a unique fixed point of* *f* *in* *X*.

**Theorem 3.12** *Let* $(X,\u2291,d)$ *be a complete sequentially ordered metric space and* $f:X\to X$ *be a* $\mathcal{P}$-*contraction of type* (*A*) *w*.*r*.*t*. ⊑ *such that the comparability of* $x,y\in X$ *implies the comparability of* $fx,fy\in fX$. *Suppose that for each* $x,y\in X$, *there exists* $w\in X$ *which is comparable to both* *x* *and* *y*. *If there exists* ${x}_{0}\in X$ *such that* ${x}_{0}$ *and* $f{x}_{0}$ *are comparable*, *then* ${\{{f}^{n}{x}_{0}\}}_{n=1}^{+\mathrm{\infty}}$ *converges to a unique fixed point of* *f* *in* *X*.

## 4 Example

We give an example to ensure the applicability of our theorems.

**Example 4.1** Let $X=[0,1]\times [0,1]$ and suppose that we write $x=({x}_{1},{x}_{2})$ and $y=({y}_{1},{y}_{2})$ for $x,y\in X$.

Let ⊑ be an ordering in *X* such that for $x,y\in X$, $x\u2291y$ if and only if ${x}_{1}={y}_{1}$ and ${x}_{2}\le {y}_{2}$. Then $(X,\u2291,d)$ is a partially ordered metric space with *ϱ* as a $\mathcal{P}$-function of type (A) w.r.t. ⊑ in *X*.

Now, let *f* be a self mapping on *X* defined by $fx=f(({x}_{1},{x}_{2}))=(0,\frac{{x}_{2}^{2}}{2})$ for all $x\in X$. It is obvious that *f* is continuous and nondecreasing w.r.t. ⊑.

Therefore, the inequality (2.1) is satisfied for every comparable $x,y\in X$. So, *f* is a continuous and nondecreasing $\mathcal{P}$-contraction of type (A) w.r.t. ⊑. Let ${x}_{0}=(0,0)$, so we have ${x}_{0}\u2291f{x}_{0}$. Now, applying Theorem 3.1, we conclude that *f* has a fixed point in *X* which is the point $(0,0)$.

## 5 Conclusion

It is undeniable that Rhoades’s weak contraction is one of the earliest and the most important extensions of the contraction principle. The results in this paper give a new direction to expanding the framework of contractive type mappings in metric spaces. Still, there is a question to be raised from this paper onwards.

**Question** Are our results still true for any $\mathcal{P}$-contractions (not necessarily of type (A))?

## Declarations

### Acknowledgements

This work was partially supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (NRU-CSEC No. 55000613). The second author would like to thank the Research Professional Development Project under the Science Achievement Scholarship of Thailand (SAST). Also, the third author was supported by the Commission on Higher Education, the Thailand Research Fund and the King Mongkut’s University of Technology Thonburi (Grant No. MRG5580213).

## Authors’ Affiliations

## References

- Aydi H, Abbas M, Sintunavarat W, Kumam P: Tripled fixed point of
*W*-compatible mappings in abstract metric spaces.*Fixed Point Theory Appl.*2012., 2012: Article ID 134Google Scholar - Aydi H, Vetro C, Sintunavarat W, Kumam P: Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 124Google Scholar - Ćirić L: A generalization of Banach’s contraction principle.
*Proc. Am. Math. Soc.*1974, 45: 267–273.Google Scholar - Ćirić L: A new fixed-point theorem for contractive mappings.
*Publ. Inst. Math. (Belgr.)*1981, 30: 25–27.Google Scholar - Ćirić L: Solving the Banach fixed point principle for nonlinear contractions in probabilistic metric spaces.
*Nonlinear Anal., Theory Methods Appl.*2010, 72(3–4):2009–2018. 10.1016/j.na.2009.10.001View ArticleGoogle Scholar - Chaipunya P, Cho YJ, Kumam P: Geraghty-type theorems in modular metric spaces with an application to partial differential equation.
*Adv. Differ. Equ.*2012., 2012: Article ID 83Google Scholar - Chaipunya P, Mongkolkeha C, Sintunavarat W, Kumam P: Fixed-point theorems for multivalued mappings in modular metric spaces.
*Abstr. Appl. Anal.*2012., 2012: Article ID 503504Google Scholar - Chaipunya P, Mongkolkeha C, Sintunavarat W, Kumam P: Erratum to “Fixed-point theorems for multivalued mappings in modular metric spaces”.
*Abstr. Appl. Anal.*2012., 2012: Article ID 241919Google Scholar - Mongkolkeha C, Sintunavarat W, Kumam P: Fixed point theorems for contraction mappings in modular metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 93Google Scholar - Mongkolkeha C, Sintunavarat W, Kumam P: Correction: Fixed point theorems for contraction mappings in modular metric spaces. Fixed Point Theory Appl. 2011, 2011:93.
*Fixed Point Theory Appl.*2012., 2012: Article ID 103Google Scholar - Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 128Google Scholar - Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for weak contraction mappings under
*F*-invariant set.*Abstr. Appl. Anal.*2012., 2012: Article ID 324874Google Scholar - Sintunavarat W, Kumam P: Weak condition for generalized multi-valued $(f,\alpha ,\beta )$-weak contraction mappings.
*Appl. Math. Lett.*2011, 24(4):460–465. 10.1016/j.aml.2010.10.042MathSciNetView ArticleGoogle Scholar - Suzuki T: A generalized Banach contraction principle that characterizes metric completeness.
*Proc. Am. Math. Soc.*2008, 136(5):1861–1869.View ArticleGoogle Scholar - Alber YI, Guerre-Delabriere S: Principles of weakly contractive maps in Hilbert spaces. Advances and Appl. 98. In
*New Results in Operator Theory*. Edited by: Gohberg I, Lyubich Y. Birkhäuser, Basel; 1997:7–22.View ArticleGoogle Scholar - Rhoades BE: Some theorems on weakly contractive maps.
*Nonlinear Anal.*2001, 47: 2683–2693. 10.1016/S0362-546X(01)00388-1MathSciNetView ArticleGoogle 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

## 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.