Bourbaki

Corollary 2 (Dunford–Pettis theorem)

Tag 09AW, permanent. Cite it as [Bourbaki, Tag 09AW].

Integration, chapter VI, § 2. Vectorial measures . "

— Let FF be a Hausdorff locally convex space containing a countable dense subset. For every function f∈LF′∞f \in \mathscr{L}_{F'}^\infty and every function g∈L1g \in \mathscr{L}^1, let wf(g~)=∫gf dμ∈F′w_f(\tilde{g}) = \int gf\, d\mu \in F' (Lemma 4). The mapping f↦wff \mapsto w_f defines, by passage to the quotient, a linear bijection of LFs∞L_{F_s}^\infty onto the space R(L1,F′)\mathscr{R}(L^1, F') of linear mappings uu of L1L^1 into F′F' such that the image under uu of the unit ball of L1L^1 is an equicontinuous subset of F′F'. If FF is a normed space (in which case R(L1,F′)\mathscr{R}(L^1, F') is the space of continuous linear mappings of L1L^1 into the strong dual of FF), the bijection f↦wff \mapsto w_f is an isometry.

Taking into account the fact that L∞L^\infty is the dual of L1L^1, this follows from the preceding corollary and from the Appendix, No. 1, Prop. 1 and its corollary.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.