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

Is there a measurable set $A$ such that $m(A \cap B)= \frac12 m(B)$ for every open set $B$?

Edit: (t.b.) See also A Lebesgue measure question for further answers.

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

Hint: Lebesgue density theorem.

Alternatively, approximate $A\cap[0,1]$ with a finite union of intervals.

On second thought, those hints are overly complicated. You can use the definition of Lebesgue measure to find an open set $B$ containing $A\cap[0,1]$ with measure close to that of $A\cap[0,1]$.

share|cite|improve this answer
thanks Jonas, but I quickly looked up Lebesgue density theorem but wasnt sure how to apply it. as your other suggestion. i know m(A ∩ [0,1])=1/2, im not sure what you are trying to say by approximate it with finite union of intervals – jack Feb 3 '11 at 2:07
For Lebesgue density, think about what it says for the intersection of $A$ with small intervals. For the second hint, for every set of finite measure $E$ (here $E=A\cap[0,1]$) and every $\varepsilon>0$ there is a finite union of intervals $U$ such that the measure of the symmetric difference of $E$ and $U$ is less than $\varepsilon$. – Jonas Meyer Feb 3 '11 at 2:28
+1 For the last two sentences :-) – Aryabhata Feb 3 '11 at 3:39

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.