ScalingStacks

Proposition 3.19 . [00QT]

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.19.

A continuous function uu on ∂Δλ∨\partial\Delta_{\lambda}^{\vee} satisfies the extension property if and only if for every x∈∂Δλ∨x\in\partial\Delta_{\lambda}^{\vee}, there exists p∈Δp\in\Delta, such that for any y∈∂Δλ∨y\in\partial\Delta_{\lambda}^{\vee},

u⁡(y)≥u⁡(x)+⟨p,y−x⟩.u(y)\geq u(x)+\langle p,y-x\rangle.

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