ScalingStacks

Proposition 3.80 . [02N1]

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

Let Ξ”\Delta be a convex polytope of MℝM_{\mathbb{R}}.

  1. (1)

    The space 𝒫¯​(Ξ”,Nℝ){\overline{\mathscr{P}}}(\Delta,N_{\mathbb{R}}) agrees with the space of all continuous concave functions on Ξ”\Delta.

  2. (2)

    A concave function ff belongs to 𝒫¯​(Nℝ,Ξ”){\overline{\mathscr{P}}}(N_{\mathbb{R}},\Delta) if and only if dom⁑(f)=Nℝ{\operatorname{dom}}(f)=N_{\mathbb{R}} and |fβˆ’Ξ¨Ξ”||f-\Psi_{\Delta}| is bounded.

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