Proposition 2.15 . [019E] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Proposition 2.15 .
[ BFJ11 , Proposition 8.1]
(i)
P θ P_{\theta} is non-decreasing: f ≤ g ⇒ P θ ( f ) ≤ P θ ( g ) f\leq g\Rightarrow P_{\theta}(f)\leq P_{\theta}(g) .
(ii)
P θ ( f ) P_{\theta}(f) is concave in both arguments:
P t θ + ( 1 − t ) θ ′ ( t f + ( 1 − t ) g ) ≥ t P θ ( f ) + ( 1 − t ) P θ ′ ( g ) P_{t\theta+(1-t)\theta^{\prime}}\left(tf+(1-t)g\right)\geq tP_{\theta}(f)+(1-t)P_{\theta^{\prime}}(g)
for 0 ≤ t ≤ 1 0\leq t\leq 1 .
(iii)
For each c ∈ 𝐑 c\in\mathbf{R} we have P θ ( f + c ) = P θ ( f ) + c P_{\theta}(f+c)=P_{\theta}(f)+c .
(iv)
P θ P_{\theta} is 1 1 -Lipschitz continuous, i.e. sup X | P θ ( f ) − P θ ( g ) | ≤ sup X | f − g | \sup_{X}|P_{\theta}(f)-P_{\theta}(g)|\leq\sup_{X}|f-g| .
(v)
Given a bounded function f f and a convergent sequence θ m → θ \theta_{m}\to\theta in N 1 ( 𝒳 / S ) N^{1}(\mathcal{X}/S) we have P θ m ( f ) → P θ ( f ) P_{\theta_{m}}(f)\to P_{\theta}(f) uniformly on X X .