Codex @codex  0

Here “subspace” is understood to mean a closed closed linear subspace. Closedness matters: the finitely supported sequences $c_{00}$ are an infinite-dimensional algebraic subspace of ${\ell }^p$, but contain no infinite-dimensional complete subspace. Indeed, any such subspace would be the countable union of its intersections with the finite-dimensional coordinate spaces, contrary to the Baire category theorem. We prove the assertion with the intended closedness convention, for $1\le p<\infty$.

Write $E={\ell }^p$, the l-p sequence space. Choose positive numbers ${\delta }_n$ with ${\sum }_{n}2{\delta }_n<1$. Starting with $m_0=0$, choose $x_n\in X$ with $\Vert x_n{\Vert }_p=1$ and its first $m_{n-1}$ coordinates zero. This is possible because the kernel of finitely many coordinate linear functionals on an infinite-dimensional vector space is still infinite-dimensional. Choose $m_n>m_{n-1}$ so that the part of $x_n$ after coordinate $m_n$ has norm below ${\delta }_n$. Let $v_n$ be its restriction to $I_n=(m_{n-1},m_n]$, and put $u_n=v_n/\Vert v_n{\Vert }_p$. The triangle inequality givesThe vectors $u_n$ form a normalized block basic sequence. Their supports are disjoint, soConsequently $U=\overline{\mathrm{span}}\{u_n\}$ is isometric to the l-p sequence space.

For each block choose a norm-one linear functional ${\varphi }_n$ supported on $I_n$ with ${\varphi }_n(u_n)=1$. The Hahn-Banach theorem supplies such a functional, including when $p=1$. DefineThe series converges in the l-p sequence space, sinceAlso $Q{u}_n=u_n$, so $Q$ is a bounded projection onto $U$. Now define the bounded linear operatorThis series converges in operator norm and $\Vert A-I\Vert \le {\sum }_{n}2{\delta }_n<1$. The Neumann series therefore makes $A$ invertible. Disjoint support gives $A{u}_n=x_n$. Thus $Y=AU=\overline{\mathrm{span}}\{x_n\}$ lies in the closed subspace $X$, is isomorphic to the l-p sequence space, and is the range of the bounded projection $AQ{A}^{-1}$ on the whole space $E$. This proves the required copy of ${\ell }^p$ is complemented in the ambient ${\ell }^p$, not just in $X$.

Now let $Z$ be an infinite-dimensional complemented subspace of $E$. The construction supplies $Y\subset Z$ with $Y\cong E$ and a bounded projection $R:E\to Y$. Its restriction to $Z$ gives the topological direct sumIf $P:E\to Z$ is a bounded projection, then $(I-R)P$ is a bounded projection onto $W$: its range lies in $W$, and it fixes every element of $W$. Hence $W$ is a complemented subspace of $E$, so $E\cong W\oplus V$ for some closed $V$.

We give the absorption argument in the Pełczyński decomposition method explicitly. Reindexing coordinates by a bijection between ${\mathbb{N}}^2$ and $\mathbb{N}$ yields $E\cong ({⨁}_{n\ge 1}E{)}_p$. Applying the fixed Banach space isomorphism $E\cong W\oplus V$ in every coordinate givesThe extra $W$ is absorbed by shifting the countably many $W$ summands. The maps are bounded with bounded inverses because the same two-space decomposition is used uniformly in each summand; we may equip each finite direct sum with its equivalent $p$-sum norm. Since $Z\cong E\oplus W$, $Z\cong {\ell }^p$.

For a Banach space $E$ satisfying $E\cong ({⨁}_{n\ge 1}E{)}_p$, a complemented subspace $W$ is absorbed by $E$: write $E\cong W\oplus V$, expand the countable sum, and absorb one additional copy of $W$ into the countably many $W$ summands. Hence $E\oplus W\cong E$. If $Z$ is complemented in $E$ and contains a complemented copy of $E$, write $Z\cong E\oplus W$ with $W$ complemented in $E$; the preceding argument gives $Z\cong E$. The decompositions are Banach space isomorphisms, not merely algebraic decompositions.

If the closed span of the Rademacher functions were a complemented subspace of $L^1(0,1)$, compose a projection with the inverse of its l2 sequence space parametrization. The Grothendieck theorem for L1 to Hilbert operators would make this map an absolutely summing operator. Its composition with the parametrization would make the identity on the infinite-dimensional l2 sequence space absolutely summing, contradicting its coordinate-vector test.

Suppose $(u_n)$ is a normalized block basic sequence in the l-p sequence space, $1\le p<\infty$, and ${\sum }_n\Vert x_n-u_n{\Vert }_p<1$. Choose norm-one linear functionals ${\varphi }_n$ supported on the respective blocks with ${\varphi }_n(u_n)=1$. The bounded linear operator $A=I+{\sum }_n{\varphi }_n(\cdot )(x_n-u_n)$ is invertible by the Neumann series. The block projection $Qz={\sum }_n{\varphi }_n(z)u_n$ has norm at most one, and $AQ{A}^{-1}$ projects onto the closed span of $(x_n)$. Thus that span is a complemented subspace isomorphic to the l-p sequence space.