ScalingStacks

Definition 3.42 . [02LQ]

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

Definition 3.42.

Let A:Qℝ→NℝA\colon Q_{\mathbb{R}}\to N_{\mathbb{R}} be an affine map defined as A=H+u0A=H+u_{0} for a linear map HH and a point u0∈Nℝu_{0}\in N_{\mathbb{R}}. Let ff be a concave function on NℝN_{\mathbb{R}} such that dom⁡(f)∩im⁡(A)≠∅{\operatorname{dom}}(f)\cap\operatorname{im}(A)\not=\emptyset and gg a concave function on QℝQ_{\mathbb{R}} such that stab⁡(g)∩im⁡(H∨)≠∅\operatorname{stab}(g)\cap\operatorname{im}(H^{\vee})\not=\emptyset. Then the inverse image of ff by AA is defined as

A∗​f:Qℝ⟶ℝ,v⟼f∘A⁡(v),A^{\ast}f\colon Q_{\mathbb{R}}\longrightarrow\mathbb{R},\quad v\longmapsto f\circ A(v),

and the direct image of gg by AA is defined as

A∗​g:Nℝ⟶ℝ,u⟼supv∈A−1​(u)g⁡(v).A_{\ast}g\colon N_{\mathbb{R}}\longrightarrow\mathbb{R},\quad u\longmapsto\sup_{v\in A^{-1}(u)}g(v).

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