Pome

Corollary 13.13.6177CAD5891555

Corollary 13.13.61.77CAD5891555 Assume that $\mathrm{PSH}(X,\theta )\neq \varnothing $. For any $f\in C^{1,\overline{1}}(X)$, we have

\[ \theta ^ n_{P_\theta (f)} = \mathds {1}_{\{ P_\theta (f)=f\} }\, \theta ^ n_ f. \]

In particular,

\[ \theta _{V_{\theta }}^ n=\mathds {1}_{\{ V_{\theta }=0\} }\, \theta ^ n. \]

Proof. From theorem 13.13.57, we find

\[ \mathds {1}_{\{ P_\theta (f)=f\} }\, \theta ^ n_{P_\theta (f)}=\mathds {1}_{\{ P_\theta (f)=f\} }\, \theta ^ n_ f. \]

By the concentration property theorem 13.13.24, our assertion follows. $\square$

Cite this page

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.