|
贝叶斯规则意味着(qLNt/qLτn∧t) t≥0∈ M(P,Gn),并且通过依赖于表示(4.5),过程n将其表示为S的随机积分。因此,停止的过程Sτnhas在(Ohm, 永远的,永远的∈ 因为S是一个特殊的半鞅(Ohm, 根据[J ac85,定理2.5]和Pn~ P、 每n∈ N、 [Jac79,推论7.29]意味着[S,qL/qL]τnis是(Ohm, Gn,ePn),为埃弗林∈ N.然后,作为[HWY92,定理13.12]的结果(尽管其证明延续到d维情况),停止的过程(\'SG)τN=SτN-qL-·hS,qxiF,τnx=L∈ mloc(P,Gn)具有强可预测的表示性质(Ohm, Gn,P),每n∈ N.因为序列{τN}N∈将P-a.s.增加到整数,然后在索赔后面加上[HWY92,引理13.2]。初始放大过滤中的强可预测表示性27附录A。第4.1节解释了F-martingal ESA族的表示结果,我们引入了乘积空间(bOhm,bF,bP),从而建立了P位置4.9的鞅表示结果,它提供了一个同时适用于{(mxt)t族的随机积分表示≥0:x∈ E} F-鞅的可测性依赖于xin,从而确保表示中出现的被积函数具有良好的可测性。如注4.1所述,可以直接证明原空间上同时鞅表示结果的存在性(Ohm, F、 P)。这是以下提议的内容,它允许以依赖更复杂的工具为代价,避免开发第4.3小节。
|