考虑“Sk”(v、A、F)-(R)Sk(v*, A、 F)=1A(k)-\'U2(v,k,F)+U2(v*, k、 F)= 1A(k)EFSα,id(-v(k),∧(Y+k))- Sα,id(-v*(k) ,λ(Y+k))≥ 0,自Sα以来,α分位数的idis一致。如果Sk(v*, A、 F)=∞ 我们完成了。否则,考虑“Sk(v*, A、 F)-(R)Sk(v*, A.*, F)=1A级*\\A(k)-1A\\A*(k)\'U2(v、k、F)≥ 0,其中不等式如下(5.4)。非负性来自于一致性和Sk(TVaRα(δy),RESα(δy),y)=0的事实。(ii)由于第(i)部分的原因,分数S0,π2与(TVaRα,RESα)的Md一致:Md→ RRd×bP(Rd;Rd+)。由于Sα,gz是α-分位数的一致选择评分函数,因此该断言遵循了Fubini定理。(iii)让F∈ Md0,v∈ C(Rd;R),A∈ F(Rd;Rd+)和v*= TVaRα(F),A*= RESα(F)。Ifv 6=v*那么K={K∈ Rd | v(k)6=v*(k) }6= 已打开。如果Sπ1,π2(v,A,F)=∞ 没有什么可展示的。其他情况下,ef[Sπ1,π2(v,A,Y)- Sπ1,π2(v*, A、 Y)]≥ZKEF公司Sα,gk(-v(k),∧(Y+k))- Sα,gk(-v*(k) ,λ(Y+k))π1(dk)+1αZA∩KEF公司Sα,id(-v(k),∧(Y+k))- Sα,id(-v*(k) ,λ(Y+k))π2(dk)>0,其中第一个积分为严格正,第二个积分为非负(且严格正当且仅当π2(A∩ K) >0)。38如果A 6=A*, 然后EF[Sπ1,π2(v*, A、 Y)- Sπ1,π2(v*, A.*, Y)]>0,这与定理3.8(iii)中的证明具有相似的参数。参考Acerbi,C.,&Szekely,B.(2014)。回溯测试预期短缺。风险杂志。恢复fromhttps://www.msci.com/documents/10199/22aa9922-f874-4060-b77a-0f0e267a489bAcerbi,C.,&Szekely,B.(2017)。可回溯测试统计的一般属性。预印本。检索自https://papers.ssrn.com/sol3/papers.cfm?abstractid=2905109Acharya,V.V.,Pedersen,L.H.,Philippon,T.,和Richardson,M.(2016)。测量系统风险。修订版。财务研究。,30 (1), 2–47. 检索自https://doi.org/10.1093/rfs/hhw088Adrian,T.,&Brunnermeier,M.K.(2016)。科瓦尔。是经济。