因此,以下关系成立:[Y,Y]{n}T=[, ]G-([, ]G(最小值)+[, ]G(max))+Op(1)根据我们的假设,我们有以下几点:[, ](平均,K)T=2√NM(1)T- M(3)T+ 2KXk=1Xti∈G0(k)gti+Xti∈G(最小)gti-Xti∈G(最大)gti+Op(√K) (49)[, ]G=2√NM(1)T- M(2)T+ 2nXi=0gti+Op(1)(50)确定以下数量:m(1)T≡√KPKi=1G(min)i- gG(min)im(2)T≡√KPKi=1G(最小)i+1G(最小)im(1)T≡√KPKi=1G(max)i- gG(max)im(2)T≡√KPKi=1G(max)iG(max)i-1(51)与(50)类似[, ]G(最小)=2√Km(1)T- m(2)T+ 2Xti∈G(最小)gti+Op(1)[, ]G(最大)=2√Km(1)T- m(2)T+ 2Xti∈G(max)gti+Op(1)结合引理4和这些结果,样本加权TSRV和理论过程的平均实现方差Z之间的差异是\\hX,Xi(W T SRV,K)T- [Z,Z](平均,K)T=√nKM(2)T- M(3)T+√Km(1)T- m(2)T+m(1)T- m(2)T+ Op√K因此√N\\hX,Xi(W T SRV,K)T- [Z,Z](平均,K)T= 2.M(2)T- M(3)T+ op(1)L-s-→ MN0,TZTgtdt!讨论离散化[Z,Z](avg)T引起的误差项的剩余参数- Zhang等人[2005]附录A.3中的相同技术适用于hZ,ZiTtowhich,由此我们得到定理2的claimof定理1.11.4证明。