A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties (Q1019738)

This paper is concerned with the computable metric spaces and computable measures. The authors prove a kind of constructive Borel--Cantelli lemma. As a consequence of this they obtain the existence of computable points which follow the typical statistical behavior of dynamical system (they satisfy the Birkhoff theorem) for a large class of systems, having computable invariant measure and a certain ``logarithmic'' speed or convergence of Birkhoff averages over Lipshitz observables. This is applied to uniformly hyperbolic systems, piecewise expanding maps, systems on the interval with on indifferent fixed point and it directly implies the existence of computable numbers which are normal with respect to any base.