完全加法族

は空集合を元に持ち補演算と可算合併に関して閉じた集合の集合である。加法族、可算加法族、σ-加法族、σ-集合代数、σ-集合体とも（⇒ #名称）。

概要 完全加法族は、空集合を元に持ち補演算と可算合併に関して閉じた集合の集合である（⇒ #定義）。集合代数的に良い性質を備えており、可算合併・可算交叉について閉じている（⇒ #性質）。測度の基礎づけとなる可測空間の構成要素であり、解析学（特にルベーグ積分）や確率論で広く利用される（⇒ #利用）。完全加法族は様々な観点から分類でき、応用上重要なサブクラスも多い（⇒ #分類）。

名称 完全加法族は様々な別名を持つ。以下はその一覧である何をもとに公理化するかといった意識の違いから、名称の違いのみならず、いくつかの見た目の異なる定義が採用されることがあるが、結局は同値な概念であることが確かめられる。：

有限加法族の意味ならば接頭辞「有限」を省略しないのが通例

接頭辞 "σ" は「可算加法的」("completely additive") であることを示すのにしばしば用いられる。また、完全加法族では可算加法性と可算乗法性が補集合を取る操作を通じて同値になるので区別されないが、（乗法族における）積の可算性が δ- を用いることによって表される場合がある（δ-乗法族）。例えば、σ-集合環と δ-集合環など。Gδ-集合とFσ-集合の項も参照。

動機付け X 上の測度とは、X の部分集合に実数を割り当てる写像で、集合の「大きさ」や「容積」の概念を明確にしたものと考えることができる。望むべくは、互いに素な集合の和の測度が、個々の集合の測度の和になること、特にそれが互いに素な集合の無限列に関してさえも成り立つことである。

X の部分集合「すべて」に対してそのような測度を与えられると考えたいところではあるが、これは多くの自然な状況設定において不可能である。例えば選択公理からは、実数直線内の部分集合のふつうの「長さ」を測度とするとき、ヴィタリ集合のような測度を持たない部分集合が存在することが示される。そのような理由から、測度を持つ特別な X の部分集合からなるより小さな族を代わりに考えなければならない。このような集合は可測集合と呼ばれ、それらの族は可測集合に対して期待される演算について閉じている。つまり、可測集合の補集合は可測集合であり、可測集合の可算合併は可測集合である。これらの性質を満たす空でない集合族を σ-集合代数と呼ぶ。

X の部分集合族で σ-集合代数を成すものを通例 Σ（ギリシャ大文字のシグマ）で表し、それらの対 (X, Σ) として与えられる集合代数（集合体）は可測空間と呼ばれる。Σ に属する X の部分集合の間の演算を初等代数学における数の演算と対比して見れば、集合演算としての合併 (∪) と交叉 (∩) は、数の加法と乗法に対応する。σ-集合代数 Σ は、可算無限回の演算まで含めて完備である。

定義 を任意の集合、 を 上の冪集合とする。 が次の条件、 Σ は空でない: 少なくとも一つの A ⊂ X が Σ に属する。 Σ は補演算に関して閉じている: A が Σ に属するならば、その補集合 も Σ に属する。 Σ は可算合併に関して閉じている: A1, A2, A3, … が Σ に属する集合の列ならば、それらの合併 A = A1 ∪ A2 ∪ A3 ∪ … も Σ に属する。 を満たすとき、 は「 上の完全加法族」である。

このとき、2つ組 を、 に属する集合を「 -」と呼ぶ。

他にも等価な定義がある。一例として以下がある：

「σ-集合代数は、集合 の部分集合からなる族 であって、可算回の合併、交叉と補演算補集合をとる集合演算について閉じていて、合併についても交叉についても単位元を持つものである。」 「可算加法族は、有限加法族であって、かつその演算を可算無限回まで含めて化したものである。」

例 例えば X = {a, b, c, d} とすると、X 上の完全加法族となる集合族の一つは

で与えられる。 性質 全体集合と空集合が属する は全体集合 および空集合 を含む初めから、「Σ は空でない」という条件の代わりに「Σ は空集合を含む」あるいは「Σ は全体集合 X を含む」という仮定をおく文献もある。例えば は σ-加法族の定義として「Σ は空集合を含む」を仮定する。。

条件 1. から Σ は空でないので適当な A ⊂ X が取れて、条件 2. でその補集合 X ∖ A も Σ に属し、条件 3. からそれらの和 A ∪ (X ∖ A) = X も Σ に属することが言える。また再度条件 2. を適用して、X ∈ Σ の補集合である空集合が Σ に属することが言える。

代数的性質

完全加法族（σ-集合代数）は代数的に良い性質を持っている。

以下、 を任意の集合、 を 上の σ-集合代数、 を -可測集合とする。また証明のために とし、 と変形できれば が証明される形を取る。

可算合併について閉じている 完全加法族は可算合併 について閉じている。

2つの項に関して、 と (iii) より、 ∎ 。可算無限の項に関して、(iii) がそのまま閉じていることを規定している ∎。なお、単位元は である（）。

可算交叉について閉じている 完全加法族は可算交叉 について閉じている。

2つの項に関して、(ii) と と (ii) より、 ∎ 。可算無限の項に関して、(ii) と (iii) と (ii) より、 ∎ 。なお、単位元は である（）。

利用 この概念は、解析学ではルベーグ積分に対する基礎付けとして重要である。

確率論では「事象（確率の定義できる対象）全体の成す族 」として解釈される。すなわち確率空間 の構成要素であり、確率測度 の定義域になる。採用する完全加法族によって事象が変わるため、完全加法族のサブクラスの理解も重要となる（例: 冪集合、ボレル集合族）。

分類 三公理を満たす集合族は全て σ-集合代数である。これは一例として以下のように分類できる（ を全体集合とする）：

上の自明な σ-集合代数 : . 「 上の最小の σ-集合代数」とも。 X 上の離散 σ-集合代数 : . 冪集合のこと。

また以下も X 上の σ-集合代数である： X の可算または補可算な部分集合全体の成す族（X が非可算ならば、これは冪集合とは異なる）。これは X の一元集合全体から生成される σ-集合代数である。 λ で添字付けられた X 上の σ-集合代数の族 {Σλ} に対し、Σλ 全ての交わりはやはり X 上の σ-集合代数になる。

生成された σ-集合代数 X の任意の部分集合族 F に対して、F に属する元をすべて含むような最小の σ-集合代数が唯一つ存在する（F 自身が σ-集合代数になっていてもいなくてもよい）。この σ-集合代数を F が生成する σ-集合代数 σ(F)と呼ぶ。

このような σ-集合代数が常に存在することを見るために、Φ := {E ⊆ 2X : E は F を含む σ-集合代数} と置くと、F が生成する σ-集合代数とは Φ の最小元ということになる。実際にこのような最小限は存在する。まず冪集合 2X は Φ に属するから Φ は空でなく、従って Φ に属する元すべての交わり σ* は空積でない。Φ の各元は F を含むのだから交叉 σ* もやはり F を含むが、さらに Φ の各元は σ-集合代数ゆえ交叉 σ* もやはり σ-集合代数になる（これは、Φ の各元が満たす σ-集合代数の三公理が、Φ の交叉でも保たれることを確認すればよい）。従って σ* は F を含む σ-集合代数となり Φ に属することとなり、またこれが Φ に属する全ての集合の交わりであったことから、σ* は定義により Φ の「最小」の元になる。即ち が F の生成する σ-集合代数となる。

簡単な例として、集合 X = {1, 2, 3} において、単元集合 {1} の生成する σ-集合代数は となる。記号の濫用により、ただ一つの元 A のみからなる族 {A} を考えるときには、 と書く代わりに σ(A) と書く。今の例だと の代わりに σ(1) と書く。

誘導された σ-集合代数 集合 X から集合 Y への写像 f と、Y の σ-集合代数 B に対して、B から f によって誘導された σ-集合代数 σ(f)とは、B の各元 S に対する逆像 f−1(S) 全体の成す X の部分集合族を言う。

明らかに、写像 f: X → Y が X の σ-部分集合代数 Σ に関して可測となるための必要十分条件は σ(f) ⊂ Σ となることである。

このような扱い方がされるよくある状況として、そのままでは B が明示的に指定されず、Y が距離空間や位相空間で、B は Y 上のボレル集合族として与えられるような場合が挙げられる。

ボレル集合代数

重要な例として、位相空間上のボレル集合代数がある。これは空間の開集合系（閉集合系としても同じ）から生成される σ-集合代数である。この σ-集合代数は、一般には冪集合と異なることに注意。非自明な例としてヴィタリ集合が挙げられる。

ルベーグ可測集合族 ユークリッド空間 Rn 上でもう一つ重要な σ-集合代数としてルベーグ可測集合族が挙げられる。この σ-集合代数には Rn 上のボレル集合族よりも多くの集合が含まれ、完備測度空間を与えるという意味で積分論に適している。

派生概念 可測空間の間の写像が可測函数であるとは、任意の可測集合の原像が可測となることを言う。全ての可測空間の集まりは、可測函数を射として圏を成す。測度は σ-集合代数から補完数直線内の区間 への特定の種類の写像として定義される。

σ集合環との関係 という性質が σ-集合代数と σ-集合環との間の差異であって、つまり σ-集合代数 Σ とは全体集合 X を含むような σ-集合環のことに他ならない。σ-集合環は必ずしも σ-集合代数でない。何となれば、実数直線 R 内のルベーグ零集合（ルベーグ測度 0 の可測部分集合）の族は σ-集合環になるが、零集合の可算合併はやはり零集合であって、測度が無限大である R には成り得ないので、σ-集合代数にはならない。また、零集合の代わりに、R のルベーグ測度が有限な可測部分集合の族を考えると、これは集合環にはなるが、有限な測度を持つ集合の可算和として得られる R が測度有限でないので、σ-集合環にはならない。

脚注

注釈

出典

参考文献

関連項目

可測函数 標本空間

σ-集合環 σ-加法性

外部リンク