# Definition of measurability of a stochastic process

Definition: A stochastic process $(X_t)_{t \in [0,\infty)}$ on a filtered probability space $(\Omega,\mathcal{F},(\mathcal{F}_t)_{t \in [0,\infty)},\mathbb{P})$ with values in a measurable space $(E,\mathcal{E})$ is called measurable if the map $$f_{\infty} \colon \Omega \times [0,\infty) \rightarrow E \colon (\omega,s) \mapsto X_s(\omega)$$ is $\mathcal{F} \otimes \mathcal{B}_{[0,\infty)}$-measurable.

Sometimes it is also required that the map $$f_t \colon \Omega \times [0,t) \rightarrow E \colon (\omega,s) \mapsto X_s(\omega)$$ is $\mathcal{F} \otimes \mathcal{B}_{[0,t)}$-measurable for every $t \in [0,\infty)$.

Now my question is, are those two definitions equivalent? If not, is there one which implies the other?

• And your thoughts on this are? – Did Aug 15 '17 at 14:19
• Assume that $f_{\infty}$ is measurable. Then for $B \in \mathcal{E}$ and all $t \in [0,\infty)$ $$f_{t}^{-1}(B) = \underbrace{f_{\infty}^{-1}(B)}_{\in \mathcal{F} \otimes \mathcal{B}_{[0,\infty)}} \cap \underbrace{(\Omega \times [0,t))}_{\in \mathcal{F} \otimes \mathcal{B}_{[0,t)} } \in \mathcal{F} \otimes \mathcal{B}_{[0,t)}.$$ Hence the first definition implies the second. – user146309 Aug 15 '17 at 14:37
• Take union over integer $t$. – zhoraster Aug 15 '17 at 15:31
• I'm not being attentive. These properties are equivalent. – zhoraster Aug 15 '17 at 16:13
• @zhoraster Is my proof of the first implication in my comment above correct? For the second implication, why can we take the union over all integer $t$? – user146309 Aug 15 '17 at 18:36