Skip to Main content Skip to Navigation
Journal articles

Kantorovich-Rubinstein Quasi-Metrics II: Hyperspaces and Powerdomains

Abstract : We show that the Kantorovich-Rubinstein quasi-metrics d_KR and d^a_KR of Part I extend naturally to various spaces of previsions, and in particular not just the linear previsions (roughly, measures) of Part I. There are natural isomorphisms between the Hoare and Smyth powerdomains, as used in denotational semantics, and spaces of discrete sublinear previsions, and of discrete normalized superlinear previsions, respectively. Turning to the corresponding hyperspaces, namely the same powerdomains, but equipped with the lower Vietoris and upper Vietoris topologies instead, this turns into homeomorphisms with the corresponding space of previsions, equipped with the so-called weak topology. Through these isomorphisms again, the two powerdomains inherit quasi-metrics d_H and d_Q , respectively, that are reminiscent of the well-known Hausdorff metric. Then we show that the Hoare and Smyth powerdomains of an algebraic complete quasi-metric space are again algebraic complete, with those quasi-metrics, and similarly that the corresponding powerdomains of continuous complete quasi-metric spaces are continuous complete. Furthermore, in the continuous complete case, the d_H-Scott topology coincides with the lower Vietoris topology, and the d_Q-Scott topology coincides with the upper Vietoris topology.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03383036
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, October 18, 2021 - 2:07:48 PM
Last modification on : Friday, January 7, 2022 - 3:37:50 AM
Long-term archiving on: : Wednesday, January 19, 2022 - 8:46:14 PM

File

distpdom5.pdf
Files produced by the author(s)

Identifiers

Citation

Jean Goubault-Larrecq. Kantorovich-Rubinstein Quasi-Metrics II: Hyperspaces and Powerdomains. Topology and its Applications, Elsevier, 2022, 305, pp.107885. ⟨10.1016/j.topol.2021.107885⟩. ⟨hal-03383036⟩

Share

Metrics

Les métriques sont temporairement indisponibles