,gN)至r∈ [0,1]:T∞N、 h类gN公司:=N- 1NXk=1;k6=hT∞[gk],(77),其中T∞在(74)中定义(作为标量值函数的映射),每个gNhis在(Wh,Lh,u(Lh))的支持下是一个[0,1]-valuedfunction。基于此T∞N、 h,我们还定义了一个N维alvector映射:T∞[gN]:=(T∞N、 1个gN公司, . . . , T∞N、 N个gN公司).我们还写了‘∏N=(’π,…,’π),其中每个元素的N维向量都是‘π’。那么,因为∏是T的固定点∞(即,’π=T∞[π]),它显然认为πN=T∞[°πN]=(T∞N、 1[(R)πN],T∞N、 N[(R)πN])。(78)现在,由于ψN=(ψ,…,ψN)解函数方程:(ψ(W,L,u(L)),ψN(WN,LN,u(LN))=TNψN. (79)其中tn将N维向量值函数映射为N维随机向量。给定(78)和(79),我们可以看到ψh(Wh,Lh,u(Lh))- (R)π=TN,hψN- T∞N、 每个h的h[(R)π]。因此,通过三角不等式和T的收缩性质∞, 我们有| |ψh(Wh,Lh,u(Lh))- π| | L≤ ||TN,hψN- T∞N、 h[ψN]| | L+| T∞N、 h[ψN]- T∞N、 h[(R)πN]|对于任何h.(80),通过定义T∞N、 hin(77)以及πN=(π,…,π)的第二项,主边上的第二项以T∞N、 h[ψN]- T∞N、 h[(R)πN]=N- 1NXk=1;k6=hT∞[ψk]- T∞[π]≤ 最大值1≤h类≤N | T∞[ψh]- T∞[π]|≤ ρmax1≤h类≤N | |ψh(Wh,Lh,u(Lh))- π| | L,其中最后一个不等式来自T上的收缩条件∞. 因此,这个束缚和(80)导致tomax1≤h类≤N | |ψh(Wh,Lh,u(Lh))- \'\'π| | L1≤1.-ρmax1≤h类≤N | | TN,hψN- T∞N、 h[ψN]| | L1。因此,如果它保持max1≤h类≤Nsup | | TN,h【gN】- T∞N、 h【gN】| | L≤\'Cλ-τ/2N,(81)对于某些常数'C∈ (0, ∞) 与N无关,当e的上确界接管任何(borelmeasureable)函数时,gN:[0,1]N→ [0,1]N,则所需的r esult(76)保持为\'Cρ=1-ρ′C.证明(81)。