|
鉴于此-L(g)是凸的,L是闭的,L(g)的最大化子是唯一的。A、 1.3定理1的证明推导了海林格距离dt的结果,而不是范数|·|λ,T.def CT:=C×T maxnr-2T,2e3’g | g- g'B|∞o鞅M=N- ∧(在(1)中∧是N的补偿器)。在这里,RTI是一个不减损的序列,将在indue课程中定义。用目前的符号,van deGeer(1995)中引理4.1的证明中的最后一个显示表明,^T(g- g) dM公司≥ dT(g,g)+LT(g,g),(A.7),其中LT(g,g):=LT(g)- LT(g)对于任何g,g=gT也是如此。(以上显示仅在gis为真功能时有效,但不要求g∈ L(B)对于某些B.)ByCondition 3,以及不等式LT(gT,g'B)≥ LT(gT)- supg公司∈LLT(g),推导出LT(gT,g)=LT(gT,g'B)+LT(g'B,g)≥ -CT/2+ LT(g’B,g)(A.8)在定义CT时,选择足够大的C。因此,在(A.7)中插入(A.8),推断出thatPr(dT(gT,g)>CT)≤ 公关部^T(g- g) dM公司- LT(g’B,g)≥ dT(g,g)-某些g的CT(A.9)和dT(g,g)>CT∈\'\'L要将术语限定在方括号中,请加上和减去'Tg'BdM,并注意,LT(g'B,g)可以写为'T[(g'B- g) dM+(g'B- g) d∧- (例如B- eg)du]。这意味着^T(g- g) dM公司- LT(g'B,g)=^T[(g- g’B)+(g’B- g) ]dM-^T[(g'B- g) dM+(g'B-g) d∧- (例如B- eg)du]=^T(g- g'B)dM+^T[(g- g'B)d∧- (例如- eg'B)du]≤^T(g- g'B)dM+e2'g^T(g- g'B)d∧使用不等式中的引理4。根据上述计算,以及T(g- g'B)d∧≤T e'g'g- g'B|∞, 推断(A.9)小于Pr^T(g- g'B)dM≥ dT(g,g)-CT-T e3'g'g'B-g级|∞对于某些g,dT(g,g)>Ct∈\'\'L≤ 公关部^T(g- g'B)dM≥ dT(g,g)-对于某些g,CTand dT(g,g)>Ct∈\'\'L,使用CT的定义。
|