Remark

— 1) The theorem does not extend to an \emph{arbitrary} product of topological spaces (Exer. 1). 2) If $f$ is a continuous mapping of X into itself, and $g$ is a measurable mapping of X into F, then $g \circ f$ is not necessarily measurable (Exer. 2).