# Lebesgue-measurable function problem

I am trying to solve this exercise:

Let $\phi: \mathbb R \to \mathbb R$ be a measurable function (Lebesgue-measurable) and $f:\mathbb R^2 \to \mathbb R$ defined as $f(x,y)=xy-\phi(y)$. Show the following:

a) $f$ is measurable

b) If $E \subset \mathbb R$ measurable, then $f^{-1}(E)$ is measurable.

This is what I could do:

a) If I define $h:\mathbb R^2 \to \mathbb R$ as the projection $h(x,y)=y$, then $h$ is continuous and $\phi(y)=\phi \circ h(x,y)$, if I could prove that $\phi \circ h$ is measurable, then, since $g(x,y)=xy$ is continuous and $f=g+ \phi \circ h$ is sum of measurable functions, $f$ is measurable.

I couldn't show that $\phi \circ h$ is measurable, so I am not sure if my approach is the appropiate one.

b) If $E$ is measurable, then $E$ can be written as $E=H \setminus Z$ with $H$ a $G_{\delta}$ set and $m(Z)=0$. The preimage is $f^{-1}(H \setminus Z)=f^{-1}(H) \setminus f^{-1}(Z)$. Since $H$ is a borel set, then it is easy to see that $f^{-1}(H)$ is measurable.

I am having some difficulty trying to show that $f^{-1}(Z)$ is measurable. Since $m(Z)=0$, there exists $G$ a $G_{\delta}$ set with $Z \subset G$ and $m(G)=m(Z)=0$. The set $G$ can be written as $G=\bigcap_{k \in \mathbb N} G_k$ with $(G_k)_{k \in \mathbb N}$ decreasing, $m(G_k)<\infty$. We have $f^{-1}(Z) \subset f^{-1}(G) \subset f^{-1}(G_k)$ for all $k \in \mathbb N$. I didn't know what to do next.

Any suggestions would be greatly appreciated. Thanks in advance.

Hint for (a): If $B$ is a Borel subset of ${\Bbb R}$, then $(\phi\circ h)^{-1}(B) = {\Bbb R}\times\phi^{-1}(B)$, and $\phi^{-1}(B)$ is a (Lebesgue) measurable set because $\phi$ is assumed to be Lebesgue measurable.
• Thanks for the hint!, could you help me with part b)?, basically, what I would like to prove is that if I have a $G_{\delta}$ set $H$ of measure zero, then $f^{-1}(H)$ is measurable, or maybe you have an alternative solution. – user156441 Sep 28 '15 at 23:43