Exposed point 2026-10-18
An exposed point is a point uniquely selected by maximizing a linear functional. In , a point of a convex set is exposed if some vector satisfiesGeometrically, a supporting hyperplane touches the convex set only at . Every exposed point is an extreme point: a convex combination that attains the maximum can put positive weight only on maximizers, and there is only one.[ref]
Convex geometry (BME course BMETE94AM22). §6, Definition 6.2 and Proposition 6.7, printed pp. 36–37: exposed points and their inclusion among extremal points
The unit disk calculation in extreme point exposes every point of the unit circle. For a corner of the square, exposes it: attains two only at . However, maximizing exposes no single point on the right edge, since all of them have the same objective value. A linear functional may have several optimal points, even when some of them are extreme.
Extreme point that is not an exposed point 2026-10-18
The distinction appears at a smooth join between a straight segment and a curved boundary. Consider the convex hullThe upper tangent from meets the unit circle at . The supporting line isEvery point of the unit disk has , with equality only at . Hence the convex face of where equality holds is exactly the line segment .
An extreme point can fail to be an exposed point
. Original analytic convex hull of the unit disk and . The tangent contact is extreme, but its only supporting line contains the entire line segment . A different marked point on the curved arc is exposed by its own tangent line. Details.The point is extreme. If a nontrivial convex combination of two points of equals , both must belong to the convex face . Since is an endpoint of that line segment, both must equal .
Yet is not exposed. A nonzero linear functional maximizing at on must also maximize there on the included unit disk. Its vector must be a positive multiple of , by the equality condition in the Cauchy-Schwarz inequality. It then gives the same value as . No linear functional can select alone. Being an extreme point is a property of possible mixtures; being an exposed point adds the ability to distinguish it by one linear objective.
