# How do you prove that $\ell_p$ is not isomorphic to $\ell_q$?

I guess that for all $1\le p,q<\infty$, such that $p\ne q$ , the spaces $\ell_p$ and $\ell_q$ are not isomorphic, but how do you prove this?

-
See the answer here: math.stackexchange.com/questions/97126/… – David Mitra Jan 14 '12 at 19:33
I wrote a proof of the result mentioned by David Mitra: "In fact no infinite dimensional subspace of ℓp isomorphically embeds in ℓq for p≠q, 1≤p,q<∞", in great detail, with no need to mention compact maps. It's in portuguese though -- let me know if you're interested, in that case I could translate it. Or maybe you could give Google Translator a try ... – Rafael Feb 26 '12 at 23:52

To expand on David's comment, since the question he links to is not the same one that you ask: a theorem of Pitt (which is mentioned in the question Linked to) tells us that when $1\leq p < q <\infty$, every bounded linear map from $\ell^q$ to $\ell^p$ is compact. In particular, since the only Banach spaces with compact unit ball are finite-dimensional, there can be no bounded linear bijection between the two spaces.
In fact no infinite dimensional subspace of $\ell_p$ isomorphically embeds in $\ell_q$ for $p\ne q$, $1\le p,q<\infty$. – David Mitra Jan 14 '12 at 19:45