Take the 2-minute tour ×
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.

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|improve this question
    
Care to accept one of the answers? –  Did May 3 '11 at 7:33
add comment

2 Answers 2

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|improve this answer
add comment

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|improve this answer
add comment

Your Answer

 
discard

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.