集合族
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/06/26 01:37 UTC 版)
数学の集合論関連分野における集合族（しゅうごうぞく、英: family of sets）とは、ある2つの集合 
集合族のクラス
- 部分集合族 A が有限交叉について閉じているとき π-系であるといい、π-系が空集合を含むとき乗法族、さらに可算交叉について閉じているとき δ-系（δ-乗法族）であるという。任意濃度の交叉で閉じているものは閉包族と呼ぶ[注釈 2]。また、乗法族が包含関係を持つ任意の二つの集合に対し、一方から有限回の非交和を行って他方へ達する列を持つとき集合半環という。
- A が（有限）和と（有限）交叉について閉じているとき、集合束あるいは環という。A が空集合でなく（あるいは空集合を元として含み）、和と差について閉じている（あるいは同じことだが対称差と交叉について閉じている）場合に限って集合環と呼ぶ場合もある。さらに可算交叉について閉じていれば δ-集合環、可算和について閉じていれば σ-集合環という。また、これらが全体集合を含むならば代数あるいは体という。δ-集合体は σ-集合体である。
- A が空集合を含み、有限合併および補について閉じているとき加法族、特に有限加法族であるという。さらに可算合併について閉じているならば σ-加法族あるいは完全加法族という。集合族 A が加法族であることは集合体であることと等価であり、同様に完全加法族は σ-集合体の別名である。任意濃度の合併について閉じているならば開核族と呼ぶ[注釈 3]。
- 単調族は包含関係に関する単調列の極限について閉じている集合族
- ディンキン族（d-族、δ-族）は全体集合を含み、包含関係を持つ集合同士の差について閉じていて、可算増大列の極限について閉じている。λ-系は全体集合を含み、補について閉じていて、可算非交和について閉じている。この二つは同じ概念を定める。ディンキン族定理は乗法族の生成するディンキン族が同じく生成する完全加法族に一致することを述べるもので測度論において有用である。
- 層族はそれに属する任意の集合 A, B が A ⊂ B または A ⊃ B または A ∩ B ≠ ∅ の何れか一つのみを満たす。
- ブール環
- スパーナ族あるいは独立集合系は、各集合がその集合族に属する自分自身以外の集合を含むことがない集合族を言う。スパーナの定理はスパーナ族の大きさの最大値を評価する。
- ヘリー族は空でない交叉を持つ任意の極小部分族の大きさが下に有界であるような族を言う。ヘリーの定理は有界な次元のユークリッド空間における凸集合族がヘリー族を成すことを主張する。
- フレシェフィルター
- マトロイド
- 集合フィルター
- 集合の分割
- (位相空間)の開集合系・閉集合系・近傍系
- (有界型空間)の有界集合系
- (一様空間)の近縁系
- ボレル集合族は位相の生成する σ-加法族で、測度論において重要である。
- 無向グラフ
- ツェルメロ系
性質
- Ω 上の任意の添字付けられた部分集合族は、それが重複する元を持たないならば、それ自身冪集合 P(Ω) の部分集合である。
- 重複元を持たない任意の部分集合族は、それ自身集合全体の成す真の類 V（宇宙）の部分類である。
- フィリップ・ホールによるホールの結婚定理は、空でない集合の（元の重複を許す）有限族が完全代表系 (system of distinct representatives) を持つための必要十分条件を与える。
関連概念
数学の特定の分野の中には集合族と同値な数学的対象を扱うものもある。そういったものは特定の種類の対象からなる集まりとして記述することができる。
- ハイパーグラフあるいは集合系 (set system) は頂点とハイパー辺の集合の組で、これらは何れも任意の集合を取り得る。ハイパーグラフのハイパー辺の全体は集合族を成す。また任意の集合族をその族の合併を頂点集合とするハイパーグラフとして解釈することができる。
- 抽象単体的複体は、線分・三角形・四面体および高次の単体を面と面で合わせることで得られる単体的複体の組合せ論的抽象化である。抽象単体的複体において各単体は単にその頂点集合として表される。重複を持たない任意の有限集合族で、その族に属する任意の集合の部分集合が全てもとの族に属するようなものは抽象単体的複体を成す。
- 接続構造は、「点」の集合・「直線」の集合および「接続関係」と呼ばれる（勝手な）二項関係の組である。接続関係は各「点」がどの「直線」上にあるかを特定する。接続構造を集合族として特定することができ（相異なる直線が全く同じ点集合を含むこともある）、「点」からなるどのような集合も各「直線」に属する。また任意の集合族をこの方法で接続構造として解釈することができる。
- 二値ブロック符号は全て同じ長さの 0 および 1 からなる文字列となっているような符号語からなる。符号語の各対が大きなハミング距離を持つとき、誤り訂正符号に用いられる。各符号語を 1 のある位置の集合と見做せば、ブロック符号を集合族として記述することもできる。
関連項目
注
注釈
- 集合族のページへのリンク
