# Are proper subspaces of Banach spaces which are isomorphic to the ambient Banach space necessarily complemented?

I had the following little question pop up, but I cannot seem to find any reference to it.

Let $$X$$ be a Banach space and $$E\subseteq X$$ a proper subspace with $$E$$ isomorphic to $$X$$ itself. Is the subspace $$E$$ necessarily complemented in $$X$$?

Composing the isomorphism with the inclusion map is a linear surjection of $$X$$ onto $$E$$, but this map is not necessarily an idempotent on $$X$$. So this map will require some tweaking to become a projection if it is actually the case that such subspaces are always complemented. It is not entirely clear if this can always be done, so the answer might be no in general. Is there an example?

There are some (non-Hilbert space) examples for which the answer is yes. Gowers' solution to the Hyper plane problem  is one, but just because that space is not isomorphic to any of its proper subspaces. Another example is one from  where all subspaces $$E$$ that are isomorphic to $$X$$ are exactly those of finite codimension, and hence are complemented.

 Gowers, W.T., A Solution to Banach's Hyperplane Problem. Bulletin of the London Mathematical Society, Volume 26, Issue 6, November 1994, Pages 523–530.

 Gowers, W. & Maurey, B. Banach spaces with small spaces of operators Math Ann (1997) 307: 543.

which constructs a subspace $$E$$ of $$L_1$$ that is isomorphic (non-isometrically) to $$L_1$$, but which is not complemented inside $$L_1$$.
Some years ago, in discussions with Banach-space theorists, one of them sketched to me how one can bootstrap to get uncomplemented copies of $$\ell_1$$ inside $$\ell_1$$ but I don't recall the details right now.
• For every $1\le p \not= 2 < \infty$ there is an uncomplemented subspace of $\ell_p$ that is isomorphic to $\ell_p$. For $1<p<4/3$ and $p>2$ this is due to H. P. Rosenthal (in different papers; the main thing for the first range is W. Rudin's result that there are $|Lambda$-$4$ sets that are not $\Lambda$-$4+\epsilon$ for any $\epsilon > 0$. For $4/3 < p <2$ the result is due to Bennett, Dor, Goodman, Newman, and myself. As noted above, the case $p=1$ is due to Bourgain and probably he references these other papers. – Bill Johnson Jul 3 at 17:07