|
因此内耳∈V(Q,wst(Q,w))s(X)wst(Q,V)Tus> -∞ 如果而且只有生命才会影响我们∈V(Q,wst(Q,w))s(X)wst(Q,V)Tus#=E“λess infus∈V(Q,wst(Q,w))s(X)wst(Q,w)Tus#=Eλess infZ∈Rs(X)wst(Q,w)TZ+ess supY∈Aswst(Q,w)TEQ[-Y | Fs]= Eλess infZ∈Rs(X)wTEQ[Z | Ft]+ess supY∈AswTEQ[-Y |英尺].但这意味着λwTmi<Eλess infZ∈Rs(X)wTEQ[Z | Ft]+ess supY∈AswTEQ[-Y |英尺],这是一个矛盾,汤姆∈U∈ Mt|wTu≥ ess infZ∈Rs(X)wTEQ[Z | Ft]+ess supY∈AswTEQ[-Y |英尺].关于包含(D.1)和(D.2)意味着条件超鞅性质的证明的剩余部分类似于引理3.2的证明。对于相反的含义,现在让我们假设有条件的SuperManingalProperty。我们将证明包含性(D.1),通过证明条件超鞅性质意味着时间一致性,从而得到(D.1)。这个证明与引理3.2 sinceRt(X)=\\(Q,w)中的相应证明进行了总体类比∈Wtth情商[-X | Ft]+Γt(w)∩ Mt-.αt(Q,w)i.然后,我们证明了包含(D.2)成立,它遵循与引理3.2相同的逻辑,但使用了A.2节中的标量化结果。让我们简要地总结一下所涉及的步骤。[22,引理3.18]提供了集值动态风险度量作为条件标量化交集的表示,其中可以限制为w∈ recc(Rt(0))+Rt,s(Z)=\\w∈recc(Rt(0))+\\M⊥tnm∈ Mt|wTm≥ ρt,s(Z)o\\W∈recc(Rt(0))+\\M⊥tnm∈ Mt|wTm≥ ρt(Z)o=Rt(Z)=Rt,s(Z)。现在,利用命题A.7和推论A.8中的条件标量化^ρt(Z)和^ρt,s(Z)的对偶表示,我们得到以下结果,因为上面的包含实际上是一个等式。
|