Spaces of Valuations

Measure Extension Theorems for T0-spaces

The theme of this paper is the extension of continuous valuations on the lattice of open sets of a T0-space to Borel measures. A general extension principle is derived that provides a unified approach to a variety of extension theorems including valuations that are directed suprema of simple valuations, continuous valuations on locally compact sober spaces, and regular valuations on coherent so...

Extensions of valuations

Continuous valuations have been proposed by several authors as a way of modeling probabilistic non-determinism in programming language semantics. Let (X;O) be a topological space. A quasi-simple valuation on X is the sup of a directed family of simple valuations. We show that quasisimple valuations are exactly those valuations that extend to continuous valuations to the Alexandroff topology on ...

Lefschetz theorem for valuations , complex integral geometry , and unitarily invariant valuations

We obtain new general results on the structure of the space of translation invariant continuous valuations on convex sets (a version of the hard Lefschetz theorem). Using these and our previous results we obtain explicit characterization of unitarily invariant translation invariant continuous valuations. It implies new integral geometric formulas for real submanifolds in Hermitian spaces genera...

Realization of a Certain Class of Semi-Groups as Value Semi-Groups of Valuations

Se p 20 02 Hard Lefschetz theorem for valuations , complex integral geometry , and unitarily invariant

We obtain new general results on the structure of the space of translation invariant continuous valuations on convex sets (a version of the hard Lefschetz theorem). Using these and our previous results we obtain explicit characterization of unitarily invariant translation invariant continuous valuations. It implies new integral geometric formulas for real submanifolds in Hermitian spaces genera...