|
为此,我们需要验证φ是连续的,并且满足性质(i)和(ii)。注意:对于任何给定的分割(B,C,H)和相关的股票价格集SB,C,HweaveΦ(s)=LB,Cs+BH,对于所有s∈SB,C,H,其中矩阵LB,Chas正对角元素和非正对角元素。这表明,在SB,C,H的每个集合内,函数φ是连续的,并且具有(i)所要求的单调性。下面所示的φ的全局连续性意味着φ也包含了全局的(i)。我们接下来谈(ii)。我们提出了一个稍微有力的主张,涵盖了这两种情况。固定一些u∈{-1,1}n。对于t>maxi∈[n]Li,我们得到tu∈SB,C,H,B={i∈[n]∈ui=-1},C=é,H={i∈[n]∈ui=1},相关矩阵LB,ci是一个具有正对角项的对角矩阵。因此,Φi(tu)在ui=1时收敛于+∞,在ui=-1时收敛于-∞。为此,我们考虑了Φ在两个分区元素之间的边界上的行为。具体地,我们证明了如果s∈SB,C,HüSB,C,H对于两个分块B,C,Hand B,C,H,则Φ对应的局部定义重合,LB,Cs+BH=LB,Cs+BH。(11)条件s∈SB,C,H≈SB,C,H意味着至少有一家银行i认为该银行的状况处于破产与转换之间或转换与健康之间的界限Si=0或Si=liso。由于这些条件在两个库之间是独立的,所以我们可以给出(11)两个分区对的情况,它们恰好位于一个库中。我们需要考虑两种情况。在第一种情况下,si=0,B=B{i},c=cé{i},h=h.设ii=eitibe是(i,i)中除a1外所有项都为零的矩阵。我们有LB,c=LB,c-miii+mi(i-w)ii=LB,Cs+bH)-(LB,Cs+bH)=miW Iis=simiW ei=0。第二种情况下,si=li,B=B,c=c\\i},h=h=héi}。然后是LB,C=LB,C-MI(I-W)II,以及BH=BH+ci(I-W)EI。因此,我们发现,在这种情况下(LB,Cs+bH)-(LB,Cs+bH)=-MI(I-W)Iis+ci(I-W)EI=(ci-limi)(I-W)EI=0,通过查看例如图1的左面板,可以很容易地看出这一点。为了检查位于集BH和CC的(完备)交点的条件,需要检查BH和CH以及CH和CC的交点的条件,其中结论使用公平性假设Li=CI/MI。命题4的证明:超然性已经在命题3中得到了证明。因此,为了证明双jectivity我们只能证明内射性。我们的证明分两步进行。首先,我们证明了下面的主张:考虑RN中的两个向量s和t,使得s≥t,并且集合I={ISI>ti}是非空的。然后存在一个i∈i,使得Φi(s)>Φi(t),而且对于所有的j/∈i,Φj(s)≤Φj(t)。其次,我们利用这一要求来完成证明。为了证明这一要求,我们考虑j/∈i的情况,从而得到SJ=TJ。根据命题3,函数φ是连续的。此外,在每个分区元素SB,C,Hit中是形式为LB,Cs+bh,其中LB,Chas严格正对角线条目和非正对角条目。因此,对于所有I6=j,Φj(s)是弱递减的,并且由于SJ=TJ,我们有Φj(s)≤Φj(t)。为了完成索赔的证明,我们给出了>Φ(s)>E>Φ(t),即Φ(s)的元素之和严格大于Φ(t)的元素之和。为了了解这一点,我们需要回顾φ的连续性和φ的局部分布,并注意向量E>LB在某些严格的正项下是非负的,因为E>(I-W)≥0。因此,一定存在一个具有Φi(s)>ΦJ(t)的i,并且通过该主张的另一部分,这个i一定位于集合i中。考虑两个向量s和u,其中s6=u。我们需要证明Φ(s)6=Φ(u)。为此,definne t=min(s,u)∈Rn,其中最小值是从入口取的。definne is={isi>ti}和iu={iui>ti}。请注意Isand Iuare是不相交的,并且其中至少有一个是非空的。
|