|
对于任何α∈ [0,1]和F,F∈ MT(F)=T(F)=γ=> T(αF+(1)- α) F)=γ。命题14(Osband 1985)如果是统计函数T:M D→ R是可导的,那么T是凸水平集。Gneiting(2011)表明ES不满足这一必要条件,因此,ESI不可诱导。定理8证明了∧var在M∧中是可导的,因此在这类d分布中也有凸水平集。下面的例子表明,一般来说,∧V aR在更大的一组分布上可能不满足这个条件,因此,这两个分布都不可引出。示例15固定0<ε<和λM<1。考虑人f(x):=∞Xk=1k[k+1,k)(x)+ε1[0,1)+1[1,∞)andF(x):=F(x)+∞Xk=1(-1) kk[k+1,k)(x)。作为函数∧取∧:=ε1(-∞,0)+(F+F)1[0,1)+λM[1,∞). 注意K∈ nf(2k)>∧(2k)和F(2k+1)>∧(2k+1)。此外,对于所有x<0的情况,0=F(x)=F(x)<∧(x)。这意味着∧V aR(F)=∧V aR(F)=0。然而,由于∧(x)=λM<1f或x≥ 1,我们有∧var(F+F)=-1,由此产生凸水平集属性f。通过选择一类特殊的∧给出了凸水平集性质的肯定答案,其条件满足递增分布函数集。引理16如果∧是一个跳跃次数有限的d分段常数,则∧V aR在递增分布函数集上具有凸水平集。证据我们首先观察到,一般来说,对于i=1,T∧(Fi)=γ意味着T∧(αF+(1)- α) F)≥ 每α的γ∈ [0,1]和F,F∈ 为此,我们证明了inf{x:αF(x)+(1)- α) F(x)>∧(x)}≥ γ、 γ=T∧(Fi):=inf{x:Fi(x)>∧(x)}表示i=1,2。注意,通过定义i=1,2的∧(Fi),我们得到了Fi(x)≤ 每x∧(x)≤ γ.
|