Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (Q2052570)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains |
scientific article |
Statements
Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (English)
0 references
26 November 2021
0 references
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.
0 references
quasi-metric
0 references
prevision
0 references
powerdomain (Hoare, Smyth)
0 references
hyperspace
0 references
Kantorovich-Rubinstein quasi-metric
0 references
Vietoris topology (lower, upper)
0 references
0 references
0 references
0 references
0 references