Definition 16.3.39.B791A3D8205D Given $\varphi \in \mathrm{PSH}(X,\theta )$ and a function $f\colon X\to [-\infty ,\infty ]$, we define
\[ P_\theta [\varphi ](f)\coloneqq \operatorname *{sup}_{}{}\! {}^{*}\bigl \{ \eta \in \mathrm{PSH}(X,\theta ): \eta \leq f\textup{ quasi-everywhere},\ \eta \preceq \varphi \bigr \} . \]
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.