In mathematics, Minkowski's question-mark function, denoted ?(x), is a function with unusual fractal properties, defined by Hermann Minkowski in 1904. It maps quadratic irrational numbers to rational numbers on the unit interval, via an expression relating the continued fraction expansions of the quadratics to the binary expansions of the rationals, given by Arnaud Denjoy in 1938. It also maps rational numbers to dyadic rationals, as can be seen by a recursive definition closely related to the Stern–Brocot tree.
One way to define the question-mark function involves the correspondence between two different ways of representing fractional numbers using finite or infinite binary sequences. Most familiarly, a string of 0's and 1's with a single point mark ".", like "11.001001000011111..." can be interpreted as the binary representation of a number. In this case this number is
There is a different way of interpreting the same sequence, however, using continued fractions.
Interpreting the part before the point mark as a binary number in the same way, replace each consecutive block of 0's or 1's after the point by its run length, in this case generating the sequence . Then, use this sequence as the coefficients of a continued fraction:
The question-mark function reverses this process: it translates the continued-fraction of a given real number into a run-length encoded binary sequence, and then reinterprets that sequence as a binary number. For instance, for the example above, . To define this formally, if an irrational number has the (non-terminating) continued-fraction representation
then the value of the question-mark function on is defined as the value of the infinite series
In the same way, if a rational number has the terminating continued-fraction representation then
the value of the question-mark function on is a finite sum,
Analogously to the way the question-mark function reinterprets continued fractions as binary numbers, the Cantor function can be understood as reinterpreting ternary numbers as binary numbers.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
The main theme in Diopahntine approximation is to approximate a real number by a rational number with a certain denominator bound. The course covers the case of one real number, that is classical and
In mathematics, the Cantor function is an example of a function that is continuous, but not absolutely continuous. It is a notorious counterexample in analysis, because it challenges naive intuitions about continuity, derivative, and measure. Though it is continuous everywhere and has zero derivative almost everywhere, its value still goes from 0 to 1 as its argument reaches from 0 to 1. Thus, in one sense the function seems very much like a constant one which cannot grow, and in another, it does indeed monotonically grow.
In mathematics, a de Rham curve is a certain type of fractal curve named in honor of Georges de Rham. The Cantor function, Cesàro curve, Minkowski's question mark function, the Lévy C curve, the blancmange curve, and Koch curve are all special cases of the general de Rham curve. Consider some complete metric space (generally 2 with the usual euclidean distance), and a pair of contracting maps on M: By the Banach fixed-point theorem, these have fixed points and respectively.
In mathematics, a partial order or total order < on a set is said to be dense if, for all and in for which , there is a in such that . That is, for any two elements, one less than the other, there is another element between them. For total orders this can be simplified to "for any two distinct elements, there is another element between them", since all elements of a total order are comparable. The rational numbers as a linearly ordered set are a densely ordered set in this sense, as are the algebraic numbers, the real numbers, the dyadic rationals and the decimal fractions.
Related publications (6)
Covers the theorem of the intermediate value, derivatives, and their geometric interpretation.
Covers the theorem of the intermediate value, corollaries, and geometric interpretation of derivatives.
Explores various directions for studying algebraic groups and offers references for further exploration.
In this study, we will discuss the engineering construction of a special sixth generation (6G) antenna, based on the fractal called Minkowski's loop. The antenna has the shape of this known fractal, set at four iterations, to obtain maximum performance. Th ...
The white matter architecture of the brain imparts a distinct signature on neuronal coactivation patterns. Interregional projections promote synchrony among distant neuronal populations, giving rise to richly patterned functional networks. A variety of sta ...
Undoubtedly, reducing vector populations or their interactions with hosts below a critical level is a practical and proven method of disease control. Introduction of insecticide-treated bed nets has significantly reduced malaria in some parts of the world. ...