## Compacts convergence implies characteristic convergence

Prove that if the sequence converges in the compact sense to and if the boundary of has zero measure, then the sequence converges also in the way of characteristic functions.

**Solution:** Pick a compact set which intersects . Recalling a theorem of Caratheodory which states that the Lebesgue measure comes from an outer measure, or the regularity property of the Lebesgue measure, we can see that we can cover the part of the boundary of which is also in , with a countable collection of open boxes whose union we denote with with sufficiently small measure, let’s say . Then is closed and therefore compact, and can be written as the union of two compacts: and . Since and we have and for suficiently large.

Then , which is in . This means that the considered integral converges to .

Now taking . From the above and , which finishes the proof.