Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-4/2g/a/solution

The closed-set form of the Baire category theorem says: if a nonempty complete metric space is a countable union of closed sets, at least one of those sets has nonempty interior. Equivalently, a complete metric space cannot be a countable union of closed sets with empty interiors. In the application the space is with its usual complete metric.

New to topics? Read the docs here!