Corollary 2
Tag 092L, permanent. Cite it as [Bourbaki, Tag 092L].
Integration, V, p. 43, § 5. Measures defined by numerical densities
Let and be two locally -integrable complex functions. In order that , it is necessary and sufficient that and be equal locally almost everywhere.
One is immediately reduced to showing that implies that locally almost everywhere; but means that the function 1 is locally negligible for the measure . One then applies Corollary 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- § 5. Measures defined by numerical densities
- Scholium, § 5
- Proposition 10, § 5
- Proposition 13, § 5
- Corollary 3, § 5
- Corollary 3, § 5
- Definition 4, § 2
- Proposition 9, § 2
- Corollary 4, § 2
- Theorem 1, § 3