Randomness on computable probability spaces -- a dynamical point of view (Q537913)

The paper extends Schnorr randomness to arbitrary computable probability spaces. It develops some tools and concepts of computability theory and computable measure theory over general metric spaces that are of independent interest. Then it introduces the notion of typicality as a dynamical notion of randomness. A point is typical for some measure-preserving ergodic dynamic if it follows the statistical behavior of the system, given by Birkhoff's pointwise ergodic theorem, with respect to every bounded continuous, or, equivalently, computable function. The main result of the paper shows that in every computable probability space, a point is Schnorr random if and only if it is typical for every mixing computable dynamic system.