Probabilistic Powerdomains and Quasi-Continuous Domains

Jean Goubault-Larrecq (1, 2)

1 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay
2 LMF - Laboratoire Méthodes Formelles

The probabilistic powerdomain VX on a space X is the space of all continuous valuations on X. We show that, for every quasi-continuous domain X, VX is again a quasi-continuous domain, and that the Scott and weak topologies then agree on VX. This also applies to the subspaces of probability and subprobability valuations on X, in the first case under an assumption of pointedness. We also show that the Scott and weak topologies on VX may differ when X is not quasi-continuous, and we give a simple, compact Hausdorff counterexample.

Domaines: Topologie générale [math.GN]

Jean Goubault-Larrecq. Probabilistic Powerdomains and Quasi-Continuous Domains. Topology Proceedings, 2022, 60, pp.1-16. ⟨hal-03260383⟩