ScalingStacks

Definition 2.14 . [019D]

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

Let f:X→[−∞,+∞[f:X\to[-\infty,+\infty[ be any function. We define its θ\theta-psh envelope Pθ​(f)P_{\theta}(f) as follows. If there does not exist any φ∈PSH⁡(X,θ)\varphi\in\PSH(X,\theta) such that φ≤f\varphi\leq f on XX then we set Pθ​(f)≡−∞P_{\theta}(f)\equiv-\infty. Otherwise, we define Pθ​(f)P_{\theta}(f) as the usc upper envelope of the set of all θ\theta-psh functions φ\varphi such that φ≤f\varphi\leq f on XX, i.e. we set

Pθ(f):=(sup{φ∣φ∈PSH(X,ω),φ≤f})∗.P_{\theta}(f):=\left(\sup\left\{\varphi\mid\varphi\in\PSH(X,\omega),\,\varphi\leq f\right\}\right)^{*}.

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