# False beliefs about Lebesgue measure on $\mathbb{R}$

I'm trying to develop intuition about Lebesgue measure on $\mathbb{R}$ and I'd like to build a list of false beliefs about it, for example: every set is measurable, every set of measure zero is countable, the border of a set has measure zero, etc. Can you help me sharing your experience or with some reference list?

-
False belief: a set of positive measure $A$ contains an interval (but by Steinhaus theorem we know that it's the case for $A+A$); take fat Cantors. –  Davide Giraudo Dec 24 '11 at 12:32
False belief: if a function is continuous almost everwhere, then it is equal almost everywhere to a continuous functions, and vice versa. –  Mark Dec 24 '11 at 12:40
@David: An easier counter example to "a set of positive measure $A$ contains an interval" is the irrationals. Fat Cantor sets are a better counter example to "a set of of positive measure $A$ is dense somewhere" –  Henry Dec 24 '11 at 12:58
Counterexamples in Analysis - B. Gelbaum, J. Olmsted (Dover, 2003) would be a good reference here. e.g., they show: there is a measurable non-Borel set; there is a set of measure 0 that is not a countable union of closed sets; –  David Mitra Dec 24 '11 at 13:11
This is not just about $\mathbb{R}$, but still: all $\mathbb{R}^n$'s (with the Lebesgue measure) are isomorphic as measure spaces; there is no "invariance of dimension" (as one might falsely believe) –  user8268 Dec 24 '11 at 13:28

False belief: the continuous image of a measurable set is measurable.

A counterexample is provided by the Devil's staircase. Since the image of the Cantor set has full measure, it will have subsets, still measurable, which have non-measurable image. The same function also serves as a counterexample to the following:

False belief: if a continuous function has derivative zero almost everywhere, then it is constant.

-
Nice! How is it false that "if a continuous function has derivative zero almost everywhere, then it is constant" –  Tim Dec 25 '11 at 3:03
@Tim, the Devil's staircase is continuous on the unit interval and has zero derivative almost everywhere (it is locally constant on the complement of the Cantor set), but it is not constant. –  JDH Dec 25 '11 at 15:42

False belief: a subset of an interval that is both open and dense has the measure of the interval.

A counterexample is obtained by enumerating the rationals on $[0,1]$ and putting an open interval of length $(1/3)^k$ around the $k$th one. The union of these intervals is clearly dense because it contains a dense set (the rationals) as a subset, and it is clearly open because it is a union of open intervals. But meanwhile, its Lebesgue measure is $\leq \sum_1^\infty (1/3)^k = 1/2$.

-
In fact, we can choose this open subset of measure $\varepsilon$ where $0<\varepsilon< m(I)$, using the continuity of the map $\varepsilon \mapsto m\left(\bigcup_{j\in\mathbb N}\left(r_j-\varepsilon 2^{-j},r_j+\varepsilon 2^{-j}\right)\right)$. –  Davide Giraudo Dec 24 '11 at 14:57

True belief:

There is a measurable set $A$ in $[0,1]$ such that for any interval $U$ in $[0,1]$, both $A\cap U$ and $A^c\cap U$ have positive measure.

False belief:

The continuous image of a set of measure 0 has measure 0.

-
Could you explain how you can get such a set $A$ in "true belief" statment? –  seriously divergent Jan 5 at 11:01

False Belief: A nowhere dense subset of $\mathbb{R}$ has measure $0$. (Let me recall that a subset $A$ of $\mathbb{R}$ is said to be nowhere dense if the interior of its closure is empty.)

I leave the explanation as to why this is indeed a false belief as an exercise!

-
Furthermore, examples of full measure meagre sets: mathoverflow.net/questions/43478/… –  Jisang Yoo Dec 5 '13 at 16:48

Consider the following (true) statement:

If $(I_n)$ is a sequence of subintervals of the unit interval and the sum of their lengths is strictly less than $1$, then the $I_n$ do not cover the unit interval.

False belief: This can be proven just by translating $I_1$ to begin at $0$, translating $I_2$ to start end the end of $I_1$ etc. If this worked, then the same would be true for the unit interval in $\mathbb Q$ where the statement is false.

I obvious can't claim this to be original; I got it from MO.

-