Bourbaki

Corollary 1

Tag 0914, permanent. Cite it as [Bourbaki, Tag 0914].

Integration, chapter V, § 3. Integration of positive measures

— Let ff be a function ≥0\geq 0 defined on XX, and let HH be the set of t∈Tt \in T such that ff is not λt\lambda_t-negligible. a) If ff ν\nu-negligible, then HH is locally μ\mu-negligible. b) If ff is ν\nu-negligible and Λ\Lambda is vaguely continuous, then HH is μ\mu-negligible. c) If ff is locally ν\nu-negligible and λt∙(1)<+∞\lambda_t^\bullet(1) < +\infty locally μ\mu-almost everywhere, then HH is locally μ\mu-negligible.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.