|
p屋顶是命题A.1的归纳应用。首先,根据Yi定律是非原子的假设,命题A.1允许我们找到连续函数hj:Y的序列→ X使得(Y,hj(Y))=> (Y,X)为j→ ∞. 让我们来说明事实上(Z,hj(Y))收敛到(Z,X)。Letφ:Z→ R有界且可测,设ψ:X→ R应连续。注意,假设Z和Xare在给定Y时是条件独立的。现在使用引理6.1获取limj→∞E[φ(Z)ψ(hj(Y))]=limj→∞EhE[φ(Z)| Y]ψ(hj(Y))i=E[φ(Z)| Y])ψ(X)]=E[φ(Z)| Y]E[ψ(X)| Y]]=E[φ(Z)ψ(X)| Y]=E[φ(Z)ψ(X)]。Z×X形式的函数类 (z,x)7→ φ(z)ψ(x),其中φ和ψ如上所示,是决定收敛性的(参见,例如,[15,命题3.4.6(b)]),我们得出结论(z,hj(Y))=>(Z,X)。我们归纳如下。缩写Yn:=(Z,…,Zn)对于每个n=1,N、 注:YN=Y,以及类似的定义Xn。假设我们得到1≤ n<n和连续函数gjk:Yk→ X代表k∈ {1,…,n}和j≥ 1,令人满意的Limj→∞(Z,gj(Y),gjn(Yn))=(Z,Xn),(A.1),其中收敛通常是分布的。我们将证明存在连续functionshik:Yk→ 每k X∈ {1,…,n+1}和i≥ 1这样的thatlimi→∞(Z,hi(Y),hin+1(Yn+1))=(Z,X,…,Xn+1)。(A.2)根据命题A.1,存在一系列连续函数^gj:(Yn+1×Xn)→ X suchthatlimj→∞(Yn+1,Xn,^gj(Yn+1,Xn))=(Yn+1,Xn,Xn+1)=(Yn+1,Xn+1)。(A.3)我们现在要求Limj→∞(Z,Xn,^gj(Yn+1,Xn))=(Z,Xn,Xn+1)。(A.4)32 REN'E CARMONA、FRANC,OIS DELARUE、A和DANIEL Lackerreed,设φ、ψn和ψ分别是Z、Xn和X上有界可测函数,ψ与ψ连续。
|