A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties (Q1019738)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties |
scientific article |
Statements
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties (English)
0 references
28 May 2009
0 references
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.
0 references
computable metric space
0 references
computable measures
0 references
Birkhoff ergodic theorem
0 references
Lipshitz observables
0 references