Continuous R-valuations - Laboratoire Méthodes Formelles
Article Dans Une Revue Electronic Notes in Theoretical Informatics and Computer Science Année : 2023

Continuous R-valuations

Résumé

We introduce continuous R-valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continuous valuations from reals to so-called Abelian drags R. Like the valuation monad V introduced by Jones and Plotkin, we show that the construction of continuous R-valuations extends to a strong monad VR on the category of dcpos and Scott-continuous maps. Additionally, and as in recent work by the two authors and C. Théron, and by the second author, B. Lindenhovius, M. Mislove and V. Zamdzhiev, we show that we can extract a commutative monad VRm out of it, whose elements we call minimal R-valuations. We also show that continuous R-valuations have close connections to measures when R is taken to be IR+, the interval domain of the extended nonnegative reals: (1) On every coherent topological space, every non-zero, bounded τ-smooth measure µ (defined on the Borel σ-algebra), canonically determines a continuous IR+-valuation; and (2) such a continuous IR+-valuation is the most precise (in a certain sense) continuous IR+-valuation that approximates µ, when the support of µ is a compact Hausdorff subspace of a second-countable stably compact topological space. This in particular applies to Lebesgue measure on the unit interval. As a result, the Lebesgue measure can be identified as a continuous IR+-valuation. Additionally, we show that the latter is minimal.
Fichier principal
Vignette du fichier
isdt-revised.pdf (460.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04029481 , version 1 (15-03-2023)

Licence

Identifiants

Citer

Jean Goubault-Larrecq, Xiaodong Jia. Continuous R-valuations. Electronic Notes in Theoretical Informatics and Computer Science, inPress, 2, ⟨10.46298/entics.proceedings.isdt9⟩. ⟨hal-04029481⟩
47 Consultations
22 Téléchargements

Altmetric

Partager

More