Autor(es)

V. Becher and P. A Heiber and T. A. Slaman

URL Pública

Abstract

We say that a base is an integer s greater than or equal to 2. A real number x is normal to base s if the sequence (sjx: j≥ 0) is uniformly distributed in the unit interval modulo one. By Weyl’s Criterion [11], x is normal to base s if and only if certain harmonic sums associated with (sjx: j≥ 0) grow slowly. Absolute normality is normality to every base.Bugeaud [6] established the existence of absolutely normal Liouville numbers by means of an almost-all argument for an appropriate measure due to Bluhm [3, 4]. The support of this measure is a perfect set, which we call Bluhm’s fractal, all of whose irrational elements are Liouville numbers. The Fourier transform of this measure decays quickly enough to ensure that those harmonic sums grow slowly on a set of measure one. Thus, Bugeaud’s proof exhibits a nonempty set but does not provide a construction of an absolutely normal Liouville number. A real number x is computable if there is a base s and an algorithm to output the digits for the base-s expansion of x, one after the other. In this note we show the following: