2
$\begingroup$

Let $C:\mathbb{R}^n\times\mathbb{R}\rightarrow \mathbb{R}^{n+1}:((x_1,\cdots,x_n),x_{n+1})\mapsto (x_1,\cdots,x_{n+1})$

Let $f:\mathbb{R}^{n+1}\rightarrow [0,\infty]$ be a Lebesgue measurable function.

Let $g:\mathbb{R}\rightarrow [0,\infty]$ be a Lebesgue measurable function.

Now define $F(x,y)=(f\circ C)(x,y)g(y)$, $\forall (x,y)\in \mathbb{R}^n\times\mathbb{R}$

How do i prove that $F\circ C^{-1}:\mathbb{R}^{n+1}\rightarrow [0,\infty]$ is Lebesgue measurable?

$\endgroup$

1 Answer 1

1
$\begingroup$

The product of measurable functions is measurable.

$\endgroup$
4
  • $\begingroup$ I'm the OP. This question is equivalent to this statement "Let $f:(X\times Y,\mathfrak{M}\otimes \Sigma) \rightarrow [0,\infty]$ and $g:(Y,\Sigma)\rightarrow [0,\infty]$ be measurable functions. Then, $H(x,y)=f(x,y)g(y)$ is $\mathfrak{M}\otimes\Sigma$-measurable. $\endgroup$
    – John. p
    Feb 26, 2014 at 7:49
  • $\begingroup$ I don't think this is trivial.. Because they share some variable and don't share some variable.. How do you assure that this is trivial? $\endgroup$
    – John. p
    Feb 26, 2014 at 7:50
  • $\begingroup$ I have proved that "If $f:(X,\mathfrak{M})\rightarrow [0,\infty]$ and $g:(Y,\Sigma)\rightarrow [0,\infty]$ are measurable, then $H(x,y)=f(x)g(y)$ is $\mathfrak{M}\otimes \Sigma$ measurable." I don't see any relation between this theorem and the statement in the above comment. How are they related? $\endgroup$
    – John. p
    Feb 26, 2014 at 7:53
  • $\begingroup$ They are both measurable on $X \times Y$ with the product $\sigma$-algebra. $\endgroup$ Feb 26, 2014 at 15:39

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .