ScalingStacks

Proof. [02L7]

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

Proof.

The collection of non-vertical exposed faces of hypo⁡(f)\operatorname{hypo}(f) forms a convex decomposition in Nℝ×ℝN_{\mathbb{R}}\times\mathbb{R}. Using Proposition 3.26 we obtain that Π⁡(f)\Pi(f) is a convex decomposition of |Π⁡(f)|=dom⁡(∂f)|\Pi(f)|={\operatorname{dom}}(\partial f). ∎

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