No; no necesariamente.
Sea testigo de un espacio de muestra, $(\Omega,\mathcal F) =\big( \{(1,1),(1,2),(2,1)\},\{\emptyset, \{(1,1)\}, \{(1,2),(2,1)\}, \Omega\}\big)$ .
Definimos las variables aleatorias $X:(x,y)\mapsto x$ , $Y:(x,y)\mapsto y, M:(x,y)\mapsto xy$ .
Entonces $M(\omega)=[X\cdot Y] (\omega)$ y $M$ es $\mathcal F$ -medible, pero tampoco $X$ ni $Y$ son.
- $M^{-1}\{1\}= \{(1,1)\}\in \mathcal F\\M^{-1}\{2\}=\{(1,2),(2,1)\}\in \mathcal F$
- $X^{-1}\{1\}= \{(1,1),(1,2)\}\notin \mathcal F\\X^{-1}\{2\}=\{(2,1)\}\notin \mathcal F$
- $Y^{-1}\{1\}= \{(1,1),(2,1)\}\notin \mathcal F\\Y^{-1}\{2\}=\{(1,2)\}\notin \mathcal F$
Así que $M$ ser $\mathcal F$ -medible y $M=X\cdot Y$ es insuficiente para demostrar que $X$ o $Y$ son $\mathcal F$ -Medible.