Bourbaki

Exercise 15, § 4

Integration, IV, p. 124

Let μ\mu be a bounded positive measure on a locally compact space XX, and let (An)(A_n) be a sequence of integrable sets in XX such that inf⁡nμ(An)=m>0\inf_n \mu(A_n) = m > 0. Show that the set BB of points of XX that belong to infinitely many of the sets AnA_n is integrable, and that μ(B)⩾m\mu(B) \geqslant m.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.