和集合

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

定義 [編集]

和集合のベン図による視覚化

集合 A と集合 B が与えられたとき、集合 A ∪ B を、A, B いずれかの集合の少なくとも一方に含まれる元 x の全体 (x ∈ A ∪ B ⇔ x ∈ A または x ∈ B) として定めて、あるいは同じことだが

$A \cup B := \{x \mid x \in A \mbox{ or } x \in B\}$

として定義される集合を、集合 A, B の和集合と呼ぶ。また特に、A と B が交わりを持たないときの和集合 A ∪ B を A と B の（集合論的）直和（ちょくわ、[set theoric] direct sum）あるいは非交和（ひこうわ、disjoint union）と呼び、"A ∪ 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} = \bigcup_{\lambda \in \Lambda} M_{\lambda}$

を定義する。有限個の元からなる集合族 A₁, A₂, ..., 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}$

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

例 [編集]

P = {1, 3, 5, 7, 9} （10 以下の奇数の集合）、Q = {2, 3, 5, 7} （10 以下の素数の集合）とすると、P ∪ Q = {1, 2, 3, 5, 7, 9} である。

実数からなる半開区間の族 M = {(0, 1 − 1/n] | n は 0 でない自然数} とすると集合族 M の和集合は開区間 (0, 1) である：

$\bigcup \mathbf{M} = \bigcup_{n=1}^{\infty}\left(0,\,1-\frac{1}{n}\right] = (0, 1).$

実際、0 < x < 1 なる x に対して、x = 1 − ε となるような正の実数 ε が存在するが、ここで 1 / ε < n となる自然数 n は必ず存在して、この n に対して x は半開区間 (0, 1 − 1 / n] に属する。一方、1 ≤ x となる x は M のどの半開区間にも属さないので、和集合にも属さない。