Corollary
Tag 09NR, permanent. Cite it as [Bourbaki, Tag 09NR].
Integration, chapter IX, § 1. Premeasures and measures on a topological space
A function , with values in a Banach space or in , is negligible if and only if almost everywhere.
One reduces immediately to the case of a positive function. The proof is then identical to that of Th. 1 of Ch. IV, §2, No. 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.