UNIFORM DISTRIBUTION AND ALGORITHMIC RANDOMNESS

作者:Avigad Jeremy*
来源:Journal of Symbolic Logic, 2013, 78(1): 334-344.
DOI:10.2178/jsl.7801230

摘要

A seminal theorem due to Weyl [14] states that if (a(n)) is any sequence of distinct integers, then, for almost every x is an element of R, the sequence (a(n)x) is uniformly distributed modulo one. In particular, for almost every x in the unit interval, the sequence (a(n)x) is uniformly distributed modulo one for every computable sequence (a(n)) of distinct integers. Call such an x UD random. Here it is shown that every Schnorr random real is UD random, but there are Kurtz random reals that are not UD random. On the other hand, Weyl's theorem still holds relative to a particular effectively closed null set, so there are UD random reals that are not Kurtz random.

  • 出版日期2013-3