ScalingStacks

Lemma 3.28 . [02L8]

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

Lemma 3.28.

Let ff be a closed concave function and C∈Π⁡(f)C\in\Pi(f). Then for any u0∈ri⁡(C)u_{0}\in\operatorname{ri}(C),

⋂u∈C∂f⁡(u)=∂f⁡(u0).\bigcap_{u\in C}\partial f(u)=\partial f(u_{0}).

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