Exercise 10, § 5
Integration, IV, p. 128
Bourbaki marks this one as harder than the rest.
Let be a Banach space, a measurable mapping of into , such that the set of where is a countable union of integrable sets. Show that there exists a sequence of continuous functions with compact support, with values in , such that the sequence converges to almost everywhere in (note on the one hand that is the union of a negligible set and a sequence of pairwise disjoint compact sets such that the restriction of to each is continuous; and on the other hand, that there exists a decreasing sequence of open sets containing such that tends to 0 as tends to infinity).
Solution
No solution has been written yet.