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...

The concept of partial metric which is a generalized metric space was introduced by Matthews 1 in 1994, inwhich the distance between two identical elements needs not be zero. The existence of fixed point for contraction-type mappings on such spaces was considered by many authors 1–12 . A modified version of a Banach contraction mapping principle, more suitable to solve certain problems arising ...

Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Every generalized metric space can be isometrically embedded in a complete function space by means of a metric version of the categorical Yoneda embedding. This simple fact gives naturally rise to: 1. a topology for generalized metric spaces which for arbitrary preorders corresponds to the Alexandroo ...

The notion of a probabilistic metric  space  corresponds to thesituations when we do not know exactly the  distance.  Probabilistic Metric space was  introduced by Karl Menger. Alsina, Schweizer and Sklar gave a general definition of  probabilistic normed space based on the definition of Menger [1]. In this note we study the PN spaces which are  topological vector spaces and the open mapping an...

In this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. Weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...