Jump to content

Extreme set

From Wikipedia, the free encyclopedia
The two distinguished points are examples of extreme points of a convex set that are not exposed points. Therefore, not every convex face of a convex set is an exposed face.

In mathematics, most commonly in convex geometry, an extreme set or face of a set C⊆V in a vector space V is a subset F⊆C with the property that if for any two points x,y∈C some in-between point z=θx+(1−θ)y,θ∈[0,1] lies in F, then we must have had x,y∈F.[1]

An extreme point of C is a point p∈C for which {p} is a face.[1]

An exposed face of C is the subset of points of C where a linear functional achieves its minimum on C. Thus, if f is a linear functional on V and α=inf⁡{f(c) :c∈C}>−∞, then {c∈C :f(c)=α} is an exposed face of C. {c∈V :f(c)=α} is called a supporting hyperplane of C.

An exposed point of C is a point p∈C such that {p} is an exposed face. That is, f(p)>f(c) for all c∈C∖{p}.

An exposed face is a face, but the converse is not true (see the figure). An exposed face of C is convex if C is convex. If F is a face of C⊆V, then E⊆F is a face of F if and only if E is a face of C.

Competing definitions

[edit]

Some authors do not include C and/or ∅ among the (exposed) faces. Some authors require F and/or C to be convex (else the boundary of a disc is a face of the disc, as well as any subset of the boundary) or closed. Some authors require the functional f to be continuous in a given vector topology.

See also

[edit]

References

[edit]
  1. 1 2 Narici & Beckenstein 2011, pp. 275–339.

Bibliography

[edit]
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
[edit]