Supporting hyperplane theorem
 | This redirect has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar redirects, in addition to a stub category. |
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.