# Which family of functions is the Lebesgue sigma algebra the initial sigma algebra of?

If $${\{f_i\}}_{i\in I}$$ is a family of Lebesgue measurable functions from $$\mathbb{R}$$ to $$\mathbb{R}$$, then the initial sigma algebra of this family is the sigma algebra generated by all sets of the form $$\{x\in\mathbb{R}:f_i(x). This is always a sub-sigma algebra of the Lebesgue sigma algebra. But my question is, what is the smallest family of Lebesgue measurable functions whose initial sigma algebra is the Lebesgue sigma algebra itself?

Would a finite family suffice, or a countable family, or what?

• $\{f\}$ with $f(x)=x$ for example. Commented Oct 13, 2019 at 22:48
• @amsmath that would be the Borel sigma algebra, not the Lebesgue Commented Oct 13, 2019 at 23:00
• @s.harp Correct. Hmm... Commented Oct 13, 2019 at 23:04
• The extra sets you get from Lebesgue algebra are too crazy for me to think about, I don't think there is going to be a simple answer. Commented Oct 13, 2019 at 23:06
• I don't see why a smallest family should exist. Commented Oct 13, 2019 at 23:29

A $$\sigma$$-algebra generated by $$\kappa$$ sets (for $$\kappa>1$$) has at most $$\kappa^{\aleph_0}$$ elements (see cardinality of the Borel $\sigma$-algebra of a second countable space). It follows that the same is true for functions as long as $$\kappa$$ is infinite: a $$\sigma$$-algebra which is initial for by $$\kappa$$ functions to $$\mathbb{R}$$ (in the sense you describe) has at most $$\kappa^{\aleph_0}$$ elements (since the each function contributes countably many generating sets, namely $$\{x\in\mathbb{R}:f_i(x) for $$a\in\mathbb{Q}$$).
The Lebesgue $$\sigma$$-algebra has $$2^{2^{\aleph_0}}$$ elements, since for instance it contains all subsets of the Cantor set. It follows that it cannot be initial for any family of $$\kappa$$ functions where $$\kappa^{\aleph_0}<2^{2^{\aleph_0}}$$ (in particular, this includes $$\kappa\leq 2^{\aleph_0}$$).
Note that this question is basically the same as asking for a set of generators for $$\mathcal{P}(\mathbb{R})$$ as a $$\sigma$$-algebra, by picking a bijection between $$\mathbb{R}$$ and each uncountable Borel null set.