- Research
- Open Access

# From metric spaces to partial metric spaces

- Bessem Samet
^{1}Email author, - Calogero Vetro
^{2}and - Francesca Vetro
^{3}

**2013**:5

https://doi.org/10.1186/1687-1812-2013-5

© Samet et al.; licensee Springer 2013

**Received:**7 August 2012**Accepted:**11 December 2012**Published:**8 January 2013

## Abstract

Motivated by experience from computer science, Matthews (1994) introduced a nonzero self-distance called a partial metric. He also extended the Banach contraction principle to the setting of partial metric spaces. In this paper, we show that fixed point theorems on partial metric spaces (including the Matthews fixed point theorem) can be deduced from fixed point theorems on metric spaces. New fixed point theorems on metric spaces are established and analogous results on partial metric spaces are deduced.

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

## Keywords

- metric space
- partial metric space
- fixed point

## 1 Introduction and preliminaries

Over the last decades, fixed point theory has been revealed as a very powerful tool in the study of nonlinear phenomena. In particular, fixed point techniques and results have been developed in pure and applied analysis, topology and geometry. A fundamental result of this theory is the well-known Banach contraction principle [1]. In the last fifty years, the Banach contraction principle has been extensively studied and generalized on many settings (see, for example, [2–12]). In the same decades, several authors worked on domain theory in order to equip semantics domain with the notion of distance. In 1994, Matthews [8] introduced the notion of partial metric space as a part of the study of denotational semantics of dataflow networks and showed that the Banach contraction principle can be generalized to the partial metric context for applications in program verification. Later on, many researchers studied fixed point theorems in partial metric spaces. For more details, the reader can refer to [13–22].

First, we start by recalling some basic definitions and properties of partial metric spaces.

**Definition 1.1** (see [8])

A partial metric on a nonempty set *X* is a function $p:X\times X\to [0,\mathrm{\infty})$ such that for all $x,y,z\in X$,

(p_{1}) $x=y\u27fap(x,x)=p(x,y)=p(y,y)$;

(p_{2}) $p(x,x)\le p(x,y)$;

(p_{3}) $p(x,y)=p(y,x)$;

(p_{4}) $p(x,y)\le p(x,z)+p(z,y)-p(z,z)$.

A partial metric space is a pair $(X,p)$ such that *X* is a nonempty set and *p* is a partial metric on *X*.

_{1}) and (p

_{2}), $x=y$; but if $x=y$, $p(x,y)$ may not be 0. A basic example of a partial metric space is the pair $([0,\mathrm{\infty}),p)$, where $p(x,y)=max\{x,y\}$ for all $x,y\in [0,\mathrm{\infty})$. Other examples of partial metric spaces which are interesting from a computational point of view may be found in [8]. We observe that each partial metric

*p*on

*X*generates a ${T}_{0}$ topology ${\tau}_{p}$ on

*X*which has as a base 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$. If

*p*is a partial metric on

*X*, then the function ${p}^{s}:X\times X\to [0,\mathrm{\infty})$ given by

is a metric on *X*.

**Definition 1.2** (see [8])

*X*. Then

- (i)
$\{{x}_{n}\}$ converges to a point $x\in X$ if and only if $p(x,x)={lim}_{n\to +\mathrm{\infty}}p(x,{x}_{n})$. We may write this as ${x}_{n}\to x$;

- (ii)
$\{{x}_{n}\}$ is called a Cauchy sequence if ${lim}_{n,m\to +\mathrm{\infty}}p({x}_{n},{x}_{m})$ exists and is finite;

- (iii)
$(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})$.

**Lemma 1.1** (see [8])

*Let*$(X,p)$

*be a partial metric space*.

*Then*

- (a)
$\{{x}_{n}\}$

*is a Cauchy sequence in*$(X,p)$*if and only if it is a Cauchy sequence in the metric space*$(X,{p}^{s})$; - (b)
*A partial metric space*$(X,p)$*is complete if and only if the metric space*$(X,{p}^{s})$*is complete*.*Furthermore*, ${lim}_{n\to +\mathrm{\infty}}{p}^{s}({x}_{n},x)=0$*if and only if*$p(x,x)=\underset{n\to +\mathrm{\infty}}{lim}p({x}_{n},x)=\underset{n,m\to +\mathrm{\infty}}{lim}p({x}_{n},{x}_{m}).$

In 2008, Rus [20] investigated the basic problems of metric fixed point theory in the case of partial metric spaces: existence and uniqueness, the convergence of successive approximations and well posedness of the fixed point problem. Consequently, he presented some interesting open questions: If $T:(X,p)\to (X,p)$ is a generalized contraction, which condition satisfies *T* with respect to ${p}^{s}$? How to use fixed point theorems in a metric space $(X,{p}^{s})$ to give analogous fixed point results in a partial metric space $(X,p)$?

In this paper, motivated and inspired by Rus [20], we present new fixed point theorems on complete metric spaces. As an application of our results, we show that the Matthews fixed point theorem on partial metric spaces is a particular case of our first theorem on complete metric spaces. Moreover, we obtain some useful corollaries in the setting of partial metric spaces. In so doing, we provide useful answers to the above open questions.

## 2 New fixed point theorems on metric spaces

In this section, we present new fixed point theorems on the setting of complete metric spaces. Our first result is the following.

**Theorem 2.1**

*Let*$(X,d)$

*be a complete metric space*, $\phi :X\to [0,\mathrm{\infty})$

*be a lower semi*-

*continuous function and*$T:X\to X$

*be a given mapping*.

*Suppose that for any*$0<a<b<\mathrm{\infty}$,

*there exists*$0<\gamma (a,b)<1$

*such that for all*$x,y\in X$,

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $\phi ({x}^{\ast})=0$.

*Proof* Let ${x}_{0}$ be an arbitrary point in *X*. Consider the sequence $\{{x}_{n}\}\subset X$ defined by ${x}_{n+1}=T{x}_{n}$ for all $n\ge 0$.

*Step I*. We prove that

*n*we have $d({x}_{n-1},{x}_{n})+\phi ({x}_{n-1})+\phi ({x}_{n})=0$, then ${x}_{n-1}$ will be a fixed point of

*T*. So, we can suppose that

Letting $n\to \mathrm{\infty}$ in the above inequality and using (6), we get $r\le \gamma (r,{\mathcal{U}}_{0})r$, which implies that $\gamma (r,{\mathcal{U}}_{0})\ge 1$, a contradiction. Thus, $r=0$ and (3) holds.

*Step II*. We prove that $\{{x}_{n}\}$ is a Cauchy sequence in $(X,d)$.

*k*,

*k*, we have

*k*, we have

for all *k*. Letting $k\to \mathrm{\infty}$ in the above inequality, using (3), (8) and (9), we obtain that $\epsilon \le \gamma (\epsilon ,\epsilon +{\mathcal{U}}_{0}+\mathrm{\Phi})\epsilon $, which implies that $\gamma (\epsilon ,\epsilon +{\mathcal{U}}_{0}+\mathrm{\Phi})\ge 1$, a contradiction with $\gamma (\epsilon ,\epsilon +{\mathcal{U}}_{0}+\mathrm{\Phi})\in (0,1)$. Hence, we deduce that $\{{x}_{n}\}$ is a Cauchy sequence in $(X,d)$. Since $(X,d)$ is complete, there exists ${x}^{\ast}\in X$ such that ${x}_{n}\to {x}^{\ast}$ as $n\to \mathrm{\infty}$.

*Step III*. We prove that

*φ*is lower semi-continuous, it follows that

which implies (10).

*Step IV*. We prove that ${x}^{\ast}$ is a fixed point of

*T*. Consider the sets $I,J\subseteq \mathbb{N}$ defined by

As $I\cup J=\mathbb{N}$, at least one of these subsets is infinite. So, we consider two cases.

*Case 1*. *I* is an infinite subset. In this case, we can find a subsequence $\{{x}_{n(p)}\}$ of $\{{x}_{n}\}$ such that ${x}_{n(p)}={x}^{\ast}$ for all *p*. Since ${x}_{n(p)+1}=T{x}_{n(p)}=T{x}^{\ast}$ and ${x}_{n(p)+1}\to {x}^{\ast}$ as $p\to \mathrm{\infty}$, we have necessarily ${x}^{\ast}=T{x}^{\ast}$, that is, ${x}^{\ast}$ is a fixed point of *T*.

*Case 2*.

*J*is an infinite subset. In this case, we can find a subsequence $\{{x}_{n(p)}\}$ of $\{{x}_{n}\}$ such that $d({x}_{n(p)},{x}^{\ast})>0$ for all

*p*. Then, for every

*p*, we can find $0<{A}_{p}<{B}_{p}$ such that

*p*we deduce that

and so ${x}_{n(p)+1}\to T{x}^{\ast}$ as $p\to +\mathrm{\infty}$. By the uniqueness of the limit, we have necessarily ${x}^{\ast}=T{x}^{\ast}$. Then ${x}^{\ast}$ is a fixed point of *T*.

*Step V*. Uniqueness of the fixed point. Suppose that ${y}^{\ast}\in X$ is another fixed point of

*T*, that is, $T{y}^{\ast}={y}^{\ast}$ and $d({x}^{\ast},{y}^{\ast})>0$. Since $d({x}^{\ast},{y}^{\ast})>0$, we can find $0<\alpha <\beta $ such that $\alpha \le d({x}^{\ast},{y}^{\ast})+\phi ({x}^{\ast})+\phi ({y}^{\ast})\le \beta $. From (2), we have

which implies that $\gamma (\alpha ,\beta )\ge 1$, a contradiction with $\gamma (\alpha ,\beta )\in (0,1)$. Then ${x}^{\ast}$ is the unique fixed point of *T*. This makes end to the proof. □

An immediate consequence of Theorem 2.1 is the following.

**Theorem 2.2**

*Let*$(X,d)$

*be a complete metric space*, $\phi :X\to [0,\mathrm{\infty})$

*be a lower semi*-

*continuous function and*$T:X\to X$

*be a given mapping*.

*Suppose that there exists a constant*$\gamma \in (0,1)$

*such that for all*$x,y\in X$,

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $\phi ({x}^{\ast})=0$.

**Remark 2.1** Taking $\phi \equiv 0$ in Theorem 2.2, we obtain the Banach contraction principle.

The following result is a generalization of Kannan’s fixed point theorem.

**Theorem 2.3**

*Let*$(X,d)$

*be a complete metric space*, $\phi :X\to [0,\mathrm{\infty})$

*be a lower semi*-

*continuous function and*$T:X\to X$

*be a given mapping*.

*Suppose that there exists a constant*$\gamma \in (0,1/2)$

*such that for all*$x,y\in X$,

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $\phi ({x}^{\ast})=0$.

*Proof*Let ${x}_{0}\in X$ be an arbitrary point. Define the sequence $\{{x}_{n}\}$ in

*X*by ${x}_{n+1}=T{x}_{n}$ for all $n\ge 0$. Applying (11) with $x={x}_{1}$ and $y={x}_{0}$, we get immediately

*φ*is lower semi-continuous, it follows that

*T*. Indeed, applying condition (11), we obtain that

that is, ${x}^{\ast}=T{x}^{\ast}$.

*T*. Applying (11) with $x=y={y}^{\ast}$, we obtain

which implies (since $0<\gamma <1/2$) that $\phi ({y}^{\ast})=0$. Now, applying (11) with $x={x}^{\ast}$ and $y={y}^{\ast}$, taking into consideration that $\phi ({x}^{\ast})=\phi ({y}^{\ast})=0$, we obtain $d({x}^{\ast},{y}^{\ast})=0$, which implies that ${x}^{\ast}={y}^{\ast}$. □

**Remark 2.2** Taking $\phi \equiv 0$ in Theorem 2.3, we obtain Kannan’s fixed point theorem [6].

Now, we state and prove a generalization of Reich’s fixed point theorem.

**Theorem 2.4**

*Let*$(X,d)$

*be a complete metric space*, $\phi :X\to [0,\mathrm{\infty})$

*be a lower semi*-

*continuous function and*$T:X\to X$

*be a given mapping*.

*Suppose that there exist*$\alpha ,\beta ,\gamma \in [0,\mathrm{\infty})$,

*with*$\alpha +\beta +\gamma <1$,

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $\phi ({x}^{\ast})=0$.

*Proof*Let ${x}_{0}\in X$ be an arbitrary point. Define the sequence $\{{x}_{n}\}$ in

*X*by ${x}_{n+1}=T{x}_{n}$ for all $n\ge 0$. Applying (13) with $x={x}_{1}$ and $y={x}_{0}$, using the triangular inequality, we have

for all $n\ge 0$. The rest of the proof is similar to the proof of Theorem 2.3. □

**Remark 2.3** Taking $\phi \equiv 0$ in Theorem 2.4, we obtain Reich’s fixed point theorem [10].

Now, we give a generalization of Chatterjea’s fixed point theorem.

**Theorem 2.5**

*Let*$(X,d)$

*be a complete metric space*, $\phi :X\to [0,\mathrm{\infty})$

*be a lower semi*-

*continuous function and*$T:X\to X$

*be a given mapping*.

*Suppose that there exists a constant*$k\in (0,1/2)$

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $\phi ({x}^{\ast})=0$.

*Proof*Let ${x}_{0}\in X$ be an arbitrary point. Define the sequence $\{{x}_{n}\}$ in

*X*by ${x}_{n+1}=T{x}_{n}$ for all $n\ge 0$. Applying (14) with $x={x}_{1}$ and $y={x}_{0}$, using the triangular inequality, we have

for all $n\ge 0$. The rest of the proof is similar to the proof of Theorem 2.3. □

**Remark 2.4** Taking $\phi \equiv 0$ in Theorem 2.5, we obtain Chatterjea’s fixed point theorem [3].

## 3 From metric to partial metric

As we have said in Section 1, partial metric spaces arose from the need to develop a version of the Banach contraction principle which would work for partially computed sequences as well as totally computed ones [23].

In this section, from our previous obtained results on metric spaces, we show that we can deduce easily various fixed point theorems on partial metric spaces including the Matthews fixed point theorem.

**Corollary 3.1**

*Let*$(X,p)$

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

*be a given mapping*.

*Suppose that for any*$0<a<b<\mathrm{\infty}$,

*there exists*$0<\gamma (a,b)<1$

*such that for all*$x,y\in X$,

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $p({x}^{\ast},{x}^{\ast})=0$.

*Proof*From (1), for all $x,y\in X$, we have

Now, *T* satisfies condition (2) of Theorem 2.1 with $d={p}^{s}$. Finally, to apply Theorem 2.1, we have to check the lower semi-continuity of the function *φ* (with respect to the topology of ${p}^{s}$). Let $\{{x}_{n}\}$ be a sequence in *X* such that ${lim}_{n\to +\mathrm{\infty}}{p}^{s}({x}_{n},x)=0$, where $x\in X$. Then by Lemma 1.1, we get ${lim}_{n\to +\mathrm{\infty}}p({x}_{n},{x}_{n})=p(x,x)$, that is, ${lim}_{n\to +\mathrm{\infty}}\phi ({x}_{n})=\phi (x)$. Thus, *φ* is continuous and therefore the desired result follows immediately from Theorem 2.1. □

Now, the Matthews fixed point theorem follows immediately from Corollary 3.1.

**Corollary 3.2**

*Let*$(X,p)$

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

*be a given mapping*.

*Suppose that there exists*$0<\gamma (a,b)<1$

*such that for all*$x,y\in X$,

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $p({x}^{\ast},{x}^{\ast})=0$.

Now, from our Theorem 2.3, we deduce the following Kannan’s fixed point theorem on partial metric spaces.

**Corollary 3.3**

*Let*$(X,p)$

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

*be a given mapping*.

*Suppose that there exists a constant*$\gamma \in (0,1/2)$

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $p({x}^{\ast},{x}^{\ast})=0$.

*Proof*Using the same notations as in the proof of Corollary 3.1, one can show easily from (16) that for all $x,y\in X$, we have

So, the result follows from Theorem 2.3 with $d={p}^{s}$ and $\phi (x)=p(x,x)$. □

Analogously, from Theorem 2.4, we derive the following Reich’s fixed point theorem on partial metric spaces.

**Corollary 3.4**

*Let*$(X,p)$

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

*be a given mapping*.

*Suppose that there exist*$\alpha ,\beta ,\gamma \in [0,\mathrm{\infty})$,

*with*$\alpha +\beta +\gamma <1$,

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $p({x}^{\ast},{x}^{\ast})=0$.

*Proof*From (17), one can show easily that for all $x,y\in X$, we have

So, the result follows from Theorem 2.4 with $d={p}^{s}$ and $\phi (x)=p(x,x)$. □

From Theorem 2.5, we get the following Chatterjea’s fixed point theorem on partial metric spaces.

**Corollary 3.5**

*Let*$(X,p)$

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

*be a given mapping*.

*Suppose that there exists a constant*$k\in (0,1/2)$

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *we have* $p({x}^{\ast},{x}^{\ast})=0$.

So, the result follows from Theorem 2.5 with $d={p}^{s}$ and $\phi (x)=p(x,x)$. □

## Declarations

### Acknowledgements

This work is supported by the Research Center, College of Science, King Saud University.

## 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 - Berinde V, Vetro F: Common fixed points of mappings satisfying implicit contractive conditions.
*Fixed Point Theory Appl.*2012., 2012: Article ID 105Google Scholar - Chatterjea SK: Fixed point theorem.
*C. R. Acad. Bulgare Sci.*1972, 25: 727–730.MathSciNetGoogle Scholar - Ćirić LB: A generalization of Banach’s contraction principle.
*Proc. Am. Math. Soc.*1974, 45(2):267–273.Google Scholar - Hadžić O, Pap E:
*Fixed Point Theory in Probabilistic Metric Spaces*. Kluwer, London; 2001.Google Scholar - Kannan R: Some results on fixed points.
*Bull. Calcutta Math. Soc.*1968, 60: 71–76.MathSciNetGoogle Scholar - Kannan R: Some results on fixed points - II.
*Am. Math. Mon.*1969, 76: 405–408. 10.2307/2316437View ArticleGoogle Scholar - Matthews SG: Partial metric topology. Annals of the New York Academy of Sciences 728.
*Proceedings of the 8th Summer Conference on General Topology and Applications*1994, 183–197.Google Scholar - Mustafa Z, Sims B: A new approach to generalized metric spaces.
*J. Nonlinear Convex Anal.*2006, 7(2):289–297.MathSciNetGoogle Scholar - Reich S: Kannan’s fixed point theorem.
*Boll. Unione Mat. Ital.*1971, 4: 1–11.Google Scholar - Suzuki T: A generalized Banach contraction principle that characterizes metric completeness.
*Proc. Am. Math. Soc.*2008, 136(5):1861–1869.View ArticleGoogle Scholar - Vetro F: On approximating curves associated with nonexpansive mappings.
*Carpath. J. Math.*2011, 27: 142–147.MathSciNetGoogle 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 - Aydi H, Abbas M, Vetro C: Partial Hausdor metric and Nadler’s fixed point theorem on partial metric spaces.
*Topol. Appl.*2012, 159: 3234–3242. 10.1016/j.topol.2012.06.012MathSciNetView ArticleGoogle 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ć LB, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application.
*Appl. Math. Comput.*2011, 218: 2398–2406. 10.1016/j.amc.2011.07.005MathSciNetView ArticleGoogle Scholar - Oltra S, Valero O: Banach’s fixed point theorem for partial metric spaces.
*Rend. Istit. Mat. Univ. Trieste.*2004, 36(1–2):17–26.MathSciNetGoogle Scholar - Paesano D, Vetro P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces.
*Topol. Appl.*2012, 159: 911–920. 10.1016/j.topol.2011.12.008MathSciNetView ArticleGoogle Scholar - Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces.
*Topol. Appl.*2012, 159: 194–199. 10.1016/j.topol.2011.08.026MathSciNetView ArticleGoogle Scholar - Rus IA: Fixed point theory in partial metric spaces.
*An. Univ. Vest. Timiş., Ser. Mat.-Inform.*2008, 46(2):141–160.MathSciNetGoogle Scholar - Samet B, Rajović M, Lazović R, Stoiljković R: Common fixed point results for nonlinear contractions in ordered partial metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 71Google Scholar - Vetro F, Radenović S: Nonlinear
*ψ*-quasi-contractions of Ćirić-type in partial metric spaces.*Appl. Math. Comput.*2012, 219(4):1594–1600. 10.1016/j.amc.2012.07.061MathSciNetView ArticleGoogle Scholar - Bukatin M, Kopperman R, Matthews S, Pajoohesh H: Partial metric spaces.
*Am. Math. Mon.*2009, 116: 708–718. 10.4169/193009709X460831MathSciNetView 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.