nLab valuation (measure theory)


This page is about valuation in measure theory. For valuation in algebra (on rings/fields) see at valuation.



A valuation is a construction analogous to that of a measure, which is however more compatible with constructive mathematics, and readily generalizable to contexts such as point-free topology.

On most spaces of interest for measure theory and probability (such as metric spaces) the notions of suitably continuous valuations and measures coincide (see below).


Valuations on lattices

Let LL be a distributive lattice with a bottom element \bottom. A valuation or evaluation on LL is a map ν\nu from LL into the space of non-negative lower reals, with the following properties:

  • Monotonicity: for all x,yx,y in LL, xyx\le y implies ν(x)ν(y)\nu(x)\le\nu(y);

  • Strictness (or unitality): ν()=0\nu(\bottom)=0;

  • Modularity: for all x,yx,y in LL,

ν(x)+ν(y)=ν(xy)+ν(xy). \nu(x) + \nu(y) = \nu(x \vee y) + \nu(x \wedge y) .

Moreover, we call a valuation continuous if the following property holds, which is an instance of Scott continuity, as well as of τ \tau -additivity:

  • Continuity: for every directed net {x λ} λΛ\{x_\lambda\}_{\lambda\in\Lambda} in LL admitting a supremum,
ν(sup λx λ)=sup λν(x λ). \nu \big( \sup_{\lambda} x_\lambda \big) = \sup_\lambda \nu(x_\lambda) .

Note that, differently from measures, there is no explicit mention of complements. Moreover, the continuity condition can be interpreted, measure-theoretically, both as an analogue of σ\sigma-additivity, and as an analogue of a regularity condition (more precisely it corresponds to τ-additivity). See correspondence between measure and valuation theory for more on this.

Valuations on locales and topological spaces

Let LL be a locale. Then a valuation on LL is by definition a valuation on its frame 𝒪(L)\mathcal{O}(L). Similarly, a valuation on a topological space is a valuation on the lattice of its open sets.

Valuations on locales are used in the topos approach to quantum mechanics and the Bohr topos.


Dirac valuation

Let XX be a topological space, and let xXx\in X be a point. The Dirac valuation at xx, which we denote by δ x\delta_x, maps an open set UXU\subseteq X to

δ x(U){1 xU 0 xU. \delta_x(U) \;\coloneqq\; \begin{cases} 1 & x\in U \\ 0 & x\notin U. \end{cases}

These are the valuation analogue of Dirac measures, and give the unit map of valuation monads. Note the analogy with neighborhood filters: Dirac measures can be considered a quantitative analogue thereof.

Simple valuations

On a topological space, a simple valuation is a finite convex (or linear) combination of Dirac valuations, i.e. a valuation in the form

ν= i=1 nα iδ x i, \nu = \sum_{i=1}^n \alpha_i\,\delta_{x_i} ,

for x iXx_i\in X, and for positive (lower) real numbers α i\alpha_i, possibly summing to one.

Borel measures

For more on this, see τ \tau -additive measure.

Let XX be a topological space, and let μ\mu be a measure defined on the Borel σ \sigma -algebra of XX. Then the restriction of μ\mu to the open subsets of XX is a valuation. The valuation is continuous if and only if μ\mu is τ \tau -additive.

The converse problem of whether a valuation is the restriction of a Borel measure is more difficult, see below.

Measure-theoretic structures and properties

Valuations share a number of constructions which are similar to those for measures. The constructions below are given for the case of continuous valuations on topological spaces.


Given spaces XX and YY and a continuous map f:XYf:X\to Y, we can map a valuation ν\nu on XX to a valuation f *νf_*\nu on YY in the following way. For every open set UYU\subseteq Y, we set

f *ν(U)ν(f 1(U)). f_*\nu (U) \coloneqq \nu(f^{-1}(U)) .

The assignment gives a well-defined valuation, which is continuous if ν\nu is continuous. We call f *νf_*\nu the pushforward valuation of ν\nu along ff.

Compare with the analogous construction for measures.

This construction allows to makes the assignment functor, which is even a monad (see measure monads for more on this).

Joints, marginals and products

Given a valuation ν\nu on a product space X×YX\times Y, one calls its pushforward along the projection map X×YXX\times Y\to X the marginal of ν\nu on XX. The same can be done for YY. The assignment from ν\nu to the ordered pair of its marginals can be seen as an oplax monoidal structure of the valuation monad.

Given valuations ν\nu on XX and ρ\rho on YY, there may be many possible valuations on X×YX\times Y which have ν\nu and ρ\rho as their marginals. Any such valuation on X×YX\times Y is called a joint valuation or coupling of ν\nu and ρ\rho.

Between the many joints of ν\nu and ρ\rho there is always a canonical choice, namely the product valuation νρ\nu\otimes\rho. From the point of view of probability theory, this corresponds to a distribution exhibiting independence? between ν\nu and ρ\rho. On the basis of the product topology of X×YX\times Y given by sets in the form U×VU\times V for UXU\subseteq X and VYV\subseteq Y open, the product valuation is given by

νρ(U×V)ν(U)ρ(V). \nu\otimes\rho (U\times V) \coloneqq \nu(U)\cdot\rho(V).

Note that this is not enough to define a valuation a priori. For continuous valuations, however, this turns out to be the well-defined, as proven for example in Heckmann ‘96.

The assignment to ν\nu and ρ\rho of their product valuation can be seen as a lax monoidal structure of the valuation monad. See also monads of probability, measures and valuations#monoidal_structure.

Null sets and support

Valuations admit a notion of support similar to that of measures. In particular, continuous valuations, just as τ \tau -additive measures, have a well-defined and well-behaved support.

Let ν\nu be a valuation on a locale or topological space XX, and UU an open set of XX (i.e. an element of the corresponding frame). We say that UU is a null or measure zero set for ν\nu if ν(U)=0\nu(U)=0. The complement of UU, which is a closed subspace of XX, is said to have full measure.

Since a finite union of null sets is null, null sets form a directed net in the frame. Therefore, if ν\nu is a continuous valuation, it admits a unique maximal null open set. The complement of this set, which is the largest closed subspace of full measure, is called the support of ν\nu.

The support induces a morphism of monads (see Fritz-Perrone-Rezagholi, section 5).


There is an integration theory for valuation analogous to that of measures, where the open sets play the role of the measurable sets, and lower semicontinuous functions play the role of measurable functions (see also correspondence between measure and valuation theory). Sometimes integration of valuation is known as lower integration, since approximations are done from below.

The way to define integration, mutatis mutandis, parallels usual Lebesgue integral construction. We sketch the construction for the case of topological spaces.

Let ν\nu be a valuation on a space XX.

  • Given an open set UXU\subseteq X, and denoting by 1 U1_U its indicator function, we define

    1 Udνν(U). \int 1_U \, d\nu \;\coloneqq\; \nu(U) .
  • A simple lower semicontinuous function is a lower semicontinuous function assuming only finitely many values. Such functions can be expressed (nonuniquely) as finite positive linear combinations of indicator functions:

    f= ir i1 U i. f \;=\; \sum_i r_i \, 1_{U_i} .

    We define the integral of a simple ff as

    fdν ir iν(U i). \int f \, d\nu \;\coloneqq\; \sum_{i}r_i \nu(U_i) .

    This is well-defined, i.e.~it depends only on ff and not on the particular way of expressing ff as a linear combination of indicators.

  • Every lower semicontinuous function can be written as pointwise directed supremum of simple lower semicontinuous functions. So suppose g:X[0,]g:X\to[0,\infty] is lower semicontinuous. Take an increasing net (g α) αA(g_\alpha)_{\alpha\in A} of nonnegative simple lower semicontinuous functions. Then we define

    gdνsup αg αdν, \int g \, d\nu \;\coloneqq\; \sup_\alpha \int g_\alpha\,d\nu ,

    where the integral on the right is the one defined above for simple functions, and the supremum on the right is either the one of real numbers (or lower real numbers), or ++\infty.

This integral satisfies analogous properties to the Lebesgue integral, such as linearity and Scott continuity (cfr. the sequential monotone continuity? of the Lebesgue integral).

Monads of valuations

Just as there are several monads of measures (such as the Giry monad), there are a number of analogous monads of valuations. The most famous are

See also the list at monads of probability, measures, and valuations.

Extending valuations to measures

As we have seen above, a Borel measure always restricts to a valuation. It is natural to ask the converse question of whether a valuation can always be extended to a Borel measure. In general, the answer is negative. In the case of continuous valuations, however, one would expect that in many cases the valuation can be extended to a τ \tau -additive Borel measure.

The question is known, for example, to be true on all regular Hausdorff (T 3T_3) spaces:


A locally finite continuous valuation on a regular topological space extends uniquely to a regular τ-smooth Borel measure. A locally finite continuous valuation on a locally compact sober space extends uniquely to a τ-smooth Borel measure.

(Manilla 02, Theorems 4.4 and 4.12)

This includes in particular every metric space, and every compact Hausdorff space. So, in many spaces of interest for analysis and probability theory, working with measures and working with valuations is only a difference in the language.

The more general question of whether one can extend a finite continuous valuation to a Borel measure on any sober space, at the present time, is still open.

Particular cases

  • Every Dirac valuation can be extended to the corresponding Dirac measure.

  • The pushforward of an extendable valuation along a continuous map is again extendable, and the resulting measure is the pushforward measure of the extension. (Equivalently, the restriction of measures to valuations is a natural transformation).

  • The above specializes to the fact that marginals of extendable valuations are extendable, and the resulting measure is the marginal measure.

  • Somewhat conversely, the product of extendable valuations is extendable, and the resulting measure is the product measure? of the extensions.

  • The integration, given by the multiplication map E:PPXPXE: P P X \to P X of the extended probabilistic powerdomain, maps extendable valuations to extendable valuations, and the resulting measure is the integral of the extension. Therefore there is a morphism of monads exhibiting τ-additive measures as a submonad of valuations. (See also the measure monad on Top.)

See also


For valuations on locales, see

For the theory of integration over valuations, see

Integration on locales can be found in

For the problem of extending valuations to measures, see

Last revised on June 20, 2022 at 09:42:50. See the history of this page for a list of all contributions to it.