ScalingStacks

Proposition 3.40 . [02LL]

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

Let ff be a concave function on NℝN_{\mathbb{R}}, λ>0\lambda>0, u0∈Nℝu_{0}\in N_{\mathbb{R}} and x0∈Mℝx_{0}\in M_{\mathbb{R}}. Then

  1. (1)

    dom⁡(λ​f)=dom⁡(f){\operatorname{dom}}(\lambda f)={\operatorname{dom}}(f), stab⁡(λ​f)=λ​stab⁡(f)\operatorname{stab}(\lambda f)=\lambda\operatorname{stab}(f) and (λ​f)∨=f∨​λ(\lambda f)^{\vee}=f^{\vee}\lambda;

  2. (2)

    dom⁡(f​λ)=λ​dom⁡(f){\operatorname{dom}}(f\lambda)=\lambda{\operatorname{dom}}(f), stab⁡(f​λ)=stab⁡(f)\operatorname{stab}(f\lambda)=\operatorname{stab}(f) and (f​λ)∨=λ​f∨(f\lambda)^{\vee}=\lambda f^{\vee};

  3. (3)

    dom⁡(τu0​f)=dom⁡(f)+u0{\operatorname{dom}}(\tau_{u_{0}}f)={\operatorname{dom}}(f)+u_{0}, stab⁡(τu0​f)=stab⁡(f)\operatorname{stab}(\tau_{u_{0}}f)=\operatorname{stab}(f) and (τu0​f)∨=f∨+u0(\tau_{u_{0}}f)^{\vee}=f^{\vee}+u_{0};

  4. (4)

    dom⁡(f+x0)=dom⁡(f){\operatorname{dom}}(f+x_{0})={\operatorname{dom}}(f), stab⁡(f+x0)=stab⁡(f)+x0\operatorname{stab}(f+x_{0})=\operatorname{stab}(f)+x_{0} and (f+x0)∨=τx0​f∨(f+x_{0})^{\vee}=\tau_{x_{0}}f^{\vee}.

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