I’m going to start posting problems more often. If you have anything to add, or perhaps alternative methods of solving them, please leave a comment!
Problem 1.1.37 (Berkeley Problems in Mathematics). Let be the set of continuous real-valued functions on such that is rational whenever is rational. Prove that is uncountable.
Solution. My initial idea here is to find a way of encoding binary sequences as functions of the kind described above. A binary sequence can be viewed as a function , or written out as . We construct a function from such a sequence as follows. For , we let , and then we “connect the dots” to complete the definition of . We define , because this is the only sensible thing to do. It is intuitively clear that the function so obtained is continuous, real-valued, and sends rationals of the form , as well as , to rationals. It also sends the rest of the rationals to rationals, due more or less to the fact that any polynomial with rational coefficients does so (so in particular, lines do so).
The set of binary sequences is obviously uncountable, and we have just injected them into . Done.
Remarks. One’s first attempt might be to use rational-coefficient polynomials, but unfortunately they are countable. A different question is whether the word “continuous” in the problem could be replaced with more stringent requirements: (). I feel like the answer is probably “yes” for any finite but perhaps “no” for …