ScalingStacks

Proof. [02QR]

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.

Since Ψ\Psi is strictly concave on Σ\Sigma, the Legendre-Fenchel correspondence shows that the set of rays of the form τF\tau_{F} agrees with the set Σ1\Sigma^{1}. Moreover, Ψ⁡(vF)=⟨vF,F⟩\Psi(v_{F})=\langle v_{F},F\rangle, because Ψ\Psi is the support function of Δ\Delta. The proposition then follows from (4.25). ∎

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