和集合

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2022年2月）

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

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

${\displaystyle 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)" や、明示的に記号を違えて

${\displaystyle A\sqcup B}$

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

${\displaystyle {\mathfrak {M}}=\{M_{\lambda }\}_{\lambda \in \Lambda }}$

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

${\displaystyle x\in M_{\lambda }{\mbox{ for some }}\lambda \in \Lambda }$

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

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

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

${\displaystyle A_{1}\cup A_{2}\cup \cdots \cup A_{k},\quad \bigcup _{n=1}^{k}A_{n}}$

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

${\displaystyle A_{1}\cup A_{2}\cup \cdots ,\quad \bigcup _{n=1}^{\infty }A_{n}}$

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

${\displaystyle M,N\in {\mathfrak {M}},\ M\neq N\Rightarrow M\cap N=\emptyset }$

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

${\displaystyle \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) である：

${\displaystyle \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 は整数 } の直和に分割できる。つまり

${\displaystyle \mathbb {R} =\coprod _{m=-\infty }^{\infty }(m,m+1]}$

が成り立つ。

• 集合 ${\displaystyle X}$ に対して， ${\displaystyle {\mathcal {P}}(X)}$ を ${\displaystyle 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 }$

となる。ここで，最初の空集合と最後の空集合はニュアンスが違う（後者は単なる空集合だが前者は属する集合がない集合族）．なお最後の等号は「条件を満たす x ∈ U が存在しない」ということから従う。なお、∩ の場合も、その定義により ∩∅ = U がわかる。

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

交換法則

${\displaystyle A\cup B=B\cup A}$

これは

${\displaystyle a+b=b+a\,}$

に対応し、和の交換法則に相当する。

結合法則

${\displaystyle (A\cup B)\cup C=A\cup (B\cup C)}$

これは

${\displaystyle (a+b)+c=a+(b+c)\,}$

に対応し、和の結合法則に相当する。

分配法則

${\displaystyle A\cap (B\cup C)=(A\cap B)\cup (A\cap C)}$

これは

${\displaystyle a\times (b+c)=(a\times b)+(a\times c)\,}$

に対応し、分配法則に相当する。

${\displaystyle A\cup (B\cap C)=(A\cup B)\cap (A\cup C)}$

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

濃度

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

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

が成立。

その他

${\displaystyle A\cup \varnothing =A}$

ここで ${\displaystyle \varnothing \,}$ は空集合を表す。これは

${\displaystyle a+0=a\,}$

に対応し、${\displaystyle \varnothing \,}$ は集合の加法の単位元に相当する。

${\displaystyle A\cup A=A}$

これは冪等演算であり、数の演算とは異なる。

${\displaystyle (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。 

表 話 編 歴 集合論
基本	集合 元 包含関係 内包と外延 クラス ベン図
演算	和集合 非交和 共通部分 素集合 直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学
関係	性質 反射関係 推移関係 推移閉包 対称関係 非対称関係 反対称関係 完全関係 同値関係 同値類 well-defined 整礎関係 逆関係 関係の合成 写像 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族 添字集合 順序対 順序組 列 集合族 グラフ 部分写像 対応 順序 前順序 有向 半順序 全順序 整列 稠密 有界 単調写像 順序同型 辞書式順序 順序型 推移的集合 順序数 0 後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題 整列可能定理 整礎的集合 フォン・ノイマン宇宙
濃度	有限集合 空集合 単集合 遺伝的 可算集合 非可算集合 連続体濃度 始順序数 共終数 基数 正則 到達不能 巨大 一覧 ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説
公理化	素朴集合論 ラッセルのパラドックス 公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理 可算 従属
研究者	ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン
カテゴリ