A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties

Details A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties

2007-11-09

arxiv.org/abs/0711.1478v2

Mathematics

Classical Analysis and ODEs

Revised version. Several results are generalized

Scientific paper

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are computable points which are not contained in infinitely many $A_{i}$. As a consequence of this we obtain the existence of computable points which follow the \emph{typical statistical behavior} of a dynamical system (they satisfy the Birkhoff theorem) for a large class of systems, having computable invariant measure and a certain ``logarithmic'' speed of convergence of Birkhoff averages over Lipshitz observables. This is applied to uniformly hyperbolic systems, piecewise expanding maps, systems on the interval with an indifferent fixed point and it directly implies the existence of computable numbers which are normal with respect to any base.

Affiliated with

Also associated with

No associations

Rating

A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-702543