Paper 4, Section I, F
State the Baire Category Theorem. A set is said to be a -set if it is the intersection of countably many open sets. Show that the set of rationals is not a -set.
[You may assume that the rationals are countable and that is complete.]
Typos? Please submit corrections to this page on GitHub.