Equidistributed sequence (source code)

= Equidistributed sequence
{wiki}

A sequence $(x_n)$ in $\mathbb R/\mathbb Z$ is equidistributed if the limiting frequency in every half-open interval equals that interval's length. Equivalently, its empirical probability measures converge to normalized <Lebesgue measure> when tested against every continuous function.