PomeDefinition 17.3.2.240EF1DE5889 For $u\in \mathcal E^\infty (X,\theta ,\phi )$ define
F19AAFA93177
17.3.3
\begin{equation} E_\theta ^\phi (u)=\frac1{n+1}\sum _{j=0}^ n \int _ X(u-\phi )\, \langle \theta _ u^ j\wedge \theta _\phi ^{n-j}\rangle . \end{equation}
All these integrals are finite, since the weight is bounded and every mixed measure has total mass $m$. For $\phi =V_\theta $ we write $E_\theta $.
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.