メインメニューを開く

集合論

集合 から転送)

数学>集合論

目次

集合とはなにか?編集

集合(set)とは、物の集まりであって、何か物を持ってきたときにそこに属すのか属さないのかどちらかに必ず定まるもののことである。例えば、「標高8500m以上の山」「都道府県であって、人口500万人未満のもの」「すべての二等辺三角形」「正の奇数すべて」などは集合である。ただし、「頭がいい人」のような、何が属して何が属さないのかが曖昧なものは集合とは呼ばないことにする。

集合に属している物のことを (element)と呼ぶ。先ほどの例から、「標高8500m以上の山」という集合では、「エベレスト、K2、カンチェンジュンガ、ローツェの4つの元がある」などと言う。「正の奇数すべて」の集合は、「1,3,5,...という無限個の元から成っている」と言える。元が集合に属していることを「 」という記号で表す。例えば、自然数の全体という集合を とすると、 と書ける。

なお、元が1つもない集合も集合とみなすことにする。そのような集合を空集合 (empty set、null set)と呼び、 で表す。

記法と演算編集

外延的記法と内包的記法編集

集合をあらわすには、その集合に属している元をすべて書き表すのが最も簡単だ。例えば「1桁の素数」という集合なら{2,3,5,7}と書ける。このような書き方を外延的記法という。

しかし、集合の元の数が多くなってくると外延的記法は難しくなってくる。例えば、人口500万人未満の都道府県は38個もあるので全部列挙していたら大変だ。それどころか、正の奇数すべての集合の元は無限個あるので、全部書き表すことは不可能で、{1,3,5,7,...}と書くしかない。しかし、このような書き方は、どのような集合なのか誤解を招きやすい。ある人は、「奇数の素数と1」という集合{1,3,5,7,11,13,17,...}の意味でこのように書くかもしれない。

そこで、ある集合の元が満たすべき性質を書くことで集合をあらわすことを考える。そのような記法を内包的記法という。内包的記法では、集合の元を代表する文字と満たすべき条件を縦棒を挟んで並べて書く。例えば、正の奇数の集合は

 

と書ける。

部分集合編集

集合Sのすべての元が集合Tに属しているとき、SはTの部分集合 (subset)であるといい、 と表す。空集合は任意の集合の部分集合である。また、S自身もSの部分集合である。S自身以外の部分集合をSの真部分集合といい、TがSの真部分集合であることを とあらわす。

元が集合に属しているという関係と、元がひとつだけの集合が別の集合の部分集合であるという関係とは似て非なるものである。すなわち、  とは、同値ではあるが表していることは異なる。この違いにはよく注意すべきである。

 かつ を満たすときX=Yと書き、この2つの集合は等しいという。何をくだらないことを定義するのか、と思ってはいけない。数学ではしばしばまったく別の方法で定義した2つの集合X,Yが実は同じ集合であることを証明すべきときがある。そのようなときには、 かつ を示せばよいのである。

冪集合
集合があるとき、その集合の部分集合の集合というものを考えることができる。これをその集合の冪(べき)集合という。きちんと集合の記法で書けば、

 

のことを、Xの冪集合という。


 

この例を見てもわかるように、有限個の元から成る集合(厳密な定義は後の節を参照)Xの冪集合 の元の個数は、Xの元の個数の2の冪である(この例でいえば、23=8個)ので、 のことを と書くこともある。

集合算編集

集合Sと集合Tの元をあわせた集合を和集合 (sum)ないしは合併 (union)といい、 と表す。例えば、 である。

集合Sから集合Tの元を除いたものを差集合 (difference set)といい、S-Tないしは と表す。例えば、 である。

集合Sと集合Tの共通する元の集合を積集合 (intersection)ないしは共通部分 (meet)といい、 と表す。例えば、 である。

これらに関しては、次の性質(ド・モルガンの法則)が成り立つ。SとTをXの部分集合とすると、

 
 

また、次の性質(吸収法則)もよく知られている。

 
 

集合Sと集合Tの元の組の集合を直積 (direct product)といい、 と表す。例えば、 である。

写像編集

我々は、関数という概念を既に知っている。fが関数(function)であるとは、xという数に対して別の数f(x)がただひとつ定まることであった。ここでは、関数の概念を一般化した写像という概念を考える。すなわち、集合XとYについて、任意の に対して がただひとつ定まるとき、この対応fはXからYへの写像 (mapping)であるといい、

 

と書くことにする。2つの写像 について、

 

と定める。

2つの写像  があるとき、写像 が定まる。これをfとgの合成 (composite)といい、 と書く。

像と逆像編集

写像 とXの部分集合Sがあるとき、Yの部分集合 をfによるSの (image)といい、 と書く。

写像 とYの部分集合Tがあるとき、Xの部分集合 をfによるTの逆像 (inverse image)といい、 と書く。

特に のときには を単に と書くこともしばしばある。しかし、この記号は少し紛らわしいので注意すべきである。  はどちらも集合であるのに対して、 は集合の元だが は集合である。

単射と全射編集

写像  (対偶を取れば、 )を満たすとき、fは単射 (injection)であるという。また、 を満たすとき、fは全射 (surjection)であるという。全射かつ単射であることを全単射 (bijection)であるという。

 集合Xと部分集合Sが与えられているとする。このとき、 をi(x)=xで定めると、これは単射である。このiを包含写像という。特にS=Xのとき、iは全単射である。このとき恒等写像 (identity mapping)と呼び、特に と書く。

特に空集合は任意の集合の部分集合なので、空集合からは任意の集合へ包含写像を考えることができる(実質的には何も定めていない写像だが、集合論的に考えることはできる、ということである)。これを特に空写像という。

写像  があって、 かつ を満たすとき、gはfの逆写像 (inverse mapping)であるといい、 と書く。

写像fに逆写像が存在することと、写像fが全単射であることは同値である。写像が全単射であることを証明するために、全射かつ単射であることを示すより、具体的に逆写像を構成してしまったほうが簡単な場合がしばしばある。

単射・全射については以下の命題も成り立つ。

命題 写像 が単射で、  を満たすとき、 

(証明)
 を任意にとると、 であり、gが単射なので、 である。よって である。

命題 写像 が全射で、  を満たすとき、 

(証明)
 を任意にとると、fが全射なので、 なる がある。 なので、 である。よって、 である。

これらの命題は、単射や全射という概念を、集合の元という概念(もっといえば、集合という対象)を用いずに特徴づけているという点で重要な命題である。

写像の制限編集

写像 と集合 があるとき、 に対して と定めることで、写像 が自然に定まる。このようにして定めた写像をfSへの制限といい、 であらわす。

はじめはf はほとんど同じもののように感じるかもしれないが、区別したほうが便利である。たとえば、  を考えると、fは全射でも単射でもないが、 は単射である。

写像の制限は、包含写像を使って表すことができる。 を包含写像とすると、

 

である。

同値関係と商集合編集

同値関係編集

「~」が集合A上の二項関係であるとは、任意の について、a~bであるかまたはそうでないかが必ず定まることである。例えば、実数の集合における「=」「≦」などは二項関係である。さらに、二項関係であって次の3つを満たすもののことを同値関係 (equivalent relation)と呼ぶ。

  1.  (反射律)
  2.  (対称律)
  3.  (推移律)

先ほど挙げた「=」は同値関係であるが、「≦」は対称律を満たさないので同値関係ではない。他に同値関係の例として、自然数の集合上の、ある自然数nで割った余りが等しいという関係「≡(mod n)」などを挙げておく。

商集合編集

さて、同値関係が与えられたときに、各 について次の集合を考える。

 

すなわちC(a)とは、同値関係~によってaと同値な元全体の集合である。これを~に関するaの同値類 (equivalent class)と呼ぶ。このように定めると、次の性質が成り立つことが容易にわかる。

  1.  
  2.  

この2番目の性質は、同値関係が与えられると、元の集合Aは、互いに交わらない部分集合族によって分割(直和分解)されることを表している。この、Aを分割する部分集合族のことを、Aを同値関係~で割った商集合 (quotient set)といい、A/~と書く。集合の言葉できちんと書くと下のようになる。

 

自然な写像編集

集合Aと部分集合Sを考えると、SからAへは包含写像という自然な単射を考えることができた。商集合でも、次のような自然な写像を考えることができる。

 

この写像は明らかに全射である。この写像のことを、標準的全射とか、自然な全射という。

濃度編集

濃度の概念編集

この節では、集合の元の個数について考える。いま、素朴に「個数」と書いたが、この概念は自明な概念ではない。確かに、 という集合の元の個数は3個である、といったことは、素朴に考えてもすぐに言うことができる。しかし、では元が「無限個」ある場合はどうしたらよいのだろうか?これは案外難しい。

そこで、個数という概念を直接定義するのではなく、2つの集合の元の個数がひとしいとはどういうことなのか、ということをまず定義することにしたい。これはそれほど難しくない。以下のようにすればよい。

定義 2つの集合AとBの間に全単射があるとき、AとBは対等であるという。

元が有限個の場合に、これまでの素朴な「個数がひとしい」という概念と一致していることは容易にわかる。

さて、この集合と集合が対等であるという関係は、同値関係である。そこで、この同値関係によるAの同値類をcard Aと書き、これをAの濃度 (cardinality)という。2つの集合が対等であるということを、2つの集合の濃度がひとしいという言葉で言い換えただけである。これによって、任意の集合に適用できる「個数」にあたる概念を手に入れることができた。もちろん(くどいかもしれないが)この濃度の概念は有限集合の場合は素朴な「個数」の概念と一致する。

Bernsteinの定理編集

2つの集合があったとき、その2つの集合の濃度がひとしいか否かというのはしばしば気になることである。しかし、2つの集合の濃度がひとしいということを示すには、今のところは全単射を具体的に構成するしかなく、これはしばしば大変なこともある。例えば、閉区間[0,1]と とは濃度がひとしいのだが、全単射を具体的に作るのは容易ではない。

そこで役に立つのが、次に挙げる定理である。

定理(Bernstein)
集合AとBがあり、AからBへの単射と、BからAへの単射があるとき、card A=card B

AからBへの単射があることと、BからAへの全射があることは同値であるから、定理のステートメントの「単射」をすべて「全射」と書き換えても構わない。

この定理を用いて、自然数の集合 と、有理数の集合 が対等であることを示してみよう。 から へは自明な単射が存在するから、逆向きの単射を作ればよい。 から への単射は容易に作れるので、結局 から への単射を作ればよい。 に対して と定めると、これは への単射である。したがって、これらを合成すると から への単射が構成でき、Bernsteinの定理より  は対等である。

 Bernsteinの定理を用いて、閉区間[0,1]と は濃度が等しいことを証明せよ。

有限集合・可算集合・非可算集合編集

これまで「有限」という言葉をナイーブに未定義のままで使ってきたが、ここできちんと定義しておく。

定義  とする。特に とする。集合Aが有限集合(finite set)であるとは、ある自然数nに対してAと が対等であることである。

これまでナイーブに想像していた概念と一致することを確認してほしい。有限集合でない集合のことを無限集合(infinite set)という。

有限集合であるための同値な条件はこのほかにもあるが、ここではひとつ挙げておく。

命題*[1] 集合Aが有限集合であることは、Aと対等なAの真部分集合が存在しないことと同値。

たとえば、偶数の集合は整数の集合の真部分集合だが、これらは対等である。有限集合ではこのようなことは起きない。

無限集合の中でも、特に と対等な集合は特別視して、可算集合(countable set)という(可算無限集合ということもあるが、重言である)。先ほどの議論から、 は可算集合である。有限集合と可算集合を合わせて高々可算な集合といい、高々可算でない集合のことを非可算集合という。

なぜ無限集合の中で可算集合を特別視するかというと、可算集合は「最も小さい」無限集合だからである。すなわち、

命題*[1] 任意の無限集合Aは、可算な部分集合を持つ。

つまり、非可算集合とは、自然数の集合よりも大きい集合のことである。

次の命題とその証明は非常によく知られている。

命題  は非可算集合である。

(証明)
全射 が存在したとすると、 ( の小数部分)と定めることで、全射 を作ることができる。したがって、任意の写像 が全射でないことを示せば十分である。

 の小数第n桁目を と定める。(ただし、小数による実数の表示は一意ではないので、ここでは同じ実数について無限に9が続く表示と無限に0が続く表示がある場合は後者を採用することにする。)このとき、数列 

 

と定め、cを、整数部分が0で、小数第n桁目が であるような実数とする。すると、明らかにcはfの値域に入っていない。よって、fは全射ではない。//

この有名な議論を、Cantorの対角線論法という。

脚注編集

  1. ^ 1.0 1.1 この節の中で「*」を付した命題は、選択公理のもとで成り立つ命題である。このページでは公理的集合論には深く立ち入らないが、気になる読者のために軽く述べておくと、現代的な集合論は集合を「ものの集まり」といった漠然とした形で定義せず、いくつかの公理を満たすものとして定義している。これを公理的集合論という。この公理は当然直感的に「成り立ちそう」な公理を集めているのだが、その中にある選択公理という公理は「怪しい」公理であるとされており、認める立場と認めない立場がある。そのため、選択公理を含まない公理系でも成り立つ命題なのか、選択公理を含む公理系でしか成り立たない命題なのかは、このように区別することがしばしばある。