Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question

The product of measurable functions is measurable.

share|cite|improve this answer
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. – John. p Feb 26 '14 at 7:49
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? – John. p Feb 26 '14 at 7:50
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? – John. p Feb 26 '14 at 7:53
They are both measurable on $X \times Y$ with the product $\sigma$-algebra. – Robert Israel Feb 26 '14 at 15:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.