Cardinality of Lebesgue measurable functions under a.e.-identification

381 Views Asked by At

Does anyone know the cardinality of $$ \{f\colon \mathbb{R}\to\mathbb{R} \text{ Lebesgue measurable}\}/\sim $$ where $$ f\sim g\Leftrightarrow \text{f=g Lebesgue a.e.}? $$

1

There are 1 best solutions below

5
On BEST ANSWER

Yes: it's $2^{\aleph_0}$. A Lebesgue-measurable function is a.e. identical to a Borel-measurable function. The set of Borel-measurable functions has cardinality $2^{\aleph_0}$. Of course, since all constants are Lebesgue-measurable, there are at least $2^{\aleph_0}$ pairwise non-almost-everywhere-identical measurable functions.