Two equivalence relations on digital lines with irrational slopes. A continued fraction approach to upper mechanical words
We examine the influence of the elements of the continued fraction (CF) expansion of irrational positive a less than 1 on the construction of runs in the digitization of the positive half line y = ax or, equivalently, on the run-hierarchical structure of the upper mechanical word with slope a and intercept 0. Special attention is given to the CF elements equal to 1. We define two complementary equivalence relations on the set of slopes, based on their CF expansions. A new description of digital lines is presented; we show how to define a straight line or upper mechanical word by two sequences of positive integers fulfilling some extra conditions. These equivalence relations and this new description enable us to analyze the construction of digital lines and upper mechanical words. The analysis of suprema of equivalence classes under one of these relations leads to a result which involves Fibonacci numbers. (C) 2009 Elsevier B.V. All rights reserved.
digital line irrational slope continued fraction upper mechanical word run fibonacci numbers characteristic word hierarchy classes of digital lines classes of words