ScalingStacks

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 C⊂NℝC\subset N_{\mathbb{R}} is the concave function ιC\iota_{C} defined as ιC​(u)=0\iota_{C}(u)=0 for u∈Cu\in C and ιC​(u)=−∞\iota_{C}(u)=-\infty for u∉Cu\not\in C. Observe that ιC\iota_{C} is the logarithm of the characteristic function of CC. This function is closed if and only if CC is a closed set.

The support function of a convex set CC is the function

ΨC:Mℝ⟶ℝ,x⟼infu∈C⟨x,u⟩.\Psi_{C}\colon M_{\mathbb{R}}\longrightarrow\mathbb{R},\quad x\longmapsto\inf_{u\in C}\langle x,u\rangle.

It is a closed concave function. A function f:Mℝ→ℝf\colon M_{\mathbb{R}}\to\mathbb{R} is called conical if f⁡(λ​x)=λ​f​(x)f(\lambda x)=\lambda f(x) for all λ≥0\lambda\geq 0. The support function ΨC\Psi_{C} is conical. The converse is also true: all conical closed concave functions are of the form ΨC\Psi_{C} for a closed convex set CC.

We have ιC∨=ΨC\iota_{C}^{\vee}=\Psi_{C} and ΨC∨=cl⁡(ιC)=ιC¯\Psi_{C}^{\vee}={\operatorname{cl}}(\iota_{C})=\iota_{{\overline{C}}}. Thus, the Legendre-Fenchel duality defines a bijective correspondence between indicator functions of closed convex subsets of NℝN_{\mathbb{R}} and closed concave conical functions on MℝM_{\mathbb{R}}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.