Do you know what a perfect set is? or do you also need that explained?
–
Gerry MyersonJul 16 '12 at 13:37

@GerryMyerson I do know what a perfect is. A set is perfect if it is equal to its set of limit points.
–
hwhmJul 16 '12 at 13:51

2

So, if some continued fractions with only 1,2 is an isolated point, what would its continued fraction look like? (You also have to show your set is closed, but in fact it is compact, right? Continuous image of a natural product space.)
–
GEdgarJul 16 '12 at 14:16

1

From Gerry and Gerald's comments, I'm guessing this is well known. Meanwhile, for, um, flavor, I really like The Markoff and Lagrange Spectra, by Thomas W. Cusick and Mary E. Flahive. I was working with the number theoretic aspects, so i looked closely at just the first two chapters and the appendices. There is also the short Continued Fractions by Khinchin, who was deeply involved in the measure theory of continued fractions.
–
Will JagyJul 16 '12 at 20:34

@GEdgar Thanks. Is it $C\times C$, where $C$ is the standard (ternary) Cantor set, that you're talking about? I'm really having trouble finding something to say about the distance between two given members of that set of continued fractions... I'd really appreciate it if I can have a bit more hints still. After that I'll try and answer this thread myself.
–
hwhmJul 19 '12 at 10:55

1 Answer
1

Almost forgot that I’ve asked this question. Here’s how I did it using GEdgar’s hints:

Let the set of continued fractions described be $X$. There are no isolated points in $X$, for if $x \in X$ and $$x = a_0 + \frac{1}{a_1 + \frac{1}{a_2 + \dotso}}$$ where $a_i \in \{1,2\}$, define the sequence $x_n$ for $n>0$ by replacing $a_n$ in the expansion of $x$ with $1$ if $a_n = 2$, $2$ if $a_n = 1$. Then, denoting the denominator of the $n$-th convergent of $x$ by $q_n$, and using the determinant formula, $|x_n - x| < \frac{1}{q_n q_{n-1}}$. So $x_n \to x$.