Bourbaki

Corollary

Tag 09NR, permanent. Cite it as [Bourbaki, Tag 09NR].

Integration, chapter IX, § 1. Premeasures and measures on a topological space

A function ff, with values in a Banach space or in R‾\overline{\mathbf{R}}, is negligible if and only if f(t)=0f(t) = 0 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.

Cites

Transcribed from the printed volume. Not translated.