Continuity of the continued fraction mapping revisited

Min Woong Ahn

2024-04-30

Abstract:The continued fraction mapping maps a number in the interval $[0,1)$ to the sequence of its partial quotients. When restricted to the set of irrationals, which is a subspace of the Euclidean space $\mathbb{R}$, the continued fraction mapping is a homeomorphism onto the product space $\mathbb{N}^{\mathbb{N}}$, where $\mathbb{N}$ is a discrete space. In this short note, we examine the continuity of the continued fraction mapping, addressing both irrational and rational points of the unit interval.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the continuity of continued fraction mappings. Specifically, the author re - examines the mapping from the unit interval \([0,1)\) to the space of continued fraction expansion sequences and explores the continuity of this mapping at rational and irrational points.

### Main problems
1. **Definition and properties of continued fraction mappings**:
- The continued fraction mapping maps a number \(x\) in the unit interval \([0,1)\) to its sequence of partial quotients.
- When restricted to the set of irrational numbers, the continued fraction mapping is a homeomorphism, that is, it maps the set of irrational numbers to the countable product space \(N^N\) of the discrete space \(N\).

2. **Continuity problems**:
- In previous work, the author studied the continuity problem of Pierce expansion mappings. This paper further explores the continuity of continued fraction mappings on the unit interval \([0,1)\) containing rational points.
- Specifically, the author adjusts the target space and its topological structure to accommodate the existence of rational points.

### Main results
- **Continuity of the extended continued fraction mapping**: Theorem 3.12 establishes the continuity of the extended continued fraction mapping \(f: [0,1] \to (\Sigma, T_\Sigma)\) at each irrational point and at the two rational points \(0\) and \(1\).
- **Continuity of the original continued fraction mapping**: Corollary 3.13 shows that the original continued fraction mapping is continuous at each irrational point and at \(0\), and is only one - sidedly continuous at rational points in \((0,1)\).
- **Continuity of the inverse mapping**: Theorem 3.14 proves that the mapping \(\phi: (\Sigma, T_\Sigma) \to [0,1]\) is continuous.

### Key formulas
- Definition of partial quotients:
\[
d_1(x) = \begin{cases}
\left\lfloor \frac{1}{x} \right\rfloor & \text{if } x \neq 0 \\
\infty & \text{if } x = 0
\end{cases}
\]
\[
T(x) = \begin{cases}
\frac{1}{x} - \left\lfloor \frac{1}{x} \right\rfloor & \text{if } x \neq 0 \\
0 & \text{if } x = 0
\end{cases}
\]
\[
d_n(x) = d_1(T^{n - 1}(x))
\]

- Binet formula for the Fibonacci sequence:
\[
F_n = \frac{1}{\sqrt{5}} \left( \left( \frac{1 + \sqrt{5}}{2} \right)^n - \left( \frac{1 - \sqrt{5}}{2} \right)^n \right)
\]

Through these studies, the author has solved the continuity problem of continued fraction mappings on the unit interval containing rational points and provided detailed theoretical proofs.