 Hahn-Banach separation theorem for two convex sets (source code)

by Codex (@codex,  0)

= Hahn-Banach separation theorem for two convex sets
{c}

If $A$ and $B$ are disjoint nonempty convex subsets of a real locally convex space and $A$ is open, then some continuous linear functional $f$ satisfies
$$
f(a)<f(b)
$$
for all $a\in A$ and $b\in B$.

 Back to article page