査読/全体集合と補集合と集合演算/ソース のバックアップ(No.1)
査読/全体集合と補集合と集合演算/ソース のバックアップ(No.1)
これはrst2hooktailの記事ソース保存・変換用です（詳細）．
================================= 全体集合と補集合と集合演算 ================================= 全体集合 ======================== 集合を考えるとき、その集合を考える上で対象となる領域にも注意しないといけないときがあります。 中学や高校の数学で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$ (乗算)として上の式を書き直せば、これらの性質は実数などの演算で私たちがよく知っているものと形としてほとんど同じであることに気がつきます。非常に覚えやすい定理ですね。
