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?
1 Answer
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)$.
-
$\begingroup$ I thought the Baire algebra was the sigma-algebra generated by the zero sets. $\;$ $\endgroup$– user5810Commented Jan 11, 2012 at 20:39
-
2$\begingroup$ It's not helpful to post solutions to homework assignments on the forum: it just encourages other inappropriate postings $\endgroup$ Commented Jan 11, 2012 at 22:47