Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The motivation is simple, as it is trivially right when $p=2$. When considering the duality between $L^p$ ($l^p$) and $L^q$ ($l^q$) when $p$ and $q$ are conjugate in the sense that $1/p+1/q=1$, I wonder if $L^p$ and $l^p$ are the same in the sense of isometry. I tried to use the situation when $p=2$, however I find it difficult to give a linear homeomorphism.

share|improve this question
    
No, they are not. Except $p=\infty$, not even isomorphic. –  Gerald Edgar Nov 17 '12 at 13:52
    
Can you give me a little more details? –  yizhongxunhuan Nov 17 '12 at 15:28
add comment

2 Answers 2

up vote 28 down vote accepted

Variants of this question show up often enough here on MO and over at math.SE that it seems worthwhile to collect some facts and links. I say isomorphic for linearly homeomorphic and isometric for isometrically isomorphic.

One main upshot is:

The family of Banach spaces $L^p, \ell^q$ for $1 \leq p, q \leq \infty$ consists of pairwise non-isomorphic spaces, except for two cases:

  1. There is the obvious isometry between $L^2$ and $\ell^2$ and
  2. There is a non-obvious isomorphism between $L^\infty$ and $\ell^\infty$, due to Pełczyński. However, $L^\infty$ and $\ell^\infty$ are not isometric.

Plenty of references can be found in the following threads on MO and math.SE:

  1. Bill Johnson explains in $L^p$ vs. $L^q$ how one can tell these spaces apart for $1 \lt p \neq q \lt \infty$ using type and cotype considerations, and in the comments there is also some discussion of existence of embeddings.

  2. A detailed explanation of the non-existence of an isomorphism between the spaces $L^p$ and $\ell^q$ for $1 \leq p,q \lt \infty$ (modulo Bill Johnson's answer in 1.) is in the answer to If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic. The main ingredient in that answer is Pitt's theorem stating that every operator $\ell^q \to \ell^p$ is compact for $1 \leq p \lt q \lt \infty$, the existence of an embedding $L^2 \to L^p$ plus a little bit of duality theory. See also

  3. Pełczyński's isomorphism between $L^\infty$ and $\ell^\infty$ is discussed in Is there an explicit isomorphism between $L^\infty[0,1]$ and $\ell^\infty$? and non-existence of an isometry is discussed in Isometry between $L^\infty$ and $\ell^\infty$.

Let me finish by recommending the very nice book by Albiac and Kalton, Topics in Banach Space Theory, as an alternative to Lindenstrauss-Tzafriri. It contains a gentle introduction to the above ideas and much more.


Edit: Further links to related topics:

share|improve this answer
add comment

The standard way to do this is to use the fact that infinite dimensional complemented subspaces of $\ell^p$ are isomorphic to the space itself whereas $L^p$ has a complemented subspace which is isomorphic to Hilbert space (essentially the Khintchine inequality). Probably the most accessible reference is the standard monograph of Lindenstrauss and Tzafriri on classical Banach spaces. The $\infty$ case is a bit more subtle.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.