Sucesión de Farey

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 01, y termina en el 1, denotado por la fracción ¹⁄1, aunque algunos autores suelen omitir ambos términos.

Contenido


Construcción

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

  • Construimos unas fracciones con todas las combinaciones posibles de los números del 1 al 4:
11, 12, 13, 14; 21, 22, 23, 24; 31, 32, 33, 34; 41, 42, 43, 44
  • Eliminamos aquellas fracciones superiores a 1 (o dicho de otra manera, en las que el numerador sea mayor que el denomniador):
11, 12, 13, 14; 22, 23, 24; 33, 34; 44;
  • Simplificamos todas las fracciones, descartando las repetidas:
11, 12, 13, 14; 23; 34;
  • Ordenamos el resultado de menor a mayor, agregando el 0 (01) al principio:
01, 14, 13, 12, 23, 34, 11


Ejemplo

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

F1 = {01, ¹⁄1}
F2 = {01, ¹⁄2, ¹⁄1}
F3 = {01, ¹⁄3, ¹⁄2, ²⁄3, ¹⁄1}
F4 = {01, ¹⁄4, ¹⁄3, ¹⁄2, ²⁄3, ³⁄4, ¹⁄1}
F5 = {01, ¹⁄5, ¹⁄4, ¹⁄3, ²⁄5, ¹⁄2, ³⁄5, ²⁄3, ³⁄4, 45, ¹⁄1}
F6 = {01, ¹⁄6, ¹⁄5, ¹⁄4, ¹⁄3, ²⁄5, ¹⁄2, ³⁄5, ²⁄3, ³⁄4, 45, 56, ¹⁄1}
F7 = {01, ¹⁄7, ¹⁄6, ¹⁄5, ¹⁄4, ²⁄7, ¹⁄3, ²⁄5, ³⁄7, ¹⁄2, 47, ³⁄5, ²⁄3, 57, ³⁄4, 45, 56, 67, ¹⁄1}
F8 = {01, ¹⁄8, ¹⁄7, ¹⁄6, ¹⁄5, ¹⁄4, ²⁄7, ¹⁄3, ³⁄8, ²⁄5, ³⁄7, ¹⁄2, 47, ³⁄5, 58, ²⁄3, 57, ³⁄4, 45, 56, 67, 78, ¹⁄1}
F9 = {01, ¹⁄9, ¹⁄8, ¹⁄7, ¹⁄6, ¹⁄5, ²⁄9, ¹⁄4, ²⁄7, ¹⁄3, ³⁄8, ²⁄5, ³⁄7, 49, ¹⁄2, 59, 47, ³⁄5, 58, ²⁄3, 57, ³⁄4, 79, 45, 56, 67, 78, 89, ¹⁄1}

Historia

«La historia de la 'sucesión de Farey' es muy curiosa.» (Hardy & Wright, "An Introduction to the Theory of Numbers", Capítulo III)
«...una vez más, el hombre que dio nombre a la relación matemática no fue el descubridor original según ha quedado registrado.» (Beiler, "Recreations in the Theory of Numbers", Capítulo XVI)

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.

Propiedades

Longitud de la sucesión

La sucesión de Farey de orden n contiene todos los miembros de las sucesiones de Farey de un orden menor. En particular Fn contiene todos los miembros de Fn−1 así como una fracción adicional de cada número que es menor que n y coprimo con n. Por ejemplo, F6 contiene a F5 junto con las fracciones ¹⁄6 y 56. El término medio de una sucesión de Farey es siempre ¹⁄2 para todo n > 1.

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

| Fn | = | Fn − 1 | + φ(n)

Y dado que |F1| = 2, podemos derivar una expresión de la longitud de Fn como:

|F_n| = 1 + \sum_{m=1}^n \varphi(m)

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

|F_n| \sim \frac {3n^2}{\pi^2}

Vecinos de Farey

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

Si ab and cd son vecinos en la sucesión de Farey con ab < cd, entonces su diferencia cd − ab es igual a ¹⁄bd. Y puesto que

\frac{c}{d}-\frac{a}{b}=\frac{(bc-ad)}{bd},

esto es equivalente a afirmar que

bc − ad = 1.

Por ejemplo, ¹⁄3 y ²⁄5 son vecinos de F5, y su diferencia es ¹⁄15.

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

bc − ad = 1

para los enteros positivos a,b,c and d con a < b y c < d entonces ab y cd serán vecinos en una sucesión de Farey de orden min(b, d).

Si pq tiene como vecinos a ab y cd en alguna sucesión de Farey, con

ab < pq < cd

entonces pq es el cociente de la suma de los denominadores y los numeradores de ab y cd — en otras palabras,

\frac{p}{q}=\frac{(a+c)}{(b+d)}.

Y, si ab y cd 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

\frac{(a+c)}{(b+d)},

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

Por ejemplo, el primer término que aparece entre ¹⁄3 y ²⁄5 es ³⁄8, que aparece en F8.

El árbol de Stern-Brocot es una estructura de datos que muestra cómo se construye la sucesión desde el término primero (= 01) y segundo (= ¹⁄1), 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 fracciones continuas relacionadas. Cada fracción tiene dos expansiones 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 pq, que aparece por primera vez en una sucesión de Farey Fq, tiene expansiones e fracciones continuas como

[0;a1,a2,...,an − 1,an,1]
[0;a1,a2,...,an − 1,an + 1]

entonces, el vecino más cercano de pq en Fq (que será su vecino con mayor denominador) tiene una expansión en fracciones continuas como

[0;a1,a2,...,an]

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

[0;a1,a2,...,an − 1]

Por ejemplo, ³⁄8 tiene dos expansiones en fracciones continuas [0;2,1,1,1] y [0;2,1,2], y sus vecinos en F8 son ²⁄5, que puede expandirse como [0;2,1,1], y ¹⁄3, que puede expandirse como [0;2,1].

Círculos de Ford

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

Para cada fracción irreductible 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 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.

los círculos de ford son todos aquellos símbolos que van insertados en el logo de la marca ford

Referencias

  • Beiler, Albert H. (1964) Recreations in the Theory of Numbers (Second Edition). Dover. ISBN 0-486-21096-0
  • Hardy, G.H. & Wright, E.M. (1979) An Introduction to the Theory of Numbers (Fifth Edition). Oxford University Press. ISBN 0-19-853171-0

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • 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 0/1, y termina en el 1,… …   Enciclopedia Universal

  • Sucesión matemática — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • John Farey — en el Derby Museum. La silueta es obra de su amigo White Watson. John Farey, Sr. (1766 – 6 de enero de 1826) fue un geólogo y escritor inglés. No obstante, es más conocido por su principio matemático, la sucesión de Farey, la cual lleva su nombre …   Wikipedia Español

  • OEIS — La Enciclopedia electrónica de secuencias de enteros (OEIS por sus siglas en inglés, de On Line Encyclopedia of Integer Sequences) es una base de datos que registra secuencias de números enteros. Está disponible libremente en Internet, en la… …   Wikipedia Español

  • Círculo de Ford — Círculos de Ford. Cada uno de estos círculos se apoya sobre un número racional una fracción. Los círculos oscuros corresponden a las fracciones 0/1, 1/1, 1/2, 1/3, 2/3, 1/4, 3/4, 1/5, 2/5, 3/5 y 4/5. Cada círculo es tangente a la recta real y a… …   Wikipedia Español

  • Anexo:Episodios de Numb3rs — La siguiente es una lista de episodios de la serie norteamericana NUMB3RS. Contenido 1 Estrenos y Lanzamientos en DVD 2 Primera temporada (2005) 3 Segunda temporada (2005 2006) …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”