Hahn-Banach theorem (geometric form)

Let $E$ be a locally convex space $A,B\subset E$, two convex, nonempty and disjoint sets. Suppose that $A$ is closed and $B$ is compact. Then there is a hyperplane which strictly separates $A$ and $B$.

Title	Hahn-Banach theorem (geometric form)
Canonical name	HahnBanachTheoremgeometricForm
Date of creation	2013-03-22 15:15:09
Last modified on	2013-03-22 15:15:09
Owner	azdbacks4234 (14155)
Last modified by	azdbacks4234 (14155)
Numerical id	8
Author	azdbacks4234 (14155)
Entry type	Theorem
Classification	msc 46H05
Related topic	HyperplaneSeparation