Spaces of Valuations
- 17 December 1996
- journal article
- Published by Wiley in Annals of the New York Academy of Sciences
- Vol. 806 (1) , 174-200
- https://doi.org/10.1111/j.1749-6632.1996.tb49168.x
Abstract
Valuations are measurelike functions mapping the open sets of a topological space X into positive real numbers. They can be classified into finite, point continuous, and Scott continuous valuations. We define corresponding spaces of valuations VfX⊂ VpX⊂VX. The main results of the paper are that VpX is the soberification of VfX, and that VpX is the free sober locally convex topological cone over X. From this universal property, the notion of the integral of a real‐valued function over a Scott continuous valuation can be easily derived. The integral is used to characterize the spaces VpX and VX as dual spaces of certain spaces of real‐valued functions on X.Keywords
This publication has 4 references indexed in Scilit:
- Domain theory and integrationTheoretical Computer Science, 1995
- LOWER BAG DOMAINSFundamenta Informaticae, 1995
- A Compendium of Continuous LatticesPublished by Springer Nature ,1980
- Flows in NetworksPublished by Walter de Gruyter GmbH ,1963