確率論
コルモゴロフの公理
確率空間 標本空間 根元事象 事象 確率変数 確率測度
排反 同時分布 周辺分布 条件付き確率
独立 条件付き独立 全確率の法則 大数の法則 ベイズの定理 ブールの不等式
ベン図 樹形図
表 話 編 歴

確率論において、ブールの不等式（ブールのふとうしき、英: Boole's inequality）またはユニオンバウンド（union bound）は、事象の有限あるいは可算集合について、少くとも1つの事象が起こる確率は個別の事象の確率の和よりも大きくない、ことを示す。

ブールの不等式の名称はジョージ・ブールにちなむ^[1]。

形式的に、事象A₁, A₂, A₃, ...の可算集合について、

${\displaystyle \mathbb {P} \left(\bigcup _{i}A_{i}\right)\leq \sum _{i}{\mathbb {P} }(A_{i})}$

が成り立つ。

測度論の用語では、ブールの不等式は測度（および任意の確率測度）がσ-劣加法的である事実から得られる。

有限個の事象に関するブールの不等式は、帰納法を使って証明することができる。

${\displaystyle n=1}$の場合について当然

${\displaystyle \mathbb {P} (A_{1})\leq \mathbb {P} (A_{1})}$

ということになる。

${\displaystyle n}$の場合に

${\displaystyle {\mathbb {P} }\left(\bigcup _{i=1}^{n}A_{i}\right)\leq \sum _{i=1}^{n}{\mathbb {P} }(A_{i})}$

であると仮定する。

${\displaystyle \mathbb {P} (A\cup B)=\mathbb {P} (A)+\mathbb {P} (B)-\mathbb {P} (A\cap B)}$であり、和集合演算は結合則を満たすため、

${\displaystyle \mathbb {P} \left(\bigcup _{i=1}^{n+1}A_{i}\right)=\mathbb {P} \left(\bigcup _{i=1}^{n}A_{i}\right)+\mathbb {P} (A_{n+1})-\mathbb {P} \left(\bigcup _{i=1}^{n}A_{i}\cap A_{n+1}\right)}$

を得る。

そして、確率の第一公理によって、

${\displaystyle {\mathbb {P} }\left(\bigcup _{i=1}^{n}A_{i}\cap A_{n+1}\right)\geq 0}$

であるため、

${\displaystyle \mathbb {P} \left(\bigcup _{i=1}^{n+1}A_{i}\right)\leq \mathbb {P} \left(\bigcup _{i=1}^{n}A_{i}\right)+\mathbb {P} (A_{n+1})}$

を得て、したがって

${\displaystyle \mathbb {P} \left(\bigcup _{i=1}^{n+1}A_{i}\right)\leq \sum _{i=1}^{n}\mathbb {P} (A_{i})+\mathbb {P} (A_{n+1})=\sum _{i=1}^{n+1}\mathbb {P} (A_{i})}$

を得る。

確率空間における${\displaystyle A_{1},A_{2},A_{3},\dots }$中のいかなる事象に対しても、

${\displaystyle \mathbb {P} \left(\bigcup _{i}A_{i}\right)\leq \sum _{i}\mathbb {P} (A_{i})}$

となる、ことを示す。

確率空間の公理の1つは、${\displaystyle B_{1},B_{2},B_{3},\dots }$が確率空間の「交わりを持たない」部分集合であるならば

${\displaystyle \mathbb {P} \left(\bigcup _{i}B_{i}\right)=\sum _{i}\mathbb {P} (B_{i})}$

となるというものである。これは「可算加法性」と呼ばれる。

一方、${\displaystyle B\subset A}$ならば、${\displaystyle \mathbb {P} (B)\leq \mathbb {P} (A)}$ であるから、確率分布の公理より、

${\displaystyle \mathbb {P} (A)=\mathbb {P} (B)+\mathbb {P} (A-B)}$

である。（ここで留意すべきは、右辺のどちらの項も非負である、という点である。）

さて、集合${\displaystyle A_{i))$を、交わりを持たないよう変形する。

${\displaystyle B_{i}=A_{i}-\bigcup _{j=1}^{i-1}A_{j}.}$

とすると、${\displaystyle \{B_{i}\))$ は互いに素であり、また${\displaystyle B_{i}\subset A_{i))$であり、かつ

${\displaystyle \bigcup _{i=1}^{\infty }B_{i}=\bigcup _{i=1}^{\infty }A_{i))$

となる。

したがって、以下の式を演繹することができる。

${\displaystyle \mathbb {P} \left(\bigcup _{i}A_{i}\right)=\mathbb {P} \left(\bigcup _{i}B_{i}\right)=\sum _{i}\mathbb {P} (B_{i})\leq \sum _{i}\mathbb {P} (A_{i}).}$

ブールの不等式は事象の有限和の確率の上界と下界を見つけるために一般化することができる^[2]。これらの境界はカルロ・エミリオ・ボンフェローニにちなみボンフェローニの不等式と呼ばれる（Bonferroni (1936)）。

以下を定義する。

${\displaystyle S_{1}:=\sum _{i=1}^{n}{\mathbb {P} }(A_{i})}$

${\displaystyle S_{2}:=\sum _{1\leq i<j\leq n}{\mathbb {P} }(A_{i}\cap A_{j})}$

{3, ..., n} 中の全ての整数k について

${\displaystyle S_{k}:=\sum _{1\leq i_{1}<\cdots <i_{k}\leq n}{\mathbb {P} }(A_{i_{1))\cap \cdots \cap A_{i_{k)))}$

すると、 {1, ..., n} 中の奇数k について

${\displaystyle {\mathbb {P} }\left(\bigcup _{i=1}^{n}A_{i}\right)\leq \sum _{j=1}^{k}(-1)^{j-1}S_{j))$

{2, ..., n} 中の偶数kについて

${\displaystyle {\mathbb {P} }\left(\bigcup _{i=1}^{n}A_{i}\right)\geq \sum _{j=1}^{k}(-1)^{j-1}S_{j))$

となる。

ブールの不等式はk = 1の場合である。k = n の時は等号が成立し、得られる恒等式は包除原理である。

• Bonferroni, Carlo E. (1936), “Teoria statistica delle classi e calcolo delle probabilità” (イタリア語), Pubbl. d. R. Ist. Super. di Sci. Econom. e Commerciali di Firenze 8: 1–62, Zbl 0016.41103 
• Dohmen, Klaus (2003), Improved Bonferroni Inequalities via Abstract Tubes. Inequalities and Identities of Inclusion–Exclusion Type, Lecture Notes in Mathematics, 1826, Berlin: Springer-Verlag, pp. viii+113, ISBN 3-540-20025-8, MR2019293, Zbl 1026.05009 
• Galambos, János; Simonelli, Italo (1996), Bonferroni-Type Inequalities with Applications, Probability and Its Applications, New York: Springer-Verlag, pp. x+269, ISBN 0-387-94776-0, MR1402242, Zbl 0869.60014 
• Galambos, János (1977), “Bonferroni inequalities”, Annals of Probability 5 (4): 577–581, doi:10.1214/aop/1176995765, JSTOR 2243081, MR0448478, Zbl 0369.60018, http://projecteuclid.org/euclid.aop/1176995765 
• Galambos, János (2001), “Bonferroni inequalities”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Bonferroni_inequalities 

• シュエット–ネスビットの式（英語版）
• フレシェ不等式（英語版）
• 対ごとに独立（英語版）
• ホルム＝ボンフェローニ法

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Bonferroni inequalitiesの本文を含む