Sucesión de Farey

Una sucesión de farey es una sucesión matemática de fracciones irreductibles entre 0 y 1 que tienen un denominador menor o igual a ¨¨n'¨¨ en orden creciente.

Cada sucesión de farey comienza en el 0, denotado por la fracción: ${displaystyle {frac {0}{1}}}$, y termina en el 1, denotado por la fracción: ${displaystyle {frac {1}{1}}}$, aunque algunos autores suelen omitir ambos términos.

Una sencilla manera algorítmica de construir la sucesión de Farey para un número n (por ejemplo, el 4):

La sucesión de Farey para n entre 1 y 8 es la siguiente:

Las sucesiones de Farey reciben el nombre del geólogo británico John Farey, quién publicó una carta sobre ellas en un número de la revista Philosophical Magazine en 1816. En ella Farey conjeturó que cada término de la sucesión es el cociente de la suma de los numeradores y la suma de los denominadores de sus términos vecinos — aunque, por lo que se sabe, no llegó a probar esta propiedad. La carta de Farey fue leída por el famoso matemático Cauchy quien sí probó la afirmación de Farey en su libro Exercises de mathématique prueba junto a la que se atribuye el resultado a Farey. Pero de hecho, fue otro matemático, un tal C.Haros, el que primero publicó un resultado semejante en el año 1812, aunque es prácticamente cierto que ni Farey ni Cauchy conocían tal hecho. Así es que, una vez más, un accidente histórico ligó el nombre de Farey con este tipo de sucesiones en lugar del nombre de su descubridor original.

La sucesión de Farey de orden n contiene todos los miembros de las sucesiones de Farey de un orden menor. En particular F_n contiene todos los miembros de F_n−1 así como una fracción adicional de cada número que es menor que n y coprimo con n. Por ejemplo, F₆ contiene a F₅ junto con las fracciones ¹⁄₆ y ⁵⁄₆. El término medio de una sucesión de Farey es siempre ¹⁄₂ para todo _n > 1.

De este hecho se puede extraer una relación entre F_n y F_n−1 utilizando la función φ(n) de Euler:

Y dado que |F₁| = 2, se puede derivar una expresión de la longitud de F_n como:

Por otra parte, el comportamiento asintótico de |F_n| es:

Las fracciones que antedecen y siguen a cada término de la sucesión (vecinos de Farey) tienen las siguientes propiedades:

Si ^a⁄_b y ^c⁄_d son vecinos en la sucesión de Farey con ^a⁄_b < ^c⁄_d, entonces su diferencia ^c⁄_d − ^a⁄_b es igual a ¹⁄_bd. Y puesto que

esto es equivalente a afirmar que:

Por ejemplo, ¹⁄₃ y ²⁄₅ son vecinos de F₅, y su diferencia es ¹⁄₁₅.

La afirmación inversa también es cierta. Si

para los enteros positivos a,b,c and d con a < b y c < d entonces ^a⁄_b y ^c⁄_d serán vecinos en una sucesión de Farey de orden max(b, d).

Si ^p⁄_q tiene como vecinos a ^a⁄_b y ^c⁄_d en alguna sucesión de Farey, con:

entonces ^p⁄_q es el cociente de la suma de los denominadores y los numeradores de ^a⁄_b y ^c⁄_d — en otras palabras,

Y, si ^a⁄_b y ^c⁄_d son vecinos en una sucesión de Farey, entonces el primer término que aparece entre ellos cuando el orden de la sucesión de Farey se incrementa es

que aparece primero en la sucesiónd de Farey de orden b+d.

Por ejemplo, el primer término que aparece entre ¹⁄₃ y ²⁄₅ es ³⁄₈, que aparece en F₈.

El árbol de Stern-Brocot es una estructura de datos que muestra cómo se construye la sucesión desde el término primero (= ⁰⁄₁) y segundo (= ¹⁄₁), tomando los sucesivos cocientes de sumas de numeradores y denominadores.

Las fracciones que aparecen como vecinas en una sucesión de Farey tienen expansiones en [fracción continua|fracciones continuas] relacionadas. Cada fracción tiene dos expanciones en fracciones continuas - en una de ellas el último término es 1; en la otra el último término es mayor que 1. Si, que aparece por primera vez en una sucesión de Farey F_q, tiene expansiones en fracciones continuas como

entonces, el vecino más cercano de ^p⁄_q en F_q (que será su vecino con mayor denominador) tiene una expansión en fracciones continuas como

y su otro vecino tiene una expansión en fracciones continuas como

Por ejemplo, ³⁄₈ tiene dos expansiones en fracciones continuas [0,2,1,1,1] y [0,2,1,2], y sus vecinos en F₈ son ²⁄₅, que puede expandirse como [0,2,1,1], y ¹⁄₃, que puede expandirse como [0,2,1].

Existe una conexión interesante entre las sucesiones de Farey y los círculos de Ford.

Para cada fracción irreducible p/q existe un círculo de Ford C[p/q], que es el círculo de radio 1/2q² y centro en (p/q,1/2q²). Dos círculos de Ford pueden ser bien disjuntos bien tangentes entre sí - dos círculos de Ford nunca se intersecan. Si 0<p/q<1 entonces los círculos de Ford que son tangentes a C[p/q] son precisamente los círculos de Ford de las fracciones que son vecinas de p/q en alguna sucesión de Farey.

Por ejemplo, C[2/5] es tangente a C[1/2], C[1/3], C[3/7], C[3/8] etc.

Las secuencias de Farey se utilizan en dos fórmulas equivalentes a la Hipótesis de Riemann. Supongamos que los términos de ${displaystyle F_{n}}$ son ${displaystyle {a_{k,n}:k=0,1,ldots ,m_{n}}}$. Definimos ${displaystyle d_{k,n}=a_{k,n}-k/m_{n}}$, en otra palabras ${displaystyle d_{k,n}}$ es la diferencia entre k (que es el conjunto de puntos que están distribuidos en el intervalo unidad) y n (que es el número de términos de la secuencia de Farey). En 1924 Jérôme Franel demostró que:

es equivalente a la hipótesis de Riemann, y luego Edmund Landau observó (justo después de Franel) que la declaración:

---