Weyl's Equidistribution Theorem and Measure Theory

Noam Elkies pointed out that this generalization cannot be true because the set of values of this sequence has measure zero. However, another natural generalization is true: By definition, a sequence $(x_i)$ is equidistributed iff

$$(*)\qquad \frac1n \sum_{i=1}^n f(x_i) \ \to \ \int_0^1 f(x) \ dx$$

holds whenever $f$ is the characteristic function of an interval. It is a classical theorem that the following are equivalent:

  1. $(*)$ holds for all characteristic functions of an interval

  2. $(*)$ holds for all continuous functions

  3. $(*)$ holds for all Riemann-integrable functions

  4. $(*)$ holds whenever $f$ is one of the functions $e^{i\pi k x}$.

Condition 3 implies that uniformly distributed sequences can be used to approximate integrals. (Using the "discrepancy" of a sequence, the error can even be estimated in terms of the total variation of the function.)

It also means that the answer to the original question is yes for all sets whose characteristic function is Riemann-integrable; equivalently, for all sets whose topological boundary has measure zero.

Condition (4) means that only few functions have to be checked to conclude uniform distribution. For the sequence $x_k =k \alpha$, the criterion in (4) is very easy to verify, since the exponential sum appearing there is a finite geometric series.

(See also Wikipedia's article on equidistribution)


This is a very interesting question, which actually asks about the interplay between equidistribution (or harmonic analysis if you would like to call it that way) and ergodic theory.

As Vaughn mentioned, for any $L^{p}$ function ($p\geq 1$), the pointwise ergodic theorem would imply that for Lebesgue almost every point $x$, the value of the ergdoic averages $$ \frac{1}{N}\sum_{n=0}^{N-1}f(x+n \alpha) \to \int fd\mu$$ where $\mu$ is the Lebesgue measure. Hence one can take the characteristic function of your favourite measurable set, and get the "equidistribution" statement you would like, but only at the cost of convergence a.e.

Noam showed why a.e. is sharp here.

When one asks about continuous function (or more frequently in the field, takes a function from a suitable Sobolev space), one can get more information than the statement above (including for example estimation about the errors), see for example this inequality for your problem - https://en.wikipedia.org/wiki/Low-discrepancy_sequence , but this also comes at a cost, you usually have to limit the irrational number your dealing with to be Diophantine generic or so.

As you may know, Weyl's equidistribution was generalized to equidistribution of sequences of the form ${p(n)\alpha}$, where $p(n)$ is some polynomial in $Z[x]$. Now one can ask about such "ergodic limits" for the sequence ${n^{2}\alpha}$, for general $L^{p}$ function (continuous functions will be dealt easily by the equidistribution theorem). It was an open question for some time, but the main result here is by Bourgain, which showed that for any $p>1$, if the function is in $L^{p}$, then the averages will converge a.e. to the integral. This is the analogue of the usual pointwise ergodic theorem for the quadratic case. The interesting point here is that $p>1$ is sharp, there is today a counterexample for $p=1$ case.