#rst2hooktail_source
=================================
全体集合と補集合と集合演算
=================================
数学は抽象的な表現で綴られていく学問ですが、実際は具体的な定義を重ねていって厳密な定理のもとに成り立っています。この記事でも、集合に関していくつかの具体的な定義や定理を紹介しています。最初は大変かもしれませんが、やはりこれらを積み重ねていくことが大事ですので、頑張ってください。
全体集合
========================
集合を考えるとき、その集合を考える上で対象となる領域にも注意しないといけないときがあります。
中学や高校の数学で2次方程式の解を求めるとき、解の対象領域を実数全体とするのか複素数全体とするのかでは解が存在するかどうかが変わってきましたね。
集合でも、どんな対象で集合を考えているかということにちょっと気をつけてみましょう。集合では元の対象となる領域が存在します。実数の中の奇数だけを集めた集合を考えるとき、この集合の対象となっているのは「実数全体」です。
集合でも、どんな対象で集合を考えているかということにちょっと気をつけてみましょう。例えば、何かの集合を考えるべき領域を整数全体としたとき、その中の奇数だけを集めた集合を考えることができます。そして、その集合の具体的な元を考えることができます。このとき、全体集合が違えば、やはり集合の元も変わってくるかもしれません。全体を定義することで、具体的な集合の元をも一意に決定できます。
このような、集合の元の対象となる領域(ある定まったひとつの集合)のことを **全体集合** といいます。 [*]_
ベン図で表すと下の絵のようになります。色がついた部分、つまり今考慮すべき領域全体が全体集合となります。
.. image:: Universe.png
.. [*]
“全体集合”という言い方のほかにも、“普遍集合”や“宇宙”という言い方もあるようです。筆者はよく知りませんが、全体集合のことをwhole setやuniversal setと英語で言うので、日本語訳が単にそうなっているだけかもしれません。しかし、集合を考える際に、その対象領域を考慮すべき全てを含む“宇宙”とイメージするのは、なかなか味わいがあると思います。
補集合
=========
全体集合を定義することができれば、集合に関する表現の幅も広がります。その一つが **補集合** です。補集合とは、全体集合 $X$ の中に存在するある部分集合 $A$ に属さない集合のことです。補集合 $A^c$ を具体的に定義すると
<tex>
A^c=X-A
</tex>
つまり、 $x \in A^c$ とは $(x \in X$ かつ $x \notin A)$ ということです。下の絵でも確認してください。色がついている部分が補集合 $A^c$ です。
.. image:: ComplementSet.png
集合演算の性質
=====================
集合の和集合や共通集合をいくつかの集合から求めることは、それら集合の演算をしていることと言えます。
1. *交換法則* :
<tex>
A\cup B = B\cup A\\
A\cap B = B \cap A
</tex>
2. *結合法則* :
<tex>
A\cup (B\cup C) = (A\cup B) \cup C\\
A\cap (B\cap C) = (A\cap B) \cap C
</tex>
3. *分配法則* :
<tex>
A \cap (B \cup C) = (A \cap B)\cup(A \cap C)\\
A \cup (B \cap C) = (A \cup B)\cup(A \cap C)
</tex>
和集合、共通集合の名の通り、 $\cup$ を $+$ (足し算)、 $\cap$ を $\cdot$ (乗算)として上の式を書き直せば、これらの性質は実数などの演算で私たちがよく知っているものと形としてほとんど同じであることに気がつきます。非常に覚えやすい定理ですね。
査読/全体集合と補集合と集合演算/ソース の変更点
