Given a probability space $\Omega$ and a countable set $M$ of measurable functions $f\colon \Omega\to \mathbb{R}$, I am looking for conditions on $M$ such that the following holds: For all $\varepsilon>0$, there exists a measurable partition $\Omega_1,\ldots,\Omega_n$ of $\Omega$, such that $$ \sup_{f\in M}\inf_{g\in S(\Omega_1,\ldots,\Omega_n)}\fg\_{L^2(\Omega)}\leq \varepsilon, $$ where $S(\Omega_1,\ldots,\Omega_n)$ denotes the set of step functions (simple functions, piecewise constant functions, $\ldots$) on the partition $\Omega_1,\ldots,\Omega_n$.

$\begingroup$ Well, the wanted conclusion is a necessary and sufficient condition on $M$. It may help to clarify what you are looking for. $\endgroup$– js21Aug 24, 2017 at 9:10
1 Answer
Your condition states precisely that your set is relatively compact in $L^2$. There are many other chracterisationsperhaps most famously the Kolmogorov one which is easy to find with google

$\begingroup$ Up to boundedness of $M$, you are correct. I completely overlooked that. What if we replace $\mathbb{R}$ by a separable Hilbert space $\mathcal{X}$? $\endgroup$ Aug 24, 2017 at 23:44