Supporting hyperplane theorem

Template:Linkless Suppose that C is a closed convex set in R^n and that y is a vector in R^n that is not in C. Then there are a nonzero vector a that exists in R^n and a real number alpha such that

a dot x <= alpha <= a dot y

for all x in C.