The function
defined by Minkowski for the purpose of mapping the quadratic irrational numbers in the open interval
into the rational numbers of
in a continuous, order-preserving manner.
takes a number having continued fraction
to the number
 |
(1)
|
The function satisfies the following properties (Salem 1943).
1.
is strictly increasing.
2. If
is rational, then
is of the form
, with
and
integers.
3. If
is a quadratic irrational number, then the continued fraction is periodic, and hence
is rational.
4. The function is purely singular (Denjoy 1938).
can also be constructed as
 |
(2)
|
where
and
are two consecutive irreducible fractions from the Farey sequence. At the
th stage of this definition,
is defined for
values of
, and the ordinates corresponding to these values are
for
, 1, ...,
(Salem 1943).
The function satisfies the identity
 |
(3)
|
A few special values include
where
is the golden ratio.