Bourbaki

Example

Tag 098F, permanent. Cite it as [Bourbaki, Tag 098F].

Integration, chapter VI, § 1. Integration of vector-valued functions

— Let XX be a locally compact space, t↦λtt \mapsto \lambda_t a mapping of TT into the space M(X)\mathscr{M}(X) of measures on XX. To say that the family t↦λtt \mapsto \lambda_t is μ\mu-adequate means that it consists of positive measures and that the mapping t↦λtt \mapsto \lambda_t is scalarly essentially μ\mu-integrable and μ\mu-measurable for the topology σ(M(X),K(X))\sigma(\mathscr{M}(X), \mathscr{K}(X)).\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 μ\mu-integrable family t↦λtt \mapsto \lambda_t of positive measures is μ\mu-adequate in the sense of the first edition of Chapter V if and only if it is μ\mu-adequate in the sense of the second edition and is vaguely μ\mu-measurable, that is, μ\mu-measurable for σ(M(X),K(X))\sigma(\mathscr{M}(X), \mathscr{K}(X)) (Ch. V, §3, No. 1, Prop 2 b)). The two definitions are equivalent whenever the topology of XX 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 μ\mu is the measure that was denoted ∫λt dμ(t)\int \lambda_t\, d\mu(t) 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.

Cites

Transcribed from the printed volume. Not translated.