Paper 4, Section I, F
Part II, 2013
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.]