# Prove that $f$ is Borel measurable.

Let $\mu$ be a ﬁnite Borel measure on $\mathbb R$, i.e. a ﬁnite measure on the Borel $\sigma$-algebra $S (\mathbb R)$, and let $B$ be a Borel subset of $\mathbb R$. Deﬁne the function $f$ on $\mathbb R$ by $f (x) =\mu (B + x)$.

(a) Show that $f$ is Borel measurable. (b) Show that $\int f (x) d\lambda (x) =\int f (x) dx =\mu(R)\lambda(B)$, where $\lambda$ denotes the Lebesgue measure

I am not able to prove that $f$ is Borel measurable. I tried to prove that $f^{-1}(a,\infty)$ is a Borel set but couldn't prove it.

• Can you do it in case $B$ is an open interval? – GEdgar Dec 16 '13 at 18:34
• I tried that but I still couldn't do it. – Oliver Dec 16 '13 at 18:36
• A still easier case is $B=(a,b)$ but also $\mu(\{x\}) = 0$ for all $x$. Can you prove $f$ is Borel measurable in that case? – GEdgar Dec 16 '13 at 18:38
• I cant't do that either. – Oliver Dec 16 '13 at 19:40
• I was able to get part a). Can some one help me with part b) – Oliver Dec 17 '13 at 0:06

For the second part, notice that $f(x)=\int \chi_B(s-x)\mathrm d\mu(s)$. We then use Fubini's theorem.
Use the product measure $\mu\times\lambda$ in $\mathbb R^2$ and integrate the clearly $\mu\times\lambda$-measurable function $F(x,y)=\chi_B(x-y)$. Fubini's Theorem answers both question. (See the version of Fubini's Theorem in Rudin's Real & Complex Analysis.)