Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Give an example of a perfect set in $\mathbb R^n$ that does not contain any of the rationals.

(Or prove that it does not exist).

share|cite|improve this question
What is a perfect set? Also, this looks like a homework problem. – Kevin H. Lin Jul 28 '10 at 21:36
Why are you asking if you apparently know the answer? – Mariano Suárez-Alvarez Jul 28 '10 at 21:37
@Kevin: Line Bundle is not asking homework questions - no-one would have homework on so many different areas at once – Casebash Jul 28 '10 at 21:37
@Kevin, a perfect set is one which is equal to its derived set, as in – Mariano Suárez-Alvarez Jul 28 '10 at 21:38
Mariano has started a discussion at meta:… – Kevin H. Lin Jul 28 '10 at 21:40

An easy example comes from the fact that a number with an infinite continued fraction expansion is irrational (and conversely). The set of all irrationals with continued fractions consisting only of 1's and 2's in any arrangement is a perfect set of irrational numbers.

share|cite|improve this answer
This is a really nice answer! – Akhil Mathew Jul 29 '10 at 4:52
Beautiful answer! – BBischof Jul 30 '10 at 7:16

Consider the set of reals x whose binary expansion, if you look only at the even digit places, is some fixed non-eventually-repeating pattern z. This is perfect, since we have branching at the odd digits, but they are all irrational, since z is not eventually repeating.

You can draw a picture of this set, and it looks something like the Cantor middle third set, except that you divide into four pieces, and take either first+third or second+fourth, depending on the digits of z.

Another solution: Begin with an interval having irrational endpoints, and perform the usual Cantor middle-third construction, except that at stage n, be sure to exclude the n-th rational number (with respect to some fixed enumeration), using a subinterval having irrational endpoints. By systematically excluding all rational numbers, you have the desired perfect set of irrationals.

(Hi François!)

share|cite|improve this answer
Hi Joel! Nice answer! – François G. Dorais Jul 30 '10 at 18:30

It is well-known that $C$ is homeomorphic to $C \times C$, where $C$ is the Cantor set, as both are zero-dimensional compact metric spaces without isolated points. So $C$ contains uncountably many disjoint homeomorphic copies of $C$ and all but countably many of them can contain rationals...

share|cite|improve this answer
This is now my favorite example of a nonconstructive proof. – Bryan Sep 9 '14 at 20:36
@Bryan Thx. It shows the power of the characterisation theorem nicely, I think. It's a folklore argument, don't know whose it is originally. – Henno Brandsma Sep 9 '14 at 20:43

It can be proven that the Cantor set is perfect. Certainly, this contains infinitely many rationals. How about modifying the construction of the Cantor set by defining: $I_1 = [\sqrt{2},\sqrt{2}+1/3] \cup [\sqrt{2}+2/3,\sqrt{2}+1]$, $I_2 = [\sqrt{2},\sqrt{2}+1/9] \cup [\sqrt{2}+2/9,\sqrt{2}+1/3]\cup[\sqrt{2}+2/3,\sqrt{2}+7/9]\cup[\sqrt{2}+8/9,\sqrt{2}+1]$, etc and setting $P = \cap_{i=1}^\infty I_i$? Each of end points of any interval that appears in the construction is a member of $P$ and is irrational. However, is it true that all the members of $P$ must be an end point of a certain interval? I am tempted to think so because we can prove that $P$ does not contain any interval.

share|cite|improve this answer
There are only countably many endpoints, but a nontrivial perfect set is uncountable. – JDH Jul 30 '10 at 1:45

Let $A$ be an open subset of $R$ of finite measure and containing $Q$. This is possible because $Q$ is countable. Let $B=R$ \ $A$. Now $B$ is closed, and uncountable (because it has infinite measure). Let $ C$ be the family of open real intervals that, each, have countable intersection with $B$. Then $\cup C$ is equal to $\cup D$ where $ D $ is a countable subset of $ C$, so $B$ has countable intersection with $\cup C$. The uncountable closed set $E= B$ \ $\cup C$ is perfect. Indeed, if $p \in E$ and $V$ is an open interval containing $p$, then $E \cap V$ is uncountable.

share|cite|improve this answer

Let $C$ represent the Cantor set. Consider the set $C+\alpha$, where $\alpha=\sum_{n=1}^{\infty}10^{2^n}$.

share|cite|improve this answer
And this works because...? – Andrés E. Caicedo Feb 4 '11 at 6:22
See this: I do not know of an explicit $\alpha$ that works. – Andrés E. Caicedo May 5 '13 at 19:37

protected by Arctic Char Oct 27 '15 at 8:22

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?