Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
This paper cogently demonstrates that the Kantorovich-Rubinstein quasi-metrics \(d_{KR}\) and \(d^a_{KR}\) extend naturally to various spaces of previsions. A \textit{quasi-metric} on a nonvoid set \(X\) is a map \(d:X\times X\to \bar{\mathbb{R}}_+\) satisfying \begin{align*} x,y,z &\in X.\\ d(x,x) &=0.\\ d(x,y) &= d(y,x) = 0\ \text{implies}\ x = y.\\ d(x,z) &\leq d(x,y) + d(y,z). \end{align*} Let \(\mathcal{L}X\) be the space of all lower semicontinuous maps from \(X\) to \(\bar{\mathbb{R}}_+\) with its Scott topology. A {\em Scott topology} on a poset \(X\), with ordering \(\leq\), has as opens the upward-closed subsets \(U\) so that for every directed family \((x_i)_{i\in I}\) having a least upper bound in \(U\), for some \(x_i\) is already in \(U\). A {\em prevision} on a topological space \(x\) is a Scott-continuous map between posets that is monotonic and preserves existing suprema [\textit{J. Goubault-Larrecq}, Lect. Notes Comput. Sci. 4646, 542--557 (2007; Zbl 1179.68074)]. Among the many results in this paper, the following main result is given. \textbf{Threorem 5.30} (\(d_{\mathcal H}\) metricizes the lower Vietoris topology). Let \((X,d)\) be a continuous complete quasi-metric space. The \(d_{\mathcal H}\)-Scott topology, the \(d^a_{\mathcal H}\)-Scott topology, for every \(a\in \mathbb{R}, a>0\) and the lower Vietoris topology all coincide on \(\mathcal{H}_0 X\), resp. \(\mathcal{H} X\). This paper has 17 references that include [\textit{J. Goubault-Larrecq}, Non-Hausdorff topology and domain theory. Selected topics in point-set topology. Cambridge: Cambridge University Press (2013; Zbl 1280.54002)], which would be of interest for researchers in point-set topology.
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
- On quasi-metrizable \(d\)-spaces
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
- Spaces of maximal points
- Quasi-metrics and monotone normality
- scientific article; zbMATH DE number 4159615
- Selections and hyperspace topologies via special metrics
- On the Infimum of the Hausdorff and Vietoris Topologies
- Generalized Scott topology on sets with families of pre-orders
- A computational model for metric spaces
- A few notes on formal balls
- Continuous Lattices and Domains
- Continuous Previsions
- Domain-complete and LCS-complete spaces
- Embedding metric spaces into CPO's
- Formal ball monads
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- scientific article; zbMATH DE number 3735877 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- Properly injective spaces and function spaces
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
This page was built for publication: Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052570)
