|
这意味着存在H′∈ H使得H′j(S′)=Hj(S)。实际上,任何一组集合都可以扩展到一个集合,正如我们接下来解释的,这个集合是满的。基于轨迹的模型。最小-最大价格界限的评估。13J≥ k和h是j-非预期函数,definehi(S′)=(h(S′)如果S′∈ SW(S,k)和i=j,否则,我们接下来证明H是非预期的。让我们∈使Sl=Sland Wl=Wl为所有0≤L≤我和我≤min{M(S),M(S)}。假设第一个i=j。例如,如果S/∈西南(S,k),南(S)≤ k和我≤ 这是一个矛盾。然后,S,S∈ 西南(南,北)。因为h是j-非预期的,所以它遵循Hi(S)=h(S)=h(S)=Hi(S)。最后,情况i6=j很简单,因为Hi(S)=Hi(S)=0。定理4对于一般n-有界市场M=SW×H,其中H是满的,对于SW上定义的给定函数Z,我们有v(S,Z,M)=U(S,Z,M)。(3.9)证明由于定理2,我们只需要证明不等式V(S,Z,M)≤U(S,Z,M)。(3.10)我们在n上进行归纳。对于n=1,对于所有S∈ 我们有M(S)=1。然后,从(2.2)和定义9,V(S,Z,M)=infH∈HsupS∈西南[Z(S)-H(S)(S)-S) ]=U(S,Z,M)。现在让我们假设(3.10)适用于每个n有界离散市场模型,并考虑一个(n+1)有界模型,M=SW×H。修复H∈ H,让我们∈ 使M(S)>1。然后,我们可以应用mma 3,由此得出,cM是一个n有界市场,U(S,Z,M)=U(^S,^Z,cM),其中cM,^Z,^S在定义18中引入(该定义和引理见附录B)。然后,根据归纳假设,U(S,Z,M)=U(^S,^Z,cM)≥V(^S,^Z,cM)=infH′∈HsupS\'∈西南(S,1)[Z(S′)-(n+1)-1.∑i=1H′i(S′)是\'。因此,我们可以假设u(S,Z,M)>-∞, 因此对于S∈西南、南、中、中>-∞. 固定ε>0,则存在HS∈ 这样的话∈西南(S,1)[Z(S′)-(n+1)-1.∑i=1HSi(S′)iS′)<ε+U(S,Z,M)。因此-H(S)S+supS\'∈西南(S,1)[Z(S′)-(n+1)-1.∑i=1HSi(S′)iS′)<ε-H(S)S+U(S,Z,M)。
|