- Research
- Open Access

# Banach contraction principle for cyclical mappings on partial metric spaces

- T Abdeljawad
^{1}Email author, - JO Alzabut
^{2}, - A Mukheimer
^{2}and - Y Zaidan
^{2, 3}

**2012**:154

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

© Abdeljawad et al.; licensee Springer 2012

**Received:**23 April 2012**Accepted:**30 August 2012**Published:**18 September 2012

## Abstract

We prove that the Banacah contraction principle proved by Matthews in 1994 on 0-complete partial metric spaces can be extended to cyclical mappings. However, the generalized contraction principle proved by (Ilić *et al.* in Appl. Math. Lett. 24:1326-1330, 2011) on complete partial metric spaces can not be extended for cyclical mappings. Some examples are given to illustrate our results. Moreover, our results generalize some of the results obtained by (Kirk *et al.* in Fixed Point Theory 4(1):79-89, 2003). An Edelstein type theorem is also extended when one of the sets in the cyclic decomposition is 0-compact.

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

## Keywords

- partial metric space
- fixed point
- cyclic mapping
- Banach contraction principle
- 0-compact set

## 1 Introduction and preliminaries

The Banach contraction mapping principle is considered to be the core of many extended fixed point theorems. It has widespread applications in many branches of mathematics, engineering, and computer science. During the last decades many authors were able to generalize this principle [1–4]. After the appearance of partial metric spaces as a place for distinct research work into flow analysis, non-symmetric topology, and domain theory [5, 6], many authors started to generalize this principle to these spaces (see [7–14]). However, the contraction type conditions used in those generalizations do not reflect the structure of a partial metric space apparently. Later, the authors in [15] proved a more reasonable contraction principle in a partial metric space. The contraction type condition used there should logically be called a partial contractive condition. In this work, we show that the contraction principle obtained in [6] can be generalized to cyclical mappings. In contrast, the principle proved in [15] cannot be extended for a cyclical case. An Edelstein type theorem is also extended when one of the sets in the cyclic decomposition is 0-compact. Some examples are also given to support our claims throughout the article.

A partial metric space (PMS) (see, *e.g.*, [5, 6]) is a pair $X,p:X\times X\to {\mathbb{R}}^{+}$, where ${\mathbb{R}}^{+}$ denotes the set of all nonnegative real numbers, such that

(P1) $p(x,y)=p(y,x)$ (symmetry)

(P2) If $0\le p(x,x)=p(x,y)=p(y,y)$ then $x=y$ (equality)

(P3) $p(x,x)\le p(x,y)$ (small self-distances)

(P4) $p(x,z)+p(y,y)\le p(x,y)+p(y,z)$ (triangularity)

for all $x,y,z\in X$.

*p*on

*X*, the function ${p}^{s}:X\times X\to {\mathbb{R}}^{+}$ given by

is a (usual) metric on *X*. Each partial metric *p* on *X* generates a ${T}_{0}$ topology ${\tau}_{p}$ on *X* with a base of the family of open *p*-balls $\{{B}_{p}(x,\epsilon ):x\in X,\epsilon >0\}$, where ${B}_{p}(x,\epsilon )=\{y\in X:p(x,y)<p(x,x)+\epsilon \}$ for all $x\in X$ and $\epsilon >0$.

**Definition 1** (see, *e.g.*, [5, 6, 13])

- (i)
A sequence $\{{x}_{n}\}$ in a PMS $(X,p)$ converges to $x\in X$ if and only if $p(x,x)={lim}_{n\to \mathrm{\infty}}p(x,{x}_{n})$.

- (ii)
A sequence $\{{x}_{n}\}$ in a PMS $(X,p)$ is called Cauchy if and only if ${lim}_{n,m\to \mathrm{\infty}}p({x}_{n},{x}_{m})$ exists (and is finite).

- (iii)
A PMS $(X,p)$ is said to be complete if every Cauchy sequence $\{{x}_{n}\}$ in

*X*converges, with respect to ${\tau}_{p}$, to a point $x\in X$ such that $p(x,x)={lim}_{n,m\to \mathrm{\infty}}p({x}_{n},{x}_{m})$. - (iv)
A mapping $f:X\to X$ is said to be continuous at ${x}_{0}\in X$, if for every $\epsilon >0$, there exists $\delta >0$ such that $f({B}_{p}({x}_{0},\delta ))\subset {B}_{p}(f({x}_{0}),\epsilon )$.

**Lemma 2** (see, *e.g.*, [5, 6, 13])

- (A)
*A sequence*$\{{x}_{n}\}$*is Cauchy in a PMS*$(X,p)$*if and only if*$\{{x}_{n}\}$*is Cauchy in a metric space*$(X,{p}^{s})$. - (B)
*A PMS*$(X,p)$*is complete if and only if the metric space*$(X,{p}^{s})$*is complete*.*Moreover*,$\underset{n\to \mathrm{\infty}}{lim}{p}^{s}(x,{x}_{n})=0\phantom{\rule{1em}{0ex}}\iff \phantom{\rule{1em}{0ex}}p(x,x)=\underset{n\to \mathrm{\infty}}{lim}p(x,{x}_{n})=\underset{n,m\to \mathrm{\infty}}{lim}p({x}_{n},{x}_{m}).$(2)

**Lemma 3**

*Let*$(X,p)$

*be a partial metric space*,

*and let*$T:X\to X$

*be a continuous self*-

*mapping*.

*Assume*$\{{x}_{n}\}\in X$

*such that*${x}_{n}\to z$

*as*$n\to \mathrm{\infty}$.

*Then*

*Proof* Let $\u03f5>0$ be given. Since *T* is continuous at *z*, find $\delta >0$ such that $T({B}_{p}(z,\delta ))\subseteq {B}_{p}(Tz,\u03f5)$. Since ${x}_{n}\to z$, then ${lim}_{n\to \mathrm{\infty}}p({x}_{n},z)=p(z,z)$, and hence find ${n}_{0}\in N$ such that $p(z,z)\le p({x}_{n},z)<p(z,z)+\delta $ for all $n\ge {n}_{0}$. That is ${x}_{n}\in {B}_{p}(z,\delta )$ for all $n\ge {n}_{0}$. Thus $T({x}_{n})\in {B}_{p}(Tz,\u03f5)$ and so $p(Tz,Tz)\le p(T{x}_{n},Tz)<p(Tz,Tz)+\u03f5$ for all $n\ge {n}_{0}$. This shows our claim. □

A sequence $\{{x}_{n}\}$ is called 0-Cauchy [16] if ${lim}_{m,n\to \mathrm{\infty}}p({x}_{n},{x}_{m})=0$. The partial metric space $(X,p)$ is called 0-complete if every 0-Cauchy sequence in *x* converges to a point $x\in X$ with respect to *p* and $p(x,x)=0$. Clearly, every complete partial metric space is 0-complete. The converse need not be true.

**Example 4** (see [15])

Let $X=\mathbb{Q}\cap [0,\mathrm{\infty})$ with the partial metric $p(x,y)=max\{x,y\}$. Then $(X,p)$ is a 0-complete partial metric space which is not complete.

**Theorem 5** ([6])

*Let*$(X,p)$

*be a*0-

*complete partial metric space and*$f:X\to X$

*be such that*

*There exists a unique* $u\in X$ *such that* $u=f(u)$ *and* $p(u,u)=0$.

Let ${\rho}_{p}=inf\{p(x,y):x,y\in X\}$ and define ${X}_{p}=\{x\in X:p(x,x)={\rho}_{p}\}$.

**Theorem 6** ([15])

*Let*$(X,p)$

*be a complete metric space*, $\alpha \in [0,1)$,

*and let*$T:X\to X$

*be a given mapping*.

*Suppose that for each*$x,y\in X$,

*the following condition holds*:

*Then*

- (1)
*the set*${X}_{p}$*is nonempty*; - (2)
*there is a unique*$u\in {X}_{p}$*such that*$Tu=u$; - (3)
*for each*$x\in {X}_{p}$,*the sequence*${\{{T}^{n}x\}}_{n\ge 1}$*converges*,*with respect to the metric*${p}^{s}$,*to**u*.

**Definition 7** Let *A* and *B* be two nonempty closed subsets of a complete partial metric space $(X,p)$ such that $X=A\cup B$. A mapping $T:X\to X$ is called a cyclical contraction if it satisfies:

(C1): $T(A)\subseteq B$ and $T(B)\subseteq A$.

(C2): There exists $0<\alpha <1:p(Tx,Ty)\le \alpha p(x,y)$, $\mathrm{\forall}x\in A$ and $\mathrm{\forall}y\in B$.

If (C2) in Definition 7 is replaced by the condition

(PC2): there exists $0<\alpha <1:p(Tx,Ty)\le max\{\alpha p(x,y),p(x,x),p(y,y)\}$ $\mathrm{\forall}x\in A$ and $\mathrm{\forall}y\in B$,

then *T* is called a partial cyclical contraction. Note that partial cyclical contractions reflect the structure of a partial metric space better. The proof of the following lemma can be easily done by using the partial metric topology.

**Lemma 8** *A subset* *A* *of a partial metric space is closed if and only if* $x\in A$ *whenever* ${x}_{n}\in A$ *satisfies* ${x}_{n}\to x$.

**Definition 9** A subset *A* of a partial metric space $(X,p)$ is called 0-compact if, for any sequence $\{{x}_{n}\}$ in *A*, there exists a subsequence $\{{x}_{{k}_{n}}\}$ and $x\in A$ such that ${lim}_{n\to \mathrm{\infty}}p({x}_{{k}_{n}},x)=p(x,x)=0$.

Clearly, a closed subset of a 0-compact set is 0-compact.

**Lemma 10** (see also [7] and [9])

*Assume* ${x}_{n}\to z$ *as* $n\to \mathrm{\infty}$ *in a PMS* $(X,p)$ *such that* $p(z,z)=0$. *Then* ${lim}_{n\to \mathrm{\infty}}p({x}_{n},y)=p(z,y)$ *for every* $y\in X$.

## 2 Main results

We start this section with a theorem that will motivate us to obtain our main result for cyclic contraction mappings.

**Theorem 11**

*Let*$(X,p)$

*be a*0-

*complete partial metric space and*$T:X\to X$

*be continuous such that*

*Then there exists* $z\in X$ *such that* $p(z,z)=0$ *and* $p(Tz,z)=p(Tz,Tz)$.

*Proof*The condition (3) implies that the sequence ${T}^{n}(x)$ is 0-Cauchy for all $x\in X$. Hence, there exists $z\in X$ such that ${x}_{n}=T{x}_{n-1}$ converges to

*z*and $p(z,z)=0$. The conclusion that $p(Tz,z)=p(Tz,Tz)$ follows by Lemma 3, (P2), and the inequality

□

Observe that if the partial metric in Theorem 11 is replaced by a metric, then we conclude that *z* is a fixed point. The following theorem is an extension of Theorem 1.1 in [17].

**Theorem 12** *Let* *A* *and* *B* *be two nonempty closed subsets of a* 0-*complete partial metric space* $(X,p)$ *such that* $X=A\cup B$, *and suppose* $T:X\to X$ *is a cyclical contraction self*-*mapping of* *X*. *Then* *T* *has a unique fixed point in* $A\cap B$.

*Proof*The condition (C1) implies that for any $x\in A\cup B$,

and this by (P4) implies that the sequence $\{{T}^{n}(x)\}$ is 0-Cauchy for any $x\in X$. Consequently, $\{{T}^{n}(x)\}$ converges to some point $z\in X$ such that $p(z,z)=0$. However, in view of (C2), an infinite number of terms of the sequence $\{{T}^{n}(x)\}$ lie in *A* and an infinite number of terms lie in *B*. Then by Lemma 8, we conclude that $z\in A\cap B$, so $A\cap B\ne \mathrm{\varnothing}$. Now (C1) and (C2) imply that the map *T* restricted to $A\cap B$ is a contraction. Then the result follows by Theorem 5. □

We next give an example showing that the generalization to a partial metric space in Theorem 12 is proper.

**Example 13** Let $X=[0,1]$, $A=[0,\frac{1}{2}]$ and $B=[\frac{1}{2},1]$. Then $X=A\cup B$ and $A\cap B=\{\frac{1}{2}\}$. Provide *X* with the partial metric $p(x,y)=|x-y|$ if both $x,y\in [0,1)$ and $p(x,y)=max\{x,y\}$ otherwise. Then, clearly, $(X,p)$ is a complete partial metric space. Define $T:X\to X$ by $T(x)=\frac{1}{2}$ if $0\le x<1$ and $T(1)=0$. Then it can be easily checked that *T* is a cyclical contraction with $\alpha =\frac{3}{4}$. Notice that the cyclical contractive condition of Theorem 12 is not satisfied when the partial metric *p* is replaced by the usual absolute value metric.

The following example shows that Theorem 6 cannot be extended for cyclical mappings when the cyclical contraction is replaced by a partial cyclical contraction.

**Example 14**Let $A=[0,1]$, $B=[3,4]\cup \{\frac{3}{2}\}$ and $X=A\cup B$. Define $p:X\times X\to [0,\mathrm{\infty})$ by $p(x,y)=max\{x,y\}$. Then $(X,p)$ is a complete partial metric space. Define $T:X\to X$ by

for any $x\in A$, $y\in B$ and any $\alpha \in (0,1)$. However, $A\cap B=\mathrm{\varnothing}$.

**Corollary 15**

*Let*

*A*

*and*

*B*

*be two nonempty closed subsets of a complete partial metric space*$(X,p)$

*such that*$X=A\cup B$.

*Let*$f:A\to B$

*and*$g:B\to A$

*be two functions such that*$f(x)=g(x)$

*for all*$x\in A\cap B$

*and*

*where*$0<\alpha <1$.

*Then there exists a unique*${x}_{0}\in A\cap B$

*such that*

*Proof*Apply Theorem 12 to the mapping $T:A\cup B\to A\cup B$ defined by the setting

Observe that the assumption that $f(x)=g(x)$ for all $x\in A\cap B$ implies that *T* is well defined. □

Note that in the metric space case, the condition (4) implies that the map *T* is well defined.

Obviously Theorem 12 can be extended to the following version.

**Theorem 16**

*Let*${\{{A}_{i}\}}_{i=1}^{k}$

*be nonempty closed subsets of a*0-

*complete partial metric space*,

*and suppose that*$T:{\bigcup}_{i=1}^{k}{A}_{i}\to {\bigcup}_{i=1}^{k}{A}_{i}$

*satisfies the following conditions*(

*where*${A}_{k+1}={A}_{1}$):

- (1)
$T({A}_{i})\subseteq {A}_{i+1}$

*for*$1\le i\le k$; - (2)
*there exists*$\alpha \in (0,1)$*such that*$p(T(x),T(y))\le \alpha p(x,y)$ $\mathrm{\forall}x\in {A}_{i}$, $y\in {A}_{i+1}$*for*$1\le i\le k$.

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

*Proof* One only needs to observe that given $x\in {\bigcup}_{i=1}^{k}{A}_{i}$, infinitely many terms of the Cauchy sequence $\{{T}^{n}(x)\}$ lie in each ${A}_{i}$. Thus ${\bigcap}_{i=1}^{k}{A}_{i}\ne \mathrm{\varnothing}$, and the restriction of *T* to this intersection is a contraction mapping. □

**Remark 17** It is our belief that Theorem 12 can be extended to more general cyclical contraction mappings. However, it would be of more interest if the contractive type conditions are considered with control functions.

The following theorem is an extension of an Edelstein type theorem to partial metric spaces.

**Theorem 18**

*Let*${\{{A}_{i}\}}_{i=1}^{k}$

*be nonempty closed subsets of a partial metric space*$(X,p)$,

*at least one of which is*0-

*compact*,

*and suppose that*$T:{\bigcup}_{i=1}^{k}{A}_{i}\to {\bigcup}_{i=1}^{k}{A}_{i}$

*satisfies the following conditions*(

*where*${A}_{k+1}={A}_{1}$):

- (1)
$T({A}_{i})\subseteq {A}_{i+1}$

*for*$1\le i\le k$; - (2)
$p(T(x),T(y))<p(x,y)$ $\mathrm{\forall}x\in {A}_{i}$, $y\in {A}_{i+1}$

*for*$1\le i\le k$.

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

*Proof*Assume ${A}_{1}$ is 0-compact, and let $\delta =p({A}_{a},{A}_{k})=inf\{p(x,y):x\in {A}_{1},y\in {A}_{k}\}$. From the definition of

*δ*there exist sequences $\{{x}_{n}\}\subset {A}_{1}$ and $\{{u}_{n}\}\subset {A}_{k}$ such that

and since ${T}^{k-1}(z)\in {A}_{k}$ and ${F}^{2k}({x}_{0})\in {A}_{1}$, we have a contradiction. Therefore, we conclude that $\delta =0$ and ${A}_{1}\cap {A}_{k}\ne \mathrm{\varnothing}$. Thus, by the assumption (1), ${A}_{1}\cap {A}_{2}\ne \mathrm{\varnothing}$.

*T*and the family ${\{{B}_{i}\}}_{i=1}^{k}$. By repeating the argument just given, we arrive at

This, in turn, implies that ${A}_{1}\cap {A}_{2}\cap {A}_{3}\ne \mathrm{\varnothing}$. Continuing step-by-step, we conclude that $A:={\bigcap}_{i=1}^{k}\ne \mathrm{\varnothing}$.

Uniqueness follows from the fact that any fixed point of *T* necessarily lies in $A:={\bigcap}_{i=1}^{k}$ by the assumption (1). □

## Declarations

## Authors’ Affiliations

## References

- Khan MS, Sweleh M, Sessa S: Fixed point theorems by alternating distance between the points.
*Bull. Aust. Math. Soc.*1984, 30(1):1–9. 10.1017/S0004972700001659View ArticleGoogle Scholar - Rhoades BE: Some theorems on weakly contractive maps.
*Nonlinear Anal., Theory Methods Appl.*2001, 47(4):2283–2693. 10.1016/S0362-546X(01)00352-2MathSciNetView ArticleGoogle Scholar - Dutta PN, Choudhury BS: A generalization of contraction principle in metric spaces.
*Fixed Point Theory Appl.*2008., 2008: Article ID 406368Google Scholar - Boyd DW, Wong SW: On nonlinear contractions.
*Proc. Am. Math. Soc.*1969, 20: 458–464. 10.1090/S0002-9939-1969-0239559-9MathSciNetView ArticleGoogle Scholar - Matthews, SG: Partial metric topology. Research report 212, Department of Computer Science, University of Warwick (1992)Google Scholar
- Matthews SG: Partial metric topology. Annals of the New York Academy of Sciences 728.
*General Topology and Its Applications*1994, 183–197.Google Scholar - Abdeljawad T, Karapinar E, Taş K: Existence and uniqueness of a common fixed point on partial metric spaces.
*Appl. Math. Lett.*2011, 24(11):1900–1904. 10.1016/j.aml.2011.05.014MathSciNetView ArticleGoogle Scholar - Abdeljawad T, Karapinar E, Taş K: A generalized contraction principle with control functions on partial metric spaces.
*Comput. Math. Appl.*2012, 63(3):716–719. 10.1016/j.camwa.2011.11.035MathSciNetView ArticleGoogle Scholar - Abdeljawad T: Fixed points for generalized weakly contractive mappings in partial metric spaces.
*Math. Comput. Model.*2011, 54(11–12):2923–2927. 10.1016/j.mcm.2011.07.013MathSciNetView ArticleGoogle Scholar - Oltra S, Valero O: Banach’s fixed point theorem for partial metric spaces.
*Rend. Ist. Mat. Univ. Trieste*2004, 36(1–2):17–26.MathSciNetGoogle Scholar - Valero O: On Banach fixed point theorems for partial metric spaces.
*Appl. Gen. Topol.*2005, 6(2):229–240.MathSciNetView ArticleGoogle Scholar - Altun I, Sola F, Simsek H: Generalized contractions on partial metric spaces.
*Topol. Appl.*2010, 157(18):2778–2785. 10.1016/j.topol.2010.08.017MathSciNetView ArticleGoogle Scholar - Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 508730. doi:10.1155/2011/508730Google Scholar - Shatanawi W, Samet B, Abbas M: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces.
*Math. Comput. Model.*2012. doi:10.1016/j.mcm.2011.08.042Google Scholar - Ilić D, Pavlović V, Rakoc̆ević V: Some new extensions of Banach’s contraction principle to partial metric spaces.
*Appl. Math. Lett.*2011, 24: 1326–1330. 10.1016/j.aml.2011.02.025MathSciNetView ArticleGoogle Scholar - Romaguera S: A Kirk type characterization of completeness for partial metric spaces.
*Fixed Point Theory Appl.*2010., 2010: Article ID 493298. doi:10.1155/2010/493298Google Scholar - Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions.
*Fixed Point Theory*2003, 4(1):79–89.MathSciNetGoogle 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.