和集合

数学において集合族の和集合︵わしゅうごう︶、あるいは合併集合︵がっぺいしゅうごう︶、合併︵がっぺい、英語: union︶、あるいは演算的に集合の和︵わ、英語: sum︶、もしくは結び︵むすび、英語: 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\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$$A\sqcup B$
などと記すこともある。また、集合の族

${\mathfrak {M}}=\{M_{\lambda }\}_{\lambda \in \Lambda }$${\mathfrak {M}}=\{M_{\lambda }\}_{\lambda \in \Lambda }$
に対して、集合族に属するいずれかの集合に属する元

$x\in M_{\lambda }{\mbox{ for some }}\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 }\}$$\bigcup {\mathfrak {M}}\equiv \bigcup _{\lambda \in \Lambda }M_{\lambda }:=\{x\ |\ {}^{\exists }\lambda \in \Lambda :x\in 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 \cup A_{k},\quad \bigcup _{n=1}^{k}A_{n}$
などとも表す。自然数などで添え字付けられた集合の和についても

$A_{1}\cup A_{2}\cup \cdots ,\quad \bigcup _{n=1}^{\infty }A_{n}$$A_{1}\cup A_{2}\cup \cdots ,\quad \bigcup _{n=1}^{\infty }A_{n}$
などのように表すことがある。また、集合族に属する集合からどの異なる二つを選んでもそれらが交わりを持たないとき、つまり

$M,N\in {\mathfrak {M}},\ M\neq N\Rightarrow M\cap N=\emptyset$$M,N\in {\mathfrak {M}},\ M\neq N\Rightarrow M\cap N=\emptyset$
となるとき、その集合族の和集合は直和、あるいは非交和であるといい、

$\coprod {\mathfrak {M}},\quad \bigsqcup \,{\mathfrak {M}},\quad \sum {\mathfrak {M}},\quad \sum {}^{\cup }\,{\mathfrak {M}}$$\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).$$\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のどの半開区間にも属さないので、和集合にも属さない。

●実数の全区間︵数直線︶R = (−∞, ∞) は長さが 1の半開区間の族 { (m, m+ 1] | mは整数 } の直和に分割できる。つまり

$\mathbb {R} =\coprod _{m=-\infty }^{\infty }(m,m+1]$$\mathbb {R} =\coprod _{m=-\infty }^{\infty }(m,m+1]$
が成り立つ。

空なる合併

「空和,Lattice論,空な交叉」も参照

●集合 $X$$X$に対して， ${\displaystyle {\mathcal {P}}($X)} ${\mathcal {P}}(X)$を $X$$X$の冪︵ベキ︶集合とする．全体集合 Uを固定し、∪∅ を考えると、定義により

${\displaystyle \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 } $\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$
となる。ここで，最初の空集合と最後の空集合はニュアンスが違う︵後者は単なる空集合だが前者は属する集合がない集合族︶．なお最後の等号は﹁条件を満たす x∈ Uが存在しない﹂ということから従う。なお、∩ の場合も、その定義により ∩∅ = Uがわかる。

性質

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

交換法則

$A\cup B=B\cup A$$A\cup B=B\cup A$
これは

$a+b=b+a\,$$a+b=b+a\,$
に対応し、和の交換法則に相当する。

結合法則

$(A\cup B)\cup C=A\cup (B\cup C)$$(A\cup B)\cup C=A\cup (B\cup C)$
これは

$(a+b)+c=a+(b+c)\,$$(a+b)+c=a+(b+c)\,$
に対応し、和の結合法則に相当する。

分配法則

$A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$$A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$
これは

$a\times (b+c)=(a\times b)+(a\times c)\,$$a\times (b+c)=(a\times b)+(a\times c)\,$
に対応し、分配法則に相当する。

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

濃度

有限集合からなる有限な集合族 ${\mathfrak {M}}=\{M_{\lambda }\}_{\lambda \in \Lambda }$${\mathfrak {M}}=\{M_{\lambda }\}_{\lambda \in \Lambda }$に対し

$|\bigcup {\mathfrak {M}}|=\sum _{\mathrm {M} \subset \Lambda }(-1)^{|\mathrm {M} |-1}|\bigcap _{\lambda \in \mathrm {M} }M_{\lambda }|$$|\bigcup {\mathfrak {M}}|=\sum _{\mathrm {M} \subset \Lambda }(-1)^{|\mathrm {M} |-1}|\bigcap _{\lambda \in \mathrm {M} }M_{\lambda }|$.

が成立。

その他

$A\cup \varnothing =A$$A\cup \varnothing =A$
ここで $\varnothing \,$$\varnothing \,$は空集合を表す。これは

$a+0=a\,$$a+0=a\,$
に対応し、$\varnothing \,$$\varnothing \,$ は集合の加法の単位元に相当する。

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

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

関連項目

• 集合の代数学
• 差集合
• 共通部分
• 同値類
• 論理和
• 和集合の公理

出典

参考文献

●齋藤, 正彦﹃数学の基礎　集合・数・位相﹄東京大学出版会︿基礎数学14﹀、2002年。ISBN 978-4-13-062909-6。 

●中島, 匠一﹃集合・写像・論理――数学の基本を学ぶ﹄共立出版株式会社、2012年。ISBN 978-4-320-11018-2。