Let be a probability space. Let be a stochastic process (so the time domain is ).
Suppose that the stochastic process considered as a map given by is measurable with respect to the product sigma-algebra . Why then does it follow that for fixed , the function is a Borel function?
I'm thinking that the restriction of a measurable function to a measurable set is measurable, but the point set need not be measurable.