Outer measure
In the mathematical field of measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. The theory of outer measures was first introduced by Constantin Carathéodory to provide an abstract basis for the theory of measurable sets and countably additive measures. Carathéodory's work on outer measures found many applications in measure-theoretic set theory, and was used in an essential way by Hausdorff to define a dimension-like metric invariant now called Hausdorff dimension. Outer measures are commonly used in the field of geometric measure theory.
Measures are generalizations of length, area and volume, but are useful for much more abstract and irregular sets than intervals in R or balls in R3. One might expect to define a generalized measuring function φ on R that fulfils the following requirements:
- Any interval of reals has measure b − a
- The measuring function φ is a non-negative extended real-valued function defined for all subsets of R.
- Translation invariance: For any set A and any real x, the sets A and A+x have the same measure
- Countable additivity: for any sequence of pairwise disjoint subsets of R
Outer measures
Given a set, let denote the collection of all subsets of, including the empty set. An outer measure on is a functionsuch that
- for arbitrary subsets of,
An alternative and equivalent definition. Some textbooks, such as Halmos, instead define an outer measure on to be a function such that
- if and are subsets of with, then
- for arbitrary subsets of, one has
Proof of equivalence. |
Suppose that is an outer measure in sense originally given above. If and are subsets of with, then by appealing to the definition with and for all, one finds that. The third condition in the alternative definition is immediate from the trivial observation that. Suppose instead that is an outer measure in the alternative definition. Let be arbitrary subsets of, and suppose that One then has with the first inequality following from the second condition in the alternative definition, and the second inequality following from the third condition in the alternative definition. So is an outer measure in the sense of the original definition. |
Measurability of sets relative to an outer measure
Let be a set with an outer measure. One says that a subset of is -measurable if and only iffor every subset of.
Informally, this says that a -measurable subset is one which may be used as a building block, breaking any other subset apart into pieces. In terms of the motivation for measure theory, one would expect that area, for example, should be an outer measure on the plane. One might then expect that every subset of the plane would be deemed "measurable," following the expected principle that
whenever and are disjoint subsets of the plane. However, the formal logical development of the theory shows that the situation is more complicated. A formal implication of the axiom of choice is that for any definition of area as an outer measure which includes as a special case the standard formula for the area of a rectangle, there must be subsets of the plane which fail to be measurable. In particular, the above "expected principle" is false, provided that one accepts the axiom of choice.
The measure space associated to an outer measure
It is straightforward to use the above definition of -measurability to see that- if is -measurable then its complement is also -measurable.
- if are -measurable subsets of and is empty whenever, then one has
Proof of countable additivity. |
One automatically has the conclusion in the form "" from the definition of outer measure. So it is only necessary to prove the "" inequality. One has for any positive number, due to the second condition in the "alternative definition" of outer measure given above. Suppose that Applying the above definition of -measurability with and with, one has which closes the induction. Going back to the first line of the proof, one then has for any positive integer. One can then send to infinity to get the required "" inequality. |
A similar proof shows that:
- if are -measurable subsets of, then the union and intersection are also -measurable.
One thus has a measure space structure on, arising naturally from the specification of an outer measure on. This measure space has the additional property of completeness, which is contained in the following statement:
- Every subset such that is -measurable.
Restriction and pushforward of an outer measure
Let be an outer measure on the set.Pushforward
Given another set and a map, define byOne can verify directly from the definitions that is an outer measure on.
Restriction
Let be a subset of. Define byOne ca check directly from the definitions that is another outer measure on.
Measurability of sets relative to a pushforward or restriction
If a subset of is -measurable, then it is also -measurable for any subset of.Given a map and a subset of, if is -measurable then is -measurable. More generally, is -measurable if and only if is -measurable for every subset of.
Regular outer measures
Definition of a regular outer measure
Given a set, an outer measure on is said to be regular if any subset can be approximated 'from the outside' by -measurable sets. Formally, this is requiring either of the following equivalent conditions:- for any subset of and any positive number, there exists a -measurable subset of which contains and with.
- for any subset of, there exists a -measurable subset of which contains and such that.
The regular outer measure associated to an outer measure
Given an outer measure on a set, define byThen is a regular outer measure on which assigns the same measure as to all -measurable subsets of. Every -measurable subset is also -measurable, and every -measurable subset of finite -measure is also -measurable.
So the measure space associated to may have a larger σ-algebra than the measure space associated to. The restrictions of and to the smaller σ-algebra are identical. The elements of the larger σ-algebra which are not contained in the smaller σ-algebra have infinite -measure and finite -measure.
From this perspective, may be regarded as an extension of.
Outer measure and topology
Suppose is a metric space and an outer measure on. If has the property thatwhenever
then is called a metric outer measure.
Theorem. If is a metric outer measure on, then every Borel subset of is -measurable.
Construction of outer measures
There are several procedures for constructing outer measures on a set. The classic Munroe reference below describes two particularly useful ones which are referred to as Method I and Method II.Method I
Let be a set, a family of subsets of which contains the empty set and a non-negative extended real valued function on which vanishes on the empty set.Theorem. Suppose the family and the function are as above and define
That is, the infimum extends over all sequences of elements of which cover, with the convention that the infimum is infinite if no such sequence exists. Then is an outer measure on.
Method II
The second technique is more suitable for constructing outer measures on metric spaces, since it yields metric outer measures. Suppose is a metric space. As above is a family of subsets of which contains the empty set and a non-negative extended real valued function on which vanishes on the empty set. For each, letand
Obviously, when since the infimum is taken over a smaller class as decreases. Thus
exists.
Theorem. is a metric outer measure on.
This is the construction used in the definition of Hausdorff measures for a metric space.