1
$\begingroup$

I was hoping someone can point me in the right direction for the proof of this question. I have some idea of whats going on, but I need a little more. Anyway, here is the statement.

We are given that $a$ is an $R$-measurable function on $\Gamma$ and that $b$ is an $S$-measurable function on $\Lambda$. Then we are given $f(x,y)=a(x)b(y)$, and the goal is to prove that $f$ is $R \times S$ measurable.

I'm a little new to this product measure stuff, but I know that to prove that $f$ is $R \times S$ measurable I need to show that $f^{-1}(O) \in R \times S$ for some arbitrary open set $O$ (in the complex numbers). I just don't see how one is able to show that. Do I have to use sections of the sets (or of the functions)?

Thanks!!!

  • 0
    I have the definition of measurability of a function, which is what I gave above. Thats equivalent to showing that any interval's pre-image is open if you are in the Reals, and that the imaginary and complex parts are both measurable, for complex. I really don't know much else about it. Am I missing some key piece of knowledge?2012-12-07

1 Answers 1

1

First, define $F\colon \Gamma\times\Delta\to \Bbb C\times \Bbb C$ by $F(x,y)=(a(x),b(y))$, where $\Bbb C^2$ is endowed with the product $\sigma$-algebra. This a measurable map (as so are the projections with respect to the first and second coordinates).

So what remains to show is that $M\colon \Bbb C\times\Bbb C\to\Bbb C$ defined by $M(z_1,z_2):=z_1z_2$ is Borel-measurable. It's not hard once we notice that continuous functions are Borel-measurable.

  • 0
    But your function take their values in the set of complex numbers, right (I agree they are _defined_ on an arbitrary measure space)?2012-12-07