A Nemytskii-Edelstein type fixed point theorem for partial metric spaces
- Naseer Shahzad^{1}Email author and
- Oscar Valero^{2}
https://doi.org/10.1186/s13663-015-0266-9
© Shahzad and Valero; licensee Springer. 2015
Received: 7 August 2014
Accepted: 13 January 2015
Published: 14 February 2015
Abstract
In 1994, Matthews obtained an extension of the celebrated Banach fixed point theorem to the partial metric framework (Ann. N.Y. Acad. Sci. 728:183-197, 1994). Motivated by the Matthews extension of the Banach theorem, 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. We give examples which show that the assumed hypothesis in our new result cannot be weakened. 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, 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, developed by Hitzler and Seda (Mathematical Aspects of Logic Programming Semantics, 2011), is applied to partial metric spaces.
1 Introduction
In 1922, 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 \(\mathbb{R}^{+}\) the set of nonnegative real numbers.
Theorem 1
The origins of the preceding theorem lies in the methods for solving differential equations 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 1. 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, [1]).
In order to recall the aforesaid extension to the quasi-metric framework, let us fix a few pertinent concepts about quasi-metric spaces.
- (i)
\(d(x,y)=d(y,x)=0\Leftrightarrow x=y\).
- (ii)
\(d(x,y)\leq d(x,z)+d(z,y)\).
If, in addition, a quasi-metric d satisfies (iii) \(d(x,y)=0\Leftrightarrow x=y\), then d is called a \(T_{1}\) quasi-metric.
Obviously a metric on a set X is a quasi-metric d on X satisfying (iv) \(d(x,y)=d(y,x)\) for all \(x,y\in X\).
Of course, a \((T_{1})\) quasi-metric space is a pair \((X,d)\) such that X is a nonempty set and d is a \((T_{1})\) quasi-metric on X.
Each quasi-metric d on X generates a \(T_{0}\)-topology \(\mathcal{T}(d)\) on X which has as a base the family of open d-balls \(\{B_{d}(x,\varepsilon):x\in X, \varepsilon>0\}\), where \(B_{d}(x,\varepsilon )=\{y\in X:d(x,y)<\varepsilon\}\) for all \(x\in X\) and \(\varepsilon >0\). Clearly, if the quasi-metric space \((X,d)\) is \(T_{1}\), then the topology \(\mathcal{T}(d)\) is \(T_{1}\).
Given a quasi-metric d on X, then the function \(d^{-1}: X\times X\rightarrow\mathbb{R}^{+}\) defined by \(d^{-1}(x,y)=d(y,x)\) for all \(x,y\in X\) is also a quasi-metric on X that is called the conjugate quasi-metric of d. Furthermore the function \(d^{s}: X\times X\rightarrow\mathbb{R}^{+}\) defined by \(d^{s}(x,y)=\max\{d(x,y),d^{-1}(x,y)\}\) for all \(x,y\in X\) is a metric on X.
A quasi-metric space \((X,d)\) is called bicomplete if the metric space \((X,d^{s})\) is complete.
The next example of quasi-metric space will play a central role in the sequel.
Example 2
Consider the function \(d_{\boldsymbol {u}}:\mathbb{R}^{+}\times\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) given by \(d_{\boldsymbol{u}}(x,y)=\max\{y-x,0\}\) for all \(x,y\in \mathbb{R}^{+}\). It is not hard to see that \((\mathbb {R}^{+},d_{\boldsymbol{u}})\) is a quasi-metric space which is called the upper quasi-metric space. Note that \(\mathcal{T}(d_{\boldsymbol {u}})\) is the so-called upper topology on \(\mathbb{R}^{+}\) (see [2] and [3]). Moreover, the quasi-metric \(d^{-1}_{\boldsymbol {u}}\) is defined on \(\mathbb{R}^{+}\) by \(d^{-1}_{\boldsymbol {u}}(x,y)=\max\{x-y,0\}\) for all \(x,y\in\mathbb{R}^{+}\). The quasi-metric space \((\mathbb{R}^{+},d^{-1}_{\boldsymbol{u}})\) is called the lower quasi-metric space. Furthermore, the upper quasi-metric induces the Euclidean metric on \(\mathbb{R}^{+}\), i.e., \(d_{\boldsymbol{u}}^{s}(x,y)=|y-x|\) for all \(x,y\in\mathbb {R}^{+}\). Thus the upper quasi-metric space \((\mathbb {R}^{+},d_{\boldsymbol{u}})\) is bicomplete.
As we have announced before, Theorem 1 can be generalized in the following easy way.
Theorem 3
Applications of the above quasi-metric version of the Banach fixed point theorem to asymptotic complexity of algorithms can be found in [4] and [5].
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.
- (i)
\(p(x,x)=p(x,y)=p(y,y)\Leftrightarrow x=y\).
- (ii)
\(p(x,x)\leq p(x,y)\).
- (iii)
\(p(x,y)=p(y,x)\).
- (iv)
\(p(x,z)\leq p(x,y)+p(y,z)-p(y,y)\).
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)=0\) for all \(x\in X\).
From now on, we will denote by ℕ the set of positive integer numbers.
Each partial metric p on X generates a \(T_{0}\) topology \(\mathcal{T}(p)\) on X which has as a base the family of open p-balls \(\{B_{p}(x,\varepsilon):x\in X,\varepsilon>0\}\), where \(B_{p}(x,\varepsilon)=\{ y\in X:p(x,y)< p(x,x)+\varepsilon\}\) for all \(x\in X\) and \(\varepsilon>0\). From this fact it immediately follows that a sequence \((x_{n})_{n}\) in a partial metric space \((X,p)\) converges to a point \(x\in X\) if and only if \(p(x,x)=\lim_{n\rightarrow\infty}p(x,x_{n})\).
A sequence \((x_{n})_{n\in\mathbb{N}}\) in a partial metric space \((X,p)\) is called a Cauchy sequence if there exists \(\lim_{n,m\rightarrow\infty }p(x_{n},x_{m})\).
A partial metric space \((X,p)\) is said to be complete if every Cauchy sequence \((x_{n})_{n\in\mathbb{N}}\) in X converges, with respect to \(\mathcal{T}(p)\), to a point \(x\in X\) such that \(p(x,x)=\lim_{n,m\rightarrow \infty}p(x_{n},x_{m})\).
Given a partial metric p on X, then the function \(p^{s}: X\times X\rightarrow\mathbb{R}^{+}\) defined by \(p^{s}(x,y)=2p(x,y)-p(x,x)-p(y,y)\) for all \(x,y\in X\) is a metric on X. In addition, on account on [6], a partial metric space \((X,p)\) is complete if and only if its associated metric space \((X,p^{s})\) is complete.
The next example will be needed in the sequel.
Example 4
Consider the function \(p_{\max}:\mathbb {R}^{+}\times\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) given by \(p_{\max}(x,y)=\max\{x,y\}\) for all \(x,y\in\mathbb{R}^{+}\). It is not hard to see that \((\mathbb{R}^{+},p_{\max})\) is a partial metric space. Moreover, it is clear that \(p_{\max}^{s}(x,y)=|y-x|\) and, thus, \((\mathbb{R}^{+},p_{\max})\) is complete.
The aforementioned partial metric version of Banach fixed point theorem can be stated as follows.
Theorem 5
An application of the preceding partial metric version of the Banach fixed point theorem to program correctness can be found in [7] (see also [6]).
A negative answer to this query was given when he showed that completeness of the metric space is not sufficient to guarantee even the existence of a fixed point whenever the Banach contractive condition (1) is replaced by (4). However, Edelstein himself proved a positive result, Theorem 6 below, for self-mappings satisfying the new contractive condition (4), although the class of spaces to which it applies is much more restrictive (see [8] and [9]). This result was proved independently by Nemytskii [10].
Theorem 6
The preceding theorem, just like Theorem 1, is a powerful tool to obtain relevant applications of fixed point theory to different fields of science. Some of the aforementioned applications can be found in [11] (and references therein), [12, 13], and [14].
Inspired by the Matthews extension of the Banach theorem (Theorem 5 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 [1, 15–32] and [33]. For details, we refer to [34]. 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 [35] (see also [36]) is performed.
2 Statement of the problem
The natural attempt to extend the classical Nemytskii-Edelstein fixed point theorem to the context of partial metric spaces would consist of replacing in Theorem 5 the contractive condition (3) by a strict one and the completeness of the partial metric space by a suitable notion of compactness. Thus one may conjecture that the next result would be desirable.
Conjecture 1
In [6] (see also [37]), it was showed that, given a partial metric space \((X,p)\), the function \(d_{p}:X\times X\rightarrow\mathbb{R}^{+}\), defined by \(d_{p}(x,y)=p(x,y)-p(x,x)\) for all \(x,y\in X\), is a quasi-metric on X such that \(\mathcal {T}(p)=\mathcal{T}(d_{p})\).
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.
Conjecture 2
In the remainder of the paper we provide a negative answer to the posed question. Concretely, in Section 3 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 restrictive, 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 4, 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 [35], is applied to partial metric spaces.
3 The new fixed point theorem
In order to achieve our aim we need to introduce an appropriate notion of compactness in the context of partial metric spaces. Thus, from now on, we will say that a partial metric space \((X,p)\) is compact provided that the quasi-metric space \((X,d_{p}^{-1})\) is compact, i.e., the topological space \((X,\mathcal {T}(d^{-1}_{p}))\) is compact. As we will see later on, Theorem 11, our main result, justifies the definition of compactness introduced.
Next we provide an example of compact partial metric space.
Example 7
Let \(p_{\max}\) be the partial metric introduced in Example 4. Consider the partial metric space \(([0,1[,p_{\max})\) where we have also denoted by \(p_{\max}\) the restriction of the partial metric \(p_{\max}\) to \([0,1[\). It is clear that \(([0,1[,p_{\max})\) is compact, since \(B_{d^{-1}_{p_{\max }}}(0,\varepsilon)=[0,1[\) for each \(\varepsilon>0\).
In [38], O’Neill defined a different notion of compactness in partial metric spaces. Concretely, a partial metric space \((X,p)\) is said to be compact in the O’Neill sense whenever the metric space \((X,p^{s})\) is compact (or equivalently \((X,d_{p}^{s})\) 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 8
Consider the partial metric space \(([0,1],p_{\max})\), where \(p_{\max}\) is defined as in Example 7. It is obvious that \(p^{s}_{\max}(x,y)=|y-x|\) for all \(x,y\in [0,1]\). Therefore \(([0,1],p_{\max})\) is an O-compact partial metric space.
Clearly O-compact partial metric spaces are compact but the converse is not true. Example 7 provides an instance of compact partial metric space which is not O-compact, since the partial metric space \(([0,1[,p_{\max}^{s})\) is not compact.
In the light of the different notions of compactness introduced, we are able to discuss whether the conjectures given in Section 2, ‘Conjecture 1’ and ‘Conjecture 2’, are foolproof.
Regarding ‘Conjecture 1’, the next example shows that it does not hold.
Example 9
In the light of the preceding example ‘Conjecture 1’ is not true even when we consider O-compactness instead of compactness.
Unfortunately ‘Conjecture 2’ does not hold as the next example shows.
Example 10
Of course, the preceding example shows that ‘Conjecture 2’ is not also satisfied even when one considers O-compactness.
In the light of the preceding discussion we yield sufficient conditions in order to guarantee that the Nemytskii-Edelstein contractive type conditions (6) and (7) provide a unique fixed point.
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,\mathcal{T}(p))\) to \((X,\mathcal{T}(p))\). Moreover, we will say that f is conjugate continuous if f is continuous from \((X,\mathcal{T}(d^{-1}_{p}))\) to \((X,\mathcal {T}(d^{-1}_{p}))\). Besides, let us recall that a function f from a topological space \((X,\mathcal{T})\) into \((\mathbb{R}^{+},\mathcal {T}(|\cdot|))\) is lower semicontinuous on \((X,\mathcal{T})\) if and only if f is continuous from \((X,\mathcal{T})\) to \((\mathbb {R}^{+},\mathcal{T}(d^{-1}_{u}))\) (see [3]), where \(d_{u}\) is the upper quasi-metric introduced in Example 2. Furthermore, it is well known that every lower semicontinuos function on a compact topological space attains a minimum value (see Theorem 2.40 in [41]).
Next we prove our announced fixed point result.
Theorem 11
Proof
Example 9 shows that the conjugate continuity of the mapping cannot be deleted from the hypotheses of Theorem 11 in order to guarantee the existence of a fixed point.
Remark 12
Note that as a particular case of Theorem 11 we obtain the Nemytskii-Edelstein fixed point theorem (Theorem 6 in Section 1) when the partial metric is, in fact, a metric.
The next example shows that Theorem 11 cannot be deduced, in general, from Theorem 6 when an O-compact partial metric space and its associated metric space are considered.
Example 13
From Theorem 11 we obtain the following results.
Corollary 14
Proof
Example 9 proves that the contractive condition (10) cannot be deleted in statement of Corollary 14.
Motivated by the fact that Example 10 shows that the proposed quasi-metric version of the Nemytskii-Edelstein fixed point theorem given in ‘Conjecture 2’ does not hold, we end the section focusing our attention on the study of the aforesaid version.
Corollary 15
Proof
Example 10 shows that the contractive condition (11) cannot be deleted in statement of the preceding result.
Corollary 16
Proof
The next example shows that the contractive condition (15) cannot be deleted in the statement of Corollary 16.
Example 17
Let \((\mathcal{C},p_{\mathcal{C}})\) be the partial metric space introduced in Example 9. Next consider the subset \(\mathcal{C}_{2}\subseteq\mathcal{C}\) given by \(\mathcal{C}_{2}=\mathcal{C}\setminus\{f_{2}\}\), where \(f_{2}(n)=2\) for all \(n\in\mathbb{N}\). It is clear that \((\mathcal {C}_{2},p_{\mathcal{C}})\) is compact, where the restriction of \(p_{\mathcal{C}}\) to \(\mathcal{C}_{2}\) has also been denoted by \(p_{\mathcal{C}}\). Note that \(B_{d^{-1}_{p_{\mathcal{C}}}}(f_{\infty },\varepsilon)=\mathcal{C}_{2}\) for each \(\varepsilon>0\), where \(f_{\infty}\) is the element of \(\mathcal{C}_{2}\) given by \(f_{\infty }(n)=\infty\) for all \(n\in\mathbb{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 2’.
Theorem 18
Proof
Example 10 shows that the separation condition (16) cannot be deleted in the statement of Theorem 18.
Remark 19
As a direct consequence of Theorem 18 we obtain the following one for partial metric spaces in the spirit of ‘Conjecture 2’.
Corollary 20
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 21
4 A reflection
This section is devoted to a discussion of the possibility of retrieving our new result, Theorem 11, from the classical Nemytskii-Edelstein fixed point result whenever a special metrization technique of partial metrics is considered.
In [36], Haghi et al., inspired by the work of Hiztler and Seda, stressed that the preceding 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 preceding comment, we show that this is not the situation regarding the Nemytskii-Edelstein fixed point result.
First we give an example of a compact partial metric space whose induced metric space, obtained following (20), is not compact.
Example 22
Consider the compact partial metric space \(([0,1[,p_{\max})\) introduced in Example 7. The associated metric space \(([0,1[,m_{p_{\max}})\) is not compact. Indeed, let \(x\in[0,1[\) and consider the sequence \((x_{n})_{n\in\mathbb{N}}\) such that \(x_{n}=\frac{1}{2}-\frac{1}{2n}\) for all \(n\in\mathbb{N}\). Then we have, on the one hand, \(m_{p}(x,x_{n})=x\) provided that \(x\geq \frac{1}{2}\). On the other hand, if \(x<\frac{1}{2}\) then there exists \(n_{0}\in\mathbb{N}\) such that \(m_{p}(x,x_{n})=\frac{1}{2}-\frac{1}{2n}\) for all \(n\geq n_{0}\). Therefore every subsequence of the sequence \((x_{n})_{n\in\mathbb{N}}\) is not convergent in \(([0,1[,m_{p_{\max}})\). Consequently \(([0,1[,m_{p_{\max}})\) is not compact.
Next we give an example of an O-compact partial metric space whose induced metric space, obtained following (20), is not compact.
Declarations
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.
Open Access 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.
Authors’ Affiliations
References
- Hitzler, P, Seda, AK: Generalized distance functions in the theory of computation. Comput. J. 53, 443-464 (2010) View ArticleGoogle Scholar
- 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) View ArticleGoogle Scholar
- Rodríguez-López, J, Romaguera, S: Wijsman and hit-and-miss topologies of quasi-metric spaces. Set-Valued Anal. 11, 323-344 (2003) View ArticleMATHMathSciNetGoogle Scholar
- 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) Google Scholar
- Schellekens, MP: The Smyth completion: a common foundation for denotational semantics and complexity analysis. Electron. Notes Theor. Comput. Sci. 1, 211-232 (1995) View ArticleMathSciNetMATHGoogle Scholar
- Matthews, SG: Partial metric topology. Ann. N.Y. Acad. Sci. 728, 183-197 (1994) View ArticleMathSciNetMATHGoogle Scholar
- Matthews, SG: An extensional treatment of lazy data flow deadlock. Theor. Comput. Sci. 151, 195-205 (1995) View ArticleMATHMathSciNetGoogle Scholar
- Edelstein, M: On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 37, 74-79 (1962) View ArticleMATHMathSciNetGoogle Scholar
- 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) View ArticleGoogle Scholar
- Nemytskii, VV: The fixed point method in analysis. Usp. Mat. Nauk 1, 141-174 (1936) (in Russian) MATHGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle Scholar
- Shalit, OM: The overdeterminedness of a class of functional equations. Aequ. Math. 74, 242-248 (2007) View ArticleMATHMathSciNetGoogle Scholar
- Stachurski, J: Economic dynamical systems with multiplicative noise. J. Math. Econ. 39, 135-152 (2003) View ArticleMATHMathSciNetGoogle Scholar
- Stratford, B: The topology of language. J. Math. Psychol. 53, 502-509 (2009) View ArticleMATHMathSciNetGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle Scholar
- 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) View ArticleMathSciNetMATHGoogle Scholar
- 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) View ArticleMathSciNetMATHGoogle Scholar
- 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 View ArticleMathSciNetMATHGoogle Scholar
- Alghamdi, MA, Shahzad, N, Valero, O: On fixed point theory in partial metric spaces. Fixed Point Theory Appl. 2012, Article ID 175 (2012) View ArticleMathSciNetMATHGoogle Scholar
- Altun, I, Erduran, A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011, Article ID 508730 (2011) View ArticleMathSciNetMATHGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle Scholar
- Aydi, H, Karapınar, E, Vetro, C: On Ekeland’s variational principle in partial metric spaces. Appl. Math. Inf. Sci. 9, 257-262 (2015) View ArticleMathSciNetGoogle Scholar
- 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) MathSciNetGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle 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. 164, 125-137 (2014) View ArticleMATHMathSciNetGoogle Scholar
- Romaguera, S: Matkowski’s type theorems for generalized contractions on (ordered) partial metric spaces. Appl. Gen. Topol. 12, 213-220 (2011) MATHMathSciNetGoogle Scholar
- Romaguera, S: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 159, 194-199 (2012) View ArticleMATHMathSciNetGoogle Scholar
- Rus, IA: Fixed point theory in partial metric spaces. An. Univ. Vest. Timiş., Ser. Mat.-Inform. 56, 149-160 (2008) MathSciNetMATHGoogle Scholar
- Samet, B, Vetro, C, Vetro, F: From metric spaces to partial metric spaces. Fixed Point Theory Appl. 2013, Article ID 5 (2013) View ArticleMathSciNetMATHGoogle Scholar
- 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) View ArticleMathSciNetGoogle Scholar
- Vetro, F, Radenovic, S: Nonlinear psi-quasi-contractions of Ćirić-type in partial metric spaces. Appl. Math. Comput. 219, 1594-1600 (2012) View ArticleMATHMathSciNetGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle Scholar
- Kirk, WA, Shahzad, N: Fixed Point Theory in Distance Spaces. Springer, New York (2014) View ArticleMATHGoogle Scholar
- Hitzler, P, Seda, AK: Mathematical Aspects of Logic Programming Semantics. CRC, Boca Raton (2011) MATHGoogle Scholar
- Haghi, RH, Rezapour, S, Shazhad, N: Be careful on partial metric fixed point results. Topol. Appl. 160, 450-454 (2013) View ArticleMATHMathSciNetGoogle Scholar
- 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) View ArticleMATHMathSciNetGoogle Scholar
- O’Neill, SJ: Two topologies are better than one. Technical Report 283, Department of Computer Science, University of Warwick (1995) Google Scholar
- Romaguera, S, Schellekens, MP: On the structure of the dual complexity space: the general case. EM 13, 249-253 (1998) MATHMathSciNetGoogle Scholar
- Romaguera, S, Schellekens, MP: Quasi-metric properties of complexity spaces. Topol. Appl. 98, 311-322 (1999) View ArticleMATHMathSciNetGoogle Scholar
- Aliprantis, CD, Border, KC: Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer, Heidelberg (1999) View ArticleMATHGoogle Scholar