Probabilistic Powerdomains and Quasi-Continuous Domains
Abstract
The probabilistic powerdomain $\mathbf V X$ on a space $X$ is the space of all continuous valuations on $X$. We show that, for every quasi-continuous domain $X$, $\mathbf V X$ is again a quasi-continuous domain, and that the Scott and weak topologies then agree on $\mathbf V X$. This also applies to the subspaces of probability and subprobability valuations on $X$. We also show that the Scott and weak topologies on the $\mathbf V X$ may differ when $X$ is not quasi-continuous, and we give a simple, compact Hausdorff counterexample.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2020
- DOI:
- 10.48550/arXiv.2007.04189
- arXiv:
- arXiv:2007.04189
- Bibcode:
- 2020arXiv200704189G
- Keywords:
-
- Mathematics - General Topology;
- Primary 54G99;
- secondary 28E99
- E-Print:
- 14 pages