0
$\begingroup$

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?

$\endgroup$
1
  • 1
    $\begingroup$ Sounds like a homework assignment... See FAQ $\endgroup$ Jan 11, 2012 at 20:28

1 Answer 1

2
$\begingroup$

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)$.

$\endgroup$
2
  • $\begingroup$ I thought the Baire algebra was the sigma-algebra generated by the zero sets. $\;$ $\endgroup$
    – user5810
    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$ Jan 11, 2012 at 22:47