Minkowski's question-mark function

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.

About this result

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.

Related publications (6)

Related concepts (8)

Related courses (2)

Related lectures (10)

MATH-540: Diophantine approximation

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

MATH-101(e): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.

Minkowski's Loop Fractal Antenna Dedicated to Sixth Generation (6G) Communication

Maria-Alexandra Paun

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 ...

MDPI2022

Gradients of structure-function tethering across neocortex

Patric Hagmann

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 ...

PNAS2019

Vector Control in Developing Countries: Challenges and Solutions

Paul Joseph Dyson, Claire Samantha Allardyce

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. ...

Schweizerische Chemische Gesellschaft2016

Cantor function

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.

De Rham curve

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.

Dense order

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.

Ergodicity & Mixing: Understanding Chaos

Explores ergodicity and mixing in dynamical systems to understand chaos and system behavior.

Introduction to Quantum Chaos

Covers the introduction to Quantum Chaos, classical chaos, sensitivity to initial conditions, ergodicity, and Lyapunov exponents.

Continuous Functions and Derivatives MATH-101(e): Analysis I

Covers the theorem of the intermediate value, derivatives, and their geometric interpretation.