# Pre-image of a measurable set A is always measurable?

Let $f$ be a continuous function on a set $E$. Is it always true that $f^{-1}(A)$ is always measurable if $A$ is measurable?

I say no. We know that $\bar{\psi(x)}:=\frac{\phi(x)+x}{2}$ where $\phi$ is the Cantor (or Cantor-Lebesgue) function and $\bar{\psi}:[0,1] \rightarrow [0,1]$. We know this function maps a measurable subset of $C$ (the Cantor set) into a non-measurable set $W$.

A few observations about $\bar{\psi(x)}$. It is strictly increasing and continuous, so it has a continuous inverse $\bar{\psi(x)}^{-1}$. Thus $\bar{\psi(x)}^{-1}(W)=c \subset C$; that is, $\bar{\psi(x)}^{-1}(W)$ is non-measurable, but c is.

Is this correct?

-
The preimage of a Borel set under a continuous fnction is a Borel set. The preimage of Lebesgue measurable set under a continuous function may not be Lebesgue measurable. – Michael Greinecker Oct 4 '12 at 8:29
@emka Regarding your proof: can you please clarify the last sentence? Is there a $W$ missing? If yes, you are writing $\psi^{-1}(W) = c$ and at the same time $\psi^{-1}(W)$ is non-measurable but $c$ is. – Rudy the Reindeer Oct 4 '12 at 8:34
@emka Ok, thank you. Could you also explain how the Cantor function maps a measurable set into a non-measurable set? Is this really true? – Rudy the Reindeer Oct 4 '12 at 9:09
Correct. Since $\psi$ maps the Cantor set $C$ to a set $E$ with positive measure, there is a non-measurable subset $W$ of $E$ and $V = \psi^{-1}(W)\subset C$ is measurable because $C$ is a null set. Consider $h = \psi^{-1}$. Then $h$ is continuous and hence measurable as a function $([0,1],\mathcal{B}) \to ([0,1],\mathcal{B})$. Since $h^{-1}(V) = \psi(V) = W$ isn't measurable, $h$ isn't measurable as a function $([0,1],\mathcal{L}) \to ([0,1], \mathcal{L})$. Here $\mathcal{B}$ and $\mathcal{L}$ are the Borel and Lebesgue $\sigma$-algebras. – commenter Oct 4 '12 at 9:11
I wrote $\psi$ for $\bar{\psi}$, sorry. Write \bar{\psi}(x), not \bar{\psi(x)}. Compare $\bar{\psi}(x)$ with $\bar{\psi(x)}$. – commenter Oct 4 '12 at 9:25

The question of whether the pre-image under a continuous function of a measurable set is measurable depends on two things: the topologies on the spaces (continuity) and the $\sigma$-algebras (measurability).
For example, if $f: \mathbb R \to \mathbb R$ is continuous and $\mathbb R$ comes with the standard topology and the Borel $\sigma$-algebra then the answer is, yes, all pre-images of measurable sets will be measurable.
On the other hand, we know by a cardinality argument that the Borel $\sigma$-algebra is properly contained in the Lebesgue $\sigma$-algebra so there exists a set that is Lebesgue measurable but is not Borel measurable. If you take $f$ to be the identity map $\mathrm{id}: \mathbb R \to \mathbb R$ with the standard topology on both domain and codomain but put the Lebesgue $\sigma$-algebra on the codomain and the Borel $\sigma$-algebra on the domain then any pre-image of a set that is not Borel measurable will not be measurable -- yet the function is continuous.