合併 (集合論)
出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学において、集合族の和集合(わしゅうごう)、あるいは合併集合(がっぺいしゅうごう)、合併(がっぺい、union)、あるいは演算的に集合の和(わ、sum)、もしくは結び(むすび、join)とは、集合の集まり(集合族)に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである[注 1]。
定義[編集]
集合 A と集合 B が与えられたとき、集合 A ∪ B を、A, B いずれかの集合の少なくとも一方に含まれる元 x の全体 (x ∈ A ∪ B ⇔ x ∈ A または x ∈ B) として定めて、あるいは同じことだが
として定義される集合を、集合 A, B の和集合と呼ぶ。また特に、A と B が交わりを持たないときの和集合 A ∪ B を A と B の(集合論的)直和(ちょくわ、[set theoric] direct sum)あるいは非交和(ひこうわ、disjoint union)と呼び、"A ∪ B (disjoint)" や、明示的に記号を違えて
などと記すこともある。また、集合の族
に対して、集合族に属するいずれかの集合に属する元
の全体として集合族の和
を定義する。有限個の元からなる集合族 A1, A2, ..., Ak の和集合は
などとも表す。自然数などで添え字付けられた集合の和についても
などのように表すことがある。また、集合族に属する集合からどの異なる二つを選んでもそれらが交わりを持たないとき、つまり
となるとき、その集合族の和集合は直和、あるいは非交和であるといい、
などの記号を用いることがある。
例[編集]
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) である:
実際、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 は整数} の直和に分割できる。つまり
が成り立つ。
性質[編集]
一般に和集合には以下の恒等式が存在する。A, B, C を任意の集合とし、a, b, c を任意の実数とする。
- 交換法則
これは
- 結合法則
これは
に対応し、和の結合法則に相当する。
- 分配法則
これは
に対応し、分配法則に相当する。
これも集合の演算に成り立ち、数の演算とは異なっている。
- その他
ここで は空集合を表す。これは
に対応し、 は集合の加法の単位元に相当する。
これは冪等演算であり、数の演算とは異なる。
ここで c は補集合を表す。これはド・モルガンの法則と呼ばれる。
注[編集]
関連項目[編集]
出典[編集]
参考文献[編集]
- 齋藤, 正彦 『数学の基礎 集合・数・位相』 東京大学出版会〈基礎数学14〉、2002年。ISBN 978-4-13-062909-6。
- 中島, 匠一 『集合・写像・論理――数学の基本を学ぶ』 共立出版株式会社、2012年。ISBN 978-4-320-11018-2。
|