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.

Is axiom of choice required to show the existence of non-measurable sets? Is there a Lebesgue non-measurable set that can be constructed without axiom of choice?

Related question on MO says it is consistent: http://mathoverflow.net/questions/73902/axiom-of-choice-and-non-measurable-set

share|improve this question
3  
Solovay proved that there is a model of Set Theory without Choice where every subset of the real numbers is measurable. In that model, the Axiom of Dependent Choice is true. So you need at least something stronger than DC in order to establish the existence of non-measurable sets. –  Arturo Magidin Apr 19 '12 at 17:00
2  
Yes, you can construct non-measurable sets using non-principal ultrafilters and the existence of such a thing is strictly weaker than AC: terrytao.wordpress.com/2008/10/14/… –  Qiaochu Yuan Apr 19 '12 at 17:01
    
That's very interesting. I had thought that the existence of ultrafilters was equivalent to AC. Thanks! –  Neal Apr 19 '12 at 17:03
1  
@Neal: AC is equivalent to the statement "Every lattice has an ultrafilter." It is strictly stronger than "There is a non-principal ultrafilter over $\mathbb{N}$." This is perhaps the source of your confusion. –  Cameron Buie Apr 19 '12 at 17:12
3  
@Cameron: I actually believe that the main source of confusion is the fact that people are usually ignorant to how much choice is really needed, and they simply use Zorn's lemma to do things. This gives the impression that many things require full choice while some require none. –  Asaf Karagila Apr 19 '12 at 17:14

1 Answer 1

up vote 10 down vote accepted

The answer is, you cannot.

It is consistent with ZF that the real numbers are a countable union of countable sets, this implies that every set of reals is Borel and therefore measurable. Of course, in such model it is nearly impossible to develop the analysis we know.

However it is consistent relative to an inaccessible cardinal that there is a model of ZF+DC where all the sets of real numbers are Lebesgue measurable, and DC allows us to do most of classical analysis too.

Non-measurable sets can be generated by free ultrafilters over $\mathbb N$ too, which as remarked is a strictly weaker assumption that the axiom of choice. If there are $\aleph_1$ many real numbers and DC holds then there is an non-measurable set as well, which implies that ZF+DC($\aleph_1$) also implies the existence of non-measurable sets of real numbers - however this is not enough to imply the existence of free ultrafilters over the natural numbers!

Several other ways to generate non-measurable sets of real numbers:

  1. The axiom of choice for families of pairs;
  2. Hahn-Banach theorem;
  3. The existence of a Hamel basis for $\mathbb R$ over $\mathbb Q$.

There are several other ways as well, but none are quite close to the full power of the axiom of choice.

One important remark is that we can ensure that the axiom of choice holds for the real numbers as usual, but breaks in many many severe ways much much further in the universe (that is counterexamples will be sets generated much later than the real numbers in the von Neumann hierarchy). This means that the axiom of choice is severely negated - but the real numbers still behave as we know them.

The above constructions and to further read about ways to construct non-measurable sets cf. Horst Herrlich, Axiom of Choice, Lecture Notes in Mathematics v. 1876, Springer-Verlag (2006).

share|improve this answer
    
Can you provide a source of the Hahn-Banach way to generate a non-measurable? –  leo Apr 19 '12 at 18:41
    
@leo: The HB theorem is enough to prove the Banach-Tarski paradox. –  Asaf Karagila Apr 19 '12 at 18:48
    
Thanks Asaf :-) –  leo Apr 19 '12 at 19:02

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.