# Continuous non-decreasing image of a measure zero set

I am looking at an old qualifying exam to study for my finals; it asks the following true/false question:

Let $f$ be a continuous, non-decreasing function defined on $[0,1]$, and let $E$ be a set of Lebesgue measure zero. Then, $f(E)$ is a set of Lebesgue measure zero.

I suspect this is false, but am not sure. Can anyone think of a solution without using the notion of absolute continuity? The reason for this is because AC won't be covered on the final.

-

The Cantor-Lebesgue function $f$ — also known “the devil's staircase” — is continuous and monotonically increasing. It maps the unit interval onto the unit interval. Since the complement $[0,1] \smallsetminus C$ of the Cantor set $C$ has countable image, $f(C)$ must have measure one.
@Thomas: I meant what I wrote. $[0,1] = f(C) \cup f(C^c)$ and I argued that $f(C^c)$ is a null-set. –  t.b. Dec 10 '11 at 18:35
@Sid: I think that you could do worse than study that function for your qual -- no one would expect you to come up with it on your own, but they might expect you to know it. It is a standard counterexample to many things. For instance, it is differentiable almost everywhere, and wherever it exists the derivative is zero. Hence $f(x) \neq \int_{0}^x f'(t)\,dt$. Keep it in mind, spend an hour or two of looking at it, it's definitely worth it! –  t.b. Dec 10 '11 at 18:43