[Math] About the definition of Borel and Radon measures

integrationmeasure-theoryreal-analysis

I am trying to understand the notion of Radon measure, but I am a little bit lost with the different conventions used in the litterature.
More precisely, I have a doubt about the very definition of Borel measure.

Suppose that $(X,\mathcal{B},\mu)$ is a measure space, where $X$ is a topological space.
I have find two different definitions for "$\mu$ is a Borel measure":

-Def 1 : $\mu$ is a Borel measure if $\mathcal{B}$ contains the Borel $\sigma$-algebra of $X$,

-Def 2: $\mu$ is a Borel measure if $\mathcal{B}$ is exactly the Borel $\sigma$-algebra of $X$.

The same thing happens for the notion of Radon measure, as it can be either considered as Borel measure in the sense of Def 1, or in the sense of Def 2.

Of course, Def 1 gives a more general notion of Borel or Radon measure. For example
the Lebesgue measure (defined on the Lebesgue $\sigma$-algebra of $\mathbb{R}^n$) is Radon in the sense of Def 1, but not in the sense of Def 2.

Are there (other) reasons as to why one may prefer Def 1 to Def 2 or vice versa ?

Apparently, Def 2 makes it quite difficult to have a "complete Radon measure", which makes me think that it is a little bit artificial or restrictive. But maybe many results hold only for Radon measures in the sense of Def 2, without possible extension to Radon measures in the sense of Def 1 ? Or maybe there is a trivial way to transfer any result involving a Borel measure in the sense of Def 2 to a result involving a Borel measure in the sense of Def 1 ?

A related question is the following : if $\mu$ is Radon in the sense of Def 2, will its completion be Radon in the sense of Def 1 ? Same question when you replace "Radon" by "inner regular", "outer regular", and "locally finite".

Best Answer

From a geometric measure theory perspective, it is standard to define Radon measures $\mu$ to be Borel regular measures that give finite measure to any compact set. Of course, their connection with linear functionals is very important, but in all the references I know, they start with a notion of a Radon measure and then prove representation theorems that represent linear functionals by integration against Radon measures.

Here are some examples:

$\color{blue}{I:}$ Evans and Gariepy's Measure Theory and Fine Properties of Functions states it this way:

  1. A [outer] measure $\mu$ on $X$ is regular if for each set $A \subset X$ there exists a $\mu$-measurable set $B$ such that $A\subset B$ and $\mu(A)=\mu(B)$.
  2. A measure $\mu$ on $\Bbb{R}^n$ is called Borel if every Borel set is $\mu$-measurable.
  3. A measure $\mu$ on $\Bbb{R}^n$ is Borel regular if $\mu$ is Borel and for each $A\subset\Bbb{R}^n$ there exists a Borel set $B$ such that $A\subset B$ and $\mu(A) = \mu(B)$.
  4. A measure $\mu$ on $\Bbb{R}^n$ is a Radon measure if $\mu$ is Borel regular and $\mu(K) < \infty$ for each compact set $K\subset \Bbb{R}^n$.

$\color{blue}{II:}$ In De Lellis' very nice exposition of Preiss' big paper, he doesn't even define Radon explicitly, but rather talks about Borel Regular measures that are also locally finite, by which he means $\mu(K) < \infty$ for all compact $K$. His Borel regular is a bit different in that he only considers measurable sets -- $\mu$ is Borel regular if any measurable set $A$ is contained in a Borel set $B$ such that $\mu(A) = \mu(B)$. (I am referring to Rectifiable Sets, Densities and Tangent Measures by Camillo De Lellis.)

$\color{blue}{III:}$ In Leon Simon's Lectures on Geometric Measure Theory, he defines Radon measures on locally compact and separable spaces to be those that are Borel Regular and finite on compact subests.

$\color{blue}{IV:}$ Federer 2.2.5 defines Radon Measures to be measure a $\mu$, over a locally compact Hausdorff spaces, that satisfy the following three properties:

  1. If $K\subset X$ is compact, then $\mu(K) < \infty$.

  2. If $V\subset X$ is open, then $V$ is $\mu$ measurable and

    $\hspace{1in} \mu(V) = \sup\mu(K): K\text{ is compact, } K\subset V$

  3. If $A\subset X$, then

    $\hspace{1in} \mu(A) = \inf\mu(V): V\text{ is open, } A\subset V$

Note: it is a theorem (actually, a Corollary 1.11 in Mattila's Geometry of Sets and Measures in Euclidean Spaces) that a measure is a Radon a la Federer if and only if it is Borel Regular and locally finite. I.e {Federer Radon} $\Leftrightarrow$ {Simon or Evans and Gariepy Radon}. (I am referring of course to Herbert Federer's 1969 text Geometric Measure Theory.)

$\color{blue}{V:}$ For comparison, Folland (in his real analysis book) defines things a bit differently. For example, he defines regularity differently than the first, third and fourth texts above. In those, a measure $\mu$ is regular if for any $A\subset X$ there is a $\mu$-measurable set $B$ such that $A\subset B$ and $\mu(A) = \mu(B)$. In Folland, a Borel measure $\mu$ is regular if all Borel sets are approximated from the outside by open sets and from the inside by compact sets. I.e. if

$\hspace{1in}\mu(B) = \inf \mu(V): V\text{ is open, } B\subset V$

and

$\hspace{1in}\mu(B) = \sup \mu(K): K\text{ is compact, } K\subset B$

for all Borel $B\subset X$.

Folland's definition of Radon is very similar to Federer's but not quite the same:

A measure $\mu$ is Radon if it is a Borel measure that satisfies:

  1. If $K\subset X$ is compact, then $\mu(K) < \infty$.

  2. If $V\subset X$ is open, then

    $\hspace{1in} \mu(V) = \sup\mu(K): K\text{ is compact, } K\subset V$

  3. If $A\subset X$ and $A$ is Borel then

    $\hspace{1in} \mu(A) = \inf\mu(V): V\text{ is open, } A\subset V$

... and by Borel measure, Folland means a measure whose measuralbe sets are exactly the Borel sets.

Discussion: Why choose one definition over another? Partly personal preference -- I prefer the typical approach taken in geometric measure theory, starting with an outer measure and progressing to Radon measures a la Evans and Gariepy or Simon or Federer or Mattila. It seems, somehow, more natural and harmonious with the Caratheodory criterion and Caratheodory construction used to generate measures, like the Hausdorff measures.

With this approach, for example, sets with an outer measure of 0 are automatically measurable.

Another reason not to use the more restrictive definition 2 (in the question above) it makes sense to require that continuous images of Borel sets be measurable. But all we know is that continuous maps map Borel to Suslin sets. And there are Suslin sets which are not Borel! If we use the definition of Borel regular, as in I,III and IV above, then Suslin sets are measurable. There is a very nice discussion of this in section 1.7 of Krantz and Parks' Geometric Integration Theory -- see that reference for the definition of Suslin sets. (Krantz and Parks is yet another text I could have added to the above list that agrees with I, III, and IV as far as Radon, Borel regular, etc. goes.

Related Question