16/06/11 10:08:51.89 S8u3bicV.net
>>508 補足
URLﾘﾝｸ(ja.wikipedia.org)
確率論
基礎概念の数学的定義
現代確率論における基礎概念たちは測度論をベースとして次のように厳密に定義される。
（完全加法族がキーワード）
URLﾘﾝｸ(ja.wikipedia.org)
完全加法族
(抜粋)
主な用途として測度を定義することに十分な特定の性質を満たす集合の集まりである。特に測度が定義される集合全体を集めた集合族は完全加法族になる。
この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である[1]。
より有用な例は、実数直線の部分集合族で、全ての開区間から始めて、それらの可算合併・可算交叉・補演算を取ることをそれらの演算がすべて閉じるようになるまで繰り返して（つまり、開区間を全て含む最小の完全加法族）得られる完全加法族である。得られた完全加法族はボレル σ-集合代数と呼ばれる（ボレル集合の項を参照）。
実はこのことはまさに、σ-集合代数と σ-集合環との間の差異であって、つまり σ-集合代数 Σ とは全体集合 X を含むような σ-集合環のことに他ならない。
σ-集合環は必ずしも σ-集合代数でない。何となれば、実数直線 R 内のルベーグ零集合（ルベーグ測度 0 の可測部分集合）の族は σ-集合環になるが、零集合の可算合併はやはり零集合であって、測度が無限大である R には成り得ないので、σ-集合代数にはならない。
また、零集合の代わりに、R のルベーグ測度が有限な可測部分集合の族を考えると、これは集合環にはなるが、有限な測度を持つ集合の可算和として得られる R が測度有限でないので、σ-集合環にはならない。