In mathematics, Ostrowski numeration, named after
Alexander Ostrowski
Alexander Markowich Ostrowski ( uk, Олександр Маркович Островський; russian: Алекса́ндр Ма́ркович Остро́вский; 25 September 1893, in Kiev, Russian Empire – 20 November 1986, in Mont ...
, is either of two related numeration systems based on
continued fraction
In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the sum of its integer part and the reciprocal of another number, then writing this other number as the sum of its integ ...
s: a
non-standard positional numeral system for integers and a
non-integer representation
A non-integer representation uses non-integer numbers as the radix, or base, of a positional numeral system. For a non-integer radix ''β'' > 1, the value of
:x = d_n \dots d_2d_1d_0.d_d_\dots d_
is
:\begin
x &= \beta^nd_n + \cdots + \beta^2d_2 ...
of
real number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...
s.
Fix a positive
irrational number
In mathematics, the irrational numbers (from in- prefix assimilated to ir- (negative prefix, privative) + rational) are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two inte ...
''α'' with continued fraction expansion
0; ''a''1, ''a''2, ...">'a''0; ''a''1, ''a''2, ... Let (''q''
''n'') be the sequence of denominators of the convergents ''p''
''n''/''q''
''n'' to α: so ''q''
''n'' = ''a''
''n''''q''
''n''−1 + ''q''
''n''−2. Let ''α''
''n'' denote ''T''
''n''(''α'') where ''T'' is the
Gauss map
In differential geometry, the Gauss map (named after Carl F. Gauss) maps a surface in Euclidean space R3 to the unit sphere ''S''2. Namely, given a surface ''X'' lying in R3, the Gauss map is a continuous map ''N'': ''X'' → ''S''2 such that ...
''T''(''x'') = , and write ''β''
''n'' = (−1)
''n''+1 ''α''
0 ''α''
1 ... ''α''
''n'': we have ''β''
''n'' = ''a''
''n''''β''
''n''−1 + ''β''
''n''−2.
Real number representations
Every positive real ''x'' can be written as
:
where the integer coefficients 0 ≤ ''b''
''n'' ≤ ''a''
''n'' and if ''b''
''n'' = ''a''
''n'' then ''b''
''n''−1 = 0.
Integer representations
Every positive integer ''N'' can be written uniquely as
:
where the integer coefficients 0 ≤ ''b''
''n'' ≤ ''a''
''n'' and if ''b''
''n'' = ''a''
''n'' then ''b''
''n''−1 = 0.
If ''α'' is the
golden ratio
In mathematics, two quantities are in the golden ratio if their ratio is the same as the ratio of their sum to the larger of the two quantities. Expressed algebraically, for quantities a and b with a > b > 0,
where the Greek letter phi ( ...
, then all the partial quotients ''a''
''n'' are equal to 1, the denominators ''q''
''n'' are the
Fibonacci numbers
In mathematics, the Fibonacci numbers, commonly denoted , form a sequence, the Fibonacci sequence, in which each number is the sum of the two preceding ones. The sequence commonly starts from 0 and 1, although some authors start the sequence from ...
and we recover
Zeckendorf's theorem
In mathematics, Zeckendorf's theorem, named after Belgian amateur mathematician Edouard Zeckendorf, is a theorem about the representation of integers as sums of Fibonacci numbers.
Zeckendorf's theorem states that every positive integer can be r ...
on the
Fibonacci representation of positive integers as a sum of distinct non-consecutive Fibonacci numbers.
See also
*
Complete sequence In mathematics, a sequence of natural numbers is called a complete sequence if every positive integer can be expressed as a sum of values in the sequence, using each value at most once.
For example, the sequence of powers of two (1, 2, 4, 8, ...), ...
References
*.
*
*
* {{cite book , last=Pytheas Fogg , first=N. , editor1=Berthé, Valérie, editor1-link=Valérie Berthé, editor2=Ferenczi, Sébastien, editor3=Mauduit, Christian, editor4=Siegel, Anne , title=Substitutions in dynamics, arithmetics and combinatorics , series=Lecture Notes in Mathematics , volume=1794 , location=Berlin , publisher=
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
Originally founded in 1842 ...
, year=2002 , isbn=3-540-44141-7 , zbl=1014.11015
Non-standard positional numeral systems