On the normality of numbers to different bases

We demonstrate the full logical independence of normality to multiplicatively independent bases. This establishes that the set of bases to which a real number can be normal is not tied to any arithmetical properties other than multiplicative dependence. It also establishes that the set of real numbe...

Descripción completa

Detalles Bibliográficos
Autores principales: Becher, V., Slaman, T.A.
Formato: JOUR
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00246107_v90_n2_p472_Becher
Aporte de:
Descripción
Sumario:We demonstrate the full logical independence of normality to multiplicatively independent bases. This establishes that the set of bases to which a real number can be normal is not tied to any arithmetical properties other than multiplicative dependence. It also establishes that the set of real numbers which are normal to at least one base is properly at the fourth level of the Borel hierarchy, which was conjectured by A. Ditzen 20 years ago.We further show that the discrepancy functions for multiplicatively independent bases are pairwise independent. In addition, for any given set of bases closed under multiplicative dependence, there are real numbers that are normal to each base in the given set, but not simply normal to any base in its complement. This answers a question first raised by Brown, Moran and Pearce. ©2014 London Mathematical Society.