4
$\begingroup$

This question was asked incorrectly originally in such a way that it probably made no sense. Fixed version:

I know that $L_{p}[0,1]$ has $\ell_{2}$ as a complemented subspace, and I'm wondering if this can be generalized to include $\ell_{q}$ for other values of $q\neq 2$.

However, the only natural way I can think of to embed the space is by taking coefficients of sequences in $\ell_{p}$ and using them as coefficients of the standard Haar Schauder basis of $L_{p}$. To guarantee that the map is well-defined, I can use the usual trick of multiply by increasing powers of $2^{-1}$.

To clarify the map: For $x\in\ell_{p}$, take $T(x) = \sum\limits_{n=1}^{\infty}2^{-n}x_{n}f_{n}$, where $f_{n}$ is taken to be any normalized Schauder basis of $L_{p}[0,1]$.

I'm sure that this can't be correct though, as any textbook I've read usually devotes heavy theorem crunching (including Khintchine's inequality) just to verify the initial comment.

  • 1
    This may be of interest. From Albiac/Kalton, Theorem 6.4.19: 1) For $1\le p\le 2$, $\ell_q$ embeds in $L_p$ iff $p\le q\le 2$. 2) For 2, $\ell_q$ embeds in $L_p$ iff $q=2$ or $q=p$. $M$oreover, if $\ell_q$ embeds in $L_p$ then it embeds isometrically.2012-04-13

0 Answers 0