Measurability of function in product space.

109 Views Asked by At

I was wondering. Suppose that $(X,\Sigma_X)$ and $(Y,\Sigma_Y)$ are measure spaces and $f:X\to \Bbb R$ and $g:Y\to \Bbb R$ are measurable. Does this imply that $h:X\times Y\to \Bbb R $ defined $h(x,y)=\min(f(x),g(y)) $ is measurable? Of course $X\times Y$ is equipped with product $\sigma$-algebra $\Sigma_X\otimes\Sigma_Y$ and $\Bbb R$ with the Borel $\sigma$-algebra.

I think to show this we need the measurability of the set $\{(x,y):f(x)\leq g(y)\}$, am I correct?

1

There are 1 best solutions below

1
On BEST ANSWER

I don't quite see where you would need that thing you said. For all $t\in\Bbb R$, $$\{(x,y)\in X\times Y\,:\, h(x,y)\ge t\}=\{x\in X\,:\, f(x)\ge t\} \times\{y\in Y\,:\, g(y)\ge t\}$$

and therefore $h$ is measurable.