Example 16.3.4017FC69E7E25E

Example 16.3.40.17FC69E7E25E When $f=0$, we have $P_\theta [\varphi ](f)=P_{\theta }[\varphi ]$.

When $\varphi =V_{\theta }$, we have $P_\theta [V_{\theta }](f)=P_{\theta }(f)$.

So definition 16.3.39 is a common generalization of definition 16.3.5 and definition 13.13.18.