集合族

数学の集合論関連分野における集合族（しゅうごうぞく、英: family of sets）は集合の「あつまり」である。ここで「集合の集合」といわず「集合のあつまり」としているのは、文脈によっては集合族が同じ集合をいくつも重複して持つ場合（しばしば添字付けられた族 (indexed family of sets) として扱われる）があったり^[1]^[2]^[3]、別の文脈では集合でない真の類 (proper class) となる場合があるなどの理由による。

特に与えられた集合 $Ω$ の部分集合のみを考えるとき、 $Ω$ の部分集合からなる集合は $Ω$ の部分集合族、 $Ω$ 上の集合族あるいは集合系（ドイツ語版）などと呼ぶ。グラフ理論の文脈では集合系はハイパーグラフとも呼ばれる^[4]^:27。

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

定義

添字付けられた集合族: 任意の集合 $I$ を添字集合とする添字付けられた集合族とは、任意の $i \in I$ に対して集合 $A i$ が割り当てられた族 ${A i} i \in I$ を言う。十分大きな集合（たとえば普遍集合） $Ω$ を取れば、写像 $I \to 𝒫 (Ω); i \mapsto A i$ として記述することもできる。
部分集合族: 全体集合 $Ω$ が与えられたとき、 $Ω$ 上の集合族とは $Ω$ の冪集合 $𝒫 (Ω)$ の部分集合のことを言う。即ち、 $Ω$ 上の集合族 $S$ はその任意の元が $Ω$ の部分集合となる集合である。

集合族 $S$ が特定の集合演算（合併、交叉、補集合など）に関して閉じている (closed) あるいは安定 (stable) であるまたは完備 (complete) であるとは、 $S$ の任意の元にその演算を施した結果が必ずまた $S$ の元となっていることを言う。しばしば集合族は、それが何らかの演算に関して閉じていることを示す修辞を付けて呼ばれる。例えば

乗法的 ( $\cap$ -完備, π-系): $A,B\in S\implies A\cap B\in S.$
加法的 ( $\cup$ -完備): $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.$

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

例

集合 $S$ の冪集合 $P (S)$ は $S$ 上の集合族である。
集合 $S$ の $k$ -元部分集合全体の成す集合 $S (k)$ は $S$ 上の集合族である。
集合 $S = {a,b,c,1,2}$ 上の（多重集合あるいは添字付けられた族としての）集合族の例として $F = {A 1, A 2, A 3, A 4}$ $(A 1 = {a,b,c}, A 2 = {1,2}, A 3 = {1,2}, A 4 = {a,b,1}$ で与える。
順序集合の全体 $Ord$ はそれ自身集合とならない真の類であり、その意味で「大きい」集合族である。

集合族のクラス

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

性質

$Ω$ 上の任意の添字付けられた部分集合族は、それが重複する元を持たないならば、それ自身冪集合 $P (Ω)$ の部分集合である。
重複元を持たない任意の部分集合族は、それ自身集合全体の成す真の類 $V$ （宇宙）の部分類である。
フィリップ・ホール（英語版）によるホールの結婚定理は、空でない集合の（元の重複を許す）有限族が完全代表系（英語版） (system of distinct representatives) を持つための必要十分条件を与える。

注

注釈

^ $X$ の部分集合からなる空な族の交わり（空積）は全体集合 $X$ と見なす規約により、閉包族は乗法族となる
^ 空な族の合併（空和）は空集合と見なす規約により、開核族は空集合を含む

出典

^ Brualdi 2010, p. 322.
^ Roberts & Tesman 2009, p. 692.
^ Biggs 1985, p. 89.
^ Korte, Bernhard; Vygen, Jens (2009), Combinatorial Optimization: Theory and Algorithms (2nd ed.) . 日本語訳: B.コルテ; J.フィーゲン『組合せ最適化: 理論とアルゴリズム』（2版）。ISBN 978-4-431-10021-8。

参考文献

Biggs, Norman L. (1985), Discrete Mathematics, Oxford: Clarendon Press, ISBN 0-19-853252-0
Brualdi, Richard A. (2010), Introductory Combinatorics (5th ed.), Upper Saddle River, NJ: Prentice Hall, ISBN 0-13-602040-2
Roberts, Fred S.; Tesman, Barry (2009), Applied Combinatorics (2nd ed.), Boca Raton: CRC Press, ISBN 978-1-4200-9982-9

外部リンク

Padlewska, Beata (1990), “Families of Sets”, Formalized Mathematics (Université Catholique de Louvain) 1
family of sets in nLab
Definition:Set of Sets at ProofWiki

[5] $X$ の部分集合からなる空な族の交わり（空積）は全体集合 $X$ と見なす規約により、閉包族は乗法族となる

[6] 空な族の合併（空和）は空集合と見なす規約により、開核族は空集合を含む

[FOOTNOTEBrualdi2010322-1] Brualdi 2010, p. 322.

[FOOTNOTERobertsTesman2009692-2] Roberts & Tesman 2009, p. 692.

[FOOTNOTEBiggs198589-3] Biggs 1985, p. 89.

[4] Korte, Bernhard; Vygen, Jens (2009), Combinatorial Optimization: Theory and Algorithms (2nd ed.) . 日本語訳: B.コルテ; J.フィーゲン『組合せ最適化: 理論とアルゴリズム』（2版）。ISBN 978-4-431-10021-8。

[1]

[2]

[3]

[4]

[注釈 1]

[注釈 2]

集合族

定義

例

集合族のクラス

性質

関連概念

関連項目

注

注釈

出典

参考文献

外部リンク