## Non-Lebesgue Measurable Sets

I need to make up for missing a post earlier this week…

The most important observation about the fact that Lebesgue measurable sets might not be all of is sort of tautological: it means that there may be subsets of the real line which are *not* Lebesgue measurable. That is, sets for which it is impossible to give a sense of “how much space they take up”, in a way compatible with the length of an interval.

And we can show that such sets do, in fact, exist. At least, we can build them if we have use of the axiom of choice. This might seem like a reason not to use the axiom of choice, but remember that Zorn’s lemma — which is equivalent to the axiom of choice — was essential when we needed to show that every vector space has a basis, or Tychonoff’s theorem, or that exact sequences of vector spaces split. So it’s sort of a mixed bag. In practice, most working mathematicians seem to be willing to accept the existence of non-Lebesgue measurable sets in order to gain the above benefits.

So, first a lemma: if is irrational, then the set of all numbers of the form with and any integers is dense in the real line. That is, every open interval contains at least one point of . The same is true for the set where we restrict to be even, and for the set where we restrict to be odd. Note (and, incidentally, ) is actually a subgroup of the additive group of real numbers.

For every integer there is some unique integer so that ; we will write . If is an open interval, there is some positive integer with . Picking out the first numbers , there must be some pair and with (or else they wouldn’t all fit in the interval ). But then some multiple of must land within , as we asserted. For , we can do the same using the interval , and for we can use the fact that .

Now, I say that there exists at least one set which is not Lebesgue measurable. To show this, we consider the quotient group . That is, we use an equivalence relation if . This divides up the real numbers into a disjoint union of equivalence classes under this relation, and the axiom of choice allows us to build a set by picking exactly one point from each equivalence class. This is the set we will show is not Lebesgue measurable.

Suppose is a Borel set contained in . The difference set contains no point of , since if this happened we’d have two points in picked from the same -equivalence class. But we just saw that any open interval contains a point of , and so our result from last time shows that must have outer measure zero — if it had positive outer measure then would contain an open interval. And so if is Lebesgue measurable then its Lebesgue measure must be zero.

Now if and are distinct elements of , then and must be disjoint. As we let range over the countable number of values in , the sets then form a countable disjoint cover of . But each of the is just a translation of , and so each one must have the same measure. And then since Lebesgue measure is countably additive, we must have

But this is clearly nonsense.

We can do even better, actually, in our efforts to find bizarre sets. There exists a subset so that for *every* Lebesgue measurable set we have both

That is, no matter what Lebesgue measurable set we pick, its intersection with is so weird that no set of positive Lebesgue measure can fit inside it, and yet itself is the smallest Lebesgue measurable sets that can contain it.

To find this set, write from our lemma and take to the set we just constructed. Define — the set of sums of points in and points in . If is a Borel set contained in , then can’t contain any point of (using a similar argument to that from earlier). And so we must have .

On the other hand, we just saw that , and thus

And so as well. If is any Lebesgue measurable set, the monotonicity of gives us . And then an earlier result tells us that

You say that all three sets (A, B, C) are subgroups. I see that for A (all n) and B (all even n). But how is C (all odd n) an additive subgroup — it’s not even an additive group since it doesn’t contain 0.

Or do I totally misunderstand?

Thanks!

Comment by marshall | April 25, 2010 |

Sorry, I misspoke in my haste to get out the catch-up post…

Comment by John Armstrong | April 25, 2010 |

In case anyone is interested, the example you ended with is sometimes called a “maximally non-measurable set” or a “saturated nonmeasurable set”, and more examples and their properties can be found in the following posts:

Remarks on Bernstein sets

http://tinyurl.com/29sgs2b

http://tinyurl.com/27sqz2d [minor correction]

Now for something REALLY STRANGE. In 1917 Lusin and Sierpinski showed that the unit interval [0,1] can be partitioned into c = 2^(aleph_0) many pairwise disjoint sets each having Lebesgue outer measure 1. This shows a massive failure of additivity in the case of Lebesgue outer measure! And yes, they constructed c many such sets, not just uncountably many (which would give you “only” aleph_1 many such sets under CH).

Here’s their paper:

Nikolai N. Lusin and Waclaw Sierpinski, “Sur une décomposition d’un intervalle en une infinité non dénombrable d’ensembles non mesurables” [On a decomposition of an interval into a nondenumerably many nonmeasurable sets], Comptes Rendus Académie des Sciences (Paris) 165 (1917), 422-424.

[JFM 46.0294.01] [available on-line]

http://www.emis.de/cgi-bin/JFM-item?46.0294.01

Comment by Dave L. Renfro | April 26, 2010 |

[...] is), this condition reduces to asking that . If, further, , then we ask that . As an example, the maximally nonmeasurable set we constructed is [...]

Pingback by Measurable Subspaces II « The Unapologetic Mathematician | April 28, 2010 |

[...] to add the requirement that . Also, the converse of this theorem is definitely not true; if is a non-measurable set, then the function is not measurable even though the absolute value is [...]

Pingback by Composing Real-Valued Measurable Functions I « The Unapologetic Mathematician | May 4, 2010 |

[...] now we can take a thick, non-Lebesgue measurable set whose intersection with is itself a non-Lebesgue measurable set . However, , and has Lebesgue [...]

Pingback by Composing Real-Valued Measurable Functions II « The Unapologetic Mathematician | May 5, 2010 |

[...] During this long period from 1904 to 1962, many bizzare results such as the Banach Tarsky paradox, existence of non-Lebesgue measurable sets etc were found. This put a suspicion in people’s minds as to whether this axiom was [...]

Pingback by The axiom of choice | Notes on Mathematics | September 19, 2012 |