和集合

テンプレート:脚注の不足 数学において集合族の和集合（わしゅうごう）、あるいは合併集合（がっぺいしゅうごう）、合併（がっぺい、テンプレート:Lang-en）、あるいは演算的に集合の和（わ、テンプレート:Lang-en）、もしくは結び（むすび、テンプレート:Lang-en）とは、集合の集まり（集合族）に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことであるテンプレート:Refnest。

定義

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

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

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

として定義される集合を、集合 A, B の和集合と呼ぶ。また特に、A と B が交わりを持たないときの和集合 A ∪ B を A と B の（集合論的）直和（ちょくわ、 [set theoric] direct sum）あるいは非交和（ひこうわ、disjoint union）と呼び、"A ∪ B (disjoint)" や、明示的に記号を違えて

$A\bigsqcup B$

などと記すこともある。また、集合の族

$𝔐=\{M_{\lambda }{\}}_{\lambda \in \mathrm{\Lambda }}$

に対して、集合族に属するいずれかの集合に属する元

$x\in M_{\lambda }\text{ for some }\lambda \in \mathrm{\Lambda }$

の全体として集合族の和を

$\bigcup 𝔐\equiv \bigcup _{\lambda \in \mathrm{\Lambda }}{M}_{\lambda }:=\{x|{}^{\mathrm{\exists }}\lambda \in \mathrm{\Lambda }:x\in M_{\lambda }\}$

と定義する。有限個の元からなる集合族 A₁, A₂, ..., A_k の和集合は

$A_1\cup A_2\cup \cdots \cup A_k,\bigcup _{n=1}^k{A}_n$

などとも表す。自然数などで添え字付けられた集合の和についても

$A_1\cup A_2\cup \cdots ,\bigcup _{n=1}^{\mathrm{\infty }}{A}_n$

などのように表すことがある。また、集合族に属する集合からどの異なる二つを選んでもそれらが交わりを持たないとき、つまり

$M,N\in 𝔐,M\ne N\Rightarrow M\cap N=\mathrm{\varnothing }$

となるとき、その集合族の和集合は直和、あるいは非交和であるといい、

$\coprod 𝔐,⨆𝔐,\sum 𝔐,\sum {}^{\cup }𝔐$

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

例

• テンプレート:Math （テンプレート:Math 以下の奇数の集合）、テンプレート:Math （テンプレート:Math 以下の素数の集合）とすると、テンプレート:Math である。

• 実数からなる半開区間の族 テンプレート:Math とすると集合族 テンプレート:Math の和集合は開区間 テンプレート:Math である：

$\bigcup 𝐌=\bigcup _{n=1}^{\mathrm{\infty }}(0,1-\frac{1}{n}]=(0,1).$

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

• 実数の全区間（数直線）テンプレート:Math は長さが テンプレート:Math の半開区間の族 テンプレート:Math の直和に分割できる。つまり

$ℝ=\coprod _{m=-\mathrm{\infty }}^{\mathrm{\infty }}(m,m+1]$

が成り立つ。

空なる合併

• 集合 $X$ に対して， $𝒫(X)$ を $X$ の冪（ベキ）集合とする．全体集合 テンプレート:Math を固定し、テンプレート:Math を考えると、定義により

$\bigcup \varnothing =\bigcup _{A\in \varnothing }A=\{x\in U\mid {}^{\mathrm{\exists }}A\in \varnothing :x\in A\}=\{x\in U\mid ({}^{\mathrm{\exists }}A\in 𝒫(U))[\underset{\text{false}}{\underbrace{A\in \varnothing }}\mathrm{\&}x\in A]\}=\varnothing$

となる。ここで，最初の空集合と最後の空集合はニュアンスが違う（後者は単なる空集合だが前者は属する集合がない集合族）．なお最後の等号は「条件を満たす テンプレート:Math が存在しない」ということから従う。なお、[[共通部分|テンプレート:Math]] の場合も、その定義により テンプレート:Math がわかる。

性質

一般に和集合には以下の恒等式が存在する。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)$

これも集合の演算に成り立ち、数の演算とは異なっている。

濃度

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

$|\bigcup 𝔐|=\sum _{\mathrm{M}\subset \mathrm{\Lambda }}(-1{)}^{|\mathrm{M}|-1}|\bigcap _{\lambda \in \mathrm{M}}{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 は補集合を表す。これはド・モルガンの法則と呼ばれる。

関連項目

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

参考文献

• テンプレート:Cite book
• テンプレート:Cite book