集合トランプにまつわる集合の諸概念(基礎編)
前回の記事で、数学における 集合 を題材にしたカード「集合トランプ」を紹介しました:
さて、このカードを用いてゲームを遊ぼうとすると、どうしても「集合に関する知識」が必要になります。なので、数学に苦手意識がある方などは、このカードで遊ぶことを諦めているかもしれません。しかし、そう思うのはまだ早いです。集合に関する知識は、直感的に理解できるものばかりです! *1
以下では、集合トランプに関わる基礎的な知識を できるだけわかりやすく 伝えることを試みています。すこし数が多いかもしれませんが、ここで紹介されている知識を一度に全部頭に入れる必要はありません。これらのうち 1 つだけを知っていれば遊べるゲームもあります。集合トランプを通じて、だんだんと集合の知識を身に着けていけば、いつのまにか色々なゲームが遊べるようになっているでしょう!
目次
集合
集合とは「モノの集まり」です。これは集合トランプの説明記事でも触れているので、ここでは詳細を省かせていただきます。
属する
あるモノが集合に「入っている」ことを、数学では「属する」とカッコつけて呼んでいます。例を挙げると:
- 集合 に属している数は と のみです。 や や は属していません。
- 集合 には、ただ 1 つ だけが属しています。
なお、集合は「図にして描いてみる」ことで、そのイメージが掴みやすくなるかもしれません:
なお、数学では、ある というモノが という集合に属していることを、 という記号を使って と表します。集合トランプで遊んでいるときにこの記号が現れることはありませんが、数学ではあちこちでこの記号が現れるので、説明だけしておきました
余談:"文字" はこわくない
ところで、ちょっと余談をさせてください。数学に苦手意識がある方は、 とかの文字が現れると身構えてしまうかもしれませんが、こういう文字は、ただ単に モノに名前をつけている だけです。たとえば:
「ある数とある数を足した結果が別のある数になっていることは、最初の 2 つの数の間に を書き、それと別のある数を で結ぶことで表される」
という説明があったとします。でもこれ、なんかあちこちで「数」って言ってて、どういうことかよくわかんないですよね。そこで、この説明に出てきた「数」それぞれに名前をつけてあげると、次のようになります:
「ある数 と を足した結果が別のある数 になっていることは、 と表される」
前の説明と比べて、いくぶんわかりやすくなっているのではないでしょうか。モノに名前をつけるということは、その区別ができるようになる という点で、とても大切なことなのです!
ですので、文字に苦手意識がある方も、モノにつけられた「名前」だと思って、ぜひ慣れ親しんであげてください~
包含関係
2 つの集合があるとき、その間に「含む / 含まれる」という関係が成り立つことがあります。これは、言葉で説明するよりも、具体例を見たほうがわかりやすいかと思われます:
この図は、 という集合が、 という集合に含まれていることを表しています。言葉で説明すれば、「 に属している や という数が、どちらも に属している」ということです。
ちなみに、ある という集合が、 という集合に含まれているとき、記号 を使って と表すことになっています。この記号を使えば、上の例は と表すことができますね。
別の例を挙げると、集合 は 集合 には含まれていません。なぜなら、 に属している数 が、 には属していないからです。図にすると、こういうことですね:
こういう「含まれていない」という関係は、記号 で表されます。たとえば、 といった感じですね。「等しくない」ことを表す記号 のように、もとの記号に斜線を入れて表現しています。
集合の包含関係について、いくつか例を挙げておきます。含む・含まれるという考え方は、集合トランプでわりとよく出てくるので、ここでしっかりとそのイメージをつかんでいってください:
-
- は に含まれる、ということです。
- は を含む、と言い換えることもできますね。
-
- に が属していないので、 は に含まれません。
-
- 同じ集合どうしには、包含関係が成り立ちます。言われてみると確かに、という感じですよね。
-
- この右側にある集合には、集合トランプにおいて 全体集合 という名前がついていましたね。全体集合 は、どんな集合をも含んでいる という特徴があります。
和集合
集合においても「和」を考えることができて、それは直感的に言うと 集合をくっつける ことです。 例えば、2 つの集合 の 和集合 は、 となります:
一般に、2 つの集合 があったとき、その和集合は「 と のどっちかには入ってるモノを集めた集合」として定めることができます。
また、 と の和集合は と表記することになっています。上で示した例であれば、
と書けるわけです。*2
いくつか具体例を記しておきます:
-
- 空集合 には何も属していないので、他の集合にくっつけても何も変わりません。
-
- 全体集合 には既に(集合トランプで登場する)すべての数が属しているので、そこに何をくっつけようが、全体集合のまま変化しません。
共通部分
2 つの集合 の 共通部分 とは、その名に違わず「 と のどっちにも入ってるモノを集めた集合」を意味します。 例えば、2 つの集合 の共通部分は 、ということです:
わかりやすい名前なのはよいことです。他にも具体例を挙げておきますね:
-
- 空集合 は空っぽなので、共通部分をとるとやはり空っぽになってしまいます。
-
- 全体集合 には(集合トランプで登場する)すべての数が属しているので、他の集合と共通部分をとっても、元の集合のまま何も変わりません。
補集合
ある集合 があったとき、その 補集合 というものが定まります。これは、端的に言えば「 に入っていないモノすべて を集めた集合」です。具体例を挙げれば、集合 の補集合は です:
別の言葉で言えば、ある集合 の補集合とは「全体集合 から の部分を取り除いた集合」と言えますね。あるいは「くっつけると ピッタリ 全体集合 になる」とも言えるでしょう。
ちなみに、集合 の補集合は、ここでは と表すことにします。*3 この記法を用いれば、上の例は と書けますね。
ところで、この逆の関係、つまり が成り立っていることもわかるかと思います。このように、補集合の関係にある集合は、ペアをなしている ことが見て取れます:
集合トランプゲームでは、この「補集合の関係」というペアが重要になってくるゲームがいくつかあります。
べき集合
集合 に対し、その部分集合をすべて集めてきた集合を の べき集合 といい、 と表します。*4
何を言っているのかは、例を見てもらえればわかると思います。例えば、 のべき集合を考えると:
となります。これは 集合の集合 であることに気をつけてください。
ところで、集合トランプのカードに書かれている集合は「 のすべての部分集合が(各色)1 枚ずつ」でしたね。ということは、集合トランプのカード(のうち 1 色)をすべて集めた集合は である ということになります。
分割
たとえば、全体集合 は、
と と
と と と と
みたいに "小分けの集合" に分解することができますね。このような操作は、数学では「集合の分割」と呼ばれています。
数学的にちゃんと書くと、ある "小分けの集合" の集合 が集合 の 分割 であるとは、以下の条件を満たしていることと定義されています:
- "小分けの集合" の中には、空集合 が含まれていない。()
- "小分けの集合" を全部くっつけると(和を取ると) になる。()
- "小分けの集合" は、どの相異なる 2 つも共通部分が空である。(任意の に対し、 ならば )
具体例を挙げると、以下はいずれも の分割になっています:
一方で、以下はどれも の分割ではありません:
今のところはこんなもんで。
説明が冗長だったり、あるいは逆に説明不足だったりする点があるかもしれません。この記事の内容について何かしら疑問点などがあれば、何らかの方法で質問していただければ返答するつもりでいます。
追記
純粋な「集合論」から少し離れた応用的な概念たちの解説を、以下の記事(応用編!)に切り離しました: