和集合のソースを表示

{{脚注の不足|date=2022年2月}}
[[数学]]において集合族の'''和集合'''（わしゅうごう）、あるいは'''合併集合'''（がっぺいしゅうごう）、'''合併'''（がっぺい、{{lang-en|union}}）、あるいは演算的に集合の'''和'''（わ、{{lang-en|sum}}）、もしくは'''結び'''（むすび、{{lang-en|join}}）とは、[[集合]]の集まり（集合族）に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである{{Refnest|group="注"|文献によっては和集合と合併ということばを使い分けることがあるが、そのような使い分けはあまり一般的でない{{Sfn|齋藤|2002|pp=4&ndash;5}}。また、{{Harvtxt|齋藤|2002|p=5}} によれば、普通の数学者は合併集合を好み、集合論の専門家は和集合を好むようであるが、{{Harvtxt|中島|2012|p=69}} によれば、和集合が一般的に使われている。}}。

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

== 例 ==
*{{math|1=''P'' = {{(}}1, 3, 5, 7, 9{{)}}}} （{{math|10}} 以下の[[奇数]]の集合）、{{math|1=''Q'' = {{(}}2, 3, 5, 7{{)}}}} （{{math|10}} 以下の[[素数]]の集合）とすると、{{math|1=''P'' &cup; ''Q'' = {{(}}1, 2, 3, 5, 7, 9{{)}}}} である。

*[[実数]]からなる半開区間の族 {{math|1='''M''' = {{(}}&thinsp;(0, 1 &minus; 1/''n''] {{!}} ''n'' は 0 でない[[自然数]]&thinsp;{{)}}}} とすると集合族 {{math|'''M'''}} の和集合は開区間 {{math|(0, 1)}} である：
::<math>
  \bigcup \mathbf{M} = 
  \bigcup_{n=1}^{\infty}\left(0,\,1-\frac{1}{n}\right] 
  = (0, 1).
</math>
:実際、{{math|0 &lt; ''x'' &lt; 1}} なる {{math|''x''}} に対して、{{math|1=''x'' = 1 &minus; &epsilon;}} となるような正の実数 {{math|&epsilon;}} が存在するが、ここで {{math|1 / &epsilon; &lt; ''n''}} となる自然数 {{math|''n''}} は必ず存在して、この {{math|''n''}} に対して {{math|''x''}} は半開区間 {{math|(0, 1 &minus; 1 / ''n'']}} に属する。一方、{{math|1 &le; ''x''}} となる {{math|''x''}} は {{math|'''M'''}} のどの半開区間にも属さないので、和集合にも属さない。

*実数の全区間（数直線）{{math|1='''R''' = (&minus;&infin;, &infin;)}} は長さが {{math|1}} の半開区間の族 {{math|1={{(}}&thinsp;(''m'', ''m'' + 1] {{!}} ''m'' は[[整数]]&thinsp;{{)}}}} の直和に分割できる。つまり
::<math>\mathbb{R} = \coprod_{m=-\infty}^{\infty} (m, m+1]</math>
:が成り立つ。

== 空なる合併 ==
{{seealso|[[空和]],[[束 (束論)#半順序集合として|Lattice論]],[[共通部分#空なる交叉|空な交叉]]}}
*集合 <math>X</math> に対して， <math>\mathcal{P}(X)</math> を <math>X</math> の冪（ベキ）集合とする．全体集合 {{math|''U''}} を固定し、{{math|&cup;&empty;}} を考えると、定義により
::<math>\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</math>
:となる。ここで，最初の空集合と最後の空集合はニュアンスが違う（後者は単なる空集合だが前者は属する集合がない集合族）．なお最後の等号は「条件を満たす {{math|''x'' &isin; ''U''}} が存在しない」ということから従う。なお、[[共通部分|{{math|&cap;}}]] の場合も、その定義により {{math|1=&cap;&empty; = ''U''}} がわかる。

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

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

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

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

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

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

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

:<math>A \cup A = A</math>
これは[[冪等]]演算であり、数の演算とは異なる。

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

== 注 ==
{{reflist|group="注"}}

== 関連項目 ==
* [[集合の代数学]]
* [[差集合]]
* [[共通部分 (数学)|共通部分]]
* [[同値類]]
* [[論理和]]
* [[和集合の公理]]

== 出典 ==
{{脚注ヘルプ}}
{{reflist}}

== 参考文献 ==
* {{Cite book
 | 和書
 | last1 = 齋藤
 | first1 = 正彦
 | year = 2002
 | title = 数学の基礎　集合・数・位相
 | series = 基礎数学14
 | publisher = 東京大学出版会
 | isbn = 978-4-13-062909-6
 | ref = harv
}}
* {{Cite book
 | 和書
 | last1 = 中島
 | first1 = 匠一
 | year = 2012
 | title = 集合・写像・論理――数学の基本を学ぶ
 | publisher = 共立出版株式会社
 | isbn = 978-4-320-11018-2
 | ref = harv
}}

{{集合論}}
{{DEFAULTSORT:わしゆうこう}}
[[Category:集合論]]
[[Category:初等数学]]
[[Category:数学に関する記事]]