Excel VBA 数学教室ではアフィリエイトプログラムを利用して商品を紹介しています。
集合の定義(有限集合と無限集合)
たとえば「8 以下の自然数」を書き並べて
のように範囲が定まった集まりをつくります。このような集まりのことを 集合 (set) とよびます。そして集合を構成している個々のものを 要素 (element) といいます。全ての要素を { } で括って
のように書けば、 は「8 以下の自然数」で構成される集合であることを明示したことになります。この例のように要素の数が有限であるとき、この集合を有限集合とよびます。しかし、たとえば自然数全体を集合として扱う場合は、要素数が無限にあるため無限集合とよび、
のように表します。
部分集合と真部分集合
集合を考えるときは下の図のような ベン図 (Venn diagram) を用いて表すと複雑な関係も理解しやすくなります。

図にあるように、集合 のどの要素も集合 の要素であるときには、 は の 部分集合 (subset) であるといい、
という記号で表します。たとえば正の偶数全体は自然数の部分集合となります。この記号は と の要素が全て一致している場合も表しています。 かつ ならば、 と の要素は一致しているといい、
と表します。もし と が等しくないことが明らかな場合は
と書いて、 は の真部分集合 (proper subset) であるといいます。
共通部分と和集合
下図のように、 と のどちらにも含まれる要素で構成される集合のことを と の共通部分 (intersection) とよび、
と表します。「 かつ 」あるいは「 cap 」と読みます。

と の少なくとも一方に含まれる要素で構成される集合のことを と の 和集合 (union) とよび、
と表します。「 または 」あるいは「 cup 」と読みます。

全体集合と補集合、空集合
最初にある1つの集合 を定義して、 の要素や部分集合を考えるとき、 を 全体集合 (universe) といいます。 の部分集合 を定義したとき、 に属していない要素で構成される集合を の補集合とよび、 で表します。

また、要素を1つも含まない集合のことを 空集合 (null set) とよび で表します。
集合の演算
集合の演算規則についてまとめておきます。
① 交換法則
② 結合法則
③ 分配法則
④ ド・モルガンの法則
下のベン図は分配法則を表したものです。


集合の和
有限集合 に対して、その要素の数を と書くと、2 つの有限集合 の要素の数について次の式が成り立ちます。
は共通部分を重複して数えているので、そのぶんだけ 1 回引いておくのです。たとえば を
のように定義して、この 2 つの集合を合わせることを考えます。それぞれの要素の数を単純に足し合わせると
となりますが、共通部分の 6 と 12 を余分に数えているので、それを差し引いて
となります。 のときは共通部分がないので
となります。
集合の積
2 つの集合 について、1 つずつ要素 を取り出して のあとに を並べたものを 順序対 とよび、 で表します。集合 に含まれるすべての要素について順序対をつくり、それらを全て含む集合を と の 直積 (direct product) とよび、
で表します。たとえば
と定義すると
となります。 の要素 1 つに対して の要素が 2 つあるので、直積集合の数は 3 × 2 = 6 個となっています。一般に直積集合の数は
によって計算できます。
エクセルや数学に関するコメントをお寄せください