Skip to main content

From metric spaces to partial metric spaces

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.

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, [212]). 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 [1322].

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×X[0,) such that for all x,y,zX,

(p1) x=yp(x,x)=p(x,y)=p(y,y);

(p2) p(x,x)p(x,y);

(p3) p(x,y)=p(y,x);

(p4) p(x,y)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.

It is clear that if p(x,y)=0, then from (p1) and (p2), 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,),p), where p(x,y)=max{x,y} for all x,y[0,). 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 τ p on X which has as a base the family of open p-balls { B p (x,ε):xX,ε>0}, where B p (x,ε)={yX:p(x,y)<p(x,x)+ε} for all xX and ε>0. If p is a partial metric on X, then the function p s :X×X[0,) given by

p s (x,y)=2p(x,y)p(x,x)p(y,y)
(1)

is a metric on X.

Definition 1.2 (see [8])

Let (X,p) be a partial metric space and { x n } be a sequence in X. Then

  1. (i)

    { x n } converges to a point xX if and only if p(x,x)= lim n + p(x, x n ). We may write this as x n x;

  2. (ii)

    { x n } is called a Cauchy sequence if lim n , m + p( x n , x m ) exists and is finite;

  3. (iii)

    (X,p) is said to be complete if every Cauchy sequence { x n } in X converges, with respect to τ p , to a point xX such that p(x,x)= lim n , m + p( x n , x m ).

Lemma 1.1 (see [8])

Let (X,p) be a partial metric space. Then

  1. (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 );

  2. (b)

    A partial metric space (X,p) is complete if and only if the metric space (X, p s ) is complete. Furthermore, lim n + p s ( x n ,x)=0 if and only if

    p(x,x)= lim n + p( x n ,x)= lim n , m + 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)(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, φ:X[0,) be a lower semi-continuous function and T:XX be a given mapping. Suppose that for any 0<a<b<, there exists 0<γ(a,b)<1 such that for all x,yX,

(2)

Then T has a unique fixed point x X. Moreover, we have φ( x )=0.

Proof Let x 0 be an arbitrary point in X. Consider the sequence { x n }X defined by x n + 1 =T x n for all n0.

Step I. We prove that

d( x n 1 , x n )+φ( x n 1 )+φ( x n )0as n.
(3)

If for some n we have d( x n 1 , x n )+φ( x n 1 )+φ( x n )=0, then x n 1 will be a fixed point of T. So, we can suppose that

0<d( x n 1 , x n )+φ( x n 1 )+φ( x n ),n1.
(4)

Suppose that for some n 0 1,

d( x n 0 1 , x n 0 )+φ( x n 0 1 )+φ( x n 0 )<d( x n 0 , x n 0 + 1 )+φ( x n 0 )+φ( x n 0 + 1 ).
(5)

From (4) and (5), we have

0 < a : = d ( x n 0 1 , x n 0 ) + φ ( x n 0 1 ) + φ ( x n 0 ) d ( x n 0 1 , x n 0 ) + φ ( x n 0 1 ) + φ ( x n 0 ) < d ( x n 0 , x n 0 + 1 ) + φ ( x n 0 ) + φ ( x n 0 + 1 ) : = b .

From (2), there exists γ(a,b)(0,1) such that

d( x n 0 , x n 0 + 1 )+φ( x n 0 )+φ( x n 0 + 1 )γ(a,b) [ d ( x n 0 1 , x n 0 ) + φ ( x n 0 1 ) + φ ( x n 0 ) ] .

From (4) and (5), we get

0<d( x n 0 1 , x n 0 )+φ( x n 0 1 )+φ( x n 0 )<γ(a,b) [ d ( x n 0 1 , x n 0 ) + φ ( x n 0 1 ) + φ ( x n 0 ) ] ,

which implies that γ(a,b)>1, a contradiction. Thus, our assumption (5) is wrong. We deduce that

U n :=d( x n , x n + 1 )+φ( x n )+φ( x n + 1 ) U n 1 :=d( x n 1 , x n )+φ( x n 1 )+φ( x n ),n1.

This implies that { U n } is a non-increasing sequence of positive real numbers. Hence, there is r0 such that

d( x n 1 , x n )+φ( x n 1 )+φ( x n ) r + as n.
(6)

Suppose that r>0. Then 0<rd( x n 1 , x n )+φ( x n 1 )+φ( x n ) U 0 for all n1. From (2), there exists γ(r, U 0 )(0,1) such that

d( x n , x n + 1 )+φ( x n )+φ( x n + 1 )γ(r, U 0 ) [ d ( x n 1 , x n ) + φ ( x n 1 ) + φ ( x n ) ] ,n1.

Letting n in the above inequality and using (6), we get rγ(r, U 0 )r, which implies that γ(r, U 0 )1, a contradiction. Thus, r=0 and (3) holds.

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

Suppose that { x n } is not a Cauchy sequence. Then there exists ε>0 for which we can find two sequences of positive integers {m(k)} and {n(k)} such that for all positive integer k,

n(k)>m(k)>k,d( x m ( k ) , x n ( k ) )ε,d( x m ( k ) , x n ( k ) 1 )<ε.
(7)

From (7), we have

εd( x n ( k ) , x m ( k ) )d( x m ( k ) , x n ( k ) 1 )+d( x n ( k ) 1 , x n ( k ) )<ε+d( x n ( k ) , x n ( k ) 1 ).

Thus, for all k, we have

εd( x n ( k ) , x m ( k ) )<ε+d( x n ( k ) , x n ( k ) 1 ).

Letting k in the above inequality and using (3), we obtain

d( x n ( k ) , x m ( k ) ) ε + as k.
(8)

On the other hand, we have

d( x n ( k ) , x m ( k ) )d( x n ( k ) , x n ( k ) + 1 )+d( x n ( k ) + 1 , x m ( k ) + 1 )+d( x m ( k ) + 1 , x m ( k ) )

and

d( x n ( k ) + 1 , x m ( k ) + 1 )d( x n ( k ) + 1 , x n ( k ) )+d( x n ( k ) , x m ( k ) )+d( x m ( k ) , x m ( k ) + 1 ).

Thus, we have

| d ( x n ( k ) + 1 , x m ( k ) + 1 ) d ( x n ( k ) , x m ( k ) ) | d( x n ( k ) + 1 , x n ( k ) )+d( x m ( k ) , x m ( k ) + 1 ).

Letting k in the above inequality, using (3) and (8), we obtain that

d( x n ( k ) + 1 , x m ( k ) + 1 )εas k.
(9)

On the other hand, for all k, we have

ε d ( x n ( k ) , x m ( k ) ) + φ ( x n ( k ) ) + φ ( x m ( k ) ) d ( x m ( k ) , x n ( k ) 1 ) + d ( x n ( k ) 1 , x n ( k ) ) + Φ ε + U 0 + Φ ,

where Φ is the upper bound of {2φ( x n )} (note that from (3), φ( x n )0 as n). Applying (2), we obtain that there exists γ(ε,ε+ U 0 +Φ)(0,1) such that

for all k. Letting k in the above inequality, using (3), (8) and (9), we obtain that εγ(ε,ε+ U 0 +Φ)ε, which implies that γ(ε,ε+ U 0 +Φ)1, a contradiction with γ(ε,ε+ U 0 +Φ)(0,1). Hence, we deduce that { x n } is a Cauchy sequence in (X,d). Since (X,d) is complete, there exists x X such that x n x as n.

Step III. We prove that

φ ( x ) =0.
(10)

From (3), we have φ( x n )0 as n. Since φ is lower semi-continuous, it follows that

0φ ( x ) lim inf n + φ( x n )= lim n + φ( x n )=0,

which implies (10).

Step IV. We prove that x is a fixed point of T. Consider the sets I,JN defined by

I:= { n N : x n = x } andJ:= { n N : x n x } .

As IJ=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 for all p. Since x n ( p ) + 1 =T x n ( p ) =T x and x n ( p ) + 1 x as p, we have necessarily x =T x , that is, x 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 )>0 for all p. Then, for every p, we can find 0< A p < B p such that

A p d ( x n ( p ) , x ) +φ( x n ( p ) )+φ ( x ) B p .

From (2), we have

d ( x n ( p ) + 1 , T x ) +φ( x n ( p ) + 1 )+φ ( T x ) γ( A p , B p ) [ d ( x n ( p ) , x ) + φ ( x n ( p ) ) + φ ( x ) ] .

Since γ( A p , B p )<1, for all p we deduce that

d ( x n ( p ) + 1 , T x ) +φ( x n ( p ) + 1 )+φ ( T x ) d ( x n ( p ) , x ) +φ( x n ( p ) )+φ ( x ) .

Since d( x n ( p ) , x )+φ( x n ( p ) )+φ( x )φ( x )=0 as p+ (see (3) and (10)), letting p+ in the above inequality, we obtain that

lim p + d ( x n ( p ) + 1 , T x ) +φ ( T x ) 0

and so x n ( p ) + 1 T x as p+. By the uniqueness of the limit, we have necessarily x =T x . Then x is a fixed point of T.

Step V. Uniqueness of the fixed point. Suppose that y X is another fixed point of T, that is, T y = y and d( x , y )>0. Since d( x , y )>0, we can find 0<α<β such that αd( x , y )+φ( x )+φ( y )β. From (2), we have

d ( T x , T y ) +φ ( T x ) +φ ( T y ) γ(α,β) [ d ( x , y ) + φ ( x ) + φ ( y ) ] ,

that is,

d ( x , y ) +φ ( x ) +φ ( y ) γ(α,β) [ d ( x , y ) + φ ( x ) + φ ( y ) ] ,

which implies that γ(α,β)1, a contradiction with γ(α,β)(0,1). Then x 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, φ:X[0,) be a lower semi-continuous function and T:XX be a given mapping. Suppose that there exists a constant γ(0,1) such that for all x,yX,

d(Tx,Ty)+φ(Tx)+φ(Ty)γ [ d ( x , y ) + φ ( x ) + φ ( y ) ] .

Then T has a unique fixed point x X. Moreover, we have φ( x )=0.

Remark 2.1 Taking φ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, φ:X[0,) be a lower semi-continuous function and T:XX be a given mapping. Suppose that there exists a constant γ(0,1/2) such that for all x,yX,

d(Tx,Ty)+φ(Tx)+φ(Ty)γ [ d ( x , T x ) + d ( y , T y ) + φ ( x ) + φ ( y ) + φ ( T x ) + φ ( T y ) ] .
(11)

Then T has a unique fixed point x X. Moreover, we have φ( x )=0.

Proof Let x 0 X be an arbitrary point. Define the sequence { x n } in X by x n + 1 =T x n for all n0. Applying (11) with x= x 1 and y= x 0 , we get immediately

d( x 2 , x 1 )+φ( x 2 )+φ( x 1 ) ( γ 1 γ ) [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ] .

Continuing this process, by induction, we obtain that

d( x n + 1 , x n )+φ( x n + 1 )+φ( x n ) ( γ 1 γ ) n [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ]
(12)

for all n0. Note that since γ(0,1/2), we have γ/(1γ)(0,1), so from inequality (12), the sequence { x n } is Cauchy in the metric space (X,d). Since (X,d) is a complete metric space, there exists x X such that x n x as n. On the other hand, from (12), we have

φ( x n ) ( γ 1 γ ) n [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ] ,

for all n0. Letting n+ in the above inequality, we get φ( x n )0 as n. Since φ is lower semi-continuous, it follows that

0φ ( x ) lim inf n + φ( x n )= lim n + φ( x n )=0,

that is, φ( x )=0. Now, we prove that x is a fixed point of T. Indeed, applying condition (11), we obtain that

for all n0. Letting n, we obtain

d ( x , T x ) +φ ( T x ) γ [ d ( x , T x ) + φ ( T x ) ] ,

which implies (since 0<γ<1/2) that

d ( x , T x ) =φ ( T x ) =0,

that is, x =T x .

Suppose now that y is another fixed point of T. Applying (11) with x=y= y , we obtain

φ ( y ) 2γφ ( y ) ,

which implies (since 0<γ<1/2) that φ( y )=0. Now, applying (11) with x= x and y= y , taking into consideration that φ( x )=φ( y )=0, we obtain d( x , y )=0, which implies that x = y . □

Remark 2.2 Taking φ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, φ:X[0,) be a lower semi-continuous function and T:XX be a given mapping. Suppose that there exist α,β,γ[0,), with α+β+γ<1, such that

d ( T x , T y ) + φ ( T x ) + φ ( T y ) α [ d ( x , y ) + φ ( x ) + φ ( y ) ] + β [ d ( x , T x ) + φ ( x ) + φ ( T x ) ] + γ [ d ( y , T y ) + φ ( y ) + φ ( T y ) ]
(13)

for all x,yX. Then T has a unique fixed point x X. Moreover, we have φ( x )=0.

Proof Let x 0 X be an arbitrary point. Define the sequence { x n } in X by x n + 1 =T x n for all n0. Applying (13) with x= x 1 and y= x 0 , using the triangular inequality, we have

d ( x 2 , x 1 ) + φ ( x 2 ) + φ ( x 1 ) α [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ] + β [ d ( x 2 , x 1 ) + φ ( x 1 ) + φ ( x 2 ) ] + γ [ d ( x 1 , x 0 ) + φ ( x 0 ) + φ ( x 1 ) ] .

This implies that

d( x 2 , x 1 )+φ( x 2 )+φ( x 1 ) ( α + γ 1 β ) [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ] ,

where (α+γ)/(1β)(0,1). Continuing this process, by induction, we obtain that

d( x n + 1 , x n )+φ( x n + 1 )+φ( x n ) ( α + γ 1 β ) n [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ]

for all n0. The rest of the proof is similar to the proof of Theorem 2.3. □

Remark 2.3 Taking φ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, φ:X[0,) be a lower semi-continuous function and T:XX be a given mapping. Suppose that there exists a constant k(0,1/2) such that

d(Tx,Ty)+φ(Tx)+φ(Ty)k [ d ( x , T y ) + d ( y , T x ) + φ ( x ) + φ ( y ) + φ ( T x ) + φ ( T y ) ]
(14)

for all x,yX. Then T has a unique fixed point x X. Moreover, we have φ( x )=0.

Proof Let x 0 X be an arbitrary point. Define the sequence { x n } in X by x n + 1 =T x n for all n0. Applying (14) with x= x 1 and y= x 0 , using the triangular inequality, we have

d ( x 2 , x 1 ) + φ ( x 2 ) + φ ( x 1 ) k [ d ( x 1 , x 1 ) + d ( x 0 , x 2 ) + φ ( x 1 ) + φ ( x 0 ) + φ ( x 2 ) + φ ( x 1 ) ] k [ d ( x 0 , x 1 ) + d ( x 1 , x 2 ) + φ ( x 1 ) + φ ( x 0 ) + φ ( x 2 ) + φ ( x 1 ) ] .

This implies that

d( x 2 , x 1 )+φ( x 2 )+φ( x 1 ) ( k 1 k ) [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ] .

Continuing this process, by induction, we obtain that

d( x n + 1 , x n )+φ( x n + 1 )+φ( x n ) ( k 1 k ) n [ d ( x 1 , x 0 ) + φ ( x 1 ) + φ ( x 0 ) ]

for all n0. The rest of the proof is similar to the proof of Theorem 2.3. □

Remark 2.4 Taking φ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:XX be a given mapping. Suppose that for any 0<a<b<, there exists 0<γ(a,b)<1 such that for all x,yX,

ap(x,y)bp(Tx,Ty)γ(a,b)p(x,y).
(15)

Then T has a unique fixed point x X. Moreover, we have p( x , x )=0.

Proof From (1), for all x,yX, we have

p(x,y)= p s ( x , y ) + p ( x , x ) + p ( y , y ) 2 .

Note that since (X,p) is complete, from Lemma 1.1, (X, p s ) is a complete metric space. Consider the function φ:X[0,) defined by

φ(x)=p(x,x),xX.

Then from (15), for any 0<a<b<, there exists 0<γ(a,b)<1 such that for all x,yX,

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 + p s ( x n ,x)=0, where xX. Then by Lemma 1.1, we get lim n + p( x n , x n )=p(x,x), that is, lim n + φ( x n )=φ(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:XX be a given mapping. Suppose that there exists 0<γ(a,b)<1 such that for all x,yX,

p(Tx,Ty)γ(a,b)p(x,y).

Then T has a unique fixed point x X. Moreover, we have p( x , x )=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:XX be a given mapping. Suppose that there exists a constant γ(0,1/2) such that

p(Tx,Ty)γ [ p ( x , T x ) + p ( y , T y ) ] ,
(16)

for all x,yX. Then T has a unique fixed point x X. Moreover, we have p( x , x )=0.

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

So, the result follows from Theorem 2.3 with d= p s and φ(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:XX be a given mapping. Suppose that there exist α,β,γ[0,), with α+β+γ<1, such that

p(Tx,Ty)αp(x,y)+βp(x,Tx)+γp(y,Ty)
(17)

for all x,yX. Then T has a unique fixed point x X. Moreover, we have p( x , x )=0.

Proof From (17), one can show easily that for all x,yX, we have

p s ( T x , T y ) + p ( T x , T x ) + p ( T y , T y ) α [ p s ( x , y ) + p ( x , x ) + p ( y , y ) ] + β [ p s ( x , T x ) + p ( x , x ) + p ( T x , T x ) ] + γ [ p s ( y , T y ) + p ( y , y ) + p ( T y , T y ) ] .

So, the result follows from Theorem 2.4 with d= p s and φ(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:XX be a given mapping. Suppose that there exists a constant k(0,1/2) such that

p(Tx,Ty)k [ p ( x , T y ) + p ( y , T x ) ] ,
(18)

for all x,yX. Then T has a unique fixed point x X. Moreover, we have p( x , x )=0.

Proof From (18), one can show easily that for all x,yX, we have

So, the result follows from Theorem 2.5 with d= p s and φ(x)=p(x,x). □

References

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

  2. Berinde V, Vetro F: Common fixed points of mappings satisfying implicit contractive conditions. Fixed Point Theory Appl. 2012., 2012: Article ID 105

    Google Scholar 

  3. Chatterjea SK: Fixed point theorem. C. R. Acad. Bulgare Sci. 1972, 25: 727–730.

    MathSciNet  Google Scholar 

  4. Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45(2):267–273.

    Google Scholar 

  5. Hadžić O, Pap E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer, London; 2001.

    Google Scholar 

  6. Kannan R: Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60: 71–76.

    MathSciNet  Google Scholar 

  7. Kannan R: Some results on fixed points - II. Am. Math. Mon. 1969, 76: 405–408. 10.2307/2316437

    Article  Google Scholar 

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

  9. Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7(2):289–297.

    MathSciNet  Google Scholar 

  10. Reich S: Kannan’s fixed point theorem. Boll. Unione Mat. Ital. 1971, 4: 1–11.

    Google Scholar 

  11. Suzuki T: A generalized Banach contraction principle that characterizes metric completeness. Proc. Am. Math. Soc. 2008, 136(5):1861–1869.

    Article  Google Scholar 

  12. Vetro F: On approximating curves associated with nonexpansive mappings. Carpath. J. Math. 2011, 27: 142–147.

    MathSciNet  Google Scholar 

  13. 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.017

    Article  MathSciNet  Google Scholar 

  14. 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.012

    Article  MathSciNet  Google Scholar 

  15. 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 124

    Google Scholar 

  16. Ć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.005

    Article  MathSciNet  Google Scholar 

  17. Oltra S, Valero O: Banach’s fixed point theorem for partial metric spaces. Rend. Istit. Mat. Univ. Trieste. 2004, 36(1–2):17–26.

    MathSciNet  Google Scholar 

  18. 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.008

    Article  MathSciNet  Google Scholar 

  19. Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 2012, 159: 194–199. 10.1016/j.topol.2011.08.026

    Article  MathSciNet  Google Scholar 

  20. Rus IA: Fixed point theory in partial metric spaces. An. Univ. Vest. Timiş., Ser. Mat.-Inform. 2008, 46(2):141–160.

    MathSciNet  Google Scholar 

  21. 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 71

    Google Scholar 

  22. 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.061

    Article  MathSciNet  Google Scholar 

  23. Bukatin M, Kopperman R, Matthews S, Pajoohesh H: Partial metric spaces. Am. Math. Mon. 2009, 116: 708–718. 10.4169/193009709X460831

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bessem Samet.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly to writing this manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Samet, B., Vetro, C. & Vetro, F. From metric spaces to partial metric spaces. Fixed Point Theory Appl 2013, 5 (2013). https://doi.org/10.1186/1687-1812-2013-5

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords