ScalingStacks

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 ff be a closed concave function on NℝN_{\mathbb{R}}. For a subset C⊂NℝC\subset N_{\mathbb{R}}, the following conditions are equivalent:

  1. (1)

    C∈Π⁡(f)C\in\Pi(f);

  2. (2)

    C={u∈Nℝ∣x∈∂f⁡(u)}C=\{u\in N_{\mathbb{R}}\mid x\in\partial f(u)\} for a x∈Mℝx\in M_{\mathbb{R}};

  3. (3)

    there exist xC∈Mℝx_{C}\in M_{\mathbb{R}} and λC∈ℝ\lambda_{C}\in\mathbb{R} such that the set {(u,⟨xC,u⟩−λC)∣u∈C}\{(u,\langle x_{C},u\rangle-\lambda_{C})\mid u\in C\} is an exposed face of the hypograph of ff.

In particular, the correspondence

Cx↦{(u,⟨x,u⟩−f∨​(x))∣u∈Cx}C_{x}\mapsto\{(u,\langle x,u\rangle-f^{\vee}(x))\mid u\in C_{x}\}

is a bijection between Π⁡(f)\Pi(f) and the set of non-vertical exposed faces of hypo⁡(f)\operatorname{hypo}(f).

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