Recursive Definition For Rational Arguments
For rational numbers in the unit interval, the function may also be defined recursively; if p/q and r/s are reduced fractions such that | ps − rq | = 1 (so that they are adjacent elements of a row of the Farey sequence) then
Using the base cases
it is then possible to compute ?(x) for any rational x, starting with the Farey sequence of order 2, then 3, etc.
If and are two successive convergents of a continued fraction, then the matrix
has determinant ±1. Such a matrix is an element of, the group of two-by-two matrices with determinant ±1. This group is related to the modular group.
Read more about this topic: Minkowski's Question Mark Function
Famous quotes containing the words definition, rational and/or arguments:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“... there is no such thing as a rational world and a separate irrational world, but only one world containing both.”
—Robert Musil (1880–1942)
“Through Plato Aristotle came to believe in God, but Plato never attempted to prove His reality. Aristotle had to do so. Plato contemplated Him; Aristotle produced arguments to demonstrate Him. Plato never defined Him, but Aristotle thought God through logically and concluded with entire satisfaction to himself that He was the Unmoved Mover.”
—Edith Hamilton (1867–1963)