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

Consider two sets $A$ and $B$ with positive measure such that the union is $[0,1]$. Is it true that there is a one-to-one correspondence between $A$ and $B$?

share|cite|improve this question
Care to accept one of the answers? – Did May 3 '11 at 7:33

It is true without needing to assume the continuum hypothesis. A Lebesgue measurable set with positive measure has the same cardinality as $[0,1]$. My favorite proof (sketch) of this is in Ehsan's answer to a MathOverflow question. Andres Caicedo's and Fedor Petrov's answers there also address this, and another proof can be found in the expository article "Measure and cardinality" by Briggs and Schaffter. Joel David Hamkins's answer at the MathOverflow question gives a great survey of what can happen with outer measure.

share|cite|improve this answer

I believe so, at least if we take the continuum hypothesis. This follows from the countable subadditivity of measure, for if we had a countable set we would certainly have a measure of $0$ and the union of any two countable sets is countable. So $A$ and $B$ must be uncountable and with the continuum hypothesis $|A| = |B|$. There is probably a way to do this without assuming the continuum hypothesis, but I haven't thought of it off the top of my head. Of course, even without the CH we would not be able to construct a counterexample.

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.