Let $(E,\mathcal{E})$ be a measurable space, i.e. $E$ is a set and $\mathcal{E}$ is a $\sigma$-algebra on $E$. We have a collection $\mathcal{H}$ of mappings from $\Omega$ to $E$, and $\mathcal{F}$ is a $\sigma$-algebra on $\Omega$ generated by $\mathcal{H}$, i.e. $\mathcal{F}$ is the smallest $\sigma$-algebra containing the union of all of the inverse images of measurable sets on $E$ under mappings in $\mathcal{H}$, we denote it by
\begin{equation} \mathcal{F}=\sigma\{\bigcup\limits_{f\in\mathcal{H}}f^{-1}(\mathcal{E})\} \end{equation}
Now suppose $\varphi$ to be an arbitrary $\mathcal{F}$-measurable function, I would like to prove that there exists a countable subcollection $\mathcal{H}_0=\{f_1,f_2,\cdots\}$ of $\mathcal{H}$ so that $\varphi$ is $\mathcal{F}_0$-measurable, where $\mathcal{F}_0$ is the $\sigma$-algebra on $\Omega$ generated by $\mathcal{H}_0$.
It seems like this exercise can be solved by the monotone class theorem and the approximation theorem of measurable functions by simple functions.
Any hint or reference would be appreciated.
Consider $\cup_{H_0} \sigma (H_0)$ where the union is taken over all at most countable families $H_0$ contained in $H$. It is very easy to verify that this is a sigma algebra and the it makes each function in $H$ measurable. It follows that it contains $\mathcal F$. This means that whenever $E \in \mathcal F$, $E \in \sigma (H_0)$ for some $H_0$. In other words, $I_E$ is measurable w.r.t. $\sigma (H_0)$ for some $H_0$. It follows that any simple function measurable with respect to $\mathcal F$ is measurable w.r.t. $\sigma (H_0)$ for some $H_0$; now you can go to non-negative measurable functions and finally for all measurable functions. [ You only need the fact that countable union of countable sets is countable to verify these statements].