## Proposition 7.3.4: Properties of Outer Measure

- Outer measure
*m*is a non-negative set function whose domain is^{*}, i.e. the power set of**P(R)**.**R** - The outer measure of an interval is its length.
- Outer measure is subadditive, i.e.
*m*^{*}(**A**) m**B**^{*}() + m**A**^{*}()**B** - Outer measure is countably subadditive, i.e. if
*{*is a countable collection of sets, then**A**_{n}}*m*^{*}(**A**_{n}) m^{*}(**A**_{n})

### Proof

The first statement is obvious. Outer measure is clearly defined for every
set, therefore its domain is * P(R)*. It is also non-negative
because all terms involved in the

*inf*are non-negative.

We have already shown that the outer measure of open and closed intervals is their length, so we do not have to prove the second statement again.

The third statement is a warmup exercise for the last statement. Because of
the definition of outer measure as infimum, we can find open covers
*{A_{i}}* of

*and*

**A***{*of

**B**_{i}}*, respectively, such that*

**B**l(A_{i}) m^{*}() + /2 andA

l(B_{i}) m^{*}() + /2B

But the combined collection
*{A_{i}, B_{i}}*
covers

*so that*

**A****B**m^{*}(A) l(BA_{i}) + l(B_{i}) m^{*}() + /2 + mA^{*}() + /2 = mB^{*}() + mA^{*}() +B

Since this is true for all it proves the third statement.

The proof of the fourth statement, which compared to the previous one
might look intimidating because it uses "double indices", is really not that
bad: it just switches from adding two terms to adding countably
many terms by way of the geometric series. First note that if any of the
*m ^{*}(A_{n})*
was infinite, the inequality would obviously be true. Thus, we may assume that

m^{*}() < for all nA_{n}

Next, because of the definition of outer measure as an infimum, we know that
for any set * A_{n}*, where

*n*is some fixed index, there is a sequence of countably many open intervals

*such that*

**I**_{n,m}*, where the union is over all*

**A**_{n}**I**_{n,m}*m*with

*n*fixed, and also, for any

*> 0*:

for our fixed *n*. But now we see that the collection of all
(countably many) * I_{n,m}*, ordered somehow, covers

*:*

**A**so that, using the infimum property again:

Since this inequality is valid for every * > 0*,
it proves subadditivity.