A devil’s staircase from rotations and irrationality measures for Liouville numbers∗
نویسنده
چکیده
From Sturmian and Christoffel words we derive a strictly increasing function ∆ : [0,∞) → R. This function is continuous at every irrational point, while at rational points, left-continuous but not right-continuous. Moreover, it assumes algebraic integers at rationals, and transcendental numbers at irrationals. We also see that the differentiation of ∆ distinguishes some irrationality measures of real numbers.
منابع مشابه
Irrationality Measures of log 2 and π/√3
1. Irrationality Measures An irrationality measure of x ∈ R \Q is a number μ such that ∀ > 0,∃C > 0,∀(p, q) ∈ Z, ∣∣∣∣x− pq ∣∣∣∣ ≥ C qμ+ . This is a way to measure how well the number x can be approximated by rational numbers. The measure is effective when C( ) is known. We denote inf {μ | μ is an irrationality measure of x } by μ(x), and we call it the irrationality measure of x. By definition,...
متن کاملChip-Firing And A Devil’s Staircase
The devil’s staircase – a continuous function on the unit interval [0,1] which is not constant, yet is locally constant on an open dense set – is the sort of exotic creature a combinatorialist might never expect to encounter in “real life.” We show how a devil’s staircase arises from the combinatorial problem of parallel chip-firing on the complete graph. This staircase helps explain a previous...
متن کاملDiophantine Properties of Automatic Real Numbers
We study some diophantine properties of automatic real numbers and we present a method to derive irrationality measures for such numbers. As a consequence, we prove that the b-adic expansion of a Liouville number cannot be generated by a finite automaton, a conjecture due to Shallit.
متن کاملDiophantine properties of real numbers generated by finite automata
We study some Diophantine properties of automatic real numbers and we present a method to derive irrationality measures for such numbers. As a consequence, we prove that the b-adic expansion of a Liouville number cannot be generated by a finite automaton, a conjecture due to Shallit.
متن کاملLiouville numbers
In this work, we define the concept of Liouville numbers as well as the standard construction to obtain Liouville numbers and we prove their most important properties: irrationality and transcendence. This is historically interesting since Liouville numbers constructed in the standard way where the first numbers that were proven to be transcendental. The proof is very elementary and requires on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007