On s-additive robust representation of convex risk measures for unbounded financial positions in the presence of uncertainty about the market model



Now let condition (2.2) be valid, and let us assume that ρ satisfies the nonsequential Fatou property. Using Dirac
measures δ
ω Ω), we may define for any J F' a mapping XJ Rω via XJ(ω) := J(R δω). Each XJ is
bounded because
|XJ(ω)| ≤ ∣∣J∣∣ holds for every ω Ω. Furthermore for any J F' there exists a uniformly
bounded net (X
i)iI in Xb such that (e(Xi))iI converges to J w.r.t. σ(F', F). In particular XJ is the pointwise
limit of (X
i)iI, which means that it belongs to Xb due to (2.2). Hence the mapping ρ : F' R, J ρ(XJ) is
well defined with ρ(e(X )) = ρ(X) for X
Xb.

For every r > 0 and any net (Ji)iI in ρ-1(] — ∞, 0]) rB^, we may select by Banach-Alaoglu theorem a subnet
(J
i(k))kK and some J rBF/ such that (Ji(k))kK converges to J w.r.t. σ(F', F). Then (XJi(k) )kK is a uniformly
bounded net in
Xb which converges pointwise to XJ. Since ρ fulfills the nonsequential Fatou property, we obtain

P(J) = P(XJ) liminf ρ(XJi(k) ) = liminf ρ(Jiw) 0.
k         ()       k

Thus the sets ρ-1(] — ∞, 0]) rBp, (r > 0) are σ(F', F)-compact, which means that ρ-1(] — ∞, 0]) is closed w.r.t.
σ(F
',F) by Krein-Smulian theorem. Now it is easy to check that ρ-1(] — ∞, 0]) Xb is closed w.r.t. σ(Xb,F),
which implies that all level sets ρ
-1 (] — ∞, c]) Xb (c R) are σ(Xb, F)closed due to the translation invariance
of ρ. This shows statement .2, drawing on Propositions 1.2, 6.6 and Lemma 6.5. As a further consequence we have
equivalence of the statements .1 - .3 under (2.1), (2.2) in view of Lemma 2.1.

If we strengthen condition (2.2) by the assumption that the sets Ar from (2.1) are compact w.r.t. σ(X, F), it
remains to show the implication .2
.1. Indeed statement .2 implies that ρ is lower semicontinuous w.r.t. the weak
topology σ(
X, F) by Propositions 1.2. Furthermore for any uniformly bounded net (Xi)iI in Xb with pointwise
limit X
Xb we may suppose without loss of generality that (Xi)iI is a net in some Ar due to translation
invariance of ρ. Then, drawing on relative σ(
X, F)compactness of Ar , the mapping X is the σ(X, F)limit of
(X
i)iI. This implies liminf ρ(Xi) ρ(X), and completes the proof.                                          H

i

Proof of Remark 2.4:

Let ^ denote the evaluation mapping from Xb into the topological dual F' of F w.r.t. the norm of total variation.

It is isometric w.r.t. the sup norm ∣∣ ∙ ∣∣∞ and the operator norm ∣∣ ∙ ∣∣. Then the if part is obvious in view of
Banach-Alaoglu theorem. Conversely, translation invariance and relative σ(
X, F)compactness of the sets Ar
imply the σ(F',F)compactness of the sets ^(Xb) rBF/ (r > 0), where Bf/ denotes the unit ball w.r.t. ∣∣ ∙ ∣∣.
This means that ^(Xb) is closed w.r.t. σ(F',F) due to the Krein-Smulian theorem, and then e(X) = F' because
Xb separates points in F, and thus ^(Xb) is dense w.r.t. σ(F',F). The proof is finished.                         H

24



More intriguing information

1. The name is absent
2. Feature type effects in semantic memory: An event related potentials study
3. The name is absent
4. CURRENT CHALLENGES FOR AGRICULTURAL POLICY
5. The name is absent
6. The Role of Evidence in Establishing Trust in Repositories
7. The name is absent
8. Sector Switching: An Unexplored Dimension of Firm Dynamics in Developing Countries
9. The purpose of this paper is to report on the 2008 inaugural Equal Opportunities Conference held at the University of East Anglia, Norwich
10. The name is absent