ON THE DIMENSIONLESSNESS OF INVARIANT SETS

Abstract

Let $M$ be a subset of $\Bbb R$ with the following two invariance properties: (1) $M+k\subseteq M$ for all integers $k$, and (2) there exists a positive integer $l\ge 2$ such that $\frac{1}{l}M\subseteq M$. (For example, the set of Liouville numbers and the Besicovitch-Eggleston set of non-normal numbers satisfy these conditions.) We prove that if $h$ is a dimension function that is strongly concave at $0$, then the $h$-dimensional Hausdorff measure $\cal H^{h}(M)$ of $M$ equals $0$ or infinity.