Bourbaki

Exercise 10, § 5

Integration, IV, p. 128

Bourbaki marks this one as harder than the rest.

Let FF be a Banach space, ff a measurable mapping of XX into FF, such that the set AA of x∈Xx \in X where f(x)≠0f(x) \neq 0 is a countable union of integrable sets. Show that there exists a sequence (fn)(f_n) of continuous functions with compact support, with values in FF, such that the sequence (fn(x))(f_n(x)) converges to f(x)f(x) almost everywhere in XX (note on the one hand that AA is the union of a negligible set NN and a sequence of pairwise disjoint compact sets KnK_n such that the restriction of ff to each KnK_n is continuous; and on the other hand, that there exists a decreasing sequence (Un)(U_n) of open sets containing AA such that μ(Un∩∁A)\mu(U_n \cap \complement A) tends to 0 as nn tends to infinity).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.