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

$G_1,G_2$are open sets,$G_1\cap G_2=\emptyset$,$E_1\subset G_1,E_2\subset G_2$,how to prove $m^*(E_1\cup E_2 )=m^*(E_1)+m^*(E_2)$?

$m^*(E)$ means the outer measure of $E$.

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

In the answer I'm giving you a list of hints to prove it in small steps.

1. From your hypothesis it follows $E_1\cap E_2=\emptyset$.

By definition, and denoting by $l(I)$ the lenght of the interval $I$:

$$m^*(E_1\cup E_2) = \inf_{(E_1\cup E_2) \subset \cup I_n} \sum l(I_n),$$

2. For any $I_n$ we can find $I_{n,1}\subset I_n$ and $I_{n,2}\subset I_n$ such that $I_{n,1}\cap I_{n,2}= \emptyset$ and $E_1 \subset \cup I_{n,1}, \: E_2 \subset \cup I_{n,2}$. You will want to use point 1.

3. Holds $l(I_n) \geq l(I_{n,1}) + l(I_{n,2})$.

4. Use points 2. and 3. to show that, since we are reduced to length of intervals: $$m^*(E_1 \cup E_2) \geq m^*(E_1) + m^*(E_2).$$

5. Conclude that equality holds.

If you have any problem just ask!

share|cite|improve this answer
Thank you,actually point 3 is the conclusion what we want.But it seems that point 2 and 3 is not obvious.Could you give more details? – user39843 Oct 16 '12 at 16:37

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.