4.I.2G
(a) State the Baire category theorem, in its closed-sets version.
(b) For every let be a continuous function from to , and let when is rational and 0 otherwise. For each , let
By applying the Baire category theorem, prove that the functions cannot converge pointwise to . (That is, it is not the case that for every .)
Typos? Please submit corrections to this page on GitHub.