ScalingStacks

Proposition 3.18 . [02KX]

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

Let (fi)i≥1(f_{i})_{i\geq 1} be a sequence of concave functions which converges uniformly to a function ff. Then ff is a concave function and the sequence (fi∨)i≥1(f_{i}^{\vee})_{i\geq 1} converges uniformly to f∨f^{\vee}. In particular, there is some i0≥1i_{0}\geq 1 such that dom⁡(fi)=dom⁡(f){\operatorname{dom}}(f_{i})={\operatorname{dom}}(f) and stab⁡(fi)=stab⁡(f)\operatorname{stab}(f_{i})=\operatorname{stab}(f) for all i≥i0i\geq i_{0}.

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