A counterexample in semimetric spaces.
Following the ideas of R. DeMarr, we establish a Galois connection between distance functions on a set and inequality relations on . Moreover, we also investigate a relationship between the functions of and .
An existing description of the cartesian closed topological hull of , the category of extended pseudo-metric spaces and nonexpansive maps, is simplified, and as a result, this hull is shown to be a special instance of a “family” of cartesian closed topological subconstructs of , the category of extended pseudo-quasi-semi-metric spaces (also known as quasi-distance spaces) and nonexpansive maps. Furthermore, another special instance of this family yields the cartesian closed topological hull of...
In this paper, we prove that a space is a -metrizable space if and only if is a weak-open, and -image of a semi-metric space, if and only if is a strong sequence-covering, quotient, and -image of a semi-metric space, where “semi-metric” can not be replaced by “metric”.
In a recent paper [17] we studied asymmetric metric spaces; in this context we studied the length of paths, introduced the class of run-continuous paths; and noted that there are different definitions of “length spaces” (also known as “path-metric spaces” or “intrinsic spaces”). In this paper we continue the analysis of asymmetric metric spaces.We propose possible definitions of completeness and (local) compactness.We define the geodesics using as admissible paths the class of run-continuous paths.We...