The Lebesgue measure is the standard measure that is used to assign real numbers to measurable subsets of the finite-dimensional Euclidean space. One way to construct the Lebesgue measure is to use so-called outer measures. Note that these outer measures also play an important role in dealing with uncertainty via capacities, for instance.
Definition 1.1 (Outer Measure) Given a set , let denote the power set. An outer measure on is a set function such that (i) ; (ii) ; (iii) For the following inequality holds:
Property (ii) is called monotonicity and (iii) is called subadditivity. Note that there are other equivalent definitions that are used to define an outer measure. Outer measures are also known as exterior measures.
Apparently, an outer measure is in general not a measure and the domain is the power set and not the Borel sets .
An outer measure only takes positive values since and for all sets . If we furthermore apply (i) of Definition 1.1 to a sequence , we can imply the finite subadditivity property:
Let us consider two simple examples. The third example is more complex and will prepare the intuition for the upcoming theorem.
Example 1.1 (Outer Measure) (a) Consider the set function defined by and for . The function is an outer measure but not a measure. Note that this function does not fulfill the -additivity.
(b) Consider the set function defined by for finite and if is infinite. This set function is also called counting measure, i.e. it is not only an outer measure but also a measure.
(c) Let us now consider the set of all half-open real intervals and define the set function that provides the length of the interval. Now, consider
Let us take some time to reflect on this definition of this definition. The real numbers can be illustrated as a continuous line so that any subset of can be illustrated as some sort of drawn line that is not necessarily connected.
For instance, the set as highlighted in light blue below is not connected and can be approximated by three open intervals and as illustrated below.
This approximation can become better and better if the half intervals are getting ‘closer’ and ‘closer’ (from the outside) to the sets .
Let us now double-check that the defined function really is an outer measure:
Apparently, fulfills (i) of Definition 1.1 since we can pick as cover.
Let and let be an arbitrary cover of . Then, , so that every cover of is also a cover of . Because of the definition of , the desired inequality can be inferred:
To show the subadditivity, let and pick such that . Then there are intervals with and . Then
Note that we have applied the monotonicity property, the fact that we approximate the length of by the length of and the the assumptions as well as .
Since we can choose small enough the assertion follows.
Example 1.1 (c) illustrates why is called an outer measure: it is an outer approximation of an arbitrary set using a known measure of restricted geometry: intervals and their known lengths are employed to approximate the outer measure of an arbitrary set .
Generalizing these thoughts lead to the definition of a sequential cover and the subsequent theorem.
Definition 1.2 (Sequential Cover) A sequential cover of is a collection of subsets of with the properties that (i) and (ii) there is a countable subcollection such that .
A sequential cover of a set is therefore a collection of specific subsets of that allows to cover all subsets with a countable sub-collection of .
In Example 1.1 (c), the set of all half-open intervals of is an example of a collection of specific subsets of , which fulfills the requirements of Definition 1.2. These intervals can be used to approximate any other subsets of .
Note that the definition of compact sets also requires some sort of a finite (sub-)cover. Refer to Definition 4.1 of Fundamentals of Set-Theoretic Topology for the exact definition and further details.
Sequential covers lead to outer measures as follows.
Theorem 1.1 (Extension Theorem ) Assume that is a sequential cover of a set . If is any function for which , then the function defined by
in an outer measure on .
Proof. Note that a similar proof was already given in Example 1.1 (c).
Property (i) of Definition 1.1 is fulfilled since it is required in Theorem 1.1. Let , then any that covers also covers . Since (3) is taking the infinum, it follows that . Thus, property (ii) of Definition 1.1 holds true.
All that remains is to verify that is countable sub-additive. To this end, suppose that is a sequence of subsets . Since we aim to show that
only the case where the sum converges (i.e. where the terms of the sum are all finite) need to be considered. For this case, suppose that . For each there is a countable family such that and
Such a countable family must exist since is a sequential cover. Thus, forms a countable subcollection of sets from that covers and satisfies
As is chosen arbitrarily, is indeed countably subadditive.
An outer measure is particularly useful since it is easy to construct a measures from it.
Definition 1.3 (Carathéodory Measureable Sets) Let be an outer measure and . The set is called Carathéodorymeasurable if
for all . The set of all Carathéodory–measurable sets of is denoted by .
Note that some authors require
however, this definition is equivalent to (4) due to requirement (1) of Definition 2.1 of an outer measure. Note that if is not finite, then (4) will be fulfilled anyway.
Let us illustrate the requirement (4) in the following graph with sets .
Recall that outer measures are also used to derive -additive measures from it. Considering equation (5) and thus the additivity of -measurable sets, it is clear that (4) is the first step towards the -additivity of a measure.
Let us also review the definition of , which contains all Carathéodory-measureable sets of . The set
contains all subsets of , which can be additively separated by using any other subset . The set is going to be important when we want to extend the outer measure to a measure on a -algebra.
Conclusion 1.1 (Carathéodory Measureable Sets) Let an outer measure and . (i) If or , then is Carathéodory measureable; (ii) The set is Carathéodory measureable if for all with the following holds true:
(ii) The set is Carathéodory measureable if for all the following holds true:
Proof. (i) Let . Then because of the monotonicity and positivity property of any outer measure (i.e. ). Thus,
Now distinguish the cases when is finite and infinite. Now, apply the finite sub-additivity (2). Both cases hold true such that (4) is fulfilled.
(ii) and (iii) follows directly from (i).
The next theorem indicates how an outer measure can be extended to a measure.
Theorem 1.2 (Outer Measure, Carathéodory Lemma) If is an outer measure, the set is a -algebra and is a measure.
Proof. Theorem 4.4 in .
The last theorem basically tells us that
the Carathéodory-measureable sets is a -algebra;
an outer measure, restricted to the Carathéodory-measureable sets, is a measure.
Refer to Section 9.3 of  or Chapter II – §5 and §6 of  for further details.
If we apply this transformation theorem to the Lebesgue measure, we can derive the following quite useful statement.
Theorem 1.3 (Approximation by Open/Closed sets in ) A set is Lebesgue measurable if and only if, for any , there exists an open set , or a closed set , in such that
Proof. Theorem 9.4.2 on page 220 in .
Another good introduction to outer measures is provided by NPTEL founded by the Indian government. It defines outer measure differently and derives the properties (i) to (iii) from Definition 1.1.
Gentili, S. (2020) Measure, integration and a primer on probability theory. Volume 1. Cham, Switzerland: Springer (Unitext- La Matematica per il 3+2, volume 125). Available at: https://doi.org/10.1007/978-3-030-54940-4$feBook.