Abstract. The dynamical Borel-Cantelli lemma for some interval maps is considered. For expanding maps whose derivative has bounded variation, any sequence of intervals satisfies the dynamical Borel-Cantelli lemma. If a map has an indifferent fixed point, then the dynamical Borel-Cantelli lemma does not hold even in the case that the map has a finite absolutely continuous invariant measure and s...

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical BorelCantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasi...

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical BorelCantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasi...

The notation and terminology used here have been introduced in the following papers: [17], [3], [4], [8], [13], [1], [2], [5], [15], [14], [21], [9], [12], [11], [16], [6], [20], [19], and [18]. For simplicity, we adopt the following rules: O1 is a non empty set, S1 is a σ-field of subsets of O1, P1 is a probability on S1, A is a sequence of subsets of S1, and n is an element of N. Let D be a s...

Let T : X 7→ X be a deterministic dynamical system preserving a probability measure μ. A dynamical Borel-Cantelli lemma asserts that for certain sequences of subsets An ⊂ X and μ-almost every point x ∈ X the inclusion Tnx ∈ An holds for infinitely many n. We discuss here systems which are either symbolic (topological) Markov chain or Anosov diffeomorphisms preserving Gibbs measures. We find suf...

In the present note, we propose a new form of the Borel-Cantelli lemma.