Hahn-Banach Separation Theorem/Normed Vector Space/Real Case/Open Convex Set and Convex Set

Theorem
Let $\struct {X, \norm \cdot}$ be a normed vector space over $\R$.

Let $\struct {X^\ast, \norm \cdot_{X^\ast} }$ be the normed dual space of $\struct {X, \norm \cdot}$. Let $A \subseteq X$ be an open convex set.

Let $B \subseteq X$ be a convex set disjoint from $A$.

Then there exists $f \in X^\ast$ and $c \in \R$ such that:


 * $A \subseteq \set {x \in X : \map f x < c}$

and:


 * $B \subseteq \set {x \in X : \map f x \ge c}$

That is:


 * there exists $f \in X^\ast$ and $c \in \R$ such that $\map f a < c \le \map f b$ for each $a \in A$ and $b \in B$.