「和集合」の版間の差分
ja>Hymath (対称差のページに引用するため濃度に関する公式を追加) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:45時点における最新版
数学において、集合族の和集合(わしゅうごう)、あるいは合併集合(がっぺいしゅうごう)、合併(がっぺい、union)、あるいは演算的に集合の和(わ、sum)、もしくは結び(むすび、join)とは、集合の集まり(集合族)に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである[注 1]。
定義
集合 A と集合 B が与えられたとき、集合 A ∪ B を、A, B いずれかの集合の少なくとも一方に含まれる元 x の全体 (x ∈ A ∪ B ⇔ x ∈ A または x ∈ B) として定めて、あるいは同じことだが
- [math]A \cup B := \{x \mid x \in A \mbox{ or } x \in B\}[/math]
として定義される集合を、集合 A, B の和集合と呼ぶ。また特に、A と B が交わりを持たないときの和集合 A ∪ B を A と B の(集合論的)直和(ちょくわ、[set theoric] direct sum)あるいは非交和(ひこうわ、disjoint union)と呼び、"A ∪ 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]
と定義する。有限個の元からなる集合族 A1, A2, ..., Ak の和集合は
- [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]
などの記号を用いることがある。
例
- P = {1, 3, 5, 7, 9} (10 以下の奇数の集合)、Q = {2, 3, 5, 7} (10 以下の素数の集合)とすると、P ∪ Q = {1, 2, 3, 5, 7, 9} である。
- [math] \bigcup \mathbf{M} = \bigcup_{n=1}^{\infty}\left(0,\,1-\frac{1}{n}\right] = (0, 1). [/math]
- 実際、0 < x < 1 なる x に対して、x = 1 − ε となるような正の実数 ε が存在するが、ここで 1 / ε < n となる自然数 n は必ず存在して、この n に対して x は半開区間 (0, 1 − 1 / n] に属する。一方、1 ≤ x となる x は M のどの半開区間にも属さないので、和集合にも属さない。
- [math]\mathbb{R} = \coprod_{m=-\infty}^{\infty} (m, m+1][/math]
- が成り立つ。
- 集合 [math]X[/math] に対して, [math]\mathcal{P}(X)[/math] を [math]X[/math] の冪(ベキ)集合とする.全体集合 U を固定し、∪∅ を考えると、定義により
- [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]
- となる。ここで,最初の空集合と最後の空集合はニュアンスが違う(後者は単なる空集合だが前者は属する集合がない集合族).なお最後の等号は「条件を満たす x ∈ U が存在しない」ということから従う。なお、∩ の場合も、その定義により ∩∅ = 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)^c = A^c \cap B^c[/math]
ここで c は補集合を表す。これはド・モルガンの法則と呼ばれる。
注
関連項目
出典
参考文献
- 『数学の基礎 集合・数・位相』 東京大学出版会〈基礎数学14〉、2002年。ISBN 978-4-13-062909-6。
- 『集合・写像・論理――数学の基本を学ぶ』 共立出版株式会社、2012年。ISBN 978-4-320-11018-2。