# A question on measurability in product spaces

Let $(\mathbb{R},\mathcal{B})$ be the real line with its Borel $\sigma$-algebra and $(F,\mathcal{F})$ be an arbitrary measurable space. Let $f:\mathbb{R}\times F\rightarrow \mathbb{R}$ be such that $y\mapsto f(x,y)$ is $\mathcal{F}$-measurable for each $x\in \mathbb{R}$ and that $x\mapsto f(x,y)$ is right-continuous for each $y\in F$. Show that $f$ is measurable with respect to the product $\sigma$-algebra $\mathcal{B}\bigotimes\mathcal{F}$.

-
What is $E$...? – Alon Amit May 21 '11 at 5:42
Sorry, that should be $\mathbb{R}$, the real line. – Hawii May 21 '11 at 5:44
This is not a homework problem, and I am not taking any course now. I'm learning some probability theory from GTM 261 "Probability and Stochastics", and this is an exercise on page 46. I'm interested in knowing the answer because this result is used in the chapter on martingales. I think it has to do with either the countability of rational numbers or constructing a sequence of $\mathcal{B}\otimes\mathcal{F}$-measurable functions converging to the function in question. However, I'm stuck in either way. – Hawii May 21 '11 at 21:25
Hint: The right continuity in the $x$ variable gives $f(x,y)=\lim_n\ f(\lceil n x\rceil/n,y).$ This expresses $f$ as the pointwise limit of ${\cal B}\otimes {\cal F}$ measurable functions.