In geometry, a supporting hyperplane of a set S in Euclidean space R n is a hyperplane that has both of the following two properties:
S is entirely contained in one of the two closed half-spaces bounded by the hyperplane S has at least one boundary-point on the hyperplane.Here, a closed half-space is the half-space that includes the points within the hyperplane.
This theorem states that if S is a convex set in the topological vector space X = R n , and x 0 is a point on the boundary of S , then there exists a supporting hyperplane containing x 0 . If x ∗ ∈ X ∗ ∖ { 0 } ( X ∗ is the dual space of X , x ∗ is a nonzero linear functional) such that x ∗ ( x 0 ) ≥ x ∗ ( x ) for all x ∈ S , then
H = { x ∈ X : x ∗ ( x ) = x ∗ ( x 0 ) } defines a supporting hyperplane.
Conversely, if S is a closed set with nonempty interior such that every point on the boundary has a supporting hyperplane, then S is a convex set.
The hyperplane in the theorem may not be unique, as noticed in the second picture on the right. If the closed set S is not convex, the statement of the theorem is not true at all points on the boundary of S , as illustrated in the third picture on the right.
The supporting hyperplanes of convex sets are also called tac-planes or tac-hyperplanes.
A related result is the separating hyperplane theorem, that every two disjoint convex sets can be separated by a hyperplane.