Effective dimension has proven very useful in geometric measure theory through the point-to-set principle [9] that characterizes Hausdorff dimension by relativized effective dimension. Finite-state dimension is the least demanding effectivization in this context [3] that among other results can be used to characterize Borel normality [2]. 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 give a robust concept of relativized normality and prove a finite-state dimension point-to-set principle. We finish with an open question on the equidistribution properties of relativized normality.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Point to Set Principle for Finite-State Dimension

  • Elvira Mayordomo

摘要

Effective dimension has proven very useful in geometric measure theory through the point-to-set principle [9] that characterizes Hausdorff dimension by relativized effective dimension. Finite-state dimension is the least demanding effectivization in this context [3] that among other results can be used to characterize Borel normality [2]. 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 give a robust concept of relativized normality and prove a finite-state dimension point-to-set principle. We finish with an open question on the equidistribution properties of relativized normality.