Continuous R-valuations

11/22/2022
βˆ™
by   Jean Goubault-Larrecq, et al.
βˆ™
0
βˆ™

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 d-rags R. Like the valuation monad 𝐕 introduced by Jones and Plotkin, we show that the construction of continuous R-valuations extends to a strong monad 𝐕^R 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 𝐕^R_m 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 πˆβ„^⋆_+, 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 πˆβ„^⋆_+-valuation; and (2) such a continuous πˆβ„^⋆_+-valuation is the most precise (in a certain sense) continuous πˆβ„^⋆_+-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 πˆβ„^⋆_+-valuation. Additionally, we show that the latter is minimal.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset