集合族のクラス
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/06 08:12 UTC 版)
A が（有限）交叉について閉じているとき π-系（英語版）であるといい、π-系が空集合を含むとき乗法族である。さらに可算交叉について閉じているとき δ-乗法族であるという。また、乗法族が包含関係を持つ任意の二つの集合に対し、一方から有限回の非交和を行って他方へ達する列を持つとき集合半環という。 A が（有限）和と（有限）交叉について閉じているとき、集合の束あるいは環という。A が空集合でなく（あるいは空集合を元として含み）、和と差について閉じている（あるいは同じことだが対称差と交叉について閉じている）場合に限って集合環と呼ぶ場合もある。さらに可算交叉について閉じていれば δ-集合環、可算和について閉じていれば σ-集合環という。また、これらが全体集合を含むならば代数あるいは体という。δ-集合体は σ-集合体である。 A が空集合を含み、（有限）和および補について閉じているとき加法族、特に有限加法族であるという。さらに可算和について閉じているならば完全加法族という。集合族 A が加法族であることは集合体であることと等価であり、同様に完全加法族は σ-集合体の別名である。 単調族は包含関係に関する単調列の極限について閉じている集合族 ディンキン族（d-族、δ-族）は全体集合を含み、包含関係を持つ集合同士の差について閉じていて、可算増大列の極限について閉じている。λ-系は全体集合を含み、補について閉じていて、可算非交和について閉じている。この二つは同じ概念を定める。 層族はそれに属する任意の集合 A, B が A ⊂ B または A ⊃ B または A ∩ B ≠ ∅ の何れか一つのみを満たす。 ブール環 スパーナ族（英語版）あるいは独立集合系は、各集合がその集合族に属する自分自身以外の集合を含むことがない集合族を言う。スパーナの定理（英語版）はスパーナ族の大きさの最大値を評価する。 ヘリー族（英語版）は空でない交叉を持つ任意の極小部分族の大きさが下に有界であるような族を言う。ヘリーの定理は有界な次元のユークリッド空間における凸集合族がヘリー族を成すことを主張する。 フレシェフィルター（ドイツ語版） 閉包族（ドイツ語版） 開核族（ドイツ語版） マトロイド 集合フィルター 集合束（ドイツ語版） 集合の分割 (位相空間)の開集合系・閉集合系・近傍系 (有界型空間)の有界集合系 (一様空間)の近縁系 無向グラフ ツェルメロ系（ドイツ語版）
※この「集合族のクラス」の解説は、「集合族」の解説の一部です。
「集合族のクラス」を含む「集合族」の記事については、「集合族」の概要を参照ください。
- 集合族のクラスのページへのリンク
