Corollary 1
Tag 0914, permanent. Cite it as [Bourbaki, Tag 0914].
Integration, chapter V, § 3. Integration of positive measures
— Let be a function defined on , and let be the set of such that is not -negligible. a) If -negligible, then is locally -negligible. b) If is -negligible and is vaguely continuous, then is -negligible. c) If is locally -negligible and locally -almost everywhere, then is locally -negligible.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.