Notation:
Let $\mathbb K$ be the field $\mathbb R$ or $\mathbb C$. If $E$ is a vector space on $\mathbb C$, let the real space subjacent to $E$ be $E_0$, i.e. the space obtained by restricting the product on $\mathbb C\times E\:\:$ to $\:\:\mathbb R\times E$.
Let $E^*$ be the algebraic dual of $E$ and let E' be the topological dual of $E$.
Questions:
Let $E$ be a vector space over $\mathbb K$. Let $S$ be a closed subspace of $E$. Then there exists f\in (E_0)'\backslash\{0\}, and $\alpha\in\mathbb R$ such that either $S=\{x\in E\mid f(x)\geq \alpha\}$ or $S=\{x\in E\mid f(x)\leq \alpha\}$.
Conversely, if f\in(E_0)'\backslash\{0\} and $\alpha\in\mathbb R$, then the sets $\{x\in E\mid f(x)\geq \alpha\}$ and $S=\{x\in E\mid f(x)\leq \alpha\}$ are closed.
Finally, if $f\in(E_0)^*\backslash\{0\}$ and $\alpha\in\mathbb R$, then the sets $S=\{x\in E\mid f(x)\geq \alpha\}$ and $S=\{x\in E\mid f(x)\leq \alpha\}$ are closed if and only if $f$ is continuous.
Attempt: I am sure this descends from Hahn Banach, however I'm not convinced at how $S$ must be equal to one of that sets pointed above in the first question, and then I am not able to write down a neat solution of the remaining two question, so I'm asking you your help. Thanks in advance.