Example
Tag 098F, permanent. Cite it as [Bourbaki, Tag 098F].
Integration, chapter VI, § 1. Integration of vector-valued functions
— Let be a locally compact space, a mapping of into the space of measures on . To say that the family is -adequate means that it consists of positive measures and that the mapping is scalarly essentially -integrable and -measurable for the topology .\footnote{This is the definition of 'µ-adequate' in the first edition of Chapter 5 (Ch. V, 1st edn., §3, No. 1, Def. 1). In the second edition, of which the preceding chapter is a translation, the term 'µ-adequate' defines a weaker (more general) concept (Ch. V, §3, No. 1, Def. 1); more precisely, a scalarly essentially -integrable family of positive measures is -adequate in the sense of the first edition of Chapter V if and only if it is -adequate in the sense of the second edition and is vaguely -measurable, that is, -measurable for (Ch. V, §3, No. 1, Prop 2 b)). The two definitions are equivalent whenever the topology of has a countable base (ibid. Prop. 2 c)), which is the case for the applications in Chapter VI (§3); consequently for the rest of the chapter, no distinction is made between the two interpretations of 'µ-adequate', and the references to the first edition of Ch. V have been replaced by their nearest equivalent in the second edition.}
integral with respect to is the measure that was denoted in Ch. V, §3, No. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.