Corollary
Tag 092O, permanent. Cite it as [Bourbaki, Tag 092O].
Integration, V, p. 43, § 5. Measures defined by numerical densities
Let be a function defined on , with values in a Banach space or in . For to be -measurable, it is necessary and sufficient that be -measurable.
For, is the extension by 0 of to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.