Proposition 3.26 . [02L4]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proposition 3.26.
Let be a closed concave function on . For a subset , the following conditions are equivalent:
- (1)
;
- (2)
for a ;
- (3)
there exist and such that the set is an exposed face of the hypograph of .
In particular, the correspondence
is a bijection between and the set of non-vertical exposed faces of .