Professional Documents
Culture Documents
Shahzad-Valero2015 Article ANemytskii-EdelsteinTypeFixedP
Shahzad-Valero2015 Article ANemytskii-EdelsteinTypeFixedP
DOI 10.1186/s13663-015-0266-9
1 Introduction
In , S Banach proved in the context of metric spaces his celebrated fixed point result.
Let us recall his result below. To this end, we denote by R+ the set of nonnegative real
numbers.
Theorem Let f be a mapping of a complete metric space (X, d) into itself such that there
is s ∈ R+ with ≤ s < , satisfying
d f (x), f (y) ≤ sd(x, y) ()
The origins of the preceding theorem lies in the methods for solving differential equa-
tions via successive approximations. However, since Banach proved the above fixed point
result, a wide range of applications has been given in very different frameworks. A class of
such applications are obtained mainly through two extensions of Theorem . One of them
to the context of quasi-metric spaces and the other one to the framework of partial metric
spaces (for a detailed discussion see, for instance, []).
In order to recall the aforesaid extension to the quasi-metric framework, let us fix a few
pertinent concepts about quasi-metric spaces.
Following [], a quasi-metric on a nonempty set X is a function d : X × X → R+ such
that for all x, y, z ∈ X:
© 2015 Shahzad and Valero; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons
Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction
in any medium, provided the original work is properly credited.
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 2 of 15
As we have announced before, Theorem can be generalized in the following easy way.
Theorem Let f be a mapping from a bicomplete quasi-metric space (X, d) into itself such
that there is s ∈ R+ with ≤ s < , satisfying
d f (x), f (y) ≤ sd(x, y) ()
Applications of the above quasi-metric version of the Banach fixed point theorem to
asymptotic complexity of algorithms can be found in [] and [].
With the aim of introducing the second aforementioned extension of the Banach fixed
point theorem, let us recall a few notions about partial metric spaces.
According to [], a partial metric on a nonempty set X is a function p : X × X → R+ such
that for all x, y, z ∈ X:
(i) p(x, x) = p(x, y) = p(y, y) ⇔ x = y.
(ii) p(x, x) ≤ p(x, y).
(iii) p(x, y) = p(y, x).
(iv) p(x, z) ≤ p(x, y) + p(y, z) – p(y, y).
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 3 of 15
A partial metric space is a pair (X, p) such that X is a nonempty set and p is a partial
metric on X. Clearly, a metric on a set X is a partial metric p on X such that p(x, x) = for
all x ∈ X.
From now on, we will denote by N the set of positive integer numbers.
Each partial metric p on X generates a T topology T (p) on X which has as a base the
family of open p-balls {Bp (x, ε) : x ∈ X, ε > }, where Bp (x, ε) = {y ∈ X : p(x, y) < p(x, x) + ε}
for all x ∈ X and ε > . From this fact it immediately follows that a sequence (xn )n in a
partial metric space (X, p) converges to a point x ∈ X if and only if p(x, x) = limn→∞ p(x, xn ).
A sequence (xn )n∈N in a partial metric space (X, p) is called a Cauchy sequence if there
exists limn,m→∞ p(xn , xm ).
A partial metric space (X, p) is said to be complete if every Cauchy sequence (xn )n∈N in
X converges, with respect to T (p), to a point x ∈ X such that p(x, x) = limn,m→∞ p(xn , xm ).
Given a partial metric p on X, then the function ps : X × X → R+ defined by ps (x, y) =
p(x, y) – p(x, x) – p(y, y) for all x, y ∈ X is a metric on X. In addition, on account on [], a
partial metric space (X, p) is complete if and only if its associated metric space (X, ps ) is
complete.
The next example will be needed in the sequel.
Example Consider the function pmax : R+ × R+ → R+ given by pmax (x, y) = max{x, y} for
all x, y ∈ R+ . It is not hard to see that (R+ , pmax ) is a partial metric space. Moreover, it is
clear that psmax (x, y) = |y – x| and, thus, (R+ , pmax ) is complete.
The aforementioned partial metric version of Banach fixed point theorem can be stated
as follows.
Theorem Let f be a mapping from a complete partial metric space (X, p) into itself such
that there is s ∈ R+ with ≤ s < , satisfying
p f (x), f (y) ≤ sp(x, y) ()
An application of the preceding partial metric version of the Banach fixed point theorem
to program correctness can be found in [] (see also []).
In , M Edelstein put forth a natural question about the possibility of obtaining a
fixed point theorem by keeping the completeness of the metric space and replacing the
contractive condition () in Theorem by another slightly modified condition. In partic-
ular he proposed the following contractive condition for a mapping f from a metric space
(X, d) into itself:
d f (x), f (y) < d(x, y) ()
positive result, Theorem below, for self-mappings satisfying the new contractive condi-
tion (), although the class of spaces to which it applies is much more restrictive (see []
and []). This result was proved independently by Nemytskii [].
Theorem Let f be a mapping from a compact metric space (X, d) into itself satisfying
d f (x), f (y) < d(x, y) ()
The preceding theorem, just like Theorem , is a powerful tool to obtain relevant ap-
plications of fixed point theory to different fields of science. Some of the aforementioned
applications can be found in [] (and references therein), [, ], and [].
Inspired by the Matthews extension of the Banach theorem (Theorem above), many
fixed point theorems for self-mappings in metric spaces have been extended to the partial
metric framework. A few recent works in this direction can be found, for example, in [,
–] and []. For details, we refer to []. Motivated by this intense research activity
in fixed point theory in partial metric spaces, we present a Nemytskii-Edelstein type fixed
point theorem for self-mappings in partial metric spaces in such a way that the classical
one can be retrieved as a particular case of our new result. Moreover, we show that our
new fixed point theorem allows one to find fixed points of mappings in some cases in
which the Matthews result and the classical Nemytskii-Edelstein one cannot be applied.
Furthermore, a discussion about whether our new results can be retrieved as a particular
case of the Nemytskii-Edelstein classical fixed point result through the application of the
metrization technique introduced in [] (see also []) is performed.
Conjecture Let (X, p) be a compact partial metric space and let f be a mapping from
(X, p) into itself satisfying
p f (x), f (y) < p(x, y) ()
In [] (see also []), it was showed that, given a partial metric space (X, p), the function
dp : X × X → R+ , defined by dp (x, y) = p(x, y) – p(x, x) for all x, y ∈ X, is a quasi-metric on
X such that T (p) = T (dp ).
In the light of the preceding relationship between partial metric spaces and quasi-
metrics, it also seems natural to wonder whether the following quasi-metric version of
the Nemytskii-Edelstein fixed point theorem holds.
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 5 of 15
Conjecture Let (X, p) be a compact partial metric space and let f be a mapping from
(X, p) into itself satisfying
dp f (x), f (y) < dp (x, y) ()
for all x, y ∈ X with dp (x, y) = and x = y. Then f has a unique fixed point.
In the remainder of the paper we provide a negative answer to the posed question. Con-
cretely, in Section we provide counterexamples that show that such conjectures are not
true when we consider a few possible notions of compactness in partial metric spaces. In
spite of this handicap, we prove that an additional assumption, which is not too much re-
strictive, on the self-mapping is enough to provide Nemytskii-Edelstein type fixed point
theorems in the spirit of the above conjectures. In addition, we give examples that show
that the additional hypothesis on the self-mapping in our new results cannot be weakened.
Furthermore, in Section , we provide a negative answer to the question about whether
our new result can be retrieved as a particular case of the classical Nemytskii-Edelstein
one whenever the metrization technique, given in [], is applied to partial metric spaces.
Example Let pmax be the partial metric introduced in Example . Consider the partial
metric space ([, [, pmax ) where we have also denoted by pmax the restriction of the partial
metric pmax to [, [. It is clear that ([, [, pmax ) is compact, since Bdp– (, ε) = [, [ for
max
each ε > .
In [], O’Neill defined a different notion of compactness in partial metric spaces. Con-
cretely, a partial metric space (X, p) is said to be compact in the O’Neill sense whenever the
metric space (X, ps ) is compact (or equivalently (X, dps ) is compact). In the sequel, compact
partial metric spaces in the O’Neill sense will be called O-compact partial metric spaces.
Next we give an example of O-compact partial metric spaces.
Example Consider the partial metric space ([, ], pmax ), where pmax is defined as in Ex-
ample . It is obvious that psmax (x, y) = |y – x| for all x, y ∈ [, ]. Therefore ([, ], pmax ) is an
O-compact partial metric space.
Clearly O-compact partial metric spaces are compact but the converse is not true. Ex-
ample provides an instance of compact partial metric space which is not O-compact,
since the partial metric space ([, [, psmax ) is not compact.
In the light of the different notions of compactness introduced, we are able to discuss
whether the conjectures given in Section , ‘Conjecture ’ and ‘Conjecture ’, are foolproof.
Regarding ‘Conjecture ’, the next example shows that it does not hold.
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 6 of 15
Example Consider the complete partial metric space (C , pC ) introduced in [], where
∞
C = f : N → ], ∞] : –n
<∞
n=
f (n)
and
∞
pC (f , g) = –n max ,
n=
f (n) g(n)
n ≥ }. According to [, ] and [], the pair (C , psC ) is totally bounded (note that we
have also denoted by psC the restriction of psC to C ). In addition, it is not hard to see that
the subset C is closed in (C , psC ), and, thus, complete. Whence we find that the metric
space (C , psC ) is compact. So the partial metric space (C , pC ) is O-compact.
Now define the mapping F : C → C by
f ()
–
if n = ,
F(f )(n) =
∞ if n > .
In the light of the preceding example ‘Conjecture ’ is not true even when we consider
O-compactness instead of compactness.
Unfortunately ‘Conjecture ’ does not hold as the next example shows.
Example Consider the compact partial metric space ([, ], pmax ) introduced in Exam-
ple . Define the mapping f : [, ] → [, ] by
x
if x = ,
f (x) =
if x = .
It is clear that
dpmax f (x), f (y) < dpmax (x, y)
for all x, y ∈ [, ] with x = y and dpmax (x, y) = . But the mapping f is fixed point free.
Of course, the preceding example shows that ‘Conjecture ’ is not also satisfied even
when one considers O-compactness.
In the light of the preceding discussion we yield sufficient conditions in order to guaran-
tee that the Nemytskii-Edelstein contractive type conditions () and () provide a unique
fixed point.
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 7 of 15
To this end let us recall that, given a partial metric space (X, p), a mapping from (X, p)
into itself is said to be continuous provided that it is continuous from (X, T (p)) to (X, T (p)).
Moreover, we will say that f is conjugate continuous if f is continuous from (X, T (dp– )) to
(X, T (dp– )). Besides, let us recall that a function f from a topological space (X, T ) into
(R+ , T (| · |)) is lower semicontinuous on (X, T ) if and only if f is continuous from (X, T ) to
(R+ , T (du– )) (see []), where du is the upper quasi-metric introduced in Example . Fur-
thermore, it is well known that every lower semicontinuos function on a compact topo-
logical space attains a minimum value (see Theorem . in []).
Next we prove our announced fixed point result.
Theorem Let (X, p) be a compact partial metric space. If f is a mapping from (X, p)
into itself which is conjugate continuous and satisfies
p f (x), f (y) < p(x, y) ()
Proof First we show the existence of fixed point. Define the function F : X → R+ by F(x) =
p(x, f (x)). Next we show that F is lower semicontinuous on (X, T (dp– )). Indeed, let (xn )n∈N
be a sequence in X such that limn→+∞ dp– (x, xn ) = . Then, given ε > , since f is a conjugate
continuous mapping there exists n ∈ N such that dp (xn , x) < ε and dp– (f (x), f (xn )) < ε for
all n ≥ n . Whence
F(x) – F(xn ) = p x, f (x) – p xn , f (xn )
≤ p(x, xn ) + p xn , f (x) – p(xn , xn ) – p xn , f (xn )
= dp– (x, xn ) + p xn , f (x) – p xn , f (xn )
< ε + p xn , f (x) – p xn , f (xn )
≤ ε + p xn , f (xn ) + p f (xn ), f (x) – p f (xn ), f (xn ) – p xn , f (xn )
= ε + dp– f (x), f (xn )
< ε
whenever n ≥ n. So du– (F(x), F(xn )) < ε for all n ≥ n and, thus, F is lower semicontinuous
on (X, T (dp– )). Since (X, dp– ) is a compact quasi-metric space, F attains its minimum, say
at x ∈ X. Consequently, we find that x = f (x ), because otherwise p(x , f (x )) = and,
thus by (),
F f (x ) = p f (x ), f f (x ) < p x , f (x ) = F(x ).
Example shows that the conjugate continuity of the mapping cannot be deleted from
the hypotheses of Theorem in order to guarantee the existence of a fixed point.
The next example shows that Theorem cannot be deduced, in general, from Theo-
rem when an O-compact partial metric space and its associated metric space are con-
sidered.
Example Consider the O-compact partial metric space ([, ], pmax ) introduced in Ex-
ample . Define the mapping f : [, ] → [, ] by
if x ≤ ,
f (x) =
if x > .
It is clear that
pmax f (x), f (y) < pmax (x, y)
= psmax f (), f ≮ psmax , = .
Corollary Let (X, p) be a compact partial metric space and let f be a mapping from
(X, p) into itself satisfying
p f (x), f (y) < p(x, y) ()
p f (x), f (x) ≥ p(x, x) ()
Proof We only have to prove that the mapping f is conjugate continuous. Indeed,
let (xn )n∈N be a sequence in X such that limn→+∞ dp– (x, xn ) = . Next we show that
limn→+∞ dp– (f (x), f (xn )) = . Obviously we can assume that f (x) = f (xn ) for all n ≥ n ,
because otherwise we immediately obtain dp– (f (x), f (xn )) = for all n ∈ N such that
n ≥ n and f (x) = f (xn ). Since limn→+∞ dp– (x, xn ) = there exists n ∈ N such that
p(x, xn ) – p(xn , xn ) < ε for all n ≥ n . Whence we find that
dp– f (x), f (xn ) = p f (x), f (xn ) – p f (xn ), f (xn )
≤ p f (x), f (xn ) – p(xn , xn ) < p(x, xn ) – p(xn , xn ) < ε
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 9 of 15
for all n ≥ n , which is the desired conclusion. By Theorem we obtain the existence and
uniqueness of a fixed point.
Example proves that the contractive condition () cannot be deleted in statement of
Corollary .
Motivated by the fact that Example shows that the proposed quasi-metric version of
the Nemytskii-Edelstein fixed point theorem given in ‘Conjecture ’ does not hold, we end
the section focusing our attention on the study of the aforesaid version.
Corollary Let (X, p) be a compact partial metric space and let f be a mapping from
(X, p) into itself satisfying
dp f (x), f (y) ≤ dp (x, y) ()
p f (x), f (y) < p(x, y) ()
Proof Consider a sequence (xn )n∈N in X such that limn→+∞ dp– (x, xn ) = . By condition ()
we deduce that dp (f (xn ), f (x)) ≤ dp (xn , x) for all n ∈ N. Therefore,
lim d– f (x), f (xn ) = lim dp f (xn ), f (x)
n→+∞ p n→+∞
It follows that f is conjugate continuous and, hence, by Theorem , we obtain the existence
and uniqueness of a fixed point.
Example shows that the contractive condition () cannot be deleted in statement of
the preceding result.
Corollary Let (X, p) be a compact partial metric space. If f is a mapping from (X, p)
into itself which satisfies
dp (x, y) = ⇒ dp f (x), f (y) = ()
dp f (x), f (y) < dp (x, y) ()
p f (x), f (x) ≤ p(x, x) ()
Proof It is a simple matter to check that the mapping f is conjugate continuous. Next we
show that f holds the contractive condition (). To this end, consider x, y ∈ X such that
x = y. Then
p f (x), f (y) – p(x, x) ≤ dp f (x), f (y) < dp (x, y) = p(x, y) – p(x, x).
It follows that
p f (x), f (y) < p(x, y).
The next example shows that the contractive condition () cannot be deleted in the
statement of Corollary .
Example Let (C , pC ) be the partial metric space introduced in Example . Next con-
sider the subset C ⊆ C given by C = C \ {f }, where f (n) = for all n ∈ N. It is clear that
(C , pC ) is compact, where the restriction of pC to C has also been denoted by pC . Note
that Bdp– (f∞ , ε) = C for each ε > , where f∞ is the element of C given by f∞ (n) = ∞ for
C
all n ∈ N.
Now define the mapping F : C → C by
if n = ,
F(f )(n) =
f (n – ) if n > .
The next result will be needed in order to provide another quasi-metric version of the
Nemytskii-Edelstein fixed point theorem given in ‘Conjecture ’.
Theorem Let (X, d) be a quasi-metric space such that the metric space (X, ds ) is com-
pact. If f is a mapping from (X, d) into itself which satisfies
d(x, y) = ⇒ d f (x), f (y) = ()
for all x, y ∈ X such that x = y with d(x, y) = , then f has a unique fixed point in X.
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 11 of 15
Proof Define the function F : X → R+ by F(x) = d(x, f (x)). Next we show that F is lower
semicontinuous on (X, T (ds )). Indeed, let (xn )n∈N ⊂ X such that limn→+∞ ds (x, xn ) = .
Then, given ε > , there exists n ∈ N such that
max d(x, xn ), d(xn , x) < ε
d f (xn ), f (x) < d(xn , x) < ε.
F(x) – F(xn ) = d x, f (x) – d xn , f (xn )
≤ d(x, xn ) + d xn , f (x) – d xn , f (xn )
< ε + d xn , f (x) – d xn , f (xn )
≤ ε + d xn , f (xn ) + d f (xn ), f (x) – d xn , f (xn )
≤ ε + d f (xn ), f (x)
< ε
whenever n ≥ n . So du– (F(x), F(xn )) < ε for all n ≥ n and, thus, F is lower semicontinuous
on (X, T (ds )). Since (X, ds ) is compact we deduce that F attains its minimum, say at x ∈ X.
Hence we deduce that x = f (x ) because otherwise
F f (x ) = d f (x ), f f (x ) < d x , f (x ) = F(x ),
d(x , y ) = d f (x ), f (y ) < d(x , y ).
Therefore the fixed point of f is unique. Of course, the same conclusion is concluded if
ds (x , y ) = d(y , x ).
Example shows that the separation condition () cannot be deleted in the statement
of Theorem .
Remark Observe that, in general, the contractive conditions () and () do not imply
the contractive condition () for the metric case. Indeed, consider the O-compact partial
metric space ([, ], pmax ) given in Example . Define the mapping f : [, ] → [, ] by
if x < ,
f (x) =
if x ≥ .
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 12 of 15
It is clear that
dpmax f (x), f (y) < dpmax (x, y)
Nevertheless
= dps max f (), f ≮ dps max , = .
As a direct consequence of Theorem we obtain the following one for partial metric
spaces in the spirit of ‘Conjecture ’.
Corollary Let (X, p) be an O-compact partial metric space. If f is a mapping from (X, p)
into itself which satisfies
dp (x, y) = ⇒ dp f (x), f (y) = ()
for all x, y ∈ X such that x = y with dp (x, y) = , then f has a unique fixed point in X.
We end the section giving an instance in which our new fixed point theorem allows
one to find the fixed point of a mapping where, however, the Matthews fixed point result
cannot be applied. Moreover, the classical Nemytskii-Edelstein fixed point theorem also
cannot be applied when the metric induced by the partial metric is considered.
Example Consider the O-compact partial metric space ([, ], pmax ) and the mapping f
introduced in Example . It is not hard to check that f is conjugate continuous. Moreover,
as we have pointed out in the aforesaid example, it is easy to see that
pmax f (x), f (y) < pmax (x, y)
for all x, y ∈ [, ] such that x = y. Therefore all conditions in Theorem are satisfied and,
thus, f has a unique fixed point which is obviously x = .
Next we show that Theorem also cannot be applied to show the existence and unique-
ness of the fixed point of f . Assume that there exists c ∈ [, [ such that
pmax f (x), f (y) ≤ cpmax (x, y)
= pmax f ,f + ≤ cpmax , + =c +
n n n
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 13 of 15
c≥
+ n
for all n ≥ . Consequently c ≥ limn→∞
+ = , which contradicts the fact that c ∈ [, [.
n
Finally we prove that Theorem cannot be applied to show the existence and unique-
ness of the fixed point of f when the metric space ([, ], psmax ) is considered. Observe that
psmax (x, y) = |y – x| for all x, y ∈ [, ]. In addition,
psmax f , f () = psmax , = .
psmax f , f () ≮ pmax , .
s
4 A reflection
This section is devoted to a discussion of the possibility of retrieving our new result,
Theorem , from the classical Nemytskii-Edelstein fixed point result whenever a special
metrization technique of partial metrics is considered.
In [], Hitzler and Seda have proved that each partial metric p on a nonempty set X
induces a metric mp on X such that T (dps ) ⊆ T (mp ), where
if x = y,
mp (x, y) = ()
p(x, y) if x = y.
In [], Haghi et al., inspired by the work of Hiztler and Seda, stressed that the preced-
ing technique to generate a metric from a partial metric allows one to retrieve many fixed
point results for self-mappings in the partial metric context from the known counterpart
fixed point results for self-mappings in the metric framework. Taking into account the pre-
ceding comment, we show that this is not the situation regarding the Nemytskii-Edelstein
fixed point result.
Let (X, p) be a compact partial metric space and let f be a mapping from (X, p) into itself
which holds the contractive condition introduced in Theorem , i.e.,
p f (x), f (y) < p(x, y) ()
for all x, y ∈ X such that x = y. Then we immediately find that f satisfies in addition the
next contractive condition
mp f (x), f (y) < mp (x, y) ()
for all x, y ∈ X with x = y. However, the existence and uniqueness of fixed point of f cannot
be deduced in general from Theorem (the classical Nemytskii-Edelstein result) through
the use of the metric mp . This is due to the fact that given a compact partial metric space
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 14 of 15
(X, p), the associated metric space (X, mp ) is not compact in general. The following exam-
ples illustrate this fact.
First we give an example of a compact partial metric space whose induced metric space,
obtained following (), is not compact.
Example Consider the compact partial metric space ([, [, pmax ) introduced in Exam-
ple . The associated metric space ([, [, mpmax ) is not compact. Indeed, let x ∈ [, [ and
consider the sequence (xn )n∈N such that xn = – n
for all n ∈ N. Then we have, on the one
hand, mp (x, xn ) = x provided that x ≥ . On the other hand, if x < then there exists n ∈ N
Next we give an example of an O-compact partial metric space whose induced metric
space, obtained following (), is not compact.
Example Consider the O-compact partial metric space ([, ], pmax ) introduced in Ex-
ample . Clearly ([, ], mpmax ) is not compact, since every subsequence of the sequence
(xn )n∈N introduced in Example is not convergent.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Author details
1
Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah, 21859, Saudi Arabia. 2 Departamento de
Ciencias Matemáticas e Informática, Universidad de las Islas Baleares, Ctra. de Valldemossa km. 7.5, Palma de Mallorca,
07122, Spain.
Acknowledgements
This project was supported by the NSTIP strategic technologies program in the Kingdom of Saudi Arabia - Project No.
(12-MAT051-03). The authors also acknowledge with thanks Science and Technology Unit, King Abdulaziz University for
technical support. The authors would like to thank the reviewers for their valuable suggestions.
References
1. Hitzler, P, Seda, AK: Generalized distance functions in the theory of computation. Comput. J. 53, 443-464 (2010)
2. Künzi, HPA: Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of
asymmetric topology. In: Aull, CE, Lowen, R (eds.) Handbook of the History of General Topology, vol. 3, pp. 853-968.
Kluwer Academic, Dordrecht (2001)
3. Rodríguez-López, J, Romaguera, S: Wijsman and hit-and-miss topologies of quasi-metric spaces. Set-Valued Anal. 11,
323-344 (2003)
4. Romaguera, S, Valero, O: A common mathematical framework for asymptotic complexity analysis and denotational
semantics for recursive programs based on complexity spaces. In: Afzal, MT (ed.) Semantics - Advances in Theories
and Mathematical Models, vol. 1, pp. 99-120. InTech Open Science, Rijeka (2012)
5. Schellekens, MP: The Smyth completion: a common foundation for denotational semantics and complexity analysis.
Electron. Notes Theor. Comput. Sci. 1, 211-232 (1995)
6. Matthews, SG: Partial metric topology. Ann. N.Y. Acad. Sci. 728, 183-197 (1994)
7. Matthews, SG: An extensional treatment of lazy data flow deadlock. Theor. Comput. Sci. 151, 195-205 (1995)
8. Edelstein, M: On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 37, 74-79 (1962)
9. Kirk, WA: Contraction mappings and extensions. In: Kirk, WA, Sims, B (eds.) Handbook of Metric Fixed Point Theory,
pp. 1-34. Kluwer Academic, Dordrecht (2001)
10. Nemytskii, VV: The fixed point method in analysis. Usp. Mat. Nauk 1, 141-174 (1936) (in Russian)
11. Reinermann, J, Seifert, GH, Stallbohm, V: Two further applications of the Edelstein fixed point theorem to initial value
problems of functional equations. Numer. Funct. Anal. Optim. 1, 233-254 (1979)
12. Shalit, OM: The overdeterminedness of a class of functional equations. Aequ. Math. 74, 242-248 (2007)
13. Stachurski, J: Economic dynamical systems with multiplicative noise. J. Math. Econ. 39, 135-152 (2003)
14. Stratford, B: The topology of language. J. Math. Psychol. 53, 502-509 (2009)
Shahzad and Valero Fixed Point Theory and Applications (2015) 2015:26 Page 15 of 15
15. Abbas, M, Nazir, T, Romaguera, S: Fixed point results for generalized cyclic contraction mappings in partial metric
spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 106, 287-297 (2012)
16. Agarwal, RP, Alghamdi, MA, Shahzad, N: Fixed point theory for cyclic generalized contractions in partial metric spaces.
Fixed Point Theory Appl. 2012, Article ID 40 (2012)
17. Alghamdi, MA, Shahzad, N, Valero, O: New results on the Baire partial quasi-metric space, fixed point theory and
asymptotic complexity analysis for recursive programs. Fixed Point Theory Appl. 2014, Article ID 14 (2014)
18. Alghamdi, MA, Shahzad, N, Valero, O: Fixed point theorems in generalized metric spaces with applications to
computer science. Fixed Point Theory Appl. 2013, Article ID 118 (2013). doi:10.1186/1687-1812-2013-118
19. Alghamdi, MA, Shahzad, N, Valero, O: On fixed point theory in partial metric spaces. Fixed Point Theory Appl. 2012,
Article ID 175 (2012)
20. Altun, I, Erduran, A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl.
2011, Article ID 508730 (2011)
21. Aydi, H, Abbas, M, Vetro, C: Common fixed points for multivalued generalized contractions on partial metric spaces.
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 108, 483-501 (2014)
22. Aydi, H, Abbas, M, Vetro, C: Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces. Topol.
Appl. 159, 3234-3242 (2012)
23. Aydi, H, Karapınar, E, Vetro, C: On Ekeland’s variational principle in partial metric spaces. Appl. Math. Inf. Sci. 9, 257-262
(2015)
24. Kumam, P, Vetro, C, Vetro, F: Fixed points for weak alpha-psi-contractions in partial metric spaces. Abstr. Appl. Anal.
2013, Article ID 986028 (2013)
25. Paesano, D, Vetro, C: Multi-valued F-contractions in 0-complete partial metric spaces with application to Volterra
type integral equation. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 108, 1005-1020 (2014)
26. Paesano, D, Vetro, P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for
partially ordered metric spaces. Topol. Appl. 164, 125-137 (2014)
27. Romaguera, S: Matkowski’s type theorems for generalized contractions on (ordered) partial metric spaces. Appl. Gen.
Topol. 12, 213-220 (2011)
28. Romaguera, S: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 159, 194-199
(2012)
29. Rus, IA: Fixed point theory in partial metric spaces. An. Univ. Vest. Timiş., Ser. Mat.-Inform. 56, 149-160 (2008)
30. Samet, B, Vetro, C, Vetro, F: From metric spaces to partial metric spaces. Fixed Point Theory Appl. 2013, Article ID 5
(2013)
31. Shahzad, N, Valero, O: On 0-complete partial metric spaces and quantitative fixed point techniques in denotational
semantics. Abstr. Appl. Anal. 2013, Article ID 985095 (2013)
32. Vetro, F, Radenovic, S: Nonlinear psi-quasi-contractions of Ćirić-type in partial metric spaces. Appl. Math. Comput.
219, 1594-1600 (2012)
33. Vetro, C, Vetro, F: Metric or partial metric spaces endowed with a finite number of graphs: a tool to obtain fixed point
results. Topol. Appl. 159, 911-920 (2012)
34. Kirk, WA, Shahzad, N: Fixed Point Theory in Distance Spaces. Springer, New York (2014)
35. Hitzler, P, Seda, AK: Mathematical Aspects of Logic Programming Semantics. CRC, Boca Raton (2011)
36. Haghi, RH, Rezapour, S, Shazhad, N: Be careful on partial metric fixed point results. Topol. Appl. 160, 450-454 (2013)
37. Oltra, S, Romaguera, S, Sánchez-Pérez, EA: Bicompleting weightable quasi-metric spaces and partial metric spaces.
Rend. Circ. Mat. Palermo 51, 151-162 (2002)
38. O’Neill, SJ: Two topologies are better than one. Technical Report 283, Department of Computer Science, University of
Warwick (1995)
39. Romaguera, S, Schellekens, MP: On the structure of the dual complexity space: the general case. EM 13, 249-253
(1998)
40. Romaguera, S, Schellekens, MP: Quasi-metric properties of complexity spaces. Topol. Appl. 98, 311-322 (1999)
41. Aliprantis, CD, Border, KC: Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer, Heidelberg (1999)