ボレル・カンテリの補題

確率論における**ボレル・カンテリの補題**（ボレル・カンテリのほだい、）は、事象の列に関する命題である。一般的に見れば測度論の結果の一つ。名称は20世紀初頭にこの補題の記述を行ったエミール・ボレルとにちなむ。これと関連した、**ボレル・カンテリの第二補題**と呼ばれることもある命題は、（完全に対称的ではないが）ボレル・カンテリの補題（第一補題）と帰結が反対になる。これらの補題はある種の条件下で事象の確率が0か1かのどちらかであることを述べており、0-1法則として知られる一連の定理の中で最も著名なものとなっている。0-1法則にはこの他にコルモゴロフの0-1法則やがある。

## 確率空間における主張

*E*1,*E*2,... を、ある確率空間の事象の列とする。
このとき

:もしの確率 P(*E**n*) の和が有限であれば、これらの事象が無限に多くの回数起こるような確率は 0 である。

::\sum_{n=1}^\infty \Pr(E_n)

ここで "lim&nbsp;sup" は事象列の上極限で、明示的に書けば

:\limsup_{n\to\infty} E_n = \bigcap_{n=1}^\infty \bigcup_{k \geq n}^\infty E_k

仮定として独立性を課していないことに注意。

### 例

(*X**n*) を確率変数列とし、各 *n* に対し Pr(*X**n* = 0) = 1/*n*2 とする。

ΣPr(*X**n* = 0) = 2/6&nbsp; &asymp; &nbsp;1.645&nbsp;*n* = 0 となるような *n* が無限に多く存在する確率は 0 である（ほとんど確実に、有限個の *n* を除いて *X**n* は 0 でない値をとる）。

## 証明
[E_n] を事象 E_n の指示関数とする（アイバーソンの記法）。ルベーグの単調収束定理より
:\operatorname{E}\left(\sum_n [E_n]\right) = \sum_n \operatorname{E}([E_n]) = \sum_n \Pr(E_n) 
よって
:\Pr\left(\sum_n [E_n] = \infty \right) = 0
なぜなら、さもなければ
:\operatorname{E}\left(\sum_n [E_n]\right) \ge \int_{\{\sum_n [E_n]=\infty\}}\left(\sum_n [E_n]\right) \, \mathrm d\mathbb \Pr=\infty
となるからである。

### 別証

級数 \sum_{n=1}^\infty \Pr(E_n) が収束するので、

: \sum_{n = N} ^\infty \Pr(E_n) \rightarrow 0, \quad \text{as } N \to \infty

でなければならない。よって  \inf_{N\ge 1} \sum_{n=N}^\infty \Pr(E_n) = 0

これより

:\begin{align}
\Pr\left(\limsup_{n\to\infty} E_n\right) &= \Pr(\text{infinitely many of the } E_n \text{ occur} ) \\[6pt]
&= \Pr\left(\bigcap_{N=1}^\infty \bigcup_{n=N}^\infty E_n\right)  = \inf_{N \ge 1} \Pr\left( \bigcup_{n=N}^\infty E_n\right) \\
&\le \inf_{N\ge 1} \sum_{n=N}^\infty \Pr(E_n)  = 0
\end{align}

となり示された。

## 一般の測度空間

一般の測度空間では、ボレル・カンテリの補題は次の形になる。

&mu; を集合 *X* 、完全加法族 *F* 上の（非負）測度とし、(*A**n*) を *F* の元の列とする。このとき

::\sum_{n=1}^\infty\mu(A_n) ならば \mu\left(\limsup_{n\to\infty} A_n\right) = 0

## 反対（第二補題）

これに関連して、帰結が反対となるような次の結果がある。

:: \sum^{\infty}_{n = 1} \Pr(E_n) = \infty  かつ事象列 (E_n)^{\infty}_{n = 1} が独立ならば、\Pr(\limsup_{n \rightarrow \infty} E_n) = 1

独立性の仮定は組ごとの独立性（任意の *i* &ne; *j* に対し P(*E**i* *E**j*)=P(*E**i*)  P(*E**j*) となること）に弱めることができる。ただしその場合、証明がより複雑になる。

### 例
無限の猿定理はこの補題の特別な場合である。

この補題は **R***n* における被覆定理に適用できる場合がある。特に、以下の結果がある。*E**j* が **R***n* のルベーグ可測なコンパクト部分集合族で

:\sum_j \mu(E_j) = \infty

を満たすとすると、それらを平行移動した集合の族（ *F**j* ）

:F_j = E_j + x_j 

であって、零集合の差を除いて、集合の等式

:\lim\sup F_j = \bigcap_{n=1}^\infty \bigcup_{k=n}^\infty F_k = \mathbb{R}^n

が成り立つようなものが存在する。

## 証明
以下の通り変形する。ここで "i.o." は "infinitely often" の略、右肩の "c" は余事象をとることを表す。

:\begin{align}
1 - \Pr(\limsup_{n \rightarrow \infty} E_n) &= 1 - \Pr\left(\{E_n\text{ i.o.}\}\right) = \Pr\left(\{E_n \text{ i.o.}\}^c \right) \\
& = \Pr\left(\left(\bigcap_{N=1}^\infty \bigcup_{n=N}^\infty E_n\right)^c \right) = \Pr\left(\bigcup_{N=1}^\infty \bigcap_{n=N}^\infty E_n^c \right)\\
&= \Pr\left(\liminf_{n \rightarrow \infty}E_n^{c}\right)= \lim_{N \rightarrow \infty}\Pr\left(\bigcap_{n=N}^\infty E_n^c \right)
\end{align}


ここで独立性より

:\begin{align}
\Pr\left(\bigcap_{n=N}^\infty E_n^c\right) 
&= \prod^{\infty}_{n=N} \Pr(E_n^c) \\
&= \prod^{\infty}_{n=N} (1-\Pr(E_n)) \\
&\leq\prod^{\infty}_{n=N} \exp(-\Pr(E_n))\\
&=\exp\left(-\sum^{\infty}_{n=N} \Pr(E_n)\right)\\
&=0
\end{align}


となって証明された。

（もしくは

:
\begin{align}
 -\log\left(\Pr\left(\bigcap_{n=N}^{\infty}E_n^{c}\right)\right) 
&= -\log\left(\prod^{\infty}_{n=N} (1-\Pr(E_n))\right) \\
&= - \sum^{\infty}_{n=N}\log(1-\Pr(E_n)) \\
&\geq  \sum^{\infty}_{n=N}\Pr(E_n)
\end{align}


を考えてもよい）。

## 類似の結果

また別の関連する結果（いわゆる **counterpart of the Borel&ndash;Cantelli lemma**）がある。ここで類似（counterpart）というのは、(A_n) に課す仮定を「独立性」から全く別のものに取り換えて、limsup が1になるための必要十分条件を与えるという意味でである。

事象列 (A_n) が A_k \subseteq A_{k+1} を満たすとし、\bar A で A の余事象を表す。

このとき、事象 A_k が無限に多くの回数起こる（つまり、少なくともどれかが起こる）確率が 1 であるための必要十分条件は、真に増大する正整数列 ( t_k) であって

:  \sum_k \Pr( A_{t_{k+1}} \mid \bar A_{t_k}) = \infty 

が成り立つようなものが存在することである。

このシンプルな結果は例えば、確率過程で時刻の部分集合 (t_k) を選んだときの到達確率（hitting probability）を論じるのに有用である（この場合普通、(t_k) の選び方が本質的に重要になる）。

## 関連項目
*  
:（レヴィの0-1法則として知られる条件付き期待値の収束に関する命題がある。）
* 
* 無限の猿定理

## 脚注

## 参考文献
* 
* .
* .
* .
* Durrett, Rick. "Probability: Theory and Examples." Duxbury advanced series, Third Edition, Thomson Brooks/Cole, 2005.

## 外部リンク
* Planet Math Proof 補題の簡単な証明。