Processing math: 100%
スポンサーリンク

「集合って?」「部分集合って?」【論理と集合シリーズ】数学の文章を読むための論理的思考の基礎 その5

基礎数学

本記事の内容

本記事は「数学の文章って何言ってるかわかんない」、「論理的ってどういうこと?」、「数学の勉強をしてみたいけど、何が書いてあるか読めない」という方向けである。

前回までの記事で論理については一段落したので、今回は集合について解説する。

論理については以下の前回までの記事をご参照ください。

「命題とは?」【論理と集合シリーズ】数学の文章を読むための論理的思考の基礎 その1
本記事の内容 本記事は「数学の文章って何言ってるかわかんない」、「論理的ってどういうこと?」、「数学の勉強をしてみたいけど、何が書いてあるか読めない」という方向けである。そういう方に向けて、数学における主張「命題」について解説する。また、そ
「命題の否定?」【論理と集合シリーズ】数学の文章を読むための論理的思考の基礎 その2
本記事の内容 本記事は「数学の文章って何言ってるかわかんない」、「論理的ってどういうこと?」、「数学の勉強をしてみたいけど、何が書いてあるか読めない」という方向けである。そういう方に向けて、命題の否定および真理値表について解説する。※「命題
真理値表とは?「かつ、または、ならば」とは?
本記事の内容 本記事は「数学の文章って何言ってるかわかんない」、「論理的ってどういうこと?」、「数学の勉強をしてみたいけど、何が書いてあるか読めない」という方向けである。そういう方に向けて、「真理値表」および「かつ」、「または」、「ならば」
「任意の」、「存在する」【論理と集合シリーズ】数学の文章を読むための論理的思考の基礎 その4
本記事の内容本記事は「数学の文章って何言ってるかわかんない」、「論理的ってどういうこと?」、「数学の勉強をしてみたいけど、何が書いてあるか読めない」という方向けである。そういう方に向けて、「任意の」および「存在する」ついてを切り口に述語論理

数学で集合はありとあらゆるところで出現する。
数学は集合の言葉で書かれている、と言っても過言ではない。
例えば、「どの範囲のどんなモノに対して、何が成り立つのか?」ということが数学ではよく議論の対象となる。
実のところ、集合論は非常に広く深いため、それを網羅することは誠に難しい。
従って、今回は基礎ということで度々出現し、かつ数学の文章を読む上で重要な集合について述べることにする。

ちょっとしたコラム、ということで少々歴史の話をしよう。
とはいえ、本記事の内容とは全く関係がないので、読み飛ばしてもらって一向に構わない。

集合論という分野が出現した初期の段階では、集合は「普通の意味でのモノの集まり」として導入され、考察された。
この立場を現在では素朴集合論という。
これは集合をある種直感的に理解する立場、ということだ。
ここでいう「普通の意味でのモノの集まり」ということを定式化すると、
p(x)p(x)x{x|p(x)}
となる。

記号を導入していないので、「なんだこりゃ?」となるかもしれないのだが、要は「どんな命題に対してもその命題を満たすようなモノの集まりがあるよ、と認めます。」という立場である。

一見「いいんじゃないの?」と思うかもしれないが、実は良くない。
というのもパラドックスが起こってしまうからである。
有名なパラドックスを名前だけ挙げておく。
もし興味があれば、それぞれ調べていただきたい。

これを受け、公理的集合論という新たにできた集合論が出現し、現在ではこれが主流である。
要は、素朴に「モノの集まりが集合ですよ」と捉えてしまうとパラドックスが起こってしまうんだ、ということである。
しかし一方で、公理的集合論を説明せよ、というと明らかに基礎から逸脱してしまうため、ここでは説明しない。

というわけで、少々ズルをして、本当は「集合とはモノの集まりである、というのはウソだが、ほぼ正解であるし、あくまで基礎を述べる記事だから、そういうふうに説明をしますよ」と逃げることにする。(許して)

集合ってどんなもの?

序で少々述べたとおり、基本的には「モノの集まり」と捉えてほぼ差し支えない。
とはいえ、これだとあまりにも抽象的すぎるため、例と共に集合を説明する。

(集合の例)

  • 日本人全員を集めたグループ
  • アメリカ人全員を集めたグループ
  • 東京都に住んでいる日本人のグループ
  • 東京都に住んでいる人のグループ
  • x2+y2=1を満たすような実数x,yのグループ
  • 連続な関数fのグループ

(集合でない例)

  • 背が高い人のグループ
  • イケメンのグループ
  • 大きな実数xのグループ

つまり、集合は「そのグループに属すか否かが判定できるようなものの集まり」である。
少々真面目に言えば、「そのグループに属すか否かの判断をする際、その条件が命題であるようなモノの集まり」である。

集合でない例を見てみると、「背が高い」やら「イケメンである」やら「大きな実数」というのは命題ではない。
命題については
「命題とは?」【論理と集合シリーズ】数学の文章を読むための論理的思考の基礎 その1を参照ください。

集合はアルファベットの大文字を使って表すことが多い。
また、その集合に属するモノはアルファベットの小文字を使うことが多い。
数学において、属するモノが1個でも、0個でも集合と捉える。

集合の要素、元

集合に属するモノを要素(element)、元という。

aが集合Aの要素である」、「aは集合Aに属する」(a is an element of A.)を
aA  Aa
と書く。

また、aAを「(集合)Aaを含む。」やら「aは(集合)Aに含まれる」と言ったりもする。
ここで、””という記号は”element”の頭文字”e”から来ている。

更に、aが集合Aの要素でない(¬(aA))を
aA  Aa
と書く。

例えば、筆者は日本人であるので、筆者は日本人を集めたグループという集合の要素である。
これを先の記号を用いて表すと、

となるわけである。
同様にして

となる。
数学の例を挙げると、
1 
と言った具合である。

ここで1つ注意がある。
集合の要素は同じモノがダブっていても同じ集合とみなす。
すなわち、1,2,3を集めた集合と1,1,2,3を集めた集合は同じ集合であると捉える。

集合の書き方(表し方)

集合の書き方、表し方には大きく分けて以下の2パターンある。

  1. 要素を全部並べる方法
  2. 要素の条件を書く方法

数学における文章では、そのほとんどが2.の方法で書かれている。

要素を全部並べる方法

2.にも共通するのだが、要素を{}で囲むことで集合を表す。

数学において、中括弧{}は集合の分野以外でも数式中など多く使われるのだが、集合を表す場合は必ず中括弧{}を用いる。

例1.
このブログを運営している人のグループの要素(人)は、”のり”、”たか”、”オノコウスケ”の3人であるから、この集合は
,,
と書かれる。
また、”オノコウスケは”この集合の要素であるから、
,,
と書ける。
一方、ヒ○キンさんはこのブログを運営していないので、
,,
である。

例2.
1,2,3を集めた集合A
A=1,2,3
と書かれる。
同様に、
71,2,3
である。

例3.
自然数を全て集めた集合N(“Natural number”の頭文字”N”から来ている)は
N=1,2,3,
というように、要素の個数が無限個の場合は””を使って表現することもある。

ちなみに、要素が1つだけの集合は{1}のように書き、要素が1つもない集合(これを空集合という)はを用いて表す。

空集合は形式的には={}ということである。
このはギリシャ文字のϕ(ファイ)と似ているが、ϕではない。

補足
{a}{{a}}は異なる。
前者はaが要素なのに対し、後者は{a}という集合が要素の集合である。
このように要素が集合であるような集合を集合族という。(次回)

要素の条件を書く方法

先述の通り、要素を全て並べて書く方法よりも、本小節の要素の条件を書く方法で集合が記述される場合が多い。

自然数を全て集めた集合Nのように、集合の要素の数が無限個であったり、有限個だが莫大であるようなときは要素をすべて並べて書くのは大変である。
そこで、要素の条件を書くことで集合を表す記法がある。

要は、「何の集まり(集合)で、それはどんな条件を満たすのか?」を明示する方法というわけである。
形式的には次のような風貌をしている。

何の集まりか、それが満たす条件を分けるバーを;(セミコロン)で書く流派もある。

例4.
このブログを運営している人の集合{,,}は次のように書く。
{,,}={xx}

例5.
東京都に住んでいる人の集合は
{y y}
と書く。

例5.
A={1,2,3}
A={nn=1,2,3}{aNx=1,2,3}{tNt3}
などと書かれる。

例6.
奇数を集めた集合はxZx2と書けるのだが、奇数はある整数kを用いて2k+1の形で書けるので、
{xZkZ s.t. x=2k+1}
と書くことができる。

前回の記事(「任意の」、「存在する」【論理と集合シリーズ】数学の文章を読むための論理的思考の基礎 その4)もはせて参照してほしいのだが、なぜ奇数を集めた集合を「{xZkZ s.t. x=2k+1}」と書き換えることができる理由、もとい書き換える際の筆者の頭の中を少々補足という形で記す。

補足:奇数を集めた集合ということは、要素は整数である。
数はアルファベットの小文字を使って表すことが多いから今回はxを採用することにして、奇数を集めた集合は
{xZx}
と、まずはこうなるのだな、となる。
その後、奇数は2k+1の形をしていること、このkは整数であることを思い出せば、xが奇数であるということはx=2k+1を満たすような整数kが存在する、ということだと気がつく。
これをまとめると{xZkZ s.t. x=2k+1が得られるというわけである。

例7.
東京都に住んでいる日本人を集めた集合を論理式で表すと、
x() s.t. (=x)
となる。
もっと論理式っぽく書くのであれば

  • J:日本人を全て集めた集合
  • x:人
  • A:日本の全ての住所を集めた集合
  • ax:xの住所
  • AT:東京都内の住所を全て集めた集合

とすると、
xJ(aA) s.t. (a=axaAT)
やら
xJaxAT
と書ける。

この小節で是非覚えてほしい、最重要なポイントは

  集合を要素の条件を書く方法で記述する場合、何の集まりで(つまり要素は何で)、それが何を満たすのか、をハッキリと明示すること。

である。

部分集合

これまでは、ある一つの集合に対して、その書き方について説明をした。
今後は複数の集合の間の関係性やら、頻出する集合の種類について述べる。

最初に部分集合について述べる。
複数の集合、特に2つの集A,Bが与えられたとき、集合として一方が一方に含まれるか、または含まれないかに興味がある場合がある。

例えば、神奈川県川崎市出身の人の集合は神奈川県出身の人の集合に含まれる。
同様に神奈川県横浜市出身の人の集合は神奈川県出身の人の集合に含まれる。
しかし、逆に神奈川県出身の人の集合は神奈川県川崎市出身の人の集合にも神奈川県横浜市出身の人の集合にも含まれない。
つまり、神奈川県出身だからといって、必ずしも川崎市出身でもなければ、横浜市出身というわけでもない、ということである。

このようにある集合の一部分を見つけることで、大本の集合をグループ分けすることができる。
今回の例で言うと、神奈川県出身の人の集合は川崎市出身の人の集合、横浜市出身の人の集合と、この2つ以外の神奈川県の市町村出身の人の集合というように3パターンに分けられる。
大本の集合を細かくグループ分けすることによって、場合分けができるのだから、問題を解決する際に役に立つ。

一方で数学の例を考えてみる。
「6の倍数について〇〇が成り立つ。」という命題があったとする。
6は2でも3でも割り切れるため、6の倍数の集合は2の倍数の集合にも、3の倍数の集合にも含まれる。
故に「6の倍数について〇〇が成り立つ。」という命題は「2の倍数であり、かつ3の倍数でもある数に対して〇〇が成り立つ。」というように条件を簡略化、具体化することができる。

ちなみに

  • 6の倍数の集合={xZ(kZ) s.t. x=6k}={6kkZ}
  • 2の倍数の集合={xZ(kZ) s.t. x=2k}={2kkZ}
  • 3の倍数の集合={xZ(kZ) s.t. x=3k}={3kkZ}

である。

このように条件を言い換える(同値な変形)際に、複数の集合の含み含まれるという関係が役に立つため、興味がある場合があるのである。

一般に、集合Aの要素が全て集合Bの要素であるとき、AB部分集合(subset)であるという。

これを論理式で表せば、

集合Aが集合Bの部分集合であるとは、(aA) aAaBが成り立つ事をいう。

となる。
この命題は集合Aと集合Bが等しくても真である。
集合Aは集合Bの部分集合だが、一致していないとき、ABと書く(このとき集合Aは集合Bの真部分集合であるという。)。

集合Aは集合Bの部分集合だが、一致している場合も含むとき、ABと書く。
後者はABA=Bが成立する、という意味である。
これらの否定は、要素のときと同様にを用いる。

仮に「集合Aが集合Bに含まれる事を示しなさい」と言われたら、上記の命題を示せ、ということである。

上記の例を流用すると、

  • 神奈川県川崎市出身の人の集合神奈川県出身の人の集合
  • 神奈川県横浜市出身の人の集合神奈川県出身の人の集合
  • 神奈川県出身の人の集合神奈川県川崎市出身の人の集合
  • 神奈川県出身の人の集合神奈川県横浜市出身の人の集合
  • {6kkZ}{2kkZ}
  • {6kkZ}{3kkZ}
  • {2kkZ}{6kkZ}
  • {3kkZ}{6kkZ}

というわけである。

集合が”等しい”って?

前節の部分集合でサラッと集合の相等(等しい)ということについて触れたのだが、この節で集合が等しいというのはどういうことかについて述べる。

与えられた2つの集合A,Bが等しいというのは、A,Bの要素が全て一致しているときを言うのである。
これはある種直感通りと言えよう。
このときA=BまたはB=Aと書く。

また、等しくないときABまたはBAと書く。

例7.
神奈川県横浜市の固定電話の番号を集めた集合と、045から始まる電話番号の集合は要素が一致しているため等しい。

例8.
アメリカ人全員を集めた集合と日本人全員を集めた集合は、要素が一致しないため等しくない。

例9.
筆者、Xさん、Yさんのグループと筆者、Xさん、YさんおよびXさんと同姓同名だが別人のXさんのグループは等しくない。

例10.
偶数を全て集めた集合と{2kkZ}は要素が一致するため等しい。

ここで、例10.を見ると、「偶数は整数kを用いて2kと書けるのだから等しいでしょ」と思えるのだが、数学に出現する集合の多くは例のように分かりやすいものばかりではない。
さらにいえば、例7、例8、例9はすべて要素が有限個の集合であるので、気合があれば要素を全て羅列することで要素が一致するかを吟味できるのだが、例10は要素が無限個であるので、その手法は使えない。
もっと言えば、たとえ要素が有限個だったとしても要素の数が膨大な場合はいちいち要素を羅列するのは現実的でない。
よって、要素が無限個の集合(無限集合という)の場合も鑑みた「集合が等しいとはどういうことか?」ということを述べる。

一般に、集合Aが集合Bと等しいとは、AおよびBが互いに含み、含まれる関係にあるときをいう。
これを論理式で表せば、

AB BA が成り立つときに集合Aと集合Bは等しいという。

となる。
これを先述の部分集合の論理式を使って書き直せば、
((aA) (aAaB))((bB) (bBbA))
が成り立つときに集合Aと集合Bは等しいという。

「集合Aと集合\B\が等しい事を示しなさい」といわれたらば、上記を示しなさい、ということである。

くどいようだが例を挙げておくと、

例7.
\A\:神奈川県横浜市の固定電話の番号を集めた集合、B:045から始まる電話番号の集合とする。
Aの要素は、電話番号であり、東京都にある固定電話の番号は045から始まるため、Bの要素である。
逆に、Bの要素も電話番号であり、045で始まる。
神奈川県横浜市にある固定電話の番号はやはり045から始まるので、Bの要素もまたAの要素である。
従って、A=B

例9.
A={,X,Y}B={,X,Y,XX}とする。
Aの要素は全てBに含まれるため、Aの要素はBの要素でもある。
しかし、”Xさんと同姓同名だが別人のXさん”はAの要素ではない。
従って、ABだが、AB

例10.
A:偶数を全て集めた集合、B={2kkZ}とする。
Aの要素は全て偶数であり、偶数は全て整数kを用いて2kの形で書けるため、A要素は全てBの要素である。
逆に、Bの要素は全て整数kを用いて2kの形で書ける。
2kの形で書ける整数は全て2で割り切ることができるため、偶数であるから、Bの要素は全てAの要素である。
従って、A=B

今回は「集合ってどんなものか?」、「集合の書き方は?」、「部分集合って?」ということにフォーカスして解説した。
集合とは「属すか属さないかを命題として判断できるようなモノの集まり」であった。
ただし、実はこれでは厳密ではなく不十分であり、「集合ってこれです!」と言い切ってしまうとパラドックスが起きたりするので本当はよろしくない。
しかしながら、おおよそこの認識で問題ないため、基礎ということで逃げている。
(筆者の経験からしても、この認識でほとんど問題ない。)

部分集合はある2つの集合に対して、一方が一方に含まれるとき、含まれる側の集合を一方の部分集合と呼ぶのであった。
論理式的には集合が一致していても真なる命題で部分集合を説明したのだが、一致することなく完全に含まれてしまうような部分集合を真部分集合という。

この記事で是非覚えてほしいのはたった1つである。それは

()

に注意してほしいということである。

次回は和集合、共通部分、差集合、補集合、直積集合、冪集合、集合族といった数学でよく使われる集合について解説する。
次回を読めば、集合の話は一段落である。
次次回はいよいよ数学の話、特に実数の連続性について解説することになる。

乞うご期待!
質問、コメントなどお待ちしております!

コメントをする

  1. MathJaxの記述に抜けがあるようです。
    誤:\(\{x\in\mathbb{Z}\mid\exists k\in\mathbb{Z}\ {\rm s.t.}\ x=2k+1\}$

    正:先頭に$を付ける
    かと思います。修正いただけますと読者の理解の便に良いかと思います。

    • 名無しさん

      真理値表の記事に引き続き、ご指摘ありがとうございます!
      修正致しました。

タイトルとURLをコピーしました