Find a closed subspace $M$ and a non-closed subspace $N$ of a Banach space $\mathbf{B}$ such that $M\oplus N=\mathbf{B}$

206 Views Asked by At

The original question states:

Prove or disprove the following: Let $M,N$ be subspaces of a Banach space $\mathbf{B}$ be such that $M\oplus N = \mathbf{B}$. If $M$ is closed, so is $N$.

The statement is clearly false. For example, $c_0$ is closed but has no closed complement, even though there must exist an $N$ such that $c_0 \oplus N = \ell_\infty$ (That's true in every vector space). $N$ is therefore not closed.

When I talked to my professor about this, he said that he wouldn't accept using the fact that $c_0$ has no complement, as it is not proven in our book and the proof uses advanced tools we don't learn in the course. He also said

You should find a much simpler counterexample. every [Non-finite-dimensional] Banach space has such a counterexample.

However, me and my friends tried finding a counterexample for hours and were unable to. What are we missing?

1

There are 1 best solutions below

1
On

Big hint: If $\lambda$ is an unbounded linear functional on $\bf B$ and $N$ is the nullspace of $\lambda$ then $N$ is not closed, but now if $M=\dots$ then $M$ is closed and ${\bf B}=M\oplus N$.

So you only need to fill in the dots above and then show that if $\bf B$ is infinite-dimensional there exists an unbounded linear functional on $\bf B$ (hint: Hamel basis).