Analysis – Some remarks on continued fractions

Most introductory books on number theory have at least one section on the theory of continued fractions. I suggest

William Stein. Elementary number theory: primes, congruences, and secrets. A computational approach. Undergraduate Texts in Mathematics, Springer, New York, 2009. MR2464052 (2009i:11002).

downloadable from his webpage. Chapter 5 is on continued fractions. Of interest to us is the proof that for any integer $a_0$ and any infinite sequence of positive integers $a_1,a_2,\dots$ the corresponding continued fraction $\displaystyle {}[a_0;a_1,a_2,\dots]=a_0+\frac1{a_1+\frac1{a_2+\dots}}$ converges to an irrational number. This gives us an explicit bijection between the space of irrationals $\mathbb R\setminus\mathbb Q$ and Baire space, $\mathbb N^{\mathbb N}$ . The bijection is actually a homeomorphism, so the two spaces are equal, as topological spaces. This was first noted by Baire, in

René Baire. Sur la représentation des fonctions discontinues. Deuxième partie, Acta Math. 32 (1), (1909), 97–176. MR1555048.

For a very nice alternative proof of the homeomorphism that does not involve continued fractions, see Chapter 1 of

Arnold W. Miller. Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. Lecture Notes in Logic, 4. Springer-Verlag, Berlin, 1995.MR1439251 (98g:03119).

Arnie’s homeomorphism also has the nice feature of being an explicit order preserving bijection between $\mathbb Z^{\mathbb N}$ , ordered lexicographically, and the set of irrationals.

In William’s book, you may also want to look at section 5.4, where a proof is provided of Euler’s theorem from 1737 that the continued fraction of $e$ is given by

$e=[2;1,2,1,1,4,1,1,6,1,1,8,\dots].$

(No such nice pattern is known for $\pi$ .)

A few nice additional results on continued fractions, with references, are given in this blog entry.

A fascinating open problem, due to Zaremba from 1972, is discussed in

Alex Kontorovich. From Apollonius to Zaremba: local-global phenomena in thin orbits. Bull. Amer. Math. Soc. (N.S.), 50 (2), (2013), 187–228. MR3020826.

To state the problem, fix a positive integer $n$ , and consider the set

$\displaystyle N_n=\{m\mid \mbox{ there is an }r\mbox{ such that }1\le r\le m,$ $\displaystyle \mathrm{gcd}(m,r)=1,\mbox{ and if }\frac mr=[a_0;a_1,\dots,a_k],$ $\displaystyle \mbox{ then }a_i\le n\mbox{ for all }i\le k\}.$

For example, $N_1$ consists of all numerators appearing in finite continued fractions consisting solely of ones: ${}[1],[1;1],[1;1,1],[1;1,1,1],\dots$ , that is, $\displaystyle 1,2,\frac32,\frac53,\frac85,\dots$ , so $N_1$ is the set of positive Fibonacci numbers.

Zaremba’s conjecture is that $N_5=\mathbb N^+$ . In fact, much more is expected to be true. For example, Hensley conjectured in 1996 that $N_2$ contains all positive integers, with finitely many exceptions. The best result to date is that $N_{50}$ contains almost all positive integers, in the sense that

$\displaystyle \lim_{n\to\infty}\frac{N_{50}\cap[1,n]}n=1.$

For this, see the announcement,

Jean Bourgain, and Alex Kontorovich. On Zaremba’s conjecture, C. R. Math. Acad. Sci. Paris, 349 (9-10), (2011), 493–495. MR2802911 (2012e:11012),

and the preprint

Jean Bourgain, and Alex Kontorovich. On Zaremba’s conjecture. ArXiv:1107.3776.

(Of immediate interest to us is the fact described in Kontorovich’s survey that for $n\ge2$ , the set of infinite continued fractions

$[1;a_0,a_1,a_2,\dots]$

where $1\le a_i\le n$ for all $i$ is a Cantor set.)

This entry was posted on Wednesday, September 18th, 2013 at 3:45 pm and is filed under 414/514: Analysis I. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Cancel

Connecting to %s

Categories

Mathoverflow

Convergence of $\sum(n^3\sin^2n)^{-1}$ May 14, 2010

I saw a while ago in a book by Clifford Pickover, that whether the Flint Hills series $\displaystyle \sum_{n=1}^\infty\frac1{n^3\sin^2 n}$ converges is open. I would think that the question of its convergence is really about the density in $\mathbb N$ of the sequence of numerators of the standard convergent approximations to $\pi$ (which, in itself, seems li […]

Andrés E. Caicedo

Answer by Andrés E. Caicedo for Well known theorems that have not been proved February 3, 2023

I am not sure whether this qualifies as "well-known". Anyway, in set theory, in the study of the partition calculus (transfinite generalizations of Ramsey's theorem), effort centered for a while in studying relations of the form $$ \omega^m\to(\omega^n,k)^2 $$ for $m,n,k$ positive integers. Here, exponentiation is in the ordinal sense. This re […]

Andrés E. Caicedo

Answer by Andrés E. Caicedo for Where is the Erdős–Rado theorem stated in Erdős and Rado's Bull AMS paper? December 23, 2014

This is Theorem 39 in the paper (see Theorem 4.(i) for a user-friendly preview). But the fact that $(2^\kappa)^+\to(\kappa^+)^2_\kappa$ is older (1946) and due to Erdős, see here: Paul Erdős. Some set-theoretical properties of graphs, Univ. Nac. Tucumán. Revista A. 3 (1942), 363-367 MR0009444 (5,151d). (Anyway, it is probably easier to read a more modern pre […]

Andrés E. Caicedo

Answer by Andrés E. Caicedo for The Erdős-Turán conjecture or the Erdős' conjecture? June 3, 2013

One of the best places to track these things down is The mathematical coloring book, by Alexander Soifer, Springer 2009. Chapter 35 is on "Monochromatic arithmetic progressions", and section 35.4, "Paul Erdős’s Favorite Conjecture", is on the problem you ask about. As far as I can tell, the question is sometimes called the Erdős-Turán con […]

Andrés E. Caicedo

Relative densities September 12, 2013

Throughout the question, we only consider primes of the form $3k+1$. A reference for cubic reciprocity is Ireland & Rosen's A Classical Introduction to Modern Number Theory. How can I count the relative density of those $p$ (of the form $3k+1$) such that the equation $2=3x^3$ has no solutions modulo $p$? Really, even pointers on how to say anything […]

Andrés E. Caicedo

Math.StackExchange

Does $|X|^m\cdot n^{|X|}\le (n+m)^{|X|}$ hold without choice? February 16, 2023

As we learned in this question, provably in $\mathsf{ZF}$, if $X$ is infinite then $|X|^n\le(n+1)^{|X|}$ for any natural number $n$, and this is optimal in the sense that, in general, $n+1$ cannot be replaced with $n$. A naïve inductive attempt to show the inequality suggests that perhaps we can actually prove that $|X|\cdot n^{|X|}\le(n+1)^{|X|}$, although […]

Andrés E. Caicedo

Answer by Andrés E. Caicedo for Transfinite derivatives December 5, 2013

In Ralph P. Boas's A primer of real functions, page 118, this is discussed in the following way: The derivative of infinite order of $f$ is defined on an interval $I$ iff the sequence $(f^{(n)})$ converges uniformly on $I$ (it is enough to require uniform convergence on compact subsets of $I$). Call $L$ the limit of this sequence, so $L$ is continuous a […]

Andrés E. Caicedo

Answer by Andrés E. Caicedo for cardinals such that $\alpha < \alpha ^ \beta$ January 31, 2023

Recall that the beth ($\beth$) numbers are defined by transfinite recursion as $\beth_0=0$, $\beth_{\alpha+1}=2^{\beth_\alpha}$ and $\beth_\lambda=\sup_{\alpha

Andrés E. Caicedo

Answer by Andrés E. Caicedo for Prove that Baire space $\omega^\omega$ is completely metrizable? November 30, 2013

The point here is that two functions are close iff they agree on an initial segment, that is, $d(f,g)\le 1/(n+1)$ iff $f(0)=g(0),f(1)=g(1),\dots,f(n-1)=g(n-1)$. Now, if $(f_n)_n$ is a Cauchy sequence, then, for each $n$, there is $N_n$ such that for all $m,k>N_n$ we have $d(f_m,f_k)\le1/(n+1)$. That is, all functions $f_m$ with $m>N_n$ agree on their f […]

Andrés E. Caicedo

Answer by Andrés E. Caicedo for Is it possible for a function to be smooth everywhere, analytic nowhere, yet Taylor series at any point converges in a nonzero radius? January 7, 2014

No, this is not possible. Dave L. Renfro wrote an excellent historical Essay on nowhere analytic $C^\infty$ functions in two parts (with numerous references). See here: 1 (dated May 9, 2002 6:18 PM), and 2 (dated May 19, 2002 8:29 PM). As indicated in part 1, in Zygmunt Zahorski. Sur l'ensemble des points singuliers d'une fonction d'une variab […]

Andrés E. Caicedo

	ปั่นสล็อต on 414/514 The theorems of Rieman…
	Richard Kimberly Hec… on Woodin’s proof of the se…
	Is there a Borel-mea… on 414/514 Examples of Baire clas…
	Simple bijectiveness… on 580 -Some choiceless results…
	Schur’s theore… on 580 -III. Partition calcu…
	Uncountable linearly… on 403/503 – Homework …
	What is a non-constr… on On strong measure zero se…
	function from Nmathb… on Hindsight
	Cauchy Schwarz Inequ… on 275 -Positive polynomials
	What is a Cantor-sty… on 580 -Some choiceless results…
	Question about Gener… on 580 -Some choiceless results…
	Set has Measure Zero… on On strong measure zero se…
	Non-measurable subse… on 580 -Cardinal arithmetic …
	hmeng1 on 414/514 The theorems of Rieman…
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …

A kind of library