Separating Hyperplanes

We prove the basic separating hyperplane theorem for closed convex sets: if X is closed and convex, and y not in X, then there exists a vector c such that

c'y \leq c'x, for all x in X