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 (Xi)i∈I in Xb such that (e(Xi))i∈I converges to J w.r.t. σ(F', F). In particular XJ is the pointwise
limit of (Xi)i∈I, 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)i∈I in ρ-1(] — ∞, 0]) ∩ rB^, we may select by Banach-Alaoglu theorem a subnet
(Ji(k))k∈K and some J ∈ rBF/ such that (Ji(k))k∈K converges to J w.r.t. σ(F', F). Then (XJi(k) )k∈K 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)i∈I in Xb with pointwise
limit X ∈ Xb we may suppose without loss of generality that (Xi)i∈I 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
(Xi)i∈I. 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 purpose of this paper is to report on the 2008 inaugural Equal Opportunities Conference held at the University of East Anglia, Norwich2. Financial Markets and International Risk Sharing
3. Investment and Interest Rate Policy in the Open Economy
4. PROFITABILITY OF ALFALFA HAY STORAGE USING PROBABILITIES: AN EXTENSION APPROACH
5. Fiscal federalism and Fiscal Autonomy: Lessons for the UK from other Industrialised Countries
6. Opciones de política económica en el Perú 2011-2015
7. The name is absent
8. Sectoral specialisation in the EU a macroeconomic perspective
9. The name is absent
10. 101 Proposals to reform the Stability and Growth Pact. Why so many? A Survey