集合族

数学の集合論関連分野における**集合族**（しゅうごうぞく、）とは、ある2つの集合 \Lambda , X に対して、

:f \colon \Lambda \to P(X);\; \lambda \mapsto A_\lambda

という写像 f を定めることにより、すべての \lambda \in \Lambda に対して、対応する部分集合 A_\lambda \sube X を集めて得られる集合のことを指す。厳密には「** <math>\Lambda</math> で添字付けられた集合族**」と呼ばれ、記号 \{A_\lambda\}_{\lambda \in \Lambda} で表す。

またこのとき、集合 \Lambda , A_\lambda のことをそれぞれ**[[添字集合]]**, **族の成分**と呼ぶ。

全体集合  が与えられたとき、** 上の部分集合族**とは  の冪集合  の部分集合のことを言う。即ち、 上の集合族  はその任意の元が  の部分集合となる集合である。

自然数で添字付けられた（あるいは可算な）集合族は特にと呼ぶ（族 (数学)および列 (数学)の項も参照）。

## 概要
集合族  が特定の集合演算（合併、交叉、補集合など）に関して閉じている (closed) あるいは安定 (stable) であるまたは完備 (complete) であるとは、 の任意の元にその演算を施した結果が必ずまた  の元となっていることを言う。

しばしば集合族は、それが何らかの演算に関して閉じていることを示す修辞を付けて呼ばれる。例えば、

* 乗法的 (-完備, π-系): A, B \in S \implies A \cap B \in S.
* 加法的 (-完備): A, B \in S \implies A \cup B \in S.
* σ-乗法的:  (A_i)_{i \in \mathbb{N}} \in S \implies \bigcap_{i \in \mathbb{N}} A_i \in S.
* σ-加法的:  (A_i)_{i \in \mathbb{N}} \in S \implies \bigcup_{i \in \mathbb{N}} A_i \in S.
* -完備: A, B \in S \implies A \smallsetminus B \in S.
* 補完備: A \in S \implies A^c  \in S.

可算無限回の合併で閉じている集合族を σ-系、可算無限回の交叉で閉じている集合族を δ-系と呼ぶこともある。

## 例
* 集合  の冪集合  は  上の集合族である。
* 集合  の-元部分集合全体の成す集合  は  上の集合族である。
* 集合 上の（多重集合あるいは添字付けられた族としての）集合族の例として  で与える。
* 順序集合の全体  はそれ自身集合とならない真の類であり、その意味で「大きい」集合族である。

### 集合族のクラス
* 部分集合族  が有限交叉について閉じているとき であるといい、π-系が空集合を含むとき乗法族、さらに可算交叉について閉じているとき （δ-乗法族）であるという。任意濃度の交叉で閉じているものはと呼ぶ。また、乗法族が包含関係を持つ任意の二つの集合に対し、一方から有限回の非交和を行って他方へ達する列を持つとき集合半環という。
*  が（有限）和と（有限）交叉について閉じているとき、あるいは環という。 が空集合でなく（あるいは空集合を元として含み）、和と差について閉じている（あるいは同じことだが対称差と交叉について閉じている）場合に限って集合環と呼ぶ場合もある。さらに可算交叉について閉じていれば δ-集合環、可算和について閉じていれば σ-集合環という。また、これらが全体集合を含むならば代数あるいは体という。δ-集合体は σ-集合体である。
*  が空集合を含み、有限合併および補について閉じているとき加法族、特に有限加法族であるという。さらに可算合併について閉じているならば -加法族あるいは完全加法族という。集合族  が加法族であることは集合体であることと等価であり、同様に完全加法族は σ-集合体の別名である。任意濃度の合併について閉じているならばと呼ぶ。
* 単調族は包含関係に関する単調列の極限について閉じている集合族
* ディンキン族（d-族、δ-族）は全体集合を含み、包含関係を持つ集合同士の差について閉じていて、可算増大列の極限について閉じている。λ-系は全体集合を含み、補について閉じていて、可算非交和について閉じている。この二つは同じ概念を定める。は乗法族の生成するディンキン族が同じく生成する完全加法族に一致することを述べるもので測度論において有用である。
* 層族はそれに属する任意の集合  が  または  または  の何れか一つのみを満たす。
* ブール環
* あるいは独立集合系は、各集合がその集合族に属する自分自身以外の集合を含むことがない集合族を言う。はスパーナ族の大きさの最大値を評価する。
* は空でない交叉を持つ任意の極小部分族の大きさが下に有界であるような族を言う。ヘリーの定理は有界な次元のユークリッド空間における凸集合族がヘリー族を成すことを主張する。
* 
* マトロイド
* 集合フィルター
* 集合の分割
* (位相空間)の開集合系・閉集合系・近傍系
* (有界型空間)の有界集合系
* (一様空間)の近縁系
* ボレル集合族は位相の生成する -加法族で、測度論において重要である。
* 無向グラフ
* 

## 性質
*  上の任意の添字付けられた部分集合族は、それが重複する元を持たないならば、それ自身冪集合  の部分集合である。
* 重複元を持たない任意の部分集合族は、それ自身集合全体の成す真の類 （宇宙）の部分類である。
* によるホールの結婚定理は、空でない集合の（元の重複を許す）有限族が (system of distinct representatives) を持つための必要十分条件を与える。

## 関連概念
数学の特定の分野の中には集合族と同値な数学的対象を扱うものもある。そういったものは特定の種類の対象からなる集まりとして記述することができる。
* ハイパーグラフあるいは (set system) は頂点とハイパー辺の集合の組で、これらは何れも任意の集合を取り得る。ハイパーグラフのハイパー辺の全体は集合族を成す。また任意の集合族をその族の合併を頂点集合とするハイパーグラフとして解釈することができる。
* は、線分・三角形・四面体および高次の単体を面と面で合わせることで得られる単体的複体の組合せ論的抽象化である。抽象単体的複体において各単体は単にその頂点集合として表される。重複を持たない任意の有限集合族で、その族に属する任意の集合の部分集合が全てもとの族に属するようなものは抽象単体的複体を成す。
* は、「点」の集合・「直線」の集合および「接続関係」と呼ばれる（勝手な）二項関係の組である。接続関係は各「点」がどの「直線」上にあるかを特定する。接続構造を集合族として特定することができ（相異なる直線が全く同じ点集合を含むこともある）、「点」からなるどのような集合も各「直線」に属する。また任意の集合族をこの方法で接続構造として解釈することができる。
* 二値ブロック符号は全て同じ長さの 0 および 1 からなる文字列となっているような符号語からなる。符号語の各対が大きなハミング距離を持つとき、誤り訂正符号に用いられる。各符号語を 1 のある位置の集合と見做せば、ブロック符号を集合族として記述することもできる。

## 関連項目
* 族 (数学)
* 類 (集合論)
* 
* ラッセルの逆理

## 注
### 注釈

### 出典

## 参考文献
* 
* 
* 

## 外部リンク
* 
* 
*