论文信息 - Partial Metric Spaces

Partial Metric Spaces

The topic of this section has its origins in the study of theoretical computer science. In 1992, S.G. Matthews [149] introduced the notion of a “partial metric space” with the aim of providing a quantitative mathematical model suitable for programming verification. See [149, 200] for further discussion. Among other things, Matthews proved a partial metric version of the celebrated Banach fixed point theorem which has become an appropriate quantitative fixed point technique to capture the meaning of recursive denotational specifications in programming languages.

William A. Kirk | Naseer Shahzad | W. A. Kirk | N. Shahzad

[1] W. A. Kirk. Caristi's fixed point theorem and metric convexity , 1976 .

[2] N. Shahzad,et al. Be careful on partial metric fixed point results , 2013 .

[3] L. E. Ward. Recent Developments in Dendritic Spaces and Related Topics , 1975 .

[4] J. Borwein. Completeness and the contraction principle , 1983 .

[5] Hassen Aydi,et al. Partial Hausdorff metric and Nadlerʼs fixed point theorem on partial metric spaces , 2012 .

[6] J. Matkowski. Integrable solutions of functional equations , 1975 .

[7] Salvador Romaguera,et al. A Kirk Type Characterization of Completeness for Partial Metric Spaces , 2009 .

[8] Tomonari Suzuki,et al. Generalized Caristi's fixed point theorems by Bae and others , 2005 .

[9] E. A. Sánchez-Pérez,et al. Bicompleting weightable quasi-metric spaces and partial metric spaces , 2002 .

[10] Roger D. Nussbaum,et al. Degree theory for local condensing maps , 1972 .

[11] Naseer Shahzad,et al. Invariant approximations for commuting mappings in CAT(0) and hyperconvex spaces , 2008 .