Bourbaki

Remark 1

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

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

Suppose that λ\lambda is a positive measure, that vv is a λ\lambda-measurable function such that ∣v∣=1|v| = 1 locally λ\lambda-almost everywhere (which implies that vv is locally λ\lambda-integrable), and that θ=v⋅λ\theta = v \cdot \lambda. Prop. 2 shows immediately that λ=∣θ∣\lambda = |\theta|; in other words, the property of the preceding statement characterizes the positive measure ∣θ∣|\theta|.

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.