Difference between revisions of "Farey sequence"

m (Examples)
Line 12: Line 12:
 
<math>F_4=\{0/1, 1/4, 1/3, 1/2, 2/3, 3/4, 1/1\}</math>
 
<math>F_4=\{0/1, 1/4, 1/3, 1/2, 2/3, 3/4, 1/1\}</math>
  
Where <math>F_n</math> denotes a farey sequence of order <math>n</math>.
+
Where <math>F_n</math> denotes a Farey sequence of order <math>n</math>.
  
 
==Properties==
 
==Properties==

Revision as of 15:38, 31 August 2008

A Farey sequence of order $n$ is the sequence of all completely reduced fractions between 0 and 1 where, when in lowest terms, each fraction has a denominator less than or equal to $n$. Each fraction starts with 0, denoted by the fraction 0/1, and ends in 1, denoted by the fraction 1/1.

Examples

Farey sequences of orders 1-4 are:

$F_1=\{0/1, 1/1\}$

$F_2=\{0/1, 1/2, 1/1\}$

$F_3=\{0/1, 1/3, 1/2, 2/3, 1/1\}$

$F_4=\{0/1, 1/4, 1/3, 1/2, 2/3, 3/4, 1/1\}$

Where $F_n$ denotes a Farey sequence of order $n$.

Properties

Sequence length A Farey sequence of any order contains all terms in a Farey sequence of lower order. More specifically, $F_n$ contains all the terms in $F_{n-1}$. Also, $F_n$ contains an extra term for every number less than $n$ relatively prime to $n$. Thus, we can write

$#(F_n)=#(F_{n-1})+\phi{n}$ (Error compiling LaTeX. Unknown error_msg) This article is a stub. Help us out by expanding it.