Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a homework question, and I'm totally confused... I would appreciate every help or a clue.

Let $S$ be an algebra of subsets of a set $X$, and let $\mu$ be a pre-measure on $S$.

We can construct an outer measure $\mu^*$, as shown here:

$$\mu^* \left({E}\right) = \inf \ \left\{{\sum_{n=0}^\infty \mu\left({A_n}\right) : A_n \in S, \ E \subseteq \bigcup_{n=0}^\infty A_n}\right\}.$$

Now, we can look at the $\sigma$-algebra of all $\mu^*$-measurable sets, let's denote it $M$.

The outer measure $\mu^*$ is then a measure on $M$.

Now, we can take this measure on $\mu^*|_M$, and again construct an outer measure:

$$\mu^{**} \left({E}\right) = \inf \ \left\{{\sum_{n=0}^\infty \mu^*\left({A_n}\right) : A_n \in M, \ E \subseteq \bigcup_{n=0}^\infty A_n}\right\}.$$

I have to prove that $\mu^*(E)=\mu^{**}(E)$ for every $E\subseteq X$.

share|cite|improve this question
up vote 2 down vote accepted

I think the following works but please check.

First, $S\subset M$ so $\mu^{**}(E)\leq\mu^{*}(E)$. On the other hand, given $\varepsilon>0$, there exist $A_{n}\in M$ such that $E\subset\bigcup A_{n}$ and $\sum\mu^{*}(A_{n})<\mu^{**}(E)+\varepsilon$. Then you can see why $\mu^{*}(E)\leq\mu^{**}(E)$.

share|cite|improve this answer
At first I didn't realized why $S \subseteq M $ , but I think I get it now. A proof can be found here (page 5, Theorem 2.11) But can you find an example where $ S \neq M $ ? – user50068 Nov 20 '12 at 7:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.