Irrationality exponent, Hausdorff dimension and effectivization
- 18 Downloads
We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension and show that the two notions are independent. For any real number a greater than or equal to 2 and any non-negative real b be less than or equal to 2 / a, we show that there is a Cantor-like set with Hausdorff dimension equal to b such that, with respect to its uniform measure, almost all real numbers have irrationality exponent equal to a. We give an analogous result relating the irrationality exponent and the effective Hausdorff dimension of individual real numbers. We prove that there is a Cantor-like set such that, with respect to its uniform measure, almost all elements in the set have effective Hausdorff dimension equal to b and irrationality exponent equal to a. In each case, we obtain the desired set as a distinguished path in a tree of Cantor sets.
KeywordsDiophantine approximation Cantor sets Effective Hausdorff dimension
Mathematics Subject Classification11J82 11J83 03D32
The authors thank two anonymous referees for helpful comments and remarks.
- 8.Calude, C., Staiger, L.: Liouville numbers, Borel normality and Martin–Löf randomness. Technical report, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland (2013)Google Scholar
- 16.Kjos-Hanssen, B., Reimann, J.: The strength of the Besicovitch–Davies theorem. In: Computability in Europe, Volume 6158 of Lecture Notes in Computer Science, pp. 229–238. Springer (2010)Google Scholar
- 17.Lutz, J.H.: Gales and the constructive dimension of individual sequences. In: Automata, languages and programming (Geneva, 2000), Volume 1853 of Lecture Notes in Computer Science, pp. 902–913. Springer, Berlin (2000)Google Scholar
- 18.Reimann, J., Stephan, F.: Effective Hausdorff dimension. In: Logic Colloquium ’01, Volume 20 of Lecture Notes in Logic, pp. 369–385. Association for Symbolic Logic, Urbana (2005)Google Scholar