ScalingStacks

Proof. [02N8]

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.

Statement (1) is obvious. For the statement (2), write fi=gi−hif_{i}=g_{i}-h_{i} with gi,hig_{i},h_{i} in 𝒫⁡(Λ)\mathscr{P}(\Lambda) (respectively, in 𝒫¯​(Λ){\overline{\mathscr{P}}}(\Lambda)). Then the upper envelope admits the DC decomposition maxi⁡{fi}=g−h\max_{i}\{f_{i}\}=g-h with

g:=∑jgj,h:=mini⁡(hi+∑j≠igj),g:=\sum_{j}g_{j},\quad h:=\min_{i}\bigg(h_{i}+\sum_{j\neq i}g_{j}\bigg),

which are both concave functions in 𝒫⁡(Λ)\mathscr{P}(\Lambda) (respectively, in 𝒫¯​(Λ){\overline{\mathscr{P}}}(\Lambda)). This shows that maxi⁡{fi}\max_{i}\{f_{i}\} is in 𝒟⁡(Λ)\mathscr{D}(\Lambda) (respectively, in 𝒟¯​(Λ){\overline{\mathscr{D}}}(\Lambda)). The statement for the lower envelope follows similarly. ∎

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