|
通过空值,因为B在C处不为空,那么A∪ B在C处不为null。现在,取B A.∪ B 并使用上面的引理。引理11。如果是C D和C在D处不为null,然后C>D.证据给定常数f和g,使得fSg(非退化),按事件单调性,f因此,Cg根据订单preservinglemma、fCgDgCg=g=fG词典预期效用19引理12。如果是B、C D、 B在D处为空,C在D处不为空,然后C>DB。证据上面的两个引理都暗示了这一点,给定常数作为f和gsuch,fSg(非退化),fCgDf公司G~DfBg。引理13。C 6= 在C.Proof处为非null。通过非退化性和事件单调性,%和%c不同意。引理14。如果A C 6= 在C处为null,则C\\A在C.Proof处为非null。通过上面的null和引理。引理15。如果A B C、 B在C处不为空,a在C处为空,然后a在B处为空。自相矛盾的是,假设A在B处不为n null。通过非退化性和事件单调性,存在常数行为f和g,使得f股份公司。通过保序引理,当A是非空的atB时,fAh对于每个动作h,BgAh。同样,通过保序引理,asB在C,f Ah处是非空的CgAh表示每一个动作h。因此,A不等于C,这是荒谬的。如果在上述引理中,B在C处为空,则A在B处可能为空(例如,A=) 或者A可以是非空的A t B(例如A=B)。定义4(定性概率)。关系≥Abetween事件是6=, 对于B的A、D不相交中包含的事件B、C和D的每三个∪ C≥Ais a弱序,B≥A., A>AandB≥空调<=> B∪ D≥空调∪ D、 定理6。给定C∈ ∑,C 6= , 关系≥(C,{a)上的Cis a质量概率∈ ∑:A C} ).20雨果·克鲁兹·桑切斯证明。(1) 。≥Cis弱首选项是因为%Cis为弱首选项。(2) 。对于每个B C、 常数f和g的作用,使得f%Sg;按事件单调性(B 6=), 或定义为%(B=),f%Bg。
|