完全加法族
ウィキペディア フリーな encyclopedia
数学における完全加法族(かんぜんかほうぞく、英: completely additive class [of sets], completely additive family [of sets])、可算加法族(かさんかほうぞく、英: countably additive class [of sets], countably additive family [of sets])、(σ-)加法族((シグマ)かほうぞく、英: σ-additive family [of sets])、σ-集合代数(シグマしゅうごうだいすう、英: σ-algebra [of subsets over a set], σ-set algebra)、あるいは σ-集合体(シグマしゅうごうたい、英: σ-field [of sets])[注 1]は、主な用途として測度を定義することに十分な特定の性質を満たす集合の集まりである。特に測度が定義される集合全体を集めた集合族は完全加法族になる。この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い(つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう)ので注意が必要である[1]。
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年4月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
いくつかの等価な定義がある。
- 集合 X 上の σ-集合代数の定義は「集合 X の部分集合からなる族 Σ であって、可算回の合併、交叉と補演算(という補集合をとる集合演算)について閉じていて、合併についても交叉についても単位元を持つようなもの」である。
- 集合 X 上の完全加法族の定義は「X の部分集合の空でない族 Σ で、X 自身を含み、補集合を取る操作(補演算)および可算な合併に関して閉じているもの」である。
すなわちこれは、有限加法族(あるいは集合代数)であって[注 2]、かつその演算を可算無限回まで含めて順序完備(英語版)化したものになっている。集合 X とその上の完全加法族 Σ との対 (X, Σ) は可測空間になる。
例えば X = {a, b, c, d} とすると、X 上の完全加法族となる集合族の一つは
- Σ = { ∅, {a, b}, {c, d}, {a, b, c, d} }
で与えられる。
より有用な例は、実数直線の部分集合族で、全ての開区間から始めて、それらの可算合併・可算交叉・補集合を取ることを、それらに対応する演算がすべて閉じるようになるまで繰り返して得られる完全加法族(つまり開区間を全て含む最小の完全加法族)である。得られた完全加法族はボレル σ-集合代数と呼ばれる。