Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Okay. So I know that a set $E$ is called measurable if for any set $A$, we have $$ m^\ast(A)=m^\ast(A\cap E)+m^\ast(A\cap E^c).$$ Recently, I came across a Lemma which says that

a set $A\subset E$ is called measurable if and only if $$m^\ast(A) + m^\ast(E\setminus A)=b-a$$ where $a$ and $b$ are the end points of the interval $E$.

I would like to know how to proof the above lemma. I have been trying for some time now with no results.

Added: Following Sid's answer, I make some additions.

since $A\subset E$, $A\cap E=A$. so $m^\ast(A\cap E)=m^\ast(A)$. Also, $E\backslash A=E\cap A^c$. Thus $m^\ast(A) + m^\ast(E\setminus A)=b-a=m^\ast(E)$ implies that $$m^\ast(A\cap E) + m^\ast(E\cap A^c)=m^\ast(E).$$ Hence $A$ is measurable.

Conversely, suppose $A$ is measurable, then we have $$m^\ast(A\cap E) + m^\ast(E\cap A^c)=m^\ast(E).$$
since $A\subset E$, $A\cap E=A$ and $E\backslash A=E\cap A^c$, the result follows.

share|cite|improve this question
For this to make sense, $E$ must be an interval with endpoints $a$ and $b$, and you want $E \backslash A$, not $A \backslash E$. – Robert Israel Nov 27 '11 at 7:14
I had a typo earlier on, but I already fixed it. – AKM Nov 27 '11 at 7:41
up vote 1 down vote accepted

In the lemma, we have $E\backslash A=E\cap A^c$, and $m^*(E)=b-a$. Does this help?

share|cite|improve this answer
Thanks for your answer. But if $A\subset E$, how is $E\backslash A=E\cap A^c$? – AKM Nov 27 '11 at 7:41
@AKM It should be easy to show $E\backslash A\subset E\cap A^c$ and $E\backslash A\supset E\cap A^c$ – Sid Raval Nov 27 '11 at 7:56
Oh okay...Thanks. I'll try and prove the lemma then. – AKM Nov 27 '11 at 8:21
I've some additions. Could please see if it's okay? Thanks. – AKM Nov 27 '11 at 8:33

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.