Probabilistic Powerdomains and Quasi-Continuous Domains - Archive ouverte HAL
Article Dans Une Revue Topology Proceedings Année : 2022

Probabilistic Powerdomains and Quasi-Continuous Domains

Résumé

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.
Fichier principal
Vignette du fichier
qcontval2-hal.pdf (432.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03260383 , version 1 (14-06-2021)

Identifiants

  • HAL Id : hal-03260383 , version 1

Citer

Jean Goubault-Larrecq. Probabilistic Powerdomains and Quasi-Continuous Domains. Topology Proceedings, 2022, 60, pp.1-16. ⟨hal-03260383⟩
113 Consultations
70 Téléchargements

Partager

More