|
现在进行序列(Xn) LΦ和X∈ LΦ使Xn→ Xa。s、 和| Xn |≤ Y代表一些Y∈ L∞和所有n∈ N、 自Y起∈ LΦ,因此Xno-→ X入口Φ。因此,我们推断ρ| L∞(十)≤ lim信息→∞ρ| L∞(Xn)这表明ρ| L∞具有FatoupProperty。定理1.3的证明。用ρ| L表示∞ρ对L的限制∞. 引理5.5得出ρ| L∞是一个凸的、律不变的、现金加性风险测度,满足Fatou性质。那么,[14,定理4.62]意味着ρ| L∞(十) =supu∈P((0,1))Z(0,1)ESα(X)du(α)- γ(u), 十、∈ L∞,式中γ(u)=supX∈L∞, ρ(X)≤0Z(0,1)ESα(X)du(α),u∈ P((0,1))。现在,定义ρ′:LΦ→ ()-∞, ∞] 通过设置ρ′(X)=supu∈P((0,1))Z(0,1)ESα(X)du(α)- γ(u), 十、∈ LΦ。显然,ρ′是一个凸的、不变律的、现金加性风险度量,满足Fatou性质。此外,由于ρ和ρ′在L上重合∞, 由引理5得出ρ=ρ′。这表明ρ具有所需的表示。定理1.4的证明。根据[13,定理2.2],ρ允许一个pro-per,凸,律不变的扩展ρ到lth,它是范数下半连续的。用ρ′表示ρ对LΦ的限制,并注意ρ′具有Fatou性质。要了解这一点,请考虑一个序列(Xn) LΦ和X∈ LΦ使xn→ X a.s.和| Xn |≤ Y代表一些Y∈ LΦ和所有n≥ 1、自Y起∈ 五十、 支配收敛定理意味着Xnk·k--→ X,因此ρ′(X)≤ lim信息→∞ρ′(Xn)由ρ的范数半连续性决定。引理5.4给出了唯一性。Rem ark 5.6。与bo unded位置的情况不同,如果我们用范数lowersemicontinuity替换Fatou性质或等价的阶下半连续性,则定理3和定理4不再有效。实际上,假设tΦ不是设ρ为(5.1)中构造的相干、定律不变、范数半连续、现金加性风险测度。然后,ρ不接受Kusuoka型表示,因为它会满足Fatou特性。
|