# Geometric version of Hahn-Banach theorem

How to prove the following geometric version of Hahn-Banach theorem:

Let $A$ and $B$ be nonempty open disjoint convex subsets of a normed linear space $E$. Then there exist a nonzero $f \in E^*$ and $\alpha \in \mathbb{R}$ such that $A \subset \{x \in E : f(x) > \alpha\}$ and $B \subset \{x \in E : f(x) < \alpha\}$.

Thank you for your help.

• A general hint. To separate $A$ from $B$, we can separate $A - B$ from $\{0\}$. – GEdgar Mar 16 '16 at 11:42

## 1 Answer

A complete proof (with multiple lemmas) is given in

Haïm Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, p. 4-8.

• What happens when the sets are closed, or empty, or non-convex? – Octagonal Monk Jun 23 at 12:48