Complete partial metric spaces have partially metrizable computational models-CMMSE2010

Oscar Valero (1) , Salvador Romaguera (2) , Pedro Tirado (2)

1 Departamento de Ciencias Matematicas e Informatica
2 Instituto Universitario de Matemática Pura y Aplicada

We show that the domain of formal balls of a complete partial metric space (X,p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann (Theoret. Comput. Sci. 1998) and Heckmann (Appl. Cat. Struct. 1998) for metric spaces and improves a recent result of Romaguera and Valero (Math. Struct. Comput. Sci. 2009), motivates a notion of a partially metrizable computational model which allows us to characterize those topological spaces that admit a compatible complete partialmetric via this model

Mots clés: Physical Sciences

Domaines: Informatique [cs]

Oscar Valero, Salvador Romaguera, Pedro Tirado. Complete partial metric spaces have partially metrizable computational models-CMMSE2010. International Journal of Computer Mathematics, 2011, pp.1. ⟨10.1080/00207160.2011.559229⟩. ⟨hal-00710044⟩