Radon measure

Let $X$ be a Hausdorff space. A Borel measure $\mu$ on $X$ is said to be a Radon measure if it is:

1. finite on compact sets,

2. inner regular (tight), $\mu (A)=sup\{\mu (V)\mid \text{compact}V\subset A\}$.

A finite Radon measure satisfies $\mu (A)=inf\{\mu (G)\mid \text{open}G\supset A\}$.

Radon measures are not necessarily locally finite, although this is the case for locally compact and metric spaces. (Counterexample: spaces where only finite subsets are compact.)

A Radon space is a topological space on which every finite Borel measure is a Radon measure, this is the case, e.g. for Polish spaces or Hausdorff spaces that are continuous images of Polish spaces.

Radon measures are the “most important class of measures on arbitrary Hausdorff topological spaces” (König [2], p.xiv) and formed the base of the development of integration theory by Bourbaki and Schwartz. In particular for locally compact spaces one often defines Radon measures as linear functionals $\mu$ on the space $C^c(X)$ of continuous functions with compact support (‘Riesz representation definition’). Berg et al. give the following summary [1], p. 62f.:

Given the finctional $\mu$ one defines set functions, in fact Borel measures, the outer measure ${\mu }^{*}$ and the essential outer measure ${\mu }^{\bullet }$ given by

${}^{*}(G)$ $=sup\{\mu (f)|f\in C^c(X),0\le f\le 1_G\}\text{ for open }G\subset X\text{ and}$ (1)

${\mu }^{*}(A)$ $=inf\{{\mu }^{*}(A\cap K)|K\in 𝔎(X)\}\text{ for }A\subset X,$ (2)

${\mu }^{\bullet }(A)$ $=sup\{{\mu }^{*}(A\cap K)|K\in 𝔎(X)\}\text{ for }A\subset X.$ (3)

${\mu }^{\bullet }$ is a Radon measure in our sense, while ${\mu }^{*}$ is not always Radon. For locally compact and $\sigma$-compact spaces, however, both coincide (on the Borel algebra) and are equivalent to our Radon measure. For general Hausdorff spaces, Bourbaki introduces $W^{*}(A)=sup\{(W_K)(A\cap K)|K\in 𝔎(X)\}$, where W, called a Radon premeasure, associates a Radon measure $W_K$ to each compact $K\subset X$, with $W_K|L=W_L,L\in 𝔎$ . This is a Radon measure (on Borel sets), Bourbaki, however, calls it only so if it is in addition locally finite.

Consider now Borel measures $\nu :𝔅\mapsto [0,\mathrm{\infty }]$ which are

• finite on compact sets, ,

• inner regular on the open sets, $\nu (G)=sup\{\nu (K)|K\subset G\}$ for $G$ open, and $K$ compact,

• outer regular, $\nu (B)=inf\{\nu (G)|B\subset G$ for open $G$ and Borel $B$.

then the measures $\nu$ correspond bijectively to locally finite Radon measures $\mu$ on $X$.

Title	Radon measure
Canonical name	RadonMeasure
Date of creation	2013-03-22 15:49:41
Last modified on	2013-03-22 15:49:41
Owner	ptr (5636)
Last modified by	ptr (5636)
Numerical id	16
Author	ptr (5636)
Entry type	Definition
Classification	msc 28C05
Classification	msc 28C15
Related topic	BorelMeasure
Related topic	SigmaFiniteBorelMeasureAndRelatedBorelConcepts
Defines	Radon space