A point to set principle for finite-state dimension

07/30/2022
by   Elvira Mayordomo, et al.
0

Effective dimension has proven very useful in geometric measure theory through the point-to-set principle <cit.> that characterizes Hausdorff dimension by relativized effective dimension. Finite-state dimension is the least demanding effectivization in this context <cit.> that among other results can be used to characterize Borel normality <cit.>. In this paper we prove a characterization of finite-state dimension in terms of information content of a real number at a certain precision. We then use this characterization to prove a finite-state dimension point-to-set principle.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset