Paper 4, Section I, F

Topics in Analysis | Part II, 2013

State the Baire Category Theorem. A set XRX \subseteq \mathbb{R} is said to be a GδG_{\delta}-set if it is the intersection of countably many open sets. Show that the set Q\mathbb{Q} of rationals is not a GδG_{\delta}-set.

[You may assume that the rationals are countable and that R\mathbb{R} is complete.]

Typos? Please submit corrections to this page on GitHub.