Question

Is there a difference between $L^p(\mathbb R,\mathfrak B,\beta)$ and $L^p(\mathbb R,\mathfrak L,\lambda)$ ? Here I denoted by $\lambda$ the Lebesgue measure, defined on the Lebesgue $\sigma$-algebra $\mathfrak L$ and by $\beta$ its restriction to the Borel $\sigma$-algebra $\beta$. Does the answer depend on wether I consider equivalence classes of functions or not?

Answer 1

I don't exactly know what the Lebesgue sigma-algebra is, but I presume you mean the extension of - for example - the Borel algebra that gives a complete measure. I know this as Baire algebra, and it has a higher cardinality than the Borel algebra.

The $L^p$ spaces however, constist both of equivalence classes of functions, and in fact the spaces are isomorphic via a natural embedding from the Borel one to the other. The difference is that the equivalence classes are bigger. You get more measurable functions in the $\mathcal{L}^p(\lambda)$ space since the sigma-algebra is bigger, but you factor out those you got more when descending to $L^p(\lambda)$.