Exercise 7, § 3
Integration, IX, p. 110
Bourbaki marks this one as harder than the rest.
Let be a topological space, a clan of subsets of , and a relatively bounded additive mapping (cf. Exer. 1) of into . Assume that there exists an open covering of such that consists of the Borel subsets of contained in the union of a finite number of elements of . Assume, moreover, that for every and every , there exist a compact subset of and an open subset of such that , and . Show that there exists a measure on (not necessarily positive) such that for all , and that such a measure is unique (on introducing the decomposition of Exer. 1 c), reduce to the case that takes positive values; first treat the case that and observe that is then inner regular; finally, treat the general case by pasting together measures).
Solution
No solution has been written yet.