# Existence of a measure continuation – Serlo

Zur Navigation springen Zur Suche springen

In this chapter we deal with the question when a continuation of a function on sets to a measure (which is a special function on sets) exists and consider how such a continuation can be constructed. We learn about ${\displaystyle \sigma }$-subadditivity and exterior measures. We will derive the theorem of Carathéodory and the measure continuation theorem.

## First thoughts

Under what conditions can a set function ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ defined on any set system ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ be continued to a measure on the ${\displaystyle {\mathcal {C}}}$ generated ${\displaystyle \sigma }$-algebra ${\displaystyle \sigma ({\mathcal {C}})}$? We will find the answer to this question step by step in this chapter.

A simple example will soon show that the whole thing is a bit more complicated as it first seems. Shouldn't it be intuitively sufficient that a function ${\displaystyle \mu }$ defined on a set system ${\displaystyle {\mathcal {C}}}$ has some nice measure properties to (somehow) continue it to a measure? (Meaning, a measure on the generated ${\displaystyle \sigma }$-algebra ${\displaystyle \sigma ({\mathcal {C}})}$?) The set function ${\displaystyle \mu }$ has the measure properties if ${\displaystyle \mu (\emptyset )=0}$ and ${\displaystyle \sigma }$-additivity hold. In other words, if ${\displaystyle \mu }$ is a pre-measure on ${\displaystyle {\mathcal {C}}}$. That this condition is necessary is clear: if ${\displaystyle \mu }$ is not a pre-measure on the set system ${\displaystyle {\mathcal {C}}}$, then in particular no continuation of ${\displaystyle \mu }$ can be a pre-measure and hence also not a measure.

So ${\displaystyle \mu }$ must be a pre-measure on ${\displaystyle {\mathcal {C}}}$. But this is unfortunately not sufficient: ${\displaystyle \mu }$ may have properties that preclude making it a volume or a measure, for instance because monotonicity is violated. We saw an example of this at the very beginning in the article volumes on rings. However, the property of ${\displaystyle \sigma }$-additivity can be trivially satisfied simply because there are no disjoint sets in ${\displaystyle {\mathcal {C}}}$.

Example (A ${\displaystyle \sigma }$-additive, but not monotonic function on sets)

${\displaystyle \mu :\{\{1\},\{1,2\}\}\to [0,\infty ]}$ with ${\displaystyle \mu (\{1\})=5,\mu (\{1,2\})=1}$

Therefore, let's first go back a few steps and recall our very first considerations about measurement functions.

In the article volumes on rings, we introduced volume-measuring functions as extensive quantities. So doubling the size of the underlying system doubles the quantity (as for volume, mass, energy, etc.). As a central common feature of all extensive volume-measuring functions we have observed the monotonicity, i.e. the property that an increase of the size of a set / an object / a quantity also leads to an increase of the measurement result. We have generalized the monotonicity to the subadditivity, from which one can infer the monotonicity. The subadditivity says that a superset of some ${\displaystyle A}$ within a set system ${\displaystyle {\mathcal {C}}}$ has more volume than the set ${\displaystyle A}$ itself. This makes sense for extensive quantities. We recall the definition:

Definition (Sub-additivity of a function on sets)

A function on sets ${\displaystyle \mu :{\mathcal {P}}(\Omega )\supseteq {\mathcal {C}}\to [0,\infty ]}$ is called (finitely) sub-additive (or subadditive), if for all ${\displaystyle n\in \mathbb {N} }$ and ${\displaystyle A,A_{1},\dots ,A_{n}\in {\mathcal {C}}}$ with ${\displaystyle A\subseteq \bigcup _{i=1}^{n}A_{i}}$ it holds that:

${\displaystyle \mu (A)\leq \sum _{i=1}^{n}\mu (A_{i})}$

Only later we supplemented this extensive property by the "exact" property of additivity and in this context described the set ring as a possible domain of definition of volume-measuring functions. On set rings it was sufficient to require only the additivity to infer also subadditivity and monotonicity. But in general these two properties of a function on sets do not follow from additivity if the domain of definition ${\displaystyle {\mathcal {C}}}$ has no further structure, as the example above has shown. Therefore, our first goal will be to construct a subadditive continuation of ${\displaystyle \mu }$ defined on a set system, which is as large as possible.

## Construction of an outer volume

A subadditive set function can be interpreted as an outer approximation: If a set ${\displaystyle A}$ of sets ${\displaystyle A_{1},\dots ,A_{n}}$ is covered, then its volume is less than or equal to the volume of the covering sets. It does not matter whether the sets ${\displaystyle A_{1},\dots ,A_{n}}$ are disjoint with respect to the set ${\displaystyle A}$ or whether they cover ${\displaystyle A}$ only "roughly":

In some cases, the sum of the volumes of a disjoint aprtition might be larger than the union. This is indeed allowed for an outer approximation. We admit "upward deviations" for the the volume. This makes subadditivity easier to control under continuations, compared to additivity, and it is even possible to have a subadditive continuation on all of ${\displaystyle {\mathcal {P}}(\Omega )}$. On the other hand, an additive (instead of just subadditive) set function cannot generally be defined on the entire power set ${\displaystyle {\mathcal {P}}(\Omega )}$, as we saw in the Example of Banach-Tarski. This means that not every subset of the basic set ${\displaystyle \Omega }$ is "exactly" measurable. However, every arbitrary set ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ can be outer-approximated.

So let us use this connection between subadditivity and the approximation of sets by covers in the construction of a subadditive continuation. Let ${\displaystyle \mu }$ be a subadditive function defined on the set system ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$. Of course, ${\displaystyle \mu (\emptyset )=0}$ must also hold. Therefore, we can assume without restriction ${\displaystyle \emptyset \in {\mathcal {C}}}$ by defining ${\displaystyle \mu (\emptyset ):=0}$ (even if ${\displaystyle \emptyset \notin {\mathcal {C}}}$ should hold). Using approximating covers, we now construct a subadditive continuation ${\displaystyle \eta }$ defined on the power set: for a set ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ covered by sets ${\displaystyle C_{1},\dots ,C_{n}\in {\mathcal {C}}}$ (i.e., ${\displaystyle A\subseteq \bigcup _{i=1}^{n}C_{i}}$), we define

${\displaystyle \eta (A):=\sum _{i=1}^{n}\mu (C_{i})}$

Problem: The value of ${\displaystyle \eta (A)}$ depends on the selected cover!

Example

Consider the set system ${\displaystyle {\mathcal {C}}=\{(a,b]:a,b\in \mathbb {R} \}}$ and the function on it ${\displaystyle \mu :{\mathcal {C}}\rightarrow [0,\infty ],\;\mu ((a,b]):=b-a}$. For the set ${\displaystyle A:=(1,2]\cup (3,4]}$, both ${\displaystyle (-5,5]}$ and ${\displaystyle (1,2]\cup (3,4]}$ are supersets (=outer approximations) from ${\displaystyle {\mathcal {C}}}$. The value ${\displaystyle \eta (A)}$ is then correspondingly ${\displaystyle 5-(-5)=10}$ or ${\displaystyle (2-1)+(4-3)=2}$. Intuitively, the second variant is better, as it reproduces the measure exactly and the first is just an approximation.

So for ${\displaystyle \eta }$ to be well-defined, we must choose among all possible supersets from ${\displaystyle {\mathcal {C}}}$. We choose for every set ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ the value for ${\displaystyle \eta (A)}$ that belongs to that superset (=covering) of ${\displaystyle A}$, which approximates ${\displaystyle A}$ the best. Because we approximate from above (outer approximation), this is just the covering that gives the smallest value for ${\displaystyle \sum _{i=1}^{n}\mu (C_{i})}$. There may be infinitely many possible coverings, so a minimum might not exist and we generalize to taking the infimum:

${\displaystyle \eta (A):=\inf \left\{\sum _{i=1}^{n}\mu (C_{i}):n\in \mathbb {N} ,C_{1},\dots ,C_{n}\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{n}C_{i}\right\}}$

Hint

The infimum of the empty set is defined by ${\displaystyle \inf \emptyset :=\infty }$ (the empty set has no largest lower bound). This corresponds to the case where ${\displaystyle A}$ is too "large" and it cannot be covered by sets from ${\displaystyle {\mathcal {C}}}$.

Possibly there is no covering that gives exactly the value ${\displaystyle \eta (A)}$ (only values that are slightly too large will come out), but by definition of the infimum one can approximate the value arbitrarily close.

Following the construction with the infimum we have for every ${\displaystyle A\subseteq \Omega }$ and every arbitrary covering with sets ${\displaystyle {\tilde {C}}_{1},\dots ,{\tilde {C}}_{m}\in {\mathcal {C}}}$ that:

${\displaystyle \eta (A)=\inf \left\{\sum _{i=1}^{n}\mu (C_{i}):n\in \mathbb {N} ,C_{1},\dots ,C_{n}\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{n}C_{i}\right\}\leq \sum _{i=1}^{m}\mu ({\tilde {C}}_{i})}$

In the estimate above, we used that the ${\displaystyle {\tilde {C}}_{i}}$ are contained in the set of covers of ${\displaystyle A}$ which is used to for the infimum.

This inequality is already very similar to our goal: we want to obtain subadditivity for the outer approximations. However,we still have an ${\displaystyle \eta }$ on the left-hand side and a ${\displaystyle \mu }$ uon the right-hand side. It remains to establish a similar inequality with ${\displaystyle \eta }$ on both sides, which will be out subadditivity for ${\displaystyle \eta }$.

Theorem

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$ and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a function on it with ${\displaystyle \mu (\emptyset )=0}$. Then the function defined on the power set:

${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ],\quad \eta (A):=\inf \left\{\sum _{i=1}^{n}\mu (C_{i}):n\in \mathbb {N} ,C_{1},\dots ,C_{n}\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{n}C_{i}\right\}}$

is then subadditive and further we have ${\displaystyle \eta (\emptyset )=0}$.

Proof

We first prove that ${\displaystyle \eta (\emptyset )=0}$.

Since ${\displaystyle \emptyset }$ is a covering of the empty set with sets from ${\displaystyle {\mathcal {C}}}$ , we know that the ${\displaystyle \eta }$-value is smaller than the ${\displaystyle \mu }$-value ${\displaystyle \eta (\emptyset )\leq \mu (\emptyset )=0}$. But ${\displaystyle \eta }$-values are always positive, i.e., ${\displaystyle \eta (A)\geq 0}$ for all ${\displaystyle A\in {\mathcal {P}}(\Omega )}$. So ${\displaystyle \eta (\emptyset )\geq 0}$ which means ${\displaystyle \eta (\emptyset )=0}$.

Now we turn to subadditivity. Let ${\displaystyle A,A_{1},\dots ,A_{n}\in {\mathcal {P}}(\Omega )}$ be arbitrary with ${\displaystyle A\subseteq \bigcup _{i=1}^{n}A_{i}}$. We have to show that ${\displaystyle \eta (A)\leq \sum _{i=1}^{n}\eta (A_{i})}$ holds.

Let without restriction ${\displaystyle \eta (A_{i})<\infty }$ for all ${\displaystyle i=1,\dots ,n}$, because otherwise the inequality will hold anyway. The idea now is to trace the covering ${\displaystyle \{A_{1},\dots ,A_{n}\}}$ of ${\displaystyle A}$ back to a covering with sets from ${\displaystyle {\mathcal {C}}}$. For this we can exploit that it is contained in the set of coverings over which the infimum is formed, and thus obtain an upper bound. For this we choose for every single ${\displaystyle A_{i}}$ a covering ${\displaystyle {\mathcal {U}}_{i}\subseteq {\mathcal {C}}}$ with sets from ${\displaystyle {\mathcal {C}}}$ (which exists because ${\displaystyle \eta (A_{i})<\infty }$). Then

${\displaystyle {\mathcal {U}}:=\bigcup _{i=1}^{n}{\mathcal {U}}_{i}}$

is a covering of ${\displaystyle A}$. After construction of ${\displaystyle \eta }$ we thus have

${\displaystyle \eta (A)\leq \sum _{C\in {\mathcal {U}}}\mu (C)\leq \sum _{i=1}^{n}\sum _{C\in {\mathcal {U}}_{i}}\mu (C)}$

The second inequality involves summing over the sets from ${\displaystyle {\mathcal {U}}}$, as in the sum before, with the difference that some sets may be counted twice. (Here we used that ${\displaystyle \mu }$ is non-negative!)

Now we want to obtain something of the form

${\displaystyle \eta (A)\leq \sum _{i=1}^{n}\eta (A_{i})}$

To do this, we need to reduce the coverings ${\displaystyle {\mathcal {U}}_{i}}$ of the ${\displaystyle A_{i}}$ to the ${\displaystyle A_{i}}$ while sustaining the inequality. In other words, we need

${\displaystyle \sum _{C\in {\mathcal {U}}_{i}}\mu (C)\leq \eta (A_{i})}$

However, the construction of ${\displaystyle \eta }$ only guarantees

${\displaystyle \sum _{C\in {\mathcal {U}}_{i}}\mu (C)\geq \eta (A_{i})}$

But since we can arbitrarily approximate the value of the infimum in the defining equation of ${\displaystyle \eta }$, we can choose the coverings ${\displaystyle {\mathcal {U}}_{i}}$ to be only slightly larger than ${\displaystyle A_{i}}$. So let ${\displaystyle \varepsilon >0}$. To every ${\displaystyle i=1,\dots ,n}$ we choose ${\displaystyle {\mathcal {U}}_{i}}$ such that:

${\displaystyle \sum _{C\in {\mathcal {U}}_{i}}\mu (C)\leq \eta (A_{i})+{\frac {\varepsilon }{n}}}$

Then we obtain from the above estimate

${\displaystyle \eta (A)\leq \sum _{i=1}^{n}\sum _{C\in {\mathcal {U}}_{i}}\mu (C)\leq \sum _{i=1}^{n}\eta (A_{i})+\varepsilon }$

and since ${\displaystyle \varepsilon >0}$ was arbitrary, we get

${\displaystyle \eta (A)\leq \sum _{i=1}^{n}\eta (A_{i})}$

Hint

Note that in the theorem we did not require the subadditivity of ${\displaystyle \mu }$. For ${\displaystyle \eta }$ to be subadditive, ${\displaystyle \mu }$ need not itself be subadditive. To show the theorem, it suffices that ${\displaystyle \mu }$ is a nonnegative function on sets with ${\displaystyle \mu (\emptyset )=0}$. We will nevertheless need the subadditivity of ${\displaystyle \mu }$ in a moment, namely to prove that ${\displaystyle \eta }$ is indeed a continuation of ${\displaystyle \mu }$.

We now have a subadditive function defined on all of ${\displaystyle {\mathcal {P}}(\Omega )}$ , namely ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ with ${\displaystyle \eta (\emptyset )=0}$. Following the considerations on outer approximation, we call a set function defined on the power set with these properties an outer volume.

Definition (Outer volume)

A function ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ is called an outer volume, if:

1. ${\displaystyle \eta (\emptyset )=0}$,
2. ${\displaystyle \eta }$ is subadditive.

Warning

This term is not used in the literature.

Note also: What we call here "outer volume" is not a volume in the proper sense, because it is in general not additive.

There still remains the question whether ${\displaystyle \mu }$ is continued by ${\displaystyle \eta }$, i.e. whether ${\displaystyle \eta (C)=\mu (C)}$ for all ${\displaystyle C\in {\mathcal {C}}}$. So far, we know ${\displaystyle \eta (C)\leq \mu (C)}$, because ${\displaystyle C}$ one of many coverings of ${\displaystyle C}$. But we don't know yet if there is no "lower" approximation and that the infimum over all possible covers does not yield a smaller value. Intuitively, this should be true, but we have to prove it. So what we want is: ${\displaystyle \mu (C)\leq \eta (C)}$ for all ${\displaystyle C\in {\mathcal {C}}}$. This is the case if for all finite coverings of ${\displaystyle C}$ with sets ${\displaystyle C_{1},C_{2},\dots \in {\mathcal {C}}}$ we have that ${\displaystyle \mu (C)\leq \sum _{i=1}^{\infty }\mu (C_{i})}$. In other words, we additionally need the subadditivity of ${\displaystyle \mu }$ on ${\displaystyle {\mathcal {C}}}$.

Theorem

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$, let ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ be a subadditive function on it with ${\displaystyle \mu (\emptyset )=0}$ and let ${\displaystyle \eta }$ be defined as above. Then ${\displaystyle \eta }$ is a continuation of ${\displaystyle \mu }$.

Proof

We have to show that ${\displaystyle \eta (C)=\mu (C)}$ for all ${\displaystyle C\in {\mathcal {C}}}$. Since ${\displaystyle C}$ is covered by ${\displaystyle C}$ we have ${\displaystyle \eta (C)\leq \mu (C)}$ by definition of ${\displaystyle \eta }$ as being the infimum over all coverings. Conversely we have that for any ${\displaystyle A_{1},\dots ,A_{n}\in {\mathcal {P}}(\Omega )}$ with ${\displaystyle A\subseteq \bigcup _{i=1}^{n}A_{i}}$ also ${\displaystyle \sum _{i=1}^{n}\mu (A_{i})\geq \mu (A)}$, which follows from the subadditivity of ${\displaystyle \mu }$ . Since this is satisfied for all coverings of ${\displaystyle A}$, we have that the inequality also holds for the infimum over all possible coverings and finally, we obtain ${\displaystyle \eta (A)\geq \mu (A)}$.

To make clear that the outer volume ${\displaystyle \eta }$ defined as above is a continuation of ${\displaystyle \mu }$, we write ${\displaystyle \mu ^{*}=\eta }$ for it. In summary, we have proved:

Theorem (about constructing an outer volume)

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$ and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a subadditive function on it with ${\displaystyle \mu (\emptyset )=0}$. Then

${\displaystyle \mu ^{*}:{\mathcal {P}}(\Omega )\to [0,\infty ],\quad \mu ^{*}(A):=\inf \left\{\sum _{i=1}^{n}\mu (C_{i}):n\in \mathbb {N} ,C_{1},\dots ,C_{n}\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{n}C_{i}\right\}}$

is an outer volume and a continuation of ${\displaystyle \mu }$.

Warning

In general, the set function ${\displaystyle \mu ^{*}}$ defined in the theorem is one possible continuation of ${\displaystyle \mu }$ to an outer volume. There may be many others. We will deal with the question of the uniqueness of a continuation later on.

Finally, let us consider a short example. The outer Jordan volume is defined starting from the geometric volume in ${\displaystyle \mathbb {R} ^{n}}$:

Example (Outer Jordan-volume)

A (half-open) cuboid aggregates is a finite union of half-open cuboids of the form ${\displaystyle (a_{1},b_{1}]\times \dots \times (a_{n},b_{n}]\subseteq \mathbb {R} ^{n}}$.

We consider the set system

${\displaystyle {\mathcal {C}}=\left\{\bigcup _{i=1}^{m}Q_{i}\subseteq \mathbb {R} ^{n}:m\in \mathbb {N} ,Q_{j}=(a_{1}^{(j)},b_{1}^{(j)}]\times \dots \times (a_{n}^{(j)},b_{n}^{(j)}],j=1,\dots ,m\right\}}$

of the cuboid aggregates in ${\displaystyle \mathbb {R} ^{n}}$. This set system is a ring. On the ring of cuboid aggregates we consider the geometric volume ${\displaystyle \mu }$, which assigns to a cuboid ${\displaystyle Q=(a_{1},b_{1}]\times \dots \times (a_{n},b_{n}]}$ its volume

${\displaystyle \mu (Q)=\prod _{i=1}^{n}(b_{i}-a_{i})}$

Every cuboid aggregate ${\displaystyle A}$ can also be written as a disjoint union of finitely many cuboids, and its volume ${\displaystyle \mu (A)}$ is the sum of the individual cuboid volumes. (Note that it is always possible to write ${\displaystyle A}$ as a disjoint union of half-open cuboids, and that the value ${\displaystyle \mu (A)}$ does not depend on the choice of the decomposition). The set function ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ defined in this way is called Jordan volume. One can show that ${\displaystyle \mu }$ on the set system ${\displaystyle {\mathcal {C}}}$ is indeed additive, that is, a volume. In particular we have that ${\displaystyle \mu (\emptyset )=0}$ and since ${\displaystyle {\mathcal {C}}}$ is a ring, the additivity of ${\displaystyle \mu }$ also implies subadditivity.

We can construct the outer Jordan volume ${\displaystyle \mu ^{*}:{\mathcal {P}}(\mathbb {R} ^{n})\to [0,\infty ]}$ by defining ${\displaystyle A\in {\mathcal {P}}(\mathbb {R} ^{n})}$ for any subset:

${\displaystyle \mu ^{*}(A):=\inf \left\{\mu (F):F\in {\mathcal {C}},A\subseteq F\right\}}$

According to what we just proved, ${\displaystyle \mu ^{*}}$ is indeed an outer volume (subadditive) and a continuation of ${\displaystyle \mu }$. This approximates the volume of arbitrary subsets of ${\displaystyle \mathbb {R} ^{n}}$ by covering them with cuboid aggregates.

## From outer volumes to volumes

We have identified subadditivity as an essential property in the previous section and put it in the focus of the construction of a continuation. But do our considerations about subadditivity (constructing outer volumes) lead us to the final goal (constructing volumes) and if so, how can we reach it? We are still interested in an "exact" (additive) or additionally continuous (${\displaystyle \sigma }$-additive) extension of the measure - on a domain which shall be as large as possible. A subadditive continuation to the whole power set ${\displaystyle {\mathcal {P}}(\Omega )}$ (what we have) is of course fine, but we are interested an additive or ${\displaystyle \sigma }$-additive continuation, which might only be possible on a smaller set system than ${\displaystyle {\mathcal {P}}(\Omega )}$ .

Let's go step by step and take care of the additivity first. If we can find out the sets on which a subadditive set function behaves additively, we have already taken a good step: By simply restricting the domain of definition to those sets, we already get a volume. And from that point, it is not far to a measure (hopefully only taking a limit ${\displaystyle n\to \infty }$, but let's see).

So the goal now is to restrict the domain of definition and thus make ${\displaystyle \eta }$ additive on it - so it is a volume. Now, how do we find out on which sets, ${\displaystyle \eta }$ is additive?

### Carathéodory measurability condition

We are looking for those ${\displaystyle A,B\in {\mathcal {P}}(\Omega )}$ where the ${\displaystyle \eta }$ is "exact", i.e.:

${\displaystyle \eta (A\uplus B)=\eta (A)+\eta (B)}$

These are two unknown variables (${\displaystyle A}$ and ${\displaystyle B}$) in one expression, so ti is difficult to handle. We keep only ${\displaystyle A}$ as the unknown quantity and consider ${\displaystyle B}$ (and thus also ${\displaystyle A\uplus B}$) as arbitrarily given and known. We cannot simplify anything on the left side of the equation. So let's try to express on the right side all expressions with ${\displaystyle B}$ by ${\displaystyle A}$ and ${\displaystyle A\uplus B}$:

${\displaystyle \eta (A)+\eta (B)=\eta ((A\uplus B)\cap A)+\eta ((A\uplus B)\cap B)=\eta ((A\uplus B)\cap A)+\eta ((A\uplus B)\setminus A)}$

Since we know nothing about ${\displaystyle B}$, we must allow for ${\displaystyle A\uplus B}$ all sets ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ with ${\displaystyle A\subseteq Q}$. Thus, for the sets ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ on which ${\displaystyle \eta }$ is additive, we would like:

${\displaystyle \forall Q\in {\mathcal {P}}(\Omega ),A\subseteq Q:\eta (Q)=\eta (Q\cap A)+\eta (Q\setminus A)}$

Let's recall the considerations about the approximation with coverings and the additivity as a property to have an "exact" statement of the volume. Then intuitively the sets ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ for which the condition is fulfilled can be approximated. Approximability of a set can be interpreted as the property that approximation of outside and of inside coincide, just as for integrable functions the values for upper and lower approximation should converge to the same limit. If we understand the inner approximation of a set as an outer approximation of the complement (see picture), it follows from this consideration that if a set ${\displaystyle A}$ is measurable, then also its complement ${\displaystyle A^{\complement }}$ should be measurable.

This equivalence is already expressed in the above formula, because due to ${\displaystyle Q\setminus A=Q\cap A^{\complement }}$ it is symmetric in ${\displaystyle A}$ and ${\displaystyle A^{\complement }}$:

${\displaystyle \forall Q\in {\mathcal {P}}(\Omega ),A\subseteq Q:\eta (Q)=\eta (Q\cap A)+\eta (Q\setminus A)}$

But now we have required that the equation be satisfied only for those ${\displaystyle Q}$ with ${\displaystyle A\subseteq Q}$. If a set ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ is measurable, then because of ${\displaystyle A\subseteq Q\implies A^{\complement }\nsubseteq Q}$ we cannot yet infer the measurability of the complement ${\displaystyle A^{\complement }}$. To establish the desired symmetry between the approximability of a set ${\displaystyle A}$ and its complement ${\displaystyle A^{\complement }}$, the defining equation of measurability must be satisfied for any ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$. The sets ${\displaystyle A}$ for which the equation holds for all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$, are the sets "exactly" approximated by ${\displaystyle \eta }$, therefore these are also called ${\displaystyle \eta }$-measurable sets. This condition of measurability was introduced by the mathematician Constantin Carathéodory and is named after him.

Definition (Messurability condition of C. Carathéodory)

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer volume. A set ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ is called ${\displaystyle \eta }$-measurable, if for all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ it holds that:

${\displaystyle \eta (Q)=\eta (Q\cap A)+\eta (Q\setminus A)}$

The set ${\displaystyle {\mathcal {M}}(\eta ):=\{A\subseteq \Omega :A{\text{ is }}\eta {\text{-measurable}}\}}$ is called set system of all ${\displaystyle \eta }$-measurable sets.

Hint

Often the equation in the measurability condition is formulated equivalently as:

${\displaystyle \eta (Q)=\eta (Q\cap A)+\eta (Q\cap A^{c})}$

Sometimes you may find "${\displaystyle \geq }$" instead of "${\displaystyle =}$", i.e.,

${\displaystyle \eta (Q)\geq \eta (Q\cap A)+\eta (Q\setminus A)}$

By subadditivity, we have that "${\displaystyle \leq }$" holds anyway.

Warning

In the literature, the measurability condition is defined for so-called outer measures instead of outer volumes. We will get to know outer measures later, and our definition of measurability carries over to them without changes.

### Application of the measurability criterion

We invented a condition which is intended to allow us to find the sets on which an outer volume ${\displaystyle \eta }$ is additive. And indeed this works. The proof is not difficult:

Theorem

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer volume. Then ${\displaystyle \eta }$ is additive on ${\displaystyle {\mathcal {M}}(\eta )}$.

Proof

We prove the statement for two disjoint sets. Then, additivity for arbitrarily finitely many pairwise disjoint sets follows by induction.

Let ${\displaystyle A,B\in {\mathcal {M}}(\eta )}$ be disjoint.Because of the measurability of ${\displaystyle A}$, we have:

${\displaystyle \eta (A\uplus B)=\eta ((A\uplus B)\cap A)+\eta ((A\uplus B)\setminus A)=\eta (A)+\eta (B)}$

Just as well, of course, one can argue with the measurability of ${\displaystyle B}$.

We can even already say something about the structure of ${\displaystyle {\mathcal {M}}(\eta )}$:

Theorem

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer volume. Then, we have:

1. ${\displaystyle \Omega \in {\mathcal {M}}(\eta )}$
2. ${\displaystyle A\in {\mathcal {M}}(\eta )\implies A^{c}\in {\mathcal {M}}(\eta )}$
3. ${\displaystyle A,B\in {\mathcal {M}}(\eta )\implies A\cup B\in {\mathcal {M}}(\eta )}$

Proof

The first two properties follow almost immediately from the measurability definition:

Let ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ be arbitrary. Because of ${\displaystyle \eta (\emptyset )=0}$ and ${\displaystyle Q\subseteq \Omega }$ we have that:

${\displaystyle \eta (Q)=\eta (Q)+\eta (\emptyset )=\eta (Q\cap \Omega )+\eta (Q\setminus \Omega )}$

Let now ${\displaystyle A\in {\mathcal {M}}(\eta )}$. Using the equivalent measurability condition ${\displaystyle \eta (Q)=\eta (Q\cap A)+\eta (Q\cap A^{c})}$, we see that for symmetry reasons ${\displaystyle A\in {\mathcal {M}}(\eta )\iff A^{c}\in {\mathcal {M}}(\eta )}$.

Finally, let ${\displaystyle A,B\in {\mathcal {M}}(\eta )}$ and ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ be arbitrary. Multiple application of the property "${\displaystyle \eta }$-measurable subset" yields:

{\displaystyle {\begin{aligned}\eta (Q)&=\eta (Q\cap A)+\eta (Q\cap A^{c})\\[0.3em]&=\eta (Q\cap A)+\eta (Q\cap A^{c}\cap B)+\eta (Q\cap A^{c}\cap B^{c})\\[0.3em]&=\eta (Q\cap (A\cup B)\cap A)+\eta (Q\cap (A\cup B)\cap A^{c})+\eta (Q\cap (A\cup B)^{c})\\[0.3em]&=\eta (Q\cap (A\cup B))+\eta (Q\cap (A\cup B)^{c})\end{aligned}}}

So we already have a ${\displaystyle \sigma }$-algebra without "${\displaystyle \sigma }$": all that is missing is the closedness with respect to countably infinite unions. A set system with these properties is accordingly called an algebra:

An algebra relates to a ${\displaystyle \sigma }$-algebra like a ring relates to a ${\displaystyle \sigma }$-ring. The "${\displaystyle \sigma }$" means "countably infinite instead of finite operations are allowed".

Definition (Algebra)

A set system ${\displaystyle {\mathcal {A}}\subseteq {\mathcal {P}}(\Omega )}$ is called an algebra, if:

1. ${\displaystyle \Omega \in {\mathcal {M}}(\eta )}$
2. ${\displaystyle A\in {\mathcal {M}}(\eta )\implies A^{c}\in {\mathcal {M}}(\eta )}$
3. ${\displaystyle A,B\in {\mathcal {M}}(\eta )\implies A\cup B\in {\mathcal {M}}(\eta )}$

Inductively, from ${\displaystyle A,B\in {\mathcal {M}}(\eta )\implies A\cup B\in {\mathcal {M}}(\eta )}$ follows naturally the closedness with respect to any finite union.

Remember: every algebra is a ring. Every ring ${\displaystyle {\mathcal {R}}}$ with ${\displaystyle \Omega \in {\mathcal {R}}}$ is an algebra.

In summary, we found that:

Theorem (Intermediate result)

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer content. Then ${\displaystyle {\mathcal {M}}(\eta )}$ is an algebra and ${\displaystyle \eta }$ is finitely additive, so it is a volume on it.

## ${\displaystyle \sigma }$-sub-additivity and outer volumes

At this point, we have come quite far. Only the ${\displaystyle \sigma }$-additivity and closure with respect to countable unions is missing in order to get a measure. It is tempting to just take the limit ${\displaystyle n\to \infty }$ and conclude that we have the same properties for countably infinite sets. But it is not clear whether subadditivity (as generalized monotonicity) is preserved when going over to limit values!

Example (Outer Jordan-volume)

Let ${\displaystyle \eta }$ be the outer Jordan volume on ${\displaystyle \mathbb {R} }$, which we already met in a more general form for ${\displaystyle \mathbb {R} ^{n}}$ in an example above. The set system ${\displaystyle {\mathcal {C}}}$ of cuboid aggregates in ${\displaystyle \mathbb {R} ^{n}}$ considered there corresponds here to the set of all finite unions of half-open intervals of the form ${\displaystyle (a,b]}$. From the above example we know that ${\displaystyle \eta }$ is indeed an outer volume, that is, finitely subadditive. Furthermore, if we consider sets of the form ${\displaystyle A_{n}:=(x-1/n,x]}$ as approximating coverings for one-point sets ${\displaystyle \{x\}\subseteq \mathbb {R} }$, we see that

${\displaystyle \eta (\{x\})=\inf \left\{\eta (F):F\in {\mathcal {C}},\{x\}\subseteq F\right\}=0}$

It follows that ${\displaystyle \eta }$ assigns the geometric length not only to half-open but also to arbitrary intervals (because the boundary points have length 0). We now consider the set ${\displaystyle \mathbb {Q} \cap [0,1]}$.

Since ${\displaystyle \eta }$ is subadditive (cf. the Example above), we have that for every finite covering of ${\displaystyle \mathbb {Q} \cap [0,1]}$ with sets ${\displaystyle A_{1},\dots ,A_{n}\subseteq \mathbb {R} }$:

${\displaystyle \eta (\mathbb {Q} \cap [0,1])\leq \sum _{i=1}^{n}\eta (A_{i})}$

However, this inequality is no longer true, when taking countably infinite coverings.

It is easy to see that every finite covering of ${\displaystyle \mathbb {Q} \cap [0,1]}$ with sets ${\displaystyle A_{1},\dots ,A_{n}\subseteq \mathbb {R} }$ must cover all of ${\displaystyle [0,1]}$ since ${\displaystyle \mathbb {Q} }$ is dense in ${\displaystyle \mathbb {R} }$. So the most exact possible covering of ${\displaystyle \mathbb {Q} \cap [0,1]}$ is obviously the interval ${\displaystyle [0,1]}$ itself, and thus we have that ${\displaystyle \eta (\mathbb {Q} \cap [0,1])=1}$. Let now ${\displaystyle q_{0},q_{1},\dots }$ be an enumeration of the elements of ${\displaystyle \mathbb {Q} \cap [0,1]}$ (this set is countable). Then ${\displaystyle \mathbb {Q} \cap [0,1]\subseteq \bigcup _{i=1}^{\infty }\{q_{i}\}}$. However,

${\displaystyle \eta (\mathbb {Q} \cap [0,1])=1>0=\sum _{i=1}^{\infty }\eta (\{q_{i}\})}$

Thus, the subadditivity is not preserved in the transition to infinite covers!

Historical note: To consider countably infinite covers instead of finite ones in the definition of the outer Jordan volume was the decisive idea in the development of the integration theory by Lebesgue. We will see shortly why.

So the reasoning we used in the previous section for finite additivity may not work if we want additivity for infinitely many disjoint sets. This is because in order for us to infer ${\displaystyle \sigma }$-additivity and stability under countable unions, it is necessary that subadditivity is also preserved under limit values. In other words, the inequality in the definition of subadditivity should also hold for coverings with (countably) infinite sets. The example shows that this is not true in general and has to be required separately. So we extend the notion of subadditivity to coverings with countably many sets and call this new property ${\displaystyle \sigma }$-subadditivity:

Definition (${\displaystyle \sigma }$-sub-additivity of a function on sets)

A function ${\displaystyle \mu :{\mathcal {P}}(\Omega )\supseteq {\mathcal {C}}\to [0,\infty ]}$ is called ${\displaystyle \sigma }$-subadditive, if for all ${\displaystyle A,A_{1},A_{2},\dots \in {\mathcal {C}}}$ with ${\displaystyle A\subseteq \bigcup _{i=1}^{\infty }A_{i}}$ it holds that:

${\displaystyle \mu (A)\leq \sum _{i=1}^{\infty }\mu (A_{i})}$

Before we investigate whether we reach our goal for a ${\displaystyle \sigma }$-additive set function on ${\displaystyle {\mathcal {M}}(\eta )}$ , we introduce a new name for outer volumes with this property. We called subadditive set functions defined on the power set with ${\displaystyle \eta (\emptyset )=0}$ outer volumes earlier. The ${\displaystyle \sigma }$ turns a "volume" into a "measure". So it is natural to call a ${\displaystyle \sigma }$-subadditive set function with ${\displaystyle \eta (\emptyset )=0}$ an outer measure.

Definition (Outer measure)

A function ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ is called an outer measure, if it holds that

1. ${\displaystyle \eta (\emptyset )=0}$,
2. ${\displaystyle \eta }$ is ${\displaystyle \sigma }$-subadditive.

Warning

Again an outer measure is not a measure in the proper sense, for it is generally not ${\displaystyle \sigma }$-additive on ${\displaystyle {\mathcal {P}}(\Omega )}$.

Because ${\displaystyle \eta (\emptyset )=0}$, every outer measure is also finitely subadditive (and hence monotonic). We can just choose ${\displaystyle A_{1},\dots ,A_{n},\emptyset ,\emptyset ,\dots \in {\mathcal {P}}(\Omega )}$ as covering sets.

## Construction of an outer measure

Let us recall the extension "without the ${\displaystyle \sigma }$" we constructed above. Maybe, it is possible to copy some useful ideas from it.

We started from a function ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ defined on any set system ${\displaystyle \emptyset \in {\mathcal {C}}}$ with ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ and ${\displaystyle \mu (\emptyset )=0}$ . Then we constructed an outer volume ${\displaystyle \eta }$, which we did using finite coverings that approximate ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ by sets from ${\displaystyle {\mathcal {C}}}$:

${\displaystyle \eta (A):=\inf \left\{\sum _{i=1}^{n}\mu (C_{i}):n\in \mathbb {N} ,C_{1},\dots ,C_{n}\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{n}C_{i}\right\}}$

The set function ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ defined this way is actually subadditive on the entire power set with ${\displaystyle \eta (\emptyset )=0}$, so it is an outer volume. We have seen that it is a continuation of ${\displaystyle \mu }$, meaning that it coincides with ${\displaystyle \mu }$ on the set system ${\displaystyle {\mathcal {C}}}$, provided that ${\displaystyle \mu }$ also has the properties of an outer volume, i.e. it is subadditive on ${\displaystyle \mu (\emptyset )=0}$ in addition to ${\displaystyle {\mathcal {C}}}$.

Now we want to construct a ${\displaystyle \sigma }$-subadditive set function ${\displaystyle \eta }$ defined on the power set with ${\displaystyle \eta (\emptyset )=0}$. We call a set function with these properties an outer measure. Thus, it should also hold for countably infinite covers of a set ${\displaystyle A\subseteq \bigcup _{i=1}^{\infty }A_{i}}$, ${\displaystyle A,A_{1},\dots \in {\mathcal {P}}(\Omega )}$, that

${\displaystyle \eta (A)\leq \sum _{i=1}^{\infty }\eta (A_{i})}$

When proving the subadditivity of the outer volume constructed above, we exploited that the value ${\displaystyle \eta (A)}$ is given by the infimum over all possible finite coverings of a set ${\displaystyle A}$. From the definition we immediately obtained an inequality very similar to subadditivity

${\displaystyle \eta (A)=\inf \left\{\sum _{i=1}^{n}\mu (C_{i}):n\in \mathbb {N} ,C_{1},\dots ,C_{n}\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{n}C_{i}\right\}\leq \sum _{i=1}^{m}\mu ({\tilde {C}}_{i})}$

for a set ${\displaystyle C_{1},\dots ,C_{n}\in {\mathcal {C}}}$ covered by sets ${\displaystyle A\subseteq \bigcup _{i=1}^{n}C_{i}}$. However, we cannot expect from the above ${\displaystyle \eta }$ that it is also ${\displaystyle \sigma }$-subadditive: The infimum is formed only over finite coverings, and it is not guaranteed that the inequality is preserved when moving to countably infinite coverings. With the Jordan volume on ${\displaystyle \mathbb {R} }$ and the set ${\displaystyle A=\mathbb {Q} \cap [0,1]}$ we have already seen an example for this.

So to be able to infer the ${\displaystyle \sigma }$-subadditivity of ${\displaystyle \eta }$ and to get the inequality also for infinite covers, we must form the infimum also over these and correspondingly tweak the definition, such that it becomes:

${\displaystyle \eta (A):=\inf \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots ,\in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}}$

Note that since ${\displaystyle \mu (\emptyset )=0}$ we have also included finite covers: choose ${\displaystyle C_{1},\dots ,C_{n},\emptyset ,\dots \in {\mathcal {C}}}$. The set function ${\displaystyle \eta }$ thus constructed is in fact ${\displaystyle \sigma }$-subadditive, and the proof is analogous to the proof of subadditivity of the outer volume constructed above:

Theorem

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$ and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a function on it with ${\displaystyle \mu (\emptyset )=0}$. Then the functio defined on the power set:

${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ],\quad \eta (A):=\inf \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}}$

is an outer measure.

Proof

We establish the two properties of an outer measure. First that ${\displaystyle \eta (\emptyset )=0}$ and then the ${\displaystyle \sigma }$ subadditivity. For this we note the following: let ${\displaystyle (A_{n})_{n\in \mathbb {N} }\subseteq {\mathcal {C}}}$ be a covering of ${\displaystyle A}$, i.e. let ${\displaystyle A\subseteq \bigcup _{n\in \mathbb {N} }A_{n}}$. Then, we have because of

${\displaystyle \sum _{i=1}^{\infty }\mu (A_{i})\in \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}}$

that, by definition of ${\displaystyle \eta }$,

${\displaystyle \eta (A)=\inf \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}\leq \sum _{i=1}^{\infty }\mu (A_{i}).}$

Since, moreover, because of the nonnegativity of ${\displaystyle \mu }$ for any ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ all elements in ${\displaystyle \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}}$ are nonnegative, we have ${\displaystyle \eta (A)\geq 0}$.

By considering the covering ${\displaystyle (\emptyset )_{n\in \mathbb {N} }\subseteq {\mathcal {C}}}$ of ${\displaystyle \emptyset }$, it follows with these two statements directly, that

${\displaystyle 0\leq \eta (\emptyset )\leq \sum _{i=1}^{\infty }\mu (\emptyset )=0.}$

Now we turn to ${\displaystyle \sigma }$-subadditivity. Let for this ${\displaystyle (A_{n})_{n\in \mathbb {N} }\subseteq {\mathcal {P}}(\Omega )}$ be any set sequence ${\displaystyle A=\bigcup _{n\in \mathbb {N} }A_{n}}$. We will show that ${\displaystyle \eta (A)\leq \sum _{n=1}^{\infty }\eta (A_{n})}$.

W.l.o.g, let ${\displaystyle \eta (A_{k})<\infty }$ for all ${\displaystyle k\in \mathbb {N} }$. Now if ${\displaystyle \eta (A_{k})=\infty }$ for any ${\displaystyle k\in \mathbb {N} }$, then because ${\displaystyle A_{k}\subseteq A}$ it follows also that ${\displaystyle \eta (A)=\infty }$. So we get

${\displaystyle \eta (A)=\infty =\eta (A_{k})=\sum _{n=1}^{\infty }\eta (A_{n}).}$

Let now ${\displaystyle \varepsilon >0}$ be arbitrary.

From the definition of ${\displaystyle \eta }$ using the infimum it follows for every ${\displaystyle n\in \mathbb {N} }$ that there is a covering of ${\displaystyle A_{n}}$ with sets ${\displaystyle (E_{n,k})_{k\in \mathbb {N} }\subseteq {\mathcal {C}}}$, such that

${\displaystyle \sum _{k=1}^{\infty }\mu (E_{n,k})\leq \eta (A_{n})+\varepsilon \cdot 2^{-n}.}$

Since every single one of the sequences ${\displaystyle (E_{n,k})_{k\in \mathbb {N} }}$ covers the set ${\displaystyle A_{n}}$.

${\displaystyle \bigcup _{n,k\in \mathbb {N} }(E_{n,k})\supseteq \bigcup _{n\in \mathbb {N} }A_{n}=A.}$

That is, ${\displaystyle (E_{n,k})_{n,k\in \mathbb {N} }}$ is a countable covering of ${\displaystyle A}$ consisting of sets in ${\displaystyle {\mathcal {C}}}$. From this follows

{\displaystyle {\begin{aligned}\eta (A)&\leq \sum _{n,k\in \mathbb {N} }\mu (E_{n,k})=\sum _{n=1}^{\infty }\sum _{k=1}^{\infty }\mu (E_{n,k})\leq \sum _{n=1}^{\infty }(\eta (A_{n})+\varepsilon \cdot 2^{-n})\\[0,3em]&=\sum _{n=1}^{\infty }\eta (A_{n})+\varepsilon \cdot \sum _{n=1}^{\infty }2^{-n}=\sum _{n=1}^{\infty }\eta (A_{n})+\varepsilon .\end{aligned}}}

Since this inequality holds for all ${\displaystyle \varepsilon >0}$, a limit transition ${\displaystyle \varepsilon \to 0}$ implies the assertion

${\displaystyle \eta (A)\leq \sum _{n=1}^{\infty }\eta (A_{n}).}$

For the same reasons as for the construction of an outer volume, ${\displaystyle \mu }$ must have the properties of an outer measure on ${\displaystyle {\mathcal {C}}}$ to be continued by ${\displaystyle \eta }$:

Theorem

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$, let ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ be a ${\displaystyle \sigma }$-subadditive function on it with ${\displaystyle \mu (\emptyset )=0}$ and let ${\displaystyle \eta }$ be defined as above. Then, ${\displaystyle \eta }$ is a continuation of ${\displaystyle \mu }$.

Proof

Let ${\displaystyle A\in {\mathcal {C}}}$. We now prove ${\displaystyle \mu (A)=\eta (A)}$. Since ${\displaystyle A}$ is covered by ${\displaystyle \{A\}\subseteq {\mathcal {C}}}$ , we have ${\displaystyle \eta (A)\leq \mu (A)}$.

We show the other inequality. Let ${\displaystyle (A_{n})_{n\in \mathbb {N} }\subseteq {\mathcal {C}}}$ be any cover of ${\displaystyle A}$. Then,from the ${\displaystyle \sigma }$-subadditivity of ${\displaystyle \mu }$ we obtain

${\displaystyle \mu (A)\leq \sum _{n=1}^{\infty }\mu (A_{n}).}$

Since this holds for all coverings ${\displaystyle (A_{n})_{n\in \mathbb {N} }}$ there is also

${\displaystyle \mu (A)\leq \inf \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}=\eta (A).}$

To denote that the outer measure ${\displaystyle \eta }$ defined above is a continuation of ${\displaystyle \mu }$, we write ${\displaystyle \mu ^{*}}$ for it. In summary, we have proved:

Theorem (Constructing an outer measure)

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$ and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a ${\displaystyle \sigma }$-subadditive function on it with ${\displaystyle \mu (\emptyset )=0}$. Then,

${\displaystyle \mu ^{*}:{\mathcal {P}}(\Omega )\to [0,\infty ],\quad \eta (A):=\inf \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}}$

is an outer measure continuing ${\displaystyle \mu }$.

Warning

Note that the function constructed in the theorem is one continuation of ${\displaystyle \mu }$ to an outer measure. It does not need to be the only one.

## From an outer measure to a measure

Equipped with the additional property of ${\displaystyle \sigma }$-additivity, we can now also show that ${\displaystyle {\mathcal {M}}(\eta )}$ is a ${\displaystyle \sigma }$-algebra and ${\displaystyle \eta }$ is even ${\displaystyle \sigma }$-additive on it. The proof is based on taking a limit starting from the intermediate result to finite additivity and going to countably infinite additivity:

Theorem

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer measure. Then ${\displaystyle {\mathcal {M}}(\eta )}$ is a ${\displaystyle \sigma }$-algebra.

Proof

Since every outer measure is in particular an outer volume, the intermediate result above holds and we know that ${\displaystyle {\mathcal {M}}(\eta )}$ is an algebra. So we only have to prove the closure of ${\displaystyle {\mathcal {M}}(\eta )}$ with respect to countably infinite unions, i.e. that unions of measurable sets are measurable again. So what we want for all ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {M}}(\eta )}$ and all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ is:

${\displaystyle \eta (Q)=\eta \left(Q\cap \bigcup _{i=1}^{\infty }A_{i}\right)+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)}$

The main work is to prove "${\displaystyle \geq }$", because "${\displaystyle \leq }$" follows already from finite subadditivity. We first show the statement for infinite unions of pairwise disjoint sets from ${\displaystyle {\mathcal {M}}(\eta )}$. For this, let ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {M}}(\eta )}$ be pairwise disjoint. Then, for all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$:

{\displaystyle {\begin{aligned}\eta (Q)&=\eta \left(Q\cap \bigcup _{i=1}^{n}A_{i}\right)+\eta \left(Q\cap \left(\bigcup _{i=1}^{n}A_{i}\right)^{\complement }\right)\\&=\sum _{i=1}^{n}\eta (Q\cap A_{i})+\eta \left(Q\cap \left(\bigcup _{i=1}^{n}A_{i}\right)^{\complement }\right)\\&\geq \sum _{i=1}^{n}\eta (Q\cap A_{i})+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)\end{aligned}}}

In the first two equations we used that finite unions of sets from ${\displaystyle {\mathcal {M}}(\eta )}$ lie again in ${\displaystyle {\mathcal {M}}(\eta )}$ and that ${\displaystyle \eta }$ behaves finitely additively on ${\displaystyle {\mathcal {M}}(\eta )}$. The last estimate comes from the monotonicity of ${\displaystyle \eta }$, as

${\displaystyle \left(\bigcup _{i=1}^{n}A_{i}\right)^{\complement }\supseteq \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }}$

Since the inequality above holds for all ${\displaystyle n\in \mathbb {N} }$, it is preserved in the limit ${\displaystyle n\to \infty }$:

${\displaystyle \eta (Q)\geq \sum _{i=1}^{\infty }\eta (Q\cap A_{i})+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)}$

Note that it was really necessary to exploit finite additivity before taking the limit, to make it clear that the inequality is preserved! Now ${\displaystyle \eta }$ is an outer measure, so it is ${\displaystyle \sigma }$-subadditive, and we get from a further estimate of the first summand

{\displaystyle {\begin{aligned}\eta (Q)&\geq \sum _{i=1}^{\infty }\eta (Q\cap A_{i})+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)\\&\geq \eta \left(Q\cap \bigcup _{i=1}^{\infty }A_{i}\right)+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)\\&\geq \eta (Q)\end{aligned}}}

where the last inequality follows from finite subadditivity. So we have equality everywhere. Hence, we proved measurability of ${\displaystyle \bigcup _{i=1}^{\infty }A_{i}}$ for pairwise disjoint ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {M}}(\eta )}$.

Overlapping sets ${\displaystyle A_{n}}$ are transformed into disjoint sets ${\displaystyle A'_{n}}$ by "cutting out" patches

To obtain the statement for arbitrary countably infinite unions, we again use the intermediate result already proved, according to which ${\displaystyle {\mathcal {M}}(\eta )}$ is an algebra. To make a union "artificially" disjoint, we take, one after another, each set ${\displaystyle A_{n}}$ and "cut out" the part which is already contained in the union of the first sets ${\displaystyle A_{1},...,A_{n-1}}$.

For this we use the relation ${\displaystyle B\setminus A=B\cap A^{\complement }}$. Now, an algebra is intersection-, union- and complement-stable, so:

${\displaystyle A_{n}':=A_{n}\cap \left(\bigcup _{i=1}^{n-1}A_{i}\right)^{\complement }\in {\mathcal {M}}(\eta )}$

Then ${\displaystyle \biguplus _{i=1}^{\infty }A_{i}'}$ is a union of pairwise disjoint sets from ${\displaystyle {\mathcal {M}}(\eta )}$ and lies in ${\displaystyle {\mathcal {M}}(\eta )}$ , as well. So for non-disjoint ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {M}}(\eta )}$ it alos holds that

${\displaystyle \bigcup _{i=1}^{\infty }A_{i}=\biguplus _{i=1}^{\infty }A_{i}'\in {\mathcal {M}}(\eta )}$

which concludes the proof.

From the above estimate, by appropriate choice of ${\displaystyle Q}$, the ${\displaystyle \sigma }$-additivity of ${\displaystyle \eta }$ on ${\displaystyle {\mathcal {M}}(\eta )}$ directly follows:

Theorem

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer measure. Then ${\displaystyle \eta }$ is ${\displaystyle \sigma }$-additive on ${\displaystyle {\mathcal {M}}(\eta )}$.

Proof

Let ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {M}}(\eta )}$ be pairwise disjoint. In the proof above, using ${\displaystyle \sigma }$-subadditivity for disjoint sets, we obtained the following estimate:

{\displaystyle {\begin{aligned}\eta (Q)&\geq \sum _{i=1}^{\infty }\eta (Q\cap A_{i})+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)\\&\geq \eta \left(Q\cap \bigcup _{i=1}^{\infty }A_{i}\right)+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)\\&\geq \eta (Q)\end{aligned}}}

so equality holds everywhere and

${\displaystyle \eta (Q)=\sum _{i=1}^{\infty }\eta (Q\cap A_{i})+\eta \left(Q\cap \left(\bigcup _{i=1}^{\infty }A_{i}\right)^{\complement }\right)}$

for all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$. The choice of ${\displaystyle Q=\biguplus _{i=1}^{\infty }A_{i}}$ establishes the claim.

So, in summary, we have proved the following theorem, named after the mathematician Constantin Carathéodory:

Theorem (by C. Carathéodory, 1914)

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\rightarrow [0,\infty ]}$ be an outer measure. Then ${\displaystyle {\mathcal {M}}(\eta )}$ is a ${\displaystyle \sigma }$-algebra and ${\displaystyle \eta }$ a measure on it.

## Intermediate conclusion of results

Let us conclude the above definitions and results:

### Construction of an outer measure

We have learned the property of ${\displaystyle \sigma }$-subadditivity. It generalizes subadditivity to coverings (approximations) of a set with countably infinite sets and can be understood as a form of subadditivity which is preserved when passing to limits.

Definition (${\displaystyle \sigma }$-aub-additivity of a function on sets)

A function ${\displaystyle \mu :{\mathcal {P}}(\Omega )\supseteq {\mathcal {C}}\to [0,\infty ]}$ is called ${\displaystyle \sigma }$-subadditive, if for all ${\displaystyle A,A_{1},A_{2},\dots \in {\mathcal {C}}}$ with ${\displaystyle A\subseteq \bigcup _{i=1}^{\infty }A_{i}}$ it holds that:

${\displaystyle \mu (A)\leq \sum _{i=1}^{\infty }\mu (A_{i})}$

An outer measure is a ${\displaystyle \sigma }$-subadditive function defined on the entire power set. It can be interpreted as an approximation of the volume of the subsets of ${\displaystyle \Omega }$, but is in general not a measure (not ${\displaystyle \sigma }$-additive) on the power set.

Definition (Outer measure)

A function ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ is called an outer measure, if:

1. ${\displaystyle \eta (\emptyset )=0}$,
2. ${\displaystyle \eta }$ is ${\displaystyle \sigma }$-subadditive.

One can construct an outer measure out of nearly every set function ${\displaystyle \mu }$ defined on some set system. The idea of construction is to understand the property of an outer measure as an outer approximation by coverings that should be as precise as possible. If ${\displaystyle \mu }$ itself has the properties of an outer measure (${\displaystyle \sigma }$-subadditivity), then the outer measure constructed out of it is a continuation of ${\displaystyle \mu }$.

Theorem (Construction of an outer measure)

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$ and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a function on it with ${\displaystyle \mu (\emptyset )=0}$. Then the set function defined on the power set

${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ],\quad \eta (A):=\inf \left\{\sum _{i=1}^{\infty }\mu (C_{i}):C_{1},C_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }C_{i}\right\}}$

is an outer measure. If ${\displaystyle \mu }$ is additionally ${\displaystyle \sigma }$-subadditive on ${\displaystyle {\mathcal {C}}}$, then this outer measure is a continuation of ${\displaystyle \mu }$ and we also write ${\displaystyle \mu ^{*}}$ for it.

### Theorem of Carathéodory

Using the measurability condition of Carathéodory one can find those sets on which an external measure is even additive. The sets for which the condition is fulfilled can be understood as sets which can be exactly approximated (or measured) by the outer measure.

Definition (Measurability condition of C. Carathéodory)

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\to [0,\infty ]}$ be an outer measure. A set ${\displaystyle A\in {\mathcal {P}}(\Omega )}$ is called ${\displaystyle \eta }$-measurable, if for all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ it holds that:

${\displaystyle \eta (Q)=\eta (Q\cap A)+\eta (Q\setminus A)}$

The set ${\displaystyle {\mathcal {M}}(\eta ):=\{A\subseteq \Omega :A{\text{ is }}\eta {\text{-measurable}}\}}$ is called the set of ${\displaystyle \eta }$-measurable sets.

The set of measurable sets with respect to an outer measure is a ${\displaystyle \sigma }$-algebra. Further, an outer measure ${\displaystyle \eta }$ on the set of measurable sets is a measure: By definition of the measurability condition, a subadditive set function on the measurable sets behaves additively. If the subadditivity is preserved even in the transition to the limit, then from ${\displaystyle \sigma }$-subadditivity before taking the limit, we can infer ${\displaystyle \sigma }$-additivity after taking the limit.

Theorem (C. Carathéodory, 1914)

Let ${\displaystyle \eta :{\mathcal {P}}(\Omega )\rightarrow [0,\infty ]}$ Be an outer measure. Then ${\displaystyle {\mathcal {M}}(\eta )}$ is a ${\displaystyle \sigma }$-algebra and ${\displaystyle \eta }$ a measure on it.

## The continuation theorem

We now know: If ${\displaystyle \mu }$ is a ${\displaystyle {\mathcal {C}}}$-subadditive function defined on a set system ${\displaystyle \emptyset \in {\mathcal {C}}}$ with ${\displaystyle \mu (\emptyset )=0}$, then we can use it to construct an outer measure ${\displaystyle \mu ^{*}}$ on the power set which continues ${\displaystyle \mu }$. For this we define for any ${\displaystyle A\in {\mathcal {P}}(\Omega )}$:

${\displaystyle \mu ^{*}(A)=\inf \left\{\sum _{i=1}^{\infty }\mu (A_{i}):A_{1},A_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }A_{i}\right\}}$

We can define the sets measurable with respect to an outer measure. These form a ${\displaystyle \sigma }$-algebra and the outer measure is ${\displaystyle \sigma }$-additive (a measure) to it. In what follows we keep the names ${\displaystyle \mu }$, ${\displaystyle \mu ^{*}}$ and ${\displaystyle {\mathcal {C}}}$ and use them in the same sense.

The goal now is to apply these results to construct the continuation. For this we want to restrict ${\displaystyle \mu ^{*}}$ to the ${\displaystyle \sigma }$-algebra generated by ${\displaystyle {\mathcal {C}}}$ and finally get a measure on ${\displaystyle \sigma ({\mathcal {C}})}$. What still has to be done is to prove that the original set system ${\displaystyle {\mathcal {C}}}$ is really contained in the ${\displaystyle \sigma }$-algebra ${\displaystyle {\mathcal {M}}(\mu ^{*})}$ of the ${\displaystyle \mu ^{*}}$-measurable sets. So each original set in ${\displaystyle {\mathcal {C}}}$ is indeed ${\displaystyle \mu ^{*}}$-measurable.

If this was not the case, we would be in serious trouble: Just restricting the ${\displaystyle {\mathcal {C}}}$ to ${\displaystyle \mu ^{*}}$-measurable sets would then not work, since ${\displaystyle {\mathcal {C}}\nsubseteq {\mathcal {M}}(\mu ^{*})}$, implies ${\displaystyle \sigma ({\mathcal {C}})\nsubseteq {\mathcal {M}}(\mu ^{*})}$. So the ${\displaystyle \sigma }$-algebra would be "too small", then.

Conversely, if ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {M}}(\mu ^{*})}$, then ${\displaystyle \sigma ({\mathcal {C}})\subseteq \sigma \left({\mathcal {M}}(\mu ^{*})\right)={\mathcal {M}}(\mu ^{*})}$, wecause the ${\displaystyle \sigma }$-opearator jast picks the smallest ${\displaystyle \sigma }$-algebra larger than ${\displaystyle {\mathcal {C}}}$ and ${\displaystyle {\mathcal {M}}(\mu ^{*})}$ is such a ${\displaystyle \sigma }$-algebra.

So what we need to continue ${\displaystyle \mu }$ to a measure on ${\displaystyle \sigma ({\mathcal {C}})}$ is the measurability of sets in ${\displaystyle {\mathcal {C}}}$. In other words,

${\displaystyle \mu ^{*}(Q)=\mu ^{*}(Q\cap C)+\mu ^{*}(Q\setminus C)}$

should hold for all ${\displaystyle C\in {\mathcal {C}}}$ and all ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$. So we need a further condition on ${\displaystyle {\mathcal {C}}}$.

However, instead of simply requiring the above equation as a condition, we will use a slightly weaker condition of measurability of the sets from ${\displaystyle {\mathcal {C}}}$, which is still sufficient. For this we approximate an arbitrary set ${\displaystyle Q}$ by sets ${\displaystyle C_{1},C_{2},\dots \in {\mathcal {C}}}$. Then it suffices for the measurability of a set ${\displaystyle C\in {\mathcal {C}}}$ to require that the above equality holds only for all sets ${\displaystyle Q\in {\mathcal {C}}}$, rather than for any ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$.

So let ${\displaystyle C\in {\mathcal {C}}}$ be any set, for which we want to show measurabilit. Let further ${\displaystyle Q\in {\mathcal {P}}(\Omega )}$ be arbitrary and let ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {C}}}$ such that

${\displaystyle Q\subseteq \bigcup _{i=1}^{\infty }A_{i}}$

The aim is to show

${\displaystyle \mu ^{*}(Q)=\mu ^{*}(Q\cap C)+\mu ^{*}(Q\cap C^{\complement })}$

by exploiting that the equation is satisfied for the ${\displaystyle A_{i}\in {\mathcal {C}}}$ in place of ${\displaystyle Q}$. From subadditivity and ${\displaystyle \sigma }$-subadditivity of the external measure ${\displaystyle \mu ^{*}}$, we conclude:

${\displaystyle \mu ^{*}(Q)\leq \mu ^{*}(Q\cap C)+\mu ^{*}(Q\cap C^{\complement })\leq \sum _{i=1}^{\infty }\mu ^{*}(A_{i}\cap C)+\sum _{i=1}^{\infty }\mu ^{*}(A_{i}\cap C^{\complement })}$

Now we have assumed that the measurability equation is satisfied for sets in ${\displaystyle {\mathcal {C}}}$. This holds for all ${\displaystyle i\in \mathbb {N} }$ as the ${\displaystyle A_{i}}$ are from ${\displaystyle {\mathcal {C}}}$:

${\displaystyle \mu ^{*}(A_{i}\cap C)+\mu ^{*}(A_{i}\cap C^{\complement })\leq \mu ^{*}(A_{i})=\mu (A_{i})}$

The last equality holds, since the outer measure ${\displaystyle \mu ^{*}}$ was constructed as a continuation of ${\displaystyle \mu }$ (see above) and on ${\displaystyle {\mathcal {C}}}$ it agrees with ${\displaystyle \mu }$. It follows that

${\displaystyle \mu ^{*}(Q)\leq \mu ^{*}(Q\cap C)+\mu ^{*}(Q\cap C^{\complement })\leq \sum _{i=1}^{\infty }\mu (A_{i})}$

Now note that by definition of ${\displaystyle \mu ^{*}}$ we can approximate the value ${\displaystyle \mu ^{*}(Q)}$ by appropriate choice of covers of ${\displaystyle Q}$ to arbitrary precision. Let thus ${\displaystyle \varepsilon >0}$ and let ${\displaystyle A_{1},A_{2},\dots \in {\mathcal {C}}}$ be chosen such that

${\displaystyle \sum _{i=1}^{\infty }\mu (A_{i})\leq \mu ^{*}(Q)+\varepsilon }$

It follows together with the estimates made above that

${\displaystyle \mu ^{*}(Q)\leq \mu ^{*}(Q\cap C)+\mu ^{*}(Q\cap C^{\complement })\leq \mu ^{*}(Q)+\varepsilon }$

and taking the limit ${\displaystyle \varepsilon \to 0}$ we get measurability of ${\displaystyle C}$.

Thus we have finally shown this result for the measurability of the sets from ${\displaystyle {\mathcal {C}}}$:

Theorem

Let ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ be a function which is continued by an outer measure ${\displaystyle \mu ^{*}:{\mathcal {P}}(\Omega )\to [0,\infty ]}$,

${\displaystyle \mu ^{*}(A)=\inf \left\{\sum _{i=1}^{\infty }\mu (A_{i}):A_{1},A_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }A_{i}\right\}}$

If for every ${\displaystyle C\in {\mathcal {C}}}$

${\displaystyle \mu ^{*}(Q)=\mu ^{*}(Q\cap C)+\mu ^{*}(Q\cap C^{\complement })}$

holds for any ${\displaystyle Q\in {\mathcal {C}}}$ , then the sets from ${\displaystyle {\mathcal {C}}}$ are ${\displaystyle \mu ^{*}}$-measurable.

Finding a suitable condition for the measurability of the sets from ${\displaystyle {\mathcal {C}}}$ was the last step to construct a continuation of ${\displaystyle \mu }$ to a measure on the ${\displaystyle \sigma }$-algebra ${\displaystyle \sigma ({\mathcal {C}})}$ generated by the set system ${\displaystyle {\mathcal {C}}}$. This finally allows us to write down the main theorem about measure continuation:

Theorem (Continuation to a measure)

Let ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {P}}(\Omega )}$ be a set system with ${\displaystyle \emptyset \in {\mathcal {C}}}$ and ${\displaystyle \mu :{\mathcal {C}}\rightarrow [0,\infty ]}$ a ${\displaystyle \sigma }$-subadditive function defined on it with ${\displaystyle \mu (\emptyset )=0}$. Let further

${\displaystyle \mu ^{*}:{\mathcal {P}}(\Omega )\to [0,\infty ],\quad \mu ^{*}(A)=\inf \left\{\sum _{i=1}^{\infty }\mu (A_{i}):A_{1},A_{2},\dots \in {\mathcal {C}},A\subseteq \bigcup _{i=1}^{\infty }A_{i}\right\}}$

the canonical continuation of ${\displaystyle \mu }$ to an outer measure. If for every ${\displaystyle C\mu }$ is the equation

${\displaystyle \mu ^{*}(Q)=\mu ^{*}(Q\cap C)+\mu ^{*}(Q\cap C^{\complement })}$

is satisfied for any ${\displaystyle Q\in {\mathcal {C}}}$, then ${\displaystyle \mu ^{*}}$, restricted to the generated ${\displaystyle \sigma }$ algebra ${\displaystyle \sigma ({\mathcal {C}})}$, defines a measure that continues ${\displaystyle \mu }$.

## Alternative versions of the continuation theorem

Often, the literature states the measure continuation theorem in other versions than the one formulated by us. Often not of an arbitrary set system ${\displaystyle {\mathcal {C}}}$ (with ${\displaystyle \emptyset \in {\mathcal {C}}}$) is assumed, but additionally a certain structure is presupposed. This is especially useful with respect to the uniqueness of a continuation, because only for sufficiently "large" set systems ${\displaystyle {\mathcal {C}}}$ , the measure which continues a set function is uniquely determined by the values on ${\displaystyle {\mathcal {C}}}$. This question will concern us in detail in the next chapter "Uniqueness of a continuation". Here we will only briefly consider alternative formulations of the continuation theorem.

If the set system ${\displaystyle {\mathcal {C}}}$ is stable under taking differences, then the condition formulated by us in the continuation theorem for the measurability of the sets from ${\displaystyle {\mathcal {C}}}$ is equivalent to ${\displaystyle \mu ^{*}}$ (and hence also ${\displaystyle \mu }$) being additive on ${\displaystyle {\mathcal {C}}}$. This is the content of the following little theorem.

Theorem

Let ${\displaystyle {\mathcal {C}}}$ denote a set system stable under taking differences (e.g. a ring). As before, let ${\displaystyle \mu }$ denote a function defined on ${\displaystyle {\mathcal {C}}}$ and ${\displaystyle \mu ^{*}}$ denote the continuation of ${\displaystyle \mu }$ to a measure. Then the following are equivalent:

• ${\displaystyle \mu }$ is additive on ${\displaystyle {\mathcal {C}}}$.
• ${\displaystyle \forall Q,C\in {\mathcal {C}}:\mu ^{*}(Q)=\mu ^{*}(Q\cap C)+\mu ^{*}(Q\setminus C)}$

Proof

First "${\displaystyle \Rightarrow }$": let ${\displaystyle \mu }$ be additive on ${\displaystyle {\mathcal {C}}}$ and let ${\displaystyle Q,C\in {\mathcal {C}}}$ be arbitrary. Since ${\displaystyle \mu ^{*}}$ is additive on ${\displaystyle {\mathcal {C}}}$ with ${\displaystyle \mu }$, also ${\displaystyle \mu ^{*}}$ is additive on ${\displaystyle {\mathcal {C}}}$ and we have that:

${\displaystyle \mu ^{*}(Q)=\mu ^{*}(\underbrace {Q\cap C} _{\in {\mathcal {C}}}\uplus \underbrace {Q\setminus C} _{\in {\mathcal {C}}}){\overset {\text{assumption}}{=}}\mu ^{*}(Q\cap C)+\mu ^{*}(Q\setminus C)}$

Now to "${\displaystyle \Leftarrow }$". This direction follows directly from the measurability condition as characterization of the additivity. Let ${\displaystyle A,B\in {\mathcal {C}}}$ be disjoint and set ${\displaystyle Q:=A\uplus B\in {\mathcal {C}}}$. Then, we have by assumption:

${\displaystyle \mu ^{*}(Q){\overset {\text{assumption}}{=}}\mu ^{*}(Q\cap A)+\mu ^{*}(Q\setminus A)=\mu ^{*}(A)+\mu ^{*}(B)}$

Thus, if we assume that ${\displaystyle {\mathcal {C}}}$ is a ring, we can replace the somewhat unwieldy condition for measurability of sets from ${\displaystyle {\mathcal {C}}}$ with additivity in our version of the continuation theorem. (Instead of a ring, one can of course substitute any set system stable under differences (e.g. an algebra)). In fact, even a "restricted" stability under differences, as in the case of semi-rings is sufficient. Semi-rings are set systems which have somewhat less structure than rings. In particular, the difference of two sets does not necessarily lie in the semi-ring again, but can always be written as a disjoint union of finitely many sets from the set system.

Example (Semi-ring)

The set of half-open rectangles ${\displaystyle (a_{1},b_{1}]\times \dots \times (a_{n},b_{n}]}$ is a semi-ring on ${\displaystyle \mathbb {R} ^{n}}$.

From this semi-ring, the ring of cuboid aggregates is generated, which we already encountered in an example above. This ring contains all figures aggregates of finitely many half-open rectangles.

One can show that the continuation of a (${\displaystyle \sigma }$-)additive set function of a semi-ring on the ring generated by it is always possible while preserving the (${\displaystyle \sigma }$-)additivity. This justifies the following variant of the continuation theorem:

Theorem (Continuation theorem, alternative version)

Let ${\displaystyle {\mathcal {C}}}$ be a semi-ring and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ an additive, ${\displaystyle \sigma }$-subadditive set function with ${\displaystyle \mu (\emptyset )=0}$. Then there exists a continuation of ${\displaystyle \mu }$ to a measure on ${\displaystyle \sigma ({\mathcal {C}})}$.

(A German reference, where this version can be found, is Achim Klenke: Wahrscheinlichkeitstheorie. 2., korrigierte Auflage.)

We can also show that a volume on a ring is ${\displaystyle \sigma }$-subadditive if and only if it is ${\displaystyle \sigma }$-additive (a premeasure). So if ${\displaystyle {\mathcal {C}}}$ is a ring (or an algebra, because every algebra is a ring), then we can summarize additivity and ${\displaystyle \sigma }$-subadditivity in our version of the continuation theorem as follows:

Theorem (Continuation theorem, alternative version)

Let ${\displaystyle {\mathcal {C}}}$ be a ring/algebra and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a premeasure (definition right above the theorem). Then there exists a continuation of ${\displaystyle \mu }$ to a measure on ${\displaystyle \sigma ({\mathcal {C}})}$.

However, the assumptions made here are relatively strong. Set rings can be large (for example, the ring of cuboid aggregates), so it may be difficult to prescribe all values of a premeasure on it. Here the following, also often used variant of the continuation theorem helps, which gets along with somewhat weaker assumptions. Also here the reason lies in the fact that a continuation of a semi-ring on the ring generated by it is possible under preservation of the ${\displaystyle \sigma }$-additivity.

Theorem (Continuation theorem, alternative Version)

Let ${\displaystyle {\mathcal {C}}}$ be a semi-ring and ${\displaystyle \mu :{\mathcal {C}}\to [0,\infty ]}$ a premeasure. Then there exists a continuation of ${\displaystyle \mu }$ to a measure on ${\displaystyle \sigma ({\mathcal {C}})}$.

(A German reference, where this version can be found, is Jürgen Elstrodt: Maß- and Integrationstheorie. 8. Auflage.)