Kantorovich-Rubinstein Quasi-Metrics IV: Lenses, Quasi-Lenses and Forks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Topology and its Applications Year : 2023

Kantorovich-Rubinstein Quasi-Metrics IV: Lenses, Quasi-Lenses and Forks


Lenses and quasi-lenses on a space X form models of erratic non-determinism. When X is equipped with a quasi-metric d, there are natural quasi-metrics d_P and d^a_P on the space of quasi-lenses on X, which resemble the Pompeiu-Hausdorff metric (and contain it as a subcase when d is a metric), and are tightly connected to the Kantorovich-Rubinstein quasi-metrics d_KR and d^a_KR of Parts I, II and III, through an isomorphism between quasi-lenses and socalled discrete normalized forks. We show that the space of quasi-lenses on X is continuous complete, resp. algebraic complete, if X, d is itself continuous complete, resp. algebraic complete. In those cases, we also show that the d_P-Scott and d^a_P-Scott topologies coincide with the Vietoris topology. We then prove similar results on spaces of (sub)normalized forks, not necessarily discrete; those are models of mixed erratic non-determinism and probabilistic choice. For that, we need the additional assumption that the cone LX of lower continuous maps from X to the extended non-negative real numbers, with the Scott topology, has an almost open addition map (which is the case if X is locally compact and coherent, notably); we also need X to be compact in the case of normalized forks. The relevant quasi-metrics are simple extensions of the Kantorovich-Rubinstein quasi-metrics d^a_KR.
Fichier principal
Vignette du fichier
distfork.pdf (411.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03911034 , version 1 (22-12-2022)


Attribution - CC BY 4.0



Jean Goubault-Larrecq. Kantorovich-Rubinstein Quasi-Metrics IV: Lenses, Quasi-Lenses and Forks. Topology and its Applications, 2023, 332, pp.108513. ⟨10.1016/j.topol.2023.108513⟩. ⟨hal-03911034⟩
46 View
15 Download



Gmail Facebook Twitter LinkedIn More