3

We know that every Hilbert space is unitarily equivalent to $\ell^2(S)$, for a set $S$ of suitable cardinality.

Is there a Banach space which is NOT isomorphic to $L^p(X)$, for any $1\leq p \leq \infty$, and any measure space $X$?

1 Answers1

4

Note the following three facts

So $c_0$ is not isomorphic to $L_p(X)$ for any measure space $X$ and $1< p\leq\infty$. It is remains to handle the case $p=1$.

Note another two facts

  • $c_0^*=\ell_1$, and $\ell_1$ is infinite dimensional and separable

  • $L_1(X)^*=L_\infty(X)$ and $L_\infty(X)$ is infinite dimensional and nonseparable.

Thus duals of $c_0$ and $L_1(X)$ can't be isomorphic, and a fortiori neither does $c_0$ and $L_1(X)$.

P.S.

Almost always there is no simple way to show that two Banach spaces are not isomorphic. Deal with it.

Norbert
  • 58,398
  • thank you! that was very instructive. Now, of course, another question comes to mind: can you embed every Banach space in a $L^p$ space? Maybe I'll post it as a separate question. –  Aug 01 '14 at 16:28
  • @Amudhan it should be a separate question and I think the answer is no for $1\leq p<\infty$ and yes for $p=\infty$. – Norbert Aug 01 '14 at 17:02
  • Unless I'm mistaken, your link only shows $c_0$ is not isometrically isomorphic to a dual space. (Of course, it is true that $c_0$ is not isomorphic to a dual space.) – David Mitra Aug 02 '14 at 00:05
  • @DavidMitra, thank you! I'll fix it – Norbert Aug 02 '14 at 04:20