Rudin exercise 2.18: perfect set with only irrational numbers. I am trying to solve exercise number 2.18 in Rudin. The question is the following:
"Is there a nonempty perfect set in R1 that contains no rational numbers"?
My solution is basically to construct a set E that contains all irrational (to be more specific: non-rational) numbers between sqrt(2) and sqrt(3), both included. And then the proof that this is perfect proceeds similarly to question 2.17 (since every irrational number can be written as a series of infinite decimals with no repeats).
Am I missing something? I don't see why I should construct a set similar to the cantor set. Thank you for your help.
 A: It's not really Rudin's style, but there are lots of general topological arguments based on the topological structure of the irrationals and the Cantor set, to see that such a set exists. 
One way is to prove that the Cantor set is unique topologically: if $X$ is a compact, totally disconnected (i.e. no connected subset has more than one point), metric space without isolated points, then $X$ is homeomorphic to the standard "middle third" Cantor set $C \subset [0,1]$. Such an $X$ is also called "a Cantor set". They're clearly perfect if embedded in $\mathbb{R}$ (being compact $X$ will be a closed subset and it has no isolated points).
This is a nice topological argument (not using decimal expansions etc.) to see that $\{0,1\}^\mathbb{N} \simeq C$, and also $\prod_n F_n \simeq C$, where all $F_n$ are finite discrete spaces.
It also implies that $C \times C \simeq C$: if $X$ is a Cantor set, so is $X \times X$: still compact metric; still totally disconnected (if $A \subseteq X \times X$ is connected, so are $\pi_1[A]$ and $\pi_2[A]$, so these are singletons and hence so is $A$) and still no isolated points, (if $\{(x,y)\}$ were open, so would $\pi_1[\{(x,y)\}] = \{x\}$ be, which is false, etc.).
So the characterisation says that $C \times C \simeq C$. 
We can also reach the same conclusion if you already know that $C \simeq \{0,1\}^\mathbb{N}$ without the characterisation (Using the ternary expansion argument) because it' s clear that $\{0,1\}^I \times \{0,1\}^J \simeq \{0,1\}^{I \cup J}$ (disjoint union), and $\{0,1\}^I$ is just homeomorpic to $\{0,1\}^\mathbb{N}$ whenever $I$ is countably infinite (powers only depend on the cardinality of the index set).
So once you have convinced yourself that $C \times C \simeq C$, it's easy: Clearly $\{x\} \times C \simeq C$ (for $x \in C$ as a subspace of $C \times C$), so the product shows us that a Cantor set is an uncountable disjoint union of homeomorphic copies of the Cantor set. As subsets of $\mathbb{R}$, only countably many of these disjoint copies can contain any rational number. So uncountably many consist of irartional numbers only. And such a Cantor set is what's wanted.
