Separating and supporting hyperplanes

[5/80%]
Show
LaTeX

Let MM be a convex subset of a two-dimensional affine space and a∉M0a \notin M^{0} (see 50.10). Prove that a line can be drawn through the point aa such that the set MM lies on one side of it.

?

Let MM be a convex subset of an nn-dimensional affine space AA and a∉M0a \notin M^{0} (see 50.10). Prove that a hyperplane can be drawn through the point aa such that the set MM 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 MM and NN be disjoint closed convex sets in an affine space AA, one of which is bounded. Prove that there exists an affine linear function ff on AA such that f(x)<0f(x)<0 for all x∈Mx \in M and f(y)>0f(y)>0 for all y∈Ny \in N.

?

Let MM be a compact convex set in an affine space AA, NN a compact convex set in the vector space LL of all affine linear functions on AA, and suppose that for every point a∈Ma \in M there is a function f∈Nf \in N such that f(a)⩾0f(a) \geqslant 0. Prove that there exists a function f0∈Nf_{0} \in N such that f0(x)⩾0f_{0}(x) \geqslant 0 for all x∈Mx \in M.

?

References

[Кос15] Кострикин А.И. Сборник задач по алгебре. МЦНМО, 2015.