1
$\begingroup$

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.

  • 0
    The section is about topological vector space, precisely about locally convex vector space. The text is copied from the book.2011-11-02

0 Answers 0