確率論におけるボレル・カンテリの補題(ボレル・カンテリのほだい、英: Borel–Cantelli lemma)は、事象の列に関する命題である。一般的に見れば測度論の結果の一つ。名称は20世紀初頭にこの補題の記述を行ったエミール・ボレルとフランチェスコ・パオロ・カンテリ(英語版)にちなむ[1][2]。これと関連した、ボレル・カンテリの第二補題と呼ばれることもある命題は、(完全に対称的ではないが)ボレル・カンテリの補題(第一補題)と帰結が反対になる。これらの補題はある種の条件下で事象の確率が0か1かのどちらかであることを述べており、0-1法則として知られる一連の定理の中で最も著名なものとなっている。0-1法則にはこの他にコルモゴロフの0-1法則やヒューイット・サヴェッジの0-1法則(英語版)がある。
確率空間における主張
E1,E2,... を、ある確率空間の事象の列とする。 このとき
- もしの確率 P(En) の和が有限であれば、これらの事象が無限に多くの回数起こるような確率は 0 である[3]。
![{\displaystyle \sum _{n=1}^{\infty }\Pr(E_{n})<\infty \Rightarrow \Pr \left(\limsup _{n\to \infty }E_{n}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde3700bf4c08e91025bd015fd503200ee78c0e4)
ここで "lim sup" は事象列の上極限で、明示的に書けば
![{\displaystyle \limsup _{n\to \infty }E_{n}=\bigcap _{n=1}^{\infty }\bigcup _{k\geq n}^{\infty }E_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72ea17bb5dca7664a949b6ee0e621e5681c14c26)
仮定として独立性を課していないことに注意。
例
(Xn) を確率変数列とし、各 n に対し Pr(Xn = 0) = 1/n2 とする。
ΣPr(Xn = 0) = π2/6 ≈ 1.645 < ∞ だから、ボレル・カンテリの補題より Xn = 0 となるような n が無限に多く存在する確率は 0 である(ほとんど確実に、有限個の n を除いて Xn は 0 でない値をとる)。
証明
を事象
の指示関数とする(アイバーソンの記法)。ルベーグの単調収束定理より
![{\displaystyle \operatorname {E} \left(\sum _{n}[E_{n}]\right)=\sum _{n}\operatorname {E} ([E_{n}])=\sum _{n}\Pr(E_{n})<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/15a2f2e1e7555efa30cc89385b3f6491ed221117)
よって
![{\displaystyle \Pr \left(\sum _{n}[E_{n}]=\infty \right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34920a625ddeecacdfc95ce83001ad5e4d75d4ef)
なぜなら、さもなければ
![{\displaystyle \operatorname {E} \left(\sum _{n}[E_{n}]\right)\geq \int _{\{\sum _{n}[E_{n}]=\infty \}}\left(\sum _{n}[E_{n}]\right)\,\mathrm {d} \mathbb {\Pr } =\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/caed14eb5e707d02fee65588bac7cf401873d2f6)
となるからである[4]。
別証
級数
が収束するので、
![{\displaystyle \sum _{n=N}^{\infty }\Pr(E_{n})\rightarrow 0,\quad {\text{as }}N\to \infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c82f93d3e8a4c62607f2c0809269e0b3460d5053)
でなければならない。よって
これより
![{\displaystyle {\begin{aligned}\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\geq 1}\Pr \left(\bigcup _{n=N}^{\infty }E_{n}\right)\\&\leq \inf _{N\geq 1}\sum _{n=N}^{\infty }\Pr(E_{n})=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eed7bef7228767c8a5aafc4162092b7e79d77502)
となり示された[5]。
一般の測度空間
一般の測度空間では、ボレル・カンテリの補題は次の形になる。
μ を集合 X 、完全加法族 F 上の(非負)測度とし、(An) を F の元の列とする。このとき
ならば ![{\displaystyle \mu \left(\limsup _{n\to \infty }A_{n}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76f5d28e76e609979929586aeef8ad73130990a2)
反対(第二補題)
これに関連して、帰結が反対となるような次の結果がある。
かつ事象列
が独立ならば、![{\displaystyle \Pr(\limsup _{n\rightarrow \infty }E_{n})=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83c08e1a116476d75b69186165d6448071c65043)
独立性の仮定は組ごとの独立性(任意の i ≠ j に対し P(Ei Ej)=P(Ei) P(Ej) となること)に弱めることができる。ただしその場合、証明がより複雑になる。
例
無限の猿定理はこの補題の特別な場合である。
この補題は Rn における被覆定理に適用できる場合がある。特に、以下の結果がある(Stein 1993, Lemma X.2.1)。Ej が Rn のルベーグ可測なコンパクト部分集合族で
![{\displaystyle \sum _{j}\mu (E_{j})=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad71f2a7d3bfcd80ab15fd8273d7f27974c79cd9)
を満たすとすると、それらを平行移動した集合の族( Fj )
![{\displaystyle F_{j}=E_{j}+x_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46c9099e94d0ca02373ea1b57b13d02c85deb042)
であって、零集合の差を除いて、集合の等式
![{\displaystyle \lim \sup F_{j}=\bigcap _{n=1}^{\infty }\bigcup _{k=n}^{\infty }F_{k}=\mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0568ebb66de9596605a0b41b0ff84430c7b19e3)
が成り立つようなものが存在する。
証明
以下の通り変形する。ここで "i.o." は "infinitely often" の略、右肩の "c" は余事象をとることを表す。
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3fbbbe4cd1c4f3aa60ea3de76f54de4e9362979)
ここで独立性より
![{\displaystyle {\begin{aligned}\Pr \left(\bigcap _{n=N}^{\infty }E_{n}^{c}\right)&=\prod _{n=N}^{\infty }\Pr(E_{n}^{c})\\&=\prod _{n=N}^{\infty }(1-\Pr(E_{n}))\\&\leq \prod _{n=N}^{\infty }\exp(-\Pr(E_{n}))\\&=\exp \left(-\sum _{n=N}^{\infty }\Pr(E_{n})\right)\\&=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9a47713dacf7cc22454c3ed3bf0a804c4755038)
となって証明された。
(もしくは
![{\displaystyle {\begin{aligned}-\log \left(\Pr \left(\bigcap _{n=N}^{\infty }E_{n}^{c}\right)\right)&=-\log \left(\prod _{n=N}^{\infty }(1-\Pr(E_{n}))\right)\\&=-\sum _{n=N}^{\infty }\log(1-\Pr(E_{n}))\\&\geq \sum _{n=N}^{\infty }\Pr(E_{n})\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9c438c35741eae159c2bf23b139e4465e4e7aa3)
を考えてもよい)[5]。
類似の結果
また別の関連する結果(いわゆる counterpart of the Borel–Cantelli lemma)がある。ここで類似(counterpart)というのは、
に課す仮定を「独立性」から全く別のものに取り換えて、limsup が1になるための必要十分条件を与えるという意味でである。
事象列
が
を満たすとし、
で
の余事象を表す。
このとき、事象
が無限に多くの回数起こる(つまり、少なくともどれかが起こる)確率が 1 であるための必要十分条件は、真に増大する正整数列
であって
![{\displaystyle \sum _{k}\Pr(A_{t_{k+1}}\mid {\bar {A}}_{t_{k}})=\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b116e2739b5c5f36fdc61cfe68e88d7c37cf2e47)
が成り立つようなものが存在することである。
このシンプルな結果は例えば、確率過程で時刻の部分集合
を選んだときの到達確率(hitting probability)を論じるのに有用である(この場合普通、
の選び方が本質的に重要になる)。
関連項目
- (レヴィの0-1法則として知られる条件付き期待値の収束に関する命題がある。)
脚注
- ^ E. Borel, "Les probabilités dénombrables et leurs applications arithmetiques" Rend. Circ. Mat. Palermo (2) 27 (1909) pp. 247–271.
- ^ F.P. Cantelli, "Sulla probabilità come limite della frequenza", Atti Accad. Naz. Lincei 26:1 (1917) pp.39–45.
- ^ Klenke, Achim (2006). Probability Theory. Springer-Verlag. ISBN 978-1-84800-047-6
- ^ Tao, Terence.. “The strong law of large numbers.”. 2015年2月15日閲覧。
- ^ a b “Romik, Dan. Probability Theory Lecture Notes, Fall 2009, UC Davis.”. 2010年6月14日時点のオリジナルよりアーカイブ。2009年11月20日閲覧。
参考文献
- Prokhorov, A.V. (2001), “Borel–Cantelli lemma”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Borel–Cantelli_lemma
- Feller, William (1961), An Introduction to Probability Theory and Its Application, John Wiley & Sons .
- Stein, Elias (1993), Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press .
- Bruss, F. Thomas (1980), “A counterpart of the Borel Cantelli Lemma”, J. Appl. Probab. 17: 1094–1101 .
- Durrett, Rick. "Probability: Theory and Examples." Duxbury advanced series, Third Edition, Thomson Brooks/Cole, 2005.
外部リンク
- Planet Math Proof 補題の簡単な証明。