和集合

数学において集合族の**和集合**（わしゅうごう）、あるいは**合併集合**（がっぺいしゅうごう）、**合併**（がっぺい、）、あるいは演算的に集合の**和**（わ、）、もしくは**結び**（むすび、）とは、集合の集まり（集合族）に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである。

## 定義

集合 *A* と集合 *B* が与えられたとき、集合 *A* &cup; *B* を、*A*, *B* いずれかの集合の少なくとも一方に含まれる元 *x* の全体 (*x* &isin; *A* &cup; *B* &hArr; *x* &isin; *A* または *x* &isin; *B*) として定めて、あるいは同じことだが
:A \cup B := \{x \mid x \in A \mbox{ or } x \in B\}
として定義される集合を、集合 *A*, *B* の**和集合**と呼ぶ。また特に、*A* と *B* が交わりを持たないときの和集合 *A* &cup; *B* を *A* と *B* の（集合論的）直和（ちょくわ、 [set theoric] direct sum）あるいは**[[非交和]]**（ひこうわ、disjoint union）と呼び、"*A* &cup; *B* (disjoint)" や、明示的に記号を違えて
:A \sqcup B
などと記すこともある。また、集合の族
:\mathfrak{M} = \{ M_{\lambda} \}_{\lambda \in \Lambda}
に対して、集合族に属するいずれかの集合に属する元
:x \in M_\lambda \mbox{ for some } \lambda \in \Lambda
の全体として集合族の和を
:\bigcup \mathfrak{M} \equiv \bigcup_{\lambda \in \Lambda} M_{\lambda}:=\{x\ |\ {}^{\exists}\lambda \in \Lambda : x \in M_{\lambda}\}
と定義する。有限個の元からなる集合族 *A*1, *A*2, ..., *A**k* の和集合は
:A_1 \cup A_2 \cup \cdots \cup A_k, \quad \bigcup_{n=1}^k A_n
などとも表す。自然数などで添え字付けられた集合の和についても
:A_1 \cup A_2 \cup \cdots, \quad \bigcup_{n=1}^{\infty} A_n
などのように表すことがある。また、集合族に属する集合からどの異なる二つを選んでもそれらが交わりを持たないとき、つまり
:M, N \in \mathfrak{M},\ M \ne N \Rightarrow M \cap N = \emptyset
となるとき、その集合族の和集合は直和、あるいは非交和であるといい、
:
  \coprod \mathfrak{M}, \quad \bigsqcup\, \mathfrak{M}, \quad 
  \sum \mathfrak{M}, \quad \sum{}^{\cup}\, \mathfrak{M}

などの記号を用いることがある。

## 例
* （ 以下の奇数の集合）、 （ 以下の素数の集合）とすると、 である。

*実数からなる半開区間の族  とすると集合族  の和集合は開区間  である：
::
  \bigcup \mathbf{M} = 
  \bigcup_{n=1}^{\infty}\left(0,\,1-\frac{1}{n}\right] 
  = (0, 1).

:実際、 なる  に対して、 となるような正の実数  が存在するが、ここで  となる自然数  は必ず存在して、この  に対して  は半開区間  に属する。一方、 となる  は  のどの半開区間にも属さないので、和集合にも属さない。

*実数の全区間（数直線） は長さが  の半開区間の族  の直和に分割できる。つまり
::\mathbb{R} = \coprod_{m=-\infty}^{\infty} (m, m+1]
:が成り立つ。

## 空なる合併

*集合 X に対して， \mathcal{P}(X) を X の冪（ベキ）集合とする．全体集合  を固定し、 を考えると、定義により
::\bigcup \varnothing = \bigcup_{A \in \varnothing}A=\{x \in U \mid {}^{\exists}A \in \varnothing : x \in A\}
=\{x \in U \mid ({}^{\exists}A \in \mathcal{P}(U))[\underbrace{A \in \varnothing}_{\text{false}}\ \&\ x \in A]\}=\varnothing
:となる。ここで，最初の空集合と最後の空集合はニュアンスが違う（後者は単なる空集合だが前者は属する集合がない集合族）．なお最後の等号は「条件を満たす  が存在しない」ということから従う。なお、 の場合も、その定義により  がわかる。

## 性質
一般に和集合には以下の恒等式が存在する。*A*, *B*, *C* を任意の集合とし、*a*, *b*, *c* を任意の実数とする。

; 交換法則
:A \cup B = B \cup A
これは
:a + b = b + a \,
に対応し、和の交換法則に相当する。

; 結合法則
:(A \cup B) \cup C = A \cup (B \cup C)
これは
:(a + b) + c = a + (b + c) \,
に対応し、和の結合法則に相当する。

; 分配法則
:A \cap (B \cup C) = (A \cap B) \cup (A \cap C)
これは
:a \times (b + c) = (a \times b) + (a \times c) \,
に対応し、分配法則に相当する。

:A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
これも集合の演算に成り立ち、数の演算とは異なっている。

; 濃度
有限集合からなる有限な集合族 \mathfrak{M} = \{ M_{\lambda} \}_{\lambda \in \Lambda} に対し
:|\bigcup \mathfrak{M}| = \sum_{\Mu\subset\Lambda} (-1)^{|\Mu|-1}  |\bigcap_{\lambda\in\Mu} M_\lambda|.
が成立。

; その他
:A \cup \varnothing = A
ここで  \varnothing \, は空集合を表す。これは
: a + 0 = a \,
に対応し、 \varnothing \, は集合の加法の単位元に相当する。

:A \cup A = A
これは冪等演算であり、数の演算とは異なる。

:(A \cup B)^{\mathrm{c}} = A^{\mathrm{c}} \cap B^{\mathrm{c}}
ここで c は補集合を表す。これはド・モルガンの法則と呼ばれる。

## 注

## 関連項目
* 集合の代数学
* 差集合
* 共通部分
* 同値類
* 論理和
* 和集合の公理

## 出典

## 参考文献
* 
*