||This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. (October 2011)|
- is entirely contained in one of the two closed half-spaces determined by the hyperplane
- has at least one boundary-point on the hyperplane.
Here, a closed half-space is the half-space that includes the hyperplane.
Supporting hyperplane theorem
This theorem states that if is a convex set in the topological vector space and is a point on the boundary of then there exists a supporting hyperplane containing If ( is the dual space of , is a nonzero linear functional) such that for all , then
defines a supporting hyperplane.
The hyperplane in the theorem may not be unique, as noticed in the second picture on the right. If the closed set is not convex, the statement of the theorem is not true at all points on the boundary of as illustrated in the third picture on the right.
A related result is the separating hyperplane theorem.
- Ostaszewski, Adam (1990). Advanced mathematical methods. Cambridge; New York: Cambridge University Press. p. 129. ISBN 0-521-28964-5.
- Giaquinta, Mariano; Hildebrandt, Stefan (1996). Calculus of variations. Berlin; New York: Springer. p. 57. ISBN 3-540-50625-X.