Bourbaki

Corollary 1

Tag 092K, permanent. Cite it as [Bourbaki, Tag 092K].

Integration, V, p. 43, § 5. Measures defined by numerical densities

In order that a function f\mathbf{f}, with values in a Banach space or in R‾\overline{\mathbf{R}}, be locally negligible for the measure u⋅θu \cdot \theta, it is necessary and sufficient that ufu \mathbf{f} be locally negligible for θ\theta.

To say that f\mathbf{f} (resp. ufu \mathbf{f}) is locally negligible for u⋅θu \cdot \theta (resp. for θ\theta) is equivalent to saying that ∣f∣|\mathbf{f}| (resp. ∣u∣⋅∣f∣|u| \cdot |\mathbf{f}|) is locally negligible for ∣u⋅θ∣|u \cdot \theta| (resp. for ∣θ∣|\theta|). We are thus reduced, in view of Prop. 2 of No. 2, to the case that f,u,θ\mathbf{f}, u, \theta are positive; the statement then follows at once from Prop. 3.

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

Cited by

Cites

Transcribed from the printed volume. Not translated.