1
$\begingroup$

I know that in general, $L^{\infty}$($E$) is not separable, like for example, if $E$ = [$a$,$b$]. But wouldn't $L^{\infty}$($E$) be separable if $E$ = $\mathbb{Q}$, i.e. the set of rational numbers? Wait a second, I actually think maybe it could be separable if $E$ = $\mathbb{R}$, the set of real numbers, since the rationals are a dense subset of $\mathbb{R}$. Correct me if I'm wrong. How can I show that $L^{\infty}$($E$) is not separable if $E$ contains a nondegenerate interval? Wouldn't that just follow from the fact that $L^{\infty}$[$a$,$b$] is not separable?

  • 8
    Well, for Lebesgue measure, $L^{\infty}(\mathbb{Q}) = 0$ is very separable :)2011-04-18

1 Answers 1

5

$L^\infty$ is effectively never separable. Indeed, for any measure space $(X,\mu)$, $L^\infty(X,\mu)$ is either finite dimensional or non-separable, according to whether or not $X$ can be written as a finite union of atoms. I recommend proving this as an exercise.