如果我们在前一句中用模型不确定性27函数下的指数效用最大化来代替集合,当然也是如此。一个集值函数ψ:V→ 我们说W有解析图,如果图ψ:={(v,W):v∈ 五、 w∈ ψ(v)} V×w是一个解析集。最后,给定一个集P P(V),a集N 对于所有P,V被称为P-polarif P(N)=0∈ P、 类似地,如果一个适当的ty在P极集合外成立,则它被认为是P准肯定的(简称q.s)。可以很容易地验证(v,P(dw))7→ EP[X(v,·)]是连续的,当verX:v×W时→ R是一致连续且有界的。下面的LemAgeneralized对此进行了说明。引理B.1([7,命题7.29/7.46/7.48])。设X:V×P(W)×W→ [-∞, +∞]是Borel/上半解析/普遍可测量的。然后映射V×P(W)→ [-∞, +∞], (v,P)7→ EP[X(v,P,·)]是Borel/上半解析/普遍可测的。证据根据给定的可测性,证明是对[7]中命题7.29/命题7.46/命题7.48的应用。实际上,使用[7]的符号,定义了Borel空间X:=V×P(W)和Y=W,以及Borel/uppe r半解析/通用可测映射f:X×Y→ [-∞, +∞]f(x,y)=f(c,P,w):=x(v,P,w),Borel核q(dy,x)=q(dw,(v,P)):=P(dw)。通过上述位置,映射V×P(W)=X→ [-∞, +∞],(v,P)=x 7→Rf(x,y)q(dy,x)=EP[x(v,P,·)]是Borel/uppe r半解析/普遍可测的。备注B.2。利用分解定理,每个概率P∈ P(V×W)可以写成P=u K、 其中u∈ P(V)和K:V→ P(W)是Borel。事实上,可以以如下方式构造内核K:映射V×P(V×W)→ P(W),(v,P)7→ K(v)是Borel;见【7,提案7.27】。参考文献【1】B.Acciaio、M.Beiglb¨ock、F.Penkner和W.Schachermayer。