Lemma 8.2.10.A1FFEE061CF5 If bounded admissible $u,v$ satisfy $u\leq v$ almost everywhere with respect to $\omega ^ n$, then $u\leq v$ everywhere.
Lemma 8.2.10A1FFEE061CF5
Proof. By 8.2.9, $w=\max \{ u,v\} $ is bounded admissible with its indicated canonical representative. Since $w=v$ almost everywhere, they represent the same distribution. The canonical subharmonic representative used in (8.2.2) is determined by that distribution. Thus $w=v$ pointwise, which is the assertion. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.