Normality and equidistribution under integer multiplication
= Normality and equidistribution under integer multiplication
A number $x$ is a <normal number> in base $K$ exactly when $(T_K^nx)$ is an <equidistributed sequence>. A word of length $r$ corresponds to a half-open interval of length $K^{-r}$; these intervals form arbitrarily fine grids, which approximate any interval from inside and outside.