Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-16/5/ii/solution

For a Borel set and , inner regularity supplies a compact set with . Independently, outer regularity supplies an open set with . Because and the measure is finite,
This creates an arbitrarily small measurable transition region between a compact inner approximation and an open outer approximation. The cutoff in the next step then approximates , rather than merely approximating the number .

New to topics? Read the docs here!