如果α=0或α=1,则该语句无关紧要。对于0<α<1,我们取ψ]∈ 引理A.5中的Aas,其中α=EQ[ψ*| G]=等式[ψ]| G]。通过(A.20),我们得到EP[ψ*| G]≤ EP[ψ]| G],而通过(A.21)我们得到了相反的不等式,和thusEP[ψ*| G]=EP[ψ]| G]。设g:=ψ]- ψ*. 然后,g≥ N上的0={Д=∞}, 和g·(Д)- c] ()≥ 0 Q-a.s.因此,使用(a.18),我们得出0=EP【g | g】- c] 等式[g | g]=EP[g·N | g]+等式[g·(Д)- c] )| G]≥ 等式【g·(Д】- c] )| G]≥ 因此,ψ*= ψ] Q-a.s.在Д6=c]上,因此P-a.s.在Д6=c上]。α的一般情况∈ [0,1],遵循上述情况。我们跳过了细节。感兴趣的读者可以联系作者。最后,我们给出了条件函数的鲁棒表示(A.3)中关于最大化子的结果AV@R.TheoremA.7。对于任何X∈ L∞(F),AV@Rα(X | G)=ess supnE[-XZ | G]Z∈ F,0≤ Z≤ 1/α,E(Z | G)=1o。(A.22)然后,最大化器Z*在(A.22)的右侧存在,由Z给出*=αX<q±α(X | G)+εX=q±α(X | G), (A.23)式中ε=0,如果P(X=q±α(X | G))=0α-P(X<q±α(X | G))P(X=q±α(X | G)),否则。因此,最大化器Q*在(A.3)的右侧,由DQ给出*/dP=Z*.证据如果α=1,那么QG={P},这个语句是显而易见的。特别是{Z∈ F,0≤Z≤ 1/α,E(Z | G)=1}={Z∈ F,Z=1,P- a、 接下来,假设α∈ (0, 1). 首先,我们注意到(A.22)源自(A.3)和(A.17)。为了证明(A.23),我们首先假设X<0。我们认为~ P,使得deP/dP=X/E[X | G]。