You are currently browsing the tag archive for the ‘Lebesgue density theorem’ tag.

Last year on this blog, I sketched out a non-rigorous probabilistic argument justifying the following well-known theorem:

Theorem 1. (Non-measurable sets exist) There exists a subset $E$ of the unit interval ${}[0,1]$ which is not  Lebesgue-measurable.

The idea was to let E be a “random” subset of ${}[0,1]$.  If one (non-rigorously) applies the law of large numbers, one expects E to have “density” 1/2 with respect to every subinterval of ${}[0,1]$, which would contradict the Lebesgue differentiation theorem.

I was recently asked whether I could in fact make the above argument rigorous. This turned out to be more difficult than I had anticipated, due to some technicalities in trying to make the concept of a random subset of ${}[0,1]$ (which requires an uncountable number of “coin flips” to generate) both rigorous and useful.  However, there is a simpler variant of the above argument which can be made rigorous.  Instead of letting E be a “random” subset of ${}[0,1]$, one takes E to be an “alternating” set that contains “every other” real number in ${}[0,1]$; this again should have density 1/2 in every subinterval and thus again contradict the Lebesgue differentiation theorem.

Of course, in the standard model of the real numbers, it makes no sense to talk about “every other” or “every second” real number, as the real numbers are not discrete.  If however one employs the language of non-standard analysis, then it is possible to make the above argument rigorous, and this is the purpose of my post today. I will assume some basic familiarity with non-standard analysis, for instance as discussed in this earlier post of mine.

### Recent Comments

 dictate on The Lucas-Lehmer test for Mers… Anonymous on Variants of the Selberg sieve,… Jose on Quantum mechanics and Tomb… Anonymous on Variants of the Selberg sieve,… 关于「第 N 天有 N 个红眼睛自杀」的… on The blue-eyed islanders puzzle kyRYy on Polymath8b: Bounded intervals… Eytan Paldi on Variants of the Selberg sieve,… Eytan Paldi on Variants of the Selberg sieve,… Variants of the Selb… on “New equidistribution es… Eytan Paldi on Variants of the Selberg sieve,… Amancio Perez on Variants of the Selberg sieve,… Anonymous on Variants of the Selberg sieve,… Anonymous on Variants of the Selberg sieve,… Polymath 8 – a… on Variants of the Selberg sieve,… Blake Stacey on Variants of the Selberg sieve,…