Outer measure explained

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 (outer measures are for example used in the proof of the fundamental Carathéodory's extension theorem), 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

or balls in

R³

. One might expect to define a generalized measuring function

\varphi

that fulfills the following requirements:

Any interval of reals

[a,b]

has measure

b-a

The measuring function

\varphi

is a non-negative extended real-valued function defined for all subsets of

Translation invariance: For any set

and any real

, the sets

and

A+x=\{a+x:a\inA\}

have the same measure

(A_j)

of pairwise disjoint subsets of

	infty
\varphi\left(cup
	i=1

A_i\right)=

	infty
\sum
	i=1

\varphi(A_i).

It turns out that these requirements are incompatible conditions; see non-measurable set. The purpose of constructing an outer measure on all subsets of

is to pick out a class of subsets (to be called measurable) in such a way as to satisfy the countable additivity property.

Outer measures

Given a set

let

2^X

denote the collection of all subsets of

including the empty set

\varnothing.

An outer measure on

is a set function

\mu: 2^X \to [0, \infty]

such that

\mu(\varnothing)=0

: for arbitrary subsets

A,B_1,B_2,\ldots

\text A \subseteq \bigcup_^\infty B_j \text \mu(A) \leq \sum_^\infty \mu(B_j).

Note that there is no subtlety about infinite summation in this definition. Since the summands are all assumed to be nonnegative, the sequence of partial sums could only diverge by increasing without bound. So the infinite sum appearing in the definition will always be a well-defined element of

[0,infty].

If, instead, an outer measure were allowed to take negative values, its definition would have to be modified to take into account the possibility of non-convergent infinite sums.

An alternative and equivalent definition.^[1] Some textbooks, such as Halmos (1950) and Folland (1999), instead define an outer measure on

to be a function

\mu:2^X\to[0,infty]

such that

\mu(\varnothing)=0

: if

and

are subsets of

with

A\subseteqB,

then

\mu(A)\leq\mu(B)

for arbitrary subsets

B_1,B_2,\ldots

\mu\left(\bigcup_^\infty B_j\right) \leq \sum_^\infty \mu(B_j).

Proof of equivalence.
Suppose that \mu is an outer measure in sense originally given above. If A and B are subsets of X with A\subseteqB, then by appealing to the definition with B₁=B and B_j=\varnothing for all j\geq2, one finds that \mu(A)\leq\mu(B). The third condition in the alternative definition is immediate from the trivial observation that \cup_jB_j\subseteq\cup_jB_j. Suppose instead that \mu is an outer measure in the alternative definition. Let A,B_1,B_2,\ldots be arbitrary subsets of X, and suppose that $A \subseteq \bigcup_^\infty B_j.$ One then has $\mu(A) \leq \mu\left(\bigcup_^\infty B_j\right) \leq \sum_^\infty\mu(B_j),$ 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 \mu 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

\mu.

One says that a subset

is \mu

-measurable (sometimes called Carathéodory-measurable relative to
\mu

, after the mathematician Carathéodory) if and only if

\mu(A) = \mu(A \cap E) + \mu(A \setminus E)

for every subset

Informally, this says that a

\mu

-measurable subset is one which may be used as a building block, breaking any other subset apart into pieces (namely, the piece which is inside of the measurable set together with the piece which is outside of the measurable set). 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

\operatorname(A \cup B) = \operatorname(A) + \operatorname(B)

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

\mu

-measurability to see that

A\subseteqX

\mu

-measurable then its complement

X\setminusA\subseteqX

is also

\mu

-measurable.The following condition is known as the "countable additivity of

\mu

on measurable subsets."

A_1,A_2,\ldots

are

\mu

-measurable pairwise-disjoint (

A_i\capA_j=\emptyset

for

i ≠ j

) subsets of

, then one has

\mu\Big(\bigcup_^\infty A_j\Big) = \sum_^\infty\mu(A_j).

Proof of countable additivity.
One automatically has the conclusion in the form " \leq " from the definition of outer measure. So it is only necessary to prove the " \geq " inequality. One has $\mu\Big(\bigcup_^\infty A_j\Big)\geq\mu\Big(\bigcup_^N A_j\Big)$ for any positive number N, due to the second condition in the "alternative definition" of outer measure given above. Suppose (inductively) that $\mu\Big(\bigcup_^ A_j\Big)=\sum_^\mu(A_j)$ Applying the above definition of \mu -measurability with A=A₁\cup … \cupA_N and with E=A_N, one has $\begin\mu\Big(\bigcup_^N A_j\Big) &= \mu\left(\Big(\bigcup_^N A_j\Big)\cap A_N\right) + \mu\left(\Big(\bigcup_^N A_j\Big)\smallsetminus A_N\right) \\&= \mu(A_N) + \mu\Big(\bigcup_^A_j\Big)\end$ which closes the induction. Going back to the first line of the proof, one then has $\mu\Big(\bigcup_^\infty A_j\Big)\geq\sum_^N \mu(A_j)$ for any positive integer N. One can then send N to infinity to get the required " \geq " inequality.

A similar proof shows that:

A_1,A_2,\ldots

are

\mu

-measurable subsets of

then the union

	infty
cup
	i=1

A_i

and intersection

	infty
cap
	i=1

A_i

are also

\mu

-measurable.

The properties given here can be summarized by the following terminology: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

A\subseteqX

such that

\mu(A)=0

\mu

-measurable.This is easy to prove by using the second property in the "alternative definition" of outer measure.

Restriction and pushforward of an outer measure

Let

\mu

be an outer measure on the set

Pushforward

Given another set

and a map

f:X\toY

define

f_\sharp\mu:2^Y\to[0,infty]

	-1
(f
	\sharp\mu)(A)=\mu(f

(A)).

One can verify directly from the definitions that

f_\sharp\mu

is an outer measure on

Restriction

Let be a subset of . Define by

\mu_{B(A)=\mu(A\cap}B).

One can 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

A\subseteqX

can be approximated 'from the outside' by -measurable sets. Formally, this is requiring either of the following equivalent conditions:

\mu(A)=inf\{\mu(B)\midA\subseteqB,Bisμ-measurable\}

There exists a -measurable subset of which contains and such that

\mu(B)=\mu(A)

.It is automatic that the second condition implies the first; the first implies the second by taking the countable intersection of

B_i

with

\mu(B_i)\to\mu(A)

The regular outer measure associated to an outer measure

Given an outer measure on a set, define by

\nu(A)=inf\{\mu(B):\mu-measurablesubsetsB\subsetXwithB\supsetA\}.

Then 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 that

\varphi(E\cupF)=\varphi(E)+\varphi(F)

whenever

d(E,F)=inf\{d(x,y):x\inE,y\inF\}>0,

then is called a metric outer measure.

Theorem. If is a metric outer measure on, then every Borel subset of is -measurable. (The Borel sets of are the elements of the smallest -algebra generated by the open sets.)

Construction of outer measures

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

\varphi(E)=infl\{

	infty
\sum
	i=0

p(A_{i)|E\subseteqcup}

	infty

	i=0

A_i,\foralli\inN,A_i\inCr\}.

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, let

C_\delta=\{A\inC:\operatorname{diam}(A)\leq\delta\}

and

\varphi_\delta(E)=infl\{

	infty
\sum
	i=0

p(A_{i)|E\subseteqcup}

	infty

	i=0

A_i,\foralli\inN,A_i\inC_\deltar\}.

Obviously, when since the infimum is taken over a smaller class as decreases. Thus

\lim_\delta\varphi_\delta(E)=\varphi_0(E)\in[0,infty]

exists (possibly infinite).

Theorem. is a metric outer measure on .

This is the construction used in the definition of Hausdorff measures for a metric space.

References

Book: Gerald B... Folland. Real Analysis: Modern Techniques and Their Applications. 2nd. John Wiley & Sons. 1999. 0-471-31716-0.
Book: C.D.. Aliprantis. K.C.. Border. Infinite Dimensional Analysis. 3rd. Springer Verlag. Berlin, Heidelberg, New York. 2006. 3-540-29586-0.
Book: Carathéodory, C.. Constantin Carathéodory

. Constantin Carathéodory. Vorlesungen über reelle Funktionen. 3rd. 1918. 1968. German. Chelsea Publishing. 978-0828400381.

Book: Evans . Lawrence C. . Gariepy . Ronald F. . Measure theory and fine properties of functions. Revised edition. . Textbooks in Mathematics . CRC Press, Boca Raton, FL . 2015 . xiv+299 . 978-1-4822-4238-6.
Book: Federer, H.. Herbert Federer

. Geometric Measure Theory. Classics in Mathematics. 1st ed reprint. Berlin, Heidelberg, New York. 1969. 1996. 978-3540606567. Springer Verlag. Herbert Federer.

Book: Halmos, P.. Paul Halmos

. Paul Halmos. Measure theory. Springer Verlag. Berlin, Heidelberg, New York. Graduate Texts in Mathematics. 1978. 978-0387900889. 2nd. 1950.

Book: Munroe, M. E.. Introduction to Measure and Integration. registration. Addison Wesley. 1953. 978-1124042978. 1st.
Book: A. N.. Kolmogorov. Andrey Kolmogorov. S. V.. Fomin. Sergei Fomin. Introductory Real Analysis. Dover Publications. New York. 1970. 0-486-61226-0. Richard A. Silverman transl..

External links

Notes and References

The original definition given above follows the widely cited texts of Federer and of Evans and Gariepy. Note that both of these books use non-standard terminology in defining a "measure" to be what is here called an "outer measure."

Outer measure explained

Outer measures

Measurability of sets relative to an outer measure

The measure space associated to an outer measure

Restriction and pushforward of an outer measure

Pushforward

Restriction

Measurability of sets relative to a pushforward or restriction

Regular outer measures

Definition of a regular outer measure

The regular outer measure associated to an outer measure

Outer measure and topology

Construction of outer measures

Method I

Method II

See also

References

External links

Notes and References