Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-23T23:39:31.770Z Has data issue: false hasContentIssue false

Extensions of valuations

Published online by Cambridge University Press:  14 March 2005

JEAN GOUBAULT-LARRECQ
Affiliation:
LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan, 61, avenue du président-Wilson, 94235 Cachan Cedex, France Email: goubault@lsv.ens-cachan.fr

Abstract

Continuous valuations have been proposed by several authors as a way of modelling probabilistic non-determinism in programming language semantics. Let $(X, {\cal O})$ be a topological space. A quasi-simple valuation on $X$ is the sup of a directed family of simple valuations. We show that quasi-simple valuations are exactly those valuations that extend to continuous valuations to the Alexandroff topology on the specialisation preordering of the topology $\cal O$. A number of applications are presented. In particular, we recover Jones' result that every continuous valuation is quasi-simple if $X$ is a continuous dcpo – in this case there is a least extension to the Alexandroff topology. We show that this can be refined if $X$ is algebraic, where every continuous valuation is the sup of a directed family of simple valuations based on finite elements. We exhibit another class of spaces in which every continuous valuation is quasi-simple, the so-called finitarily coherent spaces – in this case there is a largest extension to the Alexandroff topology. In general, the extension to the Alexandroff topology is not unique, unless, for example, the original valuation is bicontinuous. We also show that other natural spaces of valuations, namely those of discrete valuations and point-continuous valuations, can be characterised by similar extension theorems.

Type
Paper
Copyright
2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)