Example 3.16 . [02KU]
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
Example 3.16.
The indicator function of a convex set is the concave function defined as for and for . Observe that is the logarithm of the characteristic function of . This function is closed if and only if is a closed set.
The support function of a convex set is the function
It is a closed concave function. A function is called conical if for all . The support function is conical. The converse is also true: all conical closed concave functions are of the form for a closed convex set .
We have and . Thus, the Legendre-Fenchel duality defines a bijective correspondence between indicator functions of closed convex subsets of and closed concave conical functions on .