Remark 1
Tag 0934, permanent. Cite it as [Bourbaki, Tag 0934].
Integration, V, p. 50, § 5. Measures defined by numerical densities
Suppose that is a positive measure, that is a -measurable function such that locally -almost everywhere (which implies that is locally -integrable), and that . Prop. 2 shows immediately that ; in other words, the property of the preceding statement characterizes the positive measure .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.