Proposition 16.9.3.1ABAE06071CD The function $d_ S$ defined in definition 16.9.2 is a pseudometric on $\mathrm{PSH}(X,\theta )$.
Proposition 16.9.31ABAE06071CD
Proof. This follows immediately from theorem 17.10.81. $\square$
1ABAE06071CDProposition 16.9.3.1ABAE06071CD The function $d_ S$ defined in definition 16.9.2 is a pseudometric on $\mathrm{PSH}(X,\theta )$.
Proof. This follows immediately from theorem 17.10.81. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.