|
由于积分表示是点连续的(在一致有界序列上),我们有:EP[u(fn,·)]→ EP[u(f,·)](4.11)现在让a∈ R使a0,1f,调用ε:=EP【u(f,·)】- u(a)>0。当(4.11)时,存在N∈ N使得| EP【u(f,·)】- EP[u(fn,·)]|<ε三角不等式意味着u(a)<EP[u(fn,·)]n>n,th为a0,1fn。相同的参数适用于0,1f。因此,(C.0)成立,结束了证明。5定理的归纳证明3.6本节完全用于证明本文的主要定理。论直接蕴涵(=>). 我们将进行入职培训。事实上,如果N=1,则定理3.6将简化为命题4.8,这在前面的第4节中得到了验证。假设5.1。[归纳法]我们假设该陈述符合i。特别是,我们可以保证概率πfti和状态依赖性{uk}ik=1的存在,其中uk(x,·)是Ftk可测量、可积、严格递增的x,连续,uk(0,·)=0和Gk-1,kf<==> 英国-1(克)≥ EPi[英国(f)| Ftk-1] Pi-a.s.gk-1,kf<==> 英国-1(克)≤ EPi[英国(f)| Ftk-1] Pi-a.s.对于任何k=1,i、 f级∈ L∞(Ohm, Ftk公司-1) ,g∈ L∞(Ohm, Ftk)。在此假设下,我们现在将证明报告可以向前更新到时间ti+1。备注5.2。我们指出N(Fti)={A |B∈ Fti,Pi(B)=0和A B} ,式中,n(Fti)是由关系导出的空集我-1,我,我-(3.5)中的ias。虽然条件偏好不是完全的,但下面的引理(由[7]中的引理3.2启发)表明,局部完备性允许对每两个行为进行可测量的划分,并在其上进行比较。引理5.3。考虑任何g∈ L∞(Fti),f∈ L∞(Fti+1)。
|