# Perfect set without rationals

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).

-

5
What is a perfect set? Also, this looks like a homework problem. – Kevin Lin Jul 28 '10 at 21:36

2
Why are you asking if you apparently know the answer? – Mariano Suárez-Alvarez♦ Jul 28 '10 at 21:37

3
@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

1
– Mariano Suárez-Alvarez♦ Jul 28 '10 at 21:38

2
– Kevin Lin Jul 28 '10 at 21:40
show 3 more comments

## 5 Answers

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.

-

4
This is a really nice answer! – Akhil Mathew Jul 29 '10 at 4:52

2
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!)

-

2
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...

-

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.

-

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

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

-

5
And this works because...? – Andres Caicedo Feb 4 '11 at 6:22
– Andres Caicedo May 5 at 19:37
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 15, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9299696087837219, "perplexity_flag": "middle"}