Skip to main content
5 of 5
more details

$\ell_1$ and $\ell_\infty$ as complementary subspaces of Banach space

Let $X$ be a Banach space, and let $X'\subset X$ - its subspace. Then the following propositions are true:

  1. $X'$ is closed, $X/X' \cong \ell_1 \Rightarrow X'$ is complementary;
  2. $X' \cong \ell_\infty \Rightarrow X'$ is complementary.

For the second one there is an option to try using Hahn-Banach theorem, as we do the same for proof of finite-dimensional subspaces.

More precisely, we can extend an identity operator $\ell_\infty \rightarrow \ell_\infty$ to the norm-one operator $X \rightarrow \ell_\infty$, but by the definition of complement subspace we should find closed subspace (such subspace is a kernel of extension, as I know, but why does it form a closed subspace?) and moreover show that $\ell_\infty$ is closed.