Inner measure

UNDER CONSTRUCTION

An inner measure is a function defined on all subsets of a given set, taking values in the extended real number system. It can be thought of as a counterpart to an outer measure. Whereas outer measures define the "size" of a set via a minimal covering set (from the outside), inner measures define the size of a set by approximating it with a maximal subset (from the inside). Although it is possible to develop measure theory with outer measures alone -- and many modern textbooks do just this -- Henri Lebesgue, in his 1902 thesis "Intégrale, longueur, aire" ("Integral, Length, Area"), used both inner measures and outer measures. It was not until Constantin Carathéodory made further contributions to the development of measure theory that inner measures were found to be redundant and an alternative notion of a "measurable" set was found.

Definition

Let $A\subseteq \mathbb {R}$ be an open set, and define a function $\mu :2^{\mathbb {R} }\rightarrow [0,\infty ]$ as follows. If $A=\emptyset$, then $\mu (A)=0$, and if $A$ is unbounded, then $\mu (A)=\infty$. Otherwise, if $A$ is open, then it can be written as a union of open intervals. Define $\mu (I)=b-a$ for any open interval $I=(a,b)$, and

$\mu (A)=\sum _{k=1}^{\infty }\mu (I_{k})$

whenever $A$ is a disjoint union of open intervals, $A=\cup _{k=1}^{\infty }I_{k}$.

It remains to show how $\mu$ is defined on closed, bounded subsets of $\mathbb {R}$ (equivalently, compact subsets of $\mathbb {R}$, by the Heine-Borel theorem). Let $B\subseteq \mathbb {R}$ be compact, and suppose $[a,b]$ is the smallest closed interval containing $B$. Define

$\mu (B)=b-a-\mu ((a,b)\setminus B).$

In other words, $\mu (B)$ is the measure of the smallest interval containing $B$, minus the measure of the complement of $B$ (which is an open set, and hence defined).

It is worth noting that this implies a particularly intuitive result, namely

$\mu ((a,b))=\mu (B)+\mu ((a,b)\setminus B).$

Outer Measures

The Lebesgue outer measure $\mu ^{*}$ is usually defined in terms of open intervals as

$\mu ^{*}(A)=\inf \left\{\sum _{i=1}^{\infty }|b_{i}-a_{i}|:A\subseteq \bigcup _{i=1}^{\infty }(a_{i},b_{i})\right\}.$

Using the function $\mu$ defined above, this can be rewritten in terms of general open sets as

$\mu ^{*}(A)=\inf\{\mu (G):A\subseteq G,G{\text{ open}}\}.$