let $X$ be a normed space over field $\mathbb{C}$,let $E$ be a maximal closed subspace of $X$.prove that there exist a bounded linear functional $f$ on $X$ such that ker$(f)=E$
i know that kernal of any functional $f$ is either closed subspace of $X$ or a dense subspace of $X$. and it is closed subspace if and only if $f$ is bounded.
let $x_0\in X/E$, then $E\subset \overline{E+<x_0>}=X$,since $E$ is maximal closed subspace.
from this can i claim that every vector $x$ in $X$ can be written uniquely as $x=p+\alpha\ x_0,$ where $p\in E,\alpha\in\mathbb{C}$