Metric variant of Cassels-Schmidt theorem (Q2639090): Difference between revisions

Let \(t=\sum^{\infty}_{k=1}\tau_ k(t)r^{-k}\) be the expansion of the real number \(t\in [0,1)\) relative to the base \(r\) and let \({\mathfrak p}=(p_ 0,\dots,p_{r-1})\) be a distribution of \(\tau_ k(t)\), \(0\leq p_ m<1\), \(\sum p_ m=1\). The infinite product measure of \({\mathfrak p}\) on \(\{0,1,\dots,r-1\}^{\infty}\) is called a Bernoulli measure \(n_ r({\mathfrak p})\) on \([0,1)\). The Bernoulli measure \({\mathfrak e}=n_ r(1/r,\dots,1/r)\) agrees with the Lebesgue measure. If the integers \(g>2\) and \(r\) are multiplicatively independent, i.e., \(\log r/\log g\) is irrational, and if \({\mathfrak p}\neq (1/r,\dots,1/r)\), then \(n_ r({\mathfrak p})\)-almost all numbers in \([0,1)\) are normal relative to the base \(g\). This is a metric version of the Cassels-Schmidt theorem which states that there are uncountably many numbers normal relative to \(g\) but not normal relative to \(r\), cf. e.g. \textit{J. Cigler} and \textit{G. Helmberg} [Jahresber. Dtsch. Math.-Ver. 64, 1--50 (1961; Zbl 0109.034)] on p. 25.