The Divergence Borel-Cantelli Lemma revisited

Abstract

Let $(\Omega ,\mathcal{A},\mu )$ be a probability space. The classical Borel-Cantelli Lemma states that for any sequence of $\mu$-measurable sets $E_i$ ($i=1,2,3,\dots$), if the sum of their measures converges then the corresponding $\mathrm{limsup}$ set $E_{\infty }$ is of measure zero. In general the converse statement is false. However, it is well known that the divergence counterpart is true under various additional 'independence' hypotheses. In this paper we revisit these hypotheses and establish both sufficient and necessary conditions for $E_{\infty }$ to have either positive or full measure.

arXiv comment26 pages

References in corpus (7)

• A note on zero-one laws in metrical Diophantine approximation
• Classical metric Diophantine approximation revisited
• Bohr sets and multiplicative diophantine approximation
• A Mass Transference Principle for systems of linear forms and its applications
• Counterexamples, covering systems, and zero-one laws for inhomogeneous approximation
• Higher-rank Bohr sets and multiplicative diophantine approximation
• Littlewood and Duffin--Schaeffer-type problems in diophantine approximation