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 understand the proof for the subadditivity property of the outer measure (using the epsilon/2^n method), but I am not quite clear on the proof for the sigma-additivity property of measures. Most sources I have read either leave it an exercise or just state it outright.

From what I gather, they essentially try to show that a measure is also *super*additive (the reverse of subadditive) which means it must be sigma-additive. However, I'm a bit confused as to how they do this.

Would anyone be kind enough to give a simple proof about how this could be done?

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

As far as I'm aware, that's the standard approach. The method I was taught is here (Theorem A.9), and involves showing countable subadditivity, defining a new sigma algebra $\mathcal{M}_{0}$ on which countable additivity holds when the outer measure is restricted to $\mathcal{M}_{0}$ (by showing superadditivity), and then showing that $\mathcal{M}_{0}$ is just $\mathcal{M}$, the sigma algebra of measurable sets (the sigma algebra generated by null sets together with Borel sets).

The notes I linked to are based on the book by Franks, which might cover it in a bit more detail/give a slightly different approach if you aren't happy with the notes.

share|cite|improve this answer

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.