Skip to main content
11 of 13
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/

Integrable version of the Borel-Cantelli theorem?

I have taken an introductory course on measure theory where I learned about the Borel-Cantelli theorem but I wonder whether there is a lebesgue integrable version. Given an uncountable collection of independent events $E_{t \in \mathbb{R}_+}$,

$$ \int_0^{\infty} P(E_t) dt <\infty \implies P( E_t\quad i.o. )=0\tag{1}$$

$$ \int_0^{\infty} P(E_t) dt =\infty \implies P( E_t\quad i.o. )=1\tag{2}$$

Note: This question is motivated from a problem I encountered in statistical physics: https://math.stackexchange.com/questions/2077097/microcanonical-distribution

Aidan Rocke
  • 3.9k
  • 19
  • 47