Is "All Subsets of R Measurable" Consistent w/ ZF Axioms?

In summary: R without the well-ordering theorem. I have to think about that. If the first uncountable ordinal is not well-orderable, then it cannot be put into bijection with R. This is one of the equivalent forms of the Continuum Hypothesis.Regardless, I think my argument still works for any well-ordering of R.
  • #1
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,981
26
Is the statement "All subsets of R are measurable" consistent with the axioms of ZF? (Specifically, of course, the omission of the axiom of choice)

I've never really gotten a straight answer to this question, and I'd be very happy to hear it. :smile:
 
Physics news on Phys.org
  • #2
I cannot provide any definite answer I'm afraid, but I suspect the answer is yes it is consistent, as is its negation.

Since R may not be a set in some model of ZF, I don't know how this works. But, I seem to remember reading somewhere that in order to construct a non-measurable set you need to use the axiom of choice.
 
  • #3
yes it's impossible to construct a nonmeasurable set without the axiom of choice. solovay proved it in 1970
 
  • #4
so, to repeat the obvious: it seems that the existence of a non measurable set is an axiom equivalent to the axiom of choice?

now that i like. the axiom of choice is a stupidly obvious, highly useful, property I can barely live without. (e.g every surjective function has a right inverse: duhhh.)

measurability and non measurable sets are interesting and not obvious at all though!
 
  • #5
It would surprise me if it was equivalent -- I can't even begin to imagine how I could get from the existence of a single nonmeasurable set to being able to, say, construct a well-ordering on any (arbitrarily large!) set.
 
  • #6
From the above discussion, it seems that without the axiom of choice, existence of non-measurable sets cannot be proven. However, it still doesn't follow that you can prove all subsets of R are measurable.
 
  • #7
For the ignorant (me)- what is ZF?
 
  • #9
mathwonk said:
the axiom of choice is a stupidly obvious, highly useful, property I can barely live without. (e.g every surjective function has a right inverse: duhhh.)

Jerry Bona once said,

The Axiom of Choice is obviously true; the Well Ordering Principle is obviously false; and who can tell about Zorn's Lemma? ;)
 
  • #11
I don't know what people have against the well-ordering principle. :frown: I wield transfinite induction far more easily than I wield Zorn's lemma for proving things!

The funny thing is that sometimes I don't even notice that the problem is practically already in the form needed for Zorn's lemma until I'm done with the transfinite induction proof. :biggrin:
 
  • #12
They're equivalent. ;)
 
  • #13
i thought it was obvious that was the content of post 3, but i could be oversimplifying.
 
  • #14
I was thinking about this same question today. Though, to be very honest I'm yet to find a construction of a non-measurable set that I "get" -- I can follow the steps of the proof but I don't see the big picture. You know?

It is very interesting to me that something sensible like the axiom of choice is linked to something annoying and not intuitive like non-measurable sets.
 
  • #15
I don't know anything about the axiom of choice but it seems that whenever you are dealing with infinite sets it would have to come up. Measurability is just a question about an infinite set - is it not?

Also measurable or non-measurable seems to mean Lebesque measurable on R^n - is that what we are talking about here?

The Continuum Hypothesis implies the existence of a non-lebesque measurable subset of the plane. Is the Continuum Hypothesis equivalent to the Axiom of Choice?A friend of mine once tried to resurrect St. Anselm's proof of the existence of God using the Hausdorff Maximal Principle. The set of virtues are partially ordered by inclusion. The union of any set of virtues is a set of virtues so any chain in the partial ordering has a maximal element. Therefore there is a set of virtues greater than which none can be conceived. So the existence of the idea of God as consumately virtuous depends upon the Axiom of Choice
 
Last edited:
  • #16
For the real line a non-measurable set is a basis for the reals over the rationals. The existence of this basis is an application of the Axiom of Choice. But is there a proof that every non-measurable subset of the line is obtained this way?
 
Last edited:
  • #17
The Continuum Hypothesis implies the existence of a non-lebesque measurable subset of the plane. Is the Continuum Hypothesis equivalent to the Axiom of Choice?

No - they are independent of each other.

Could you back up your first statement?
 
  • #18
mathman said:
No - they are independent of each other.

Could you back up your first statement?

Sure.

Assume the Continuum Hypothesis and map the real numbers from 0 to 1 bijectively onto the first uncountable ordinal.

In the unit square, define the function f(x,y) = 1 if x<y in the induced ordering, 0 otherwise.

f is the characteristic function of the set (x,y) with x<y so this set is measurable if f is a measurable function. If f is measurable then we can integrate it and find the measure of the set. By Fubini's theorem we can calculate the integral as a double integral and can integrate along either the x or y-axis first and get the same answer.

Intgerating along the x-axis first:

For each y, there are only countable many x < y since the ordering is onto the first uncountable ordinal. Thus the integral of f over the x-axis is zero since any countable set has measure zero. The double integral is thus zero.

Integrating along the y-axis first:

For each x, there are only countable many y less that it so the measure of the set of y greater than x is 1. Thus the integral along the y-axis is 1 for each fixed x. Thus the double integral equals 1.

This contradicts Fubini's Theorem so f is not measurable.
 
Last edited:
  • #19
wofsy said:
Sure.

Assume the Continuum Hypothesis and map the real numbers from 0 to 1 bijectively onto the first uncountable ordinal.
That is a well-ordering of R. Why does it exist?
 
  • #20
Hurkyl said:
Can we do that without the well-ordering theorem? Without it, there exist cardinal numbers that are not bijective with ordinal numbers...

That is a good question. I am not sure of the answer. I think though that the first uncountable ordinal can be constructed inductively and does not require the Well Ordering Hypothesis. It inherits a well ordering from its construction. The bijection of the reals onto it - i.e. the assumption of the Continuum Hypothesis - automatically transfers this ordering to the reals.I think the well ordering Hypothesis really says that any set can be mapped bijectively onto one of the ordinals - countable or uncountable. My reading of Cantor's construction of the ordinals is that the well ordering is an automatic by product of the way he constructs them. For instance, the inductive construction of the integers automatically gives you a well ordering of them. But... I am not sure.
 
Last edited:
  • #21
wofsy said:
The bijection of the reals onto it - i.e. the assumption of the Continuum Hypothesis - automatically transfers this ordering to the reals.
The continuum hypothesis says the first uncountable cardinal is bijective with R. The first uncountable ordinal may be bigger, I think. (Although I'm not sure)
 
  • #22
Hurkyl said:
The continuum hypothesis says the first uncountable cardinal is bijective with R. The first uncountable ordinal may be bigger, I think. (Although I'm not sure)

The first uncountable ordinal can not be bigger because it has only countable many predecessors. There is no predecessor that is uncountable.
 
  • #23
wofsy said:
The first uncountable ordinal can not be bigger because it has only countable many predecessors.
Almost by definition, the first uncountable ordinal has uncountably many predecessors.

Did you mean all of its predecessors are countable? That's not a contradiction, if there are no ordinal numbers with cardinality |R|...
 
  • #24
Hurkyl said:
Almost by definition, the first uncountable ordinal has uncountably many predecessors.

Did you mean all of its predecessors are countable? That's not a contradiction, if there are no ordinal numbers with cardinality |R|...

You are right. I meant that any of its predecessors is countable and has only countably many predecessors.
 

Related to Is "All Subsets of R Measurable" Consistent w/ ZF Axioms?

1. What does it mean for a set to be measurable?

In mathematics, a set is considered measurable if it has a well-defined, finite measure. This means that the set can be assigned a numerical value that represents its size, volume, or extent. Measurable sets are an important concept in many areas of mathematics, including measure theory, probability, and analysis.

2. What are the ZF axioms?

The ZF (Zermelo–Fraenkel) axioms are a set of axioms that form the basis of modern set theory. They were developed in the early 20th century by mathematicians Ernst Zermelo and Abraham Fraenkel as an attempt to provide a more rigorous and consistent foundation for mathematics. The ZF axioms are used to define the basic concepts of sets, functions, and relations, and to establish the rules of logic and proof that are used in mathematical reasoning.

3. How is the consistency of "All Subsets of R Measurable" determined?

The consistency of "All Subsets of R Measurable" is determined by examining whether this statement can be derived from the ZF axioms using standard mathematical logic. If it can be shown that the statement is logically consistent with the ZF axioms, then it is considered to be a valid mathematical statement. However, if it leads to a contradiction or cannot be proven, then it is considered to be inconsistent with the ZF axioms.

4. What are some implications of "All Subsets of R Measurable" being consistent with ZF axioms?

If "All Subsets of R Measurable" is shown to be consistent with the ZF axioms, it would have significant implications for the foundations of mathematics. It would provide a new way of defining and understanding the concept of measurability in mathematics, and could potentially lead to new developments and discoveries in fields such as analysis and probability theory. Additionally, it could also have implications for the consistency of other mathematical statements and theories.

5. What evidence exists to support or refute the consistency of "All Subsets of R Measurable" with ZF axioms?

There is currently no definitive evidence to support or refute the consistency of "All Subsets of R Measurable" with the ZF axioms. This is because the statement is still an open problem in mathematics, and has not yet been proven or disproven. However, there have been numerous attempts by mathematicians to provide evidence for or against the statement, and research in this area is ongoing.

Similar threads

  • Linear and Abstract Algebra
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
10
Views
2K
  • Topology and Analysis
Replies
3
Views
2K
  • Topology and Analysis
Replies
2
Views
3K
  • Set Theory, Logic, Probability, Statistics
4
Replies
132
Views
18K
  • General Math
Replies
7
Views
2K
  • Special and General Relativity
2
Replies
51
Views
2K
  • Math Proof Training and Practice
3
Replies
104
Views
14K
  • Special and General Relativity
Replies
13
Views
2K
Back
Top