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

Find all Lebesgue measurable subsets $A \subset\mathbb{R}$ such that all $B\subset A$ is measurable.

I argued that if the measure is positive then $A$ is an interval so we can construct the Vitali set and thus it'd have non-measurable subsets. So $A$ must have measure $0$. Is it correct to say that such $A$ is the power set of $\mathbb{Q}$? Or we need to worry about algebraic irrationals as well( since they're countable)?

share|cite|improve this question
Look here:… – user110661 Nov 26 '13 at 12:47
up vote 1 down vote accepted

You are on the right track but what about the irrationals? The have measure >0 but certainly do not form an interval. As for your question: Any singleton set is measurable (since it has outer measure zero). Now suppose this set were $\{\pi\}$. Does your conclusion still hold?

share|cite|improve this answer
You are right. I was totally misguided. so the answer to the question is All $A$ with measure $0$. – Spock Nov 26 '13 at 14:54

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.