Bicompleting weightable quasi-metric spaces and partial metric spaces
Bicompleting weightable quasi-metric spaces and partial metric spaces
S. Oltra,S. Romaguera,E. A. Sánchez-Pérez
2002 · DOI: 10.1007/BF02871458
38 Citations
TLDR
It is deduced that any partial metric space has an (up to isometry) unique partial metric bicompletion, which means that any partially metric space is a weightable quasi-metric space.