Problem Statement: For , let denote the set of cluster points of . Show there exists no set such that .
Proof: Suppose that there is a set such that . Let such that is irrational.
Let and consider the open neighborhood . Since is dense in it follows that there is some rational . Since our assumption was that it follows that since is a neighborhood of there is an infinite subset of contained in that neighborhood. So, for every it follows that contains an infinite subset of and so . But this is a contradiction since is irrational. Thus our original assumption must have been wrong.
Therefore we may conclude that there is no subset such that .
Reflection: This was a really nice question, especially because on the actual qual they gave us the definition of a cluster point. The main thing to take away from this problem is that once you have the rationals in your set of cluster points, you really have to have all of since the rationals are dense in .