Radon measure


In mathematics, a Radon measure, named after Johann Radon, is a measure on the -algebra of Borel sets of a Hausdorff topological space that is finite on all compact sets, outer regular on all Borel sets, and inner regular on open sets. These conditions guarantee that the measure is "compatible" with the topology of the space, and most measures used in mathematical analysis and in number theory are indeed Radon measures.

Motivation

A common problem is to find a good notion of a measure on a topological space that is compatible with the topology in some sense. One way to do this is to define a measure on the Borel sets of the topological space. In general there are several problems with this: for example, such a measure may not have a well defined support. Another approach to measure theory is to restrict to locally compact Hausdorff spaces, and only consider the measures that correspond to positive linear functionals on the space of continuous functions with compact support. This produces a good theory with no pathological problems, but does not apply to spaces that are not locally compact. If there is no restriction to non-negative measures and complex measures are allowed, then Radon measures can be defined as the continuous dual space on the space of continuous functions with compact support. If such a Radon measure is real then it can be decomposed into the difference of two positive measures. Furthermore, an arbitrary Radon measure can be decomposed into four positive Radon measures, where the real and imaginary parts of the functional are each the differences of two positive Radon measures.
The theory of Radon measures has most of the good properties of the usual theory for locally compact spaces, but applies to all Hausdorff topological spaces. The idea of the definition of a Radon measure is to find some properties that characterize the measures on locally compact spaces corresponding to positive functionals, and use these properties as the definition of a Radon measure on an arbitrary Hausdorff space.

Definitions

Let be a measure on the -algebra of Borel sets of a Hausdorff topological space.
  • The measure is called inner regular or tight if, for every open set, equals the supremum of over all compact subsets of.
  • The measure is called outer regular if, for every Borel set, equals the infimum of over all open sets containing.
  • The measure is called locally finite if every point of has a neighborhood for which is finite.
If is locally finite, then it follows that is finite on compact sets, and for locally compact Hausdorff spaces, the converse holds, too. Thus, in this case, local finiteness may be equivalently replaced by finiteness on compact subsets.
The measure is called a Radon measure if it is inner regular and locally finite. In many situations, such as finite measures on locally compact spaces, this also implies outer regularity.

Radon measures on locally compact spaces

When the underlying measure space is a locally compact topological space, the definition of a Radon measure can be expressed in terms of continuous linear functionals on the space of continuous functions with compact support. This makes it possible to develop measure and integration in terms of functional analysis, an approach taken by Bourbaki and a number of other authors.

Measures

In what follows denotes a locally compact topological space. The continuous real-valued functions with compact support on form a vector space, which can be given a natural locally convex topology. Indeed, is the union of the spaces of continuous functions with support contained in compact sets. Each of the spaces carries naturally the topology of uniform convergence, which makes it into a Banach space. But as a union of topological spaces is a special case of a direct limit of topological spaces, the space can be equipped with the direct limit locally convex topology induced by the spaces ; this topology is finer than the topology of uniform convergence.
If is a Radon measure on then the mapping
is a continuous positive linear map from to. Positivity means that whenever is a non-negative function. Continuity with respect to the direct limit topology defined above is equivalent to the following condition: for every compact subset of there exists a constant such that, for every continuous real-valued function on with,
Conversely, by the Riesz–Markov–Kakutani representation theorem, each linear form on arises as integration with respect to a unique regular Borel measure.
A real-valued Radon measure is defined to be continuous linear form on ; they are precisely the differences of two Radon measures. This gives an identification of real-valued Radon measures with the dual space of the locally convex space. These real-valued Radon measures need not be signed measures. For example, is a real-valued Radon measure, but is not even an extended signed measure as it cannot be written as the difference of two measures at least one of which is finite.
Some authors use the preceding approach to define positive Radon measures to be the positive linear forms on. In this set-up it is common to use a terminology in which Radon measures in the above sense are called positive measures and real-valued Radon measures as above are called measures.

Integration

To complete the buildup of measure theory for locally compact spaces from the functional-analytic viewpoint, it is necessary to extend measure from compactly supported continuous functions. This can be done for real or complex-valued functions in several steps as follows:
  1. Definition of the upper integral of a lower semicontinuous positive function as the supremum of the positive numbers for compactly supported continuous functions ;
  2. Definition of the upper integral for an arbitrary positive function as the infimum of upper integrals for lower semi-continuous functions ;
  3. Definition of the vector space as the space of all functions on for which the upper integral of the absolute value is finite; the upper integral of the absolute value defines a semi-norm on, and is a complete space with respect to the topology defined by the semi-norm;
  4. Definition of the space of integrable functions as the closure inside of the space of continuous compactly supported functions.
  5. Definition of the integral for functions in as extension by continuity ;
  6. Definition of the measure of a set as the integral of the indicator function of the set.
It is possible to verify that these steps produce a theory identical with the one that starts from a Radon measure defined as a function that assigns a number to each Borel set of.
The Lebesgue measure on can be introduced by a few ways in this functional-analytic set-up. First, it is possibly to rely on an "elementary" integral such as the Daniell integral or the Riemann integral for integrals of continuous functions with compact support, as these are integrable for all the elementary definitions of integrals. The measure defined by elementary integration is precisely the Lebesgue measure. Second, if one wants to avoid reliance on Riemann or Daniell integral or other similar theories, it is possible to develop first the general theory of Haar measures and define the Lebesgue measure as the Haar measure on that satisfies the normalisation condition.

Examples

The following are all examples of Radon measures:
The following are not examples of Radon measures:
  • Counting measure on Euclidean space is an example of a measure that is not a Radon measure, since it is not locally finite.
  • The space of ordinals at most equal to, the first uncountable ordinal with the order topology is a compact topological space. The measure which equals on any Borel set that contains an uncountable closed subset of, and otherwise, is Borel but not Radon, as the one-point set has measure zero but any open neighbourhood of it has measure.
  • Let be the interval equipped with the topology generated by the collection of half open intervals. This topology is sometimes called Sorgenfrey line. On this topological space, standard Lebesgue measure is not Radon since it is not inner regular, since compact sets are at most countable.
  • Let be a Bernstein set in . Then no measure which vanishes at points on is a Radon measure, since any compact set in is countable.
  • Standard product measure on for uncountable is not a Radon measure, since any compact set is contained within a product of uncountably many closed intervals, each of which is shorter than 1.
We note that, intuitively, the Radon measure is useful in mathematical finance particularly for working with Lévy processes because it has the properties of both Lebesgue and Dirac measures, as unlike the Lebesgue, a Radon measure on a single point is not necessarily of measure.

Basic properties

Moderated Radon measures

Given a Radon measure on a space, we can define another measure by putting
The measure is outer regular, and locally finite, and inner regular for open sets. It coincides with on compact and open sets, and can be reconstructed from as the unique inner regular measure that is the same as on compact sets. The measure is called moderated if is -finite; in this case the measures and are the same.
On a hereditarily Lindelöf space every Radon measure is moderated.
An example of a measure that is -finite but not moderated as follows. The topological space has as underlying set the subset of the real plane given by the -axis of points together with the points with, positive integers. The topology is given as follows. The single points are all open sets. A base of neighborhoods of the point is given by wedges consisting of all points in of the form with for a positive integer. This space is locally compact. The measure is given by letting the -axis have measure and letting the point have measure. This measure is inner regular and locally finite, but is not outer regular as any open set containing the -axis has measure infinity. In particular the -axis has -measure but -measure infinity.