How can I show that $f(x-y)g(y)$ is measurable on $\mathbb{R}^{2n}$ if $f,g$ are measurable on $\mathbb{R}^n$?
Measurable function
2
$\begingroup$
measure-theory
2 Answers
4
Answer: by writing this function as a composition of functions known to be measurable. For instance, you could first explain why the functions $(x,y)\mapsto x-y$ and $(x,y)\mapsto (x-y,y)$ and $(x,y)\mapsto (f(x),g(y))$ are all measurable. (And the tag (homework) would seem mandatory here.)
-
0Right, that's why I am confused. Now, I think that the everything is clear now. Thank you. – 2011-04-12
1
The standard argument seems to be the following. There exist Borel measurable functions $f_0$ and $g_0$ such that $f(x)=f_0(x)$, $g(x)=g_0(x)$ almost everywhere. Now prove that $f_0(x-y)g_0(y)$ is Borel measurable and $f(x-y)g(y)=f_0(x-y)g_0(y)$ for almost all $(x,y)\in\mathbb{R}^{2n}$. See for instance theorem 7.14 in W. Rudin's Real & Complex Analysis.