Separating and supporting hyperplanes
[5/80%]Let be a convex subset of a two-dimensional affine space and (see 50.10). Prove that a line can be drawn through the point such that the set lies on one side of it.
Let be a convex subset of an -dimensional affine space and (see 50.10). Prove that a hyperplane can be drawn through the point such that the set lies on one side of it.
Prove that through any point of a closed convex set not belonging to its open kernel, a supporting hyperplane can be drawn.
Let and be disjoint closed convex sets in an affine space , one of which is bounded. Prove that there exists an affine linear function on such that for all and for all .
Let be a compact convex set in an affine space , a compact convex set in the vector space of all affine linear functions on , and suppose that for every point there is a function such that . Prove that there exists a function such that for all .