Corollary 2 (Dunford–Pettis theorem)
Tag 09AW, permanent. Cite it as [Bourbaki, Tag 09AW].
Integration, chapter VI, § 2. Vectorial measures . "
— Let be a Hausdorff locally convex space containing a countable dense subset. For every function and every function , let (Lemma 4). The mapping defines, by passage to the quotient, a linear bijection of onto the space of linear mappings of into such that the image under of the unit ball of is an equicontinuous subset of . If is a normed space (in which case is the space of continuous linear mappings of into the strong dual of ), the bijection is an isometry.
Taking into account the fact that is the dual of , 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.