因此,鉴于(Müller和Stoyan,2002,T heorem 3.4.2),对于每个idn,都存在一个概率空间pOhmi、 Fi,Piq支持随机变量xiand yisuch that xi“QBpuq,yi”QBpuq,and pi“yi | xi‰”xiPi-a.s.让我们定义一下Ohm :“nai”1Ohmi、 F:“n–i”1Fi,P:“n–i”1Pi,并将xind yi扩展到POhm, F、 Pq通过设置xipω。。。,ωnq:“xipωiq,yipω,…,ωnq:”yipωiq。现在,很容易看到,对于可测量的A,BARPpxiP A,xjP Bq“PpxiP AqPpxjP Bq,i“j,PpyiP A,yjP Bq”PpyiP AqPpyjP Bq,i“j,(17)和更多PpxiP A,yjP Bq”PpxiP AqPpyjP Bq,i“j.(18)从(17)中,我们得出以下结论:x:“px,…,xnq"px,…,xnq“:x,y:“py,…,ynq-,ynq“:y。此外,鉴于(18),我们还获得了额外的Lemmaatherefore,x通过应用(Müller和Stoyan,2002,定理3.4.2),我们得到了XdcxY。现在让我们注意以下基本事实:如果f:U尼R是凹的,g:R尼R是凸的且递减的,其中UARn,那么g"f:U尼R是凸的。这一事实的一个应用是hfpz。。。,znq:“n'zi”1zi,n偶数,gpzq:“pK'zq”,凸阶XdcxY产生了这个主张。注意,通过引理A.2 f是凹的。lA.2额外的引理A.1关注二叉树中的一个节点,让X“Q Bpuq”和Y“QBpuq w with u.Let1.u,uěert`?e2r公司 t'1和2。u、 udp'ertk'1q'?每tk\'1q\'4ertk2k“kor u,uěp'ertk“1q”?每tk\'1q\'4ertk2k“ertk,满足。那么,就凸阶而言,随机变量X小于随机变量Y,即XdcxY。证明(Müller和Stoyan,2002,定理1.5.3和定理1.5.7)它支持toshow1。ErXs“ErY s2。ErpX'kq'sdErpY'kq'sSince p如(1)中所示被设置为风险中性概率,它适用于ErXs“er”的任何u因此,满足了第一个条件。