機率空間中的定理
設E
n為某個
機率空間中的一個事件序列。波萊爾-坎泰利引理說明: 如果所有的事件E
n發生的機率P的總和是有限的,
其中的
是指一個事件序列的
上極限。由於每一個事件都是若干個可能結果的集合,所以
就是指使得序列
裡面有無限多個事件一起發生的結果(outcome,或稱樣本輸出)
的集合。準確來說,
證明
設(
En)是某個
機率空間里的一系列事件。假設這些事件發生的機率之和是有限的:
這等價於說,正項
無窮級數收斂。所以,根據無窮級數的性質,級數的餘項
的下極限是0:
推廣
對於更一般的
機率空間,波萊爾-坎泰利引理可以敘述如下:
設μ是一個集合
X上的
測度,裝備了σ-代數
F。設(
An)為
F中的一個序列。如果: