集合の基数(濃度)について
直前のエントリで「写像と単射と全射と全単射について - IIJIMASの日記」写像と特別な写像について説明しました。
特に、全単射(1対1対応)の存在は強力な性質で、AとBの間に1つでも全単射が存在すると有限集合の場合要素数が同じということがわかってしまいます。
無限集合で要素数を考えると「無限大」しかなさそうですが、自然数は無限でも順番に数えてゆくことができますが、有理数や実数はどんな2数の間にも数があり順番に数えることができなそうです、実は無限にも大小関係がありそうです。
全単射を利用して基数(濃度)という個数を拡張した概念を定義します。
ある集合Aとある集合Bの間に全単射が存在するときに、Aの基数とBの基数(濃度)は等しいと定義します。有限集合の場合は個数とします。集合Aに対する基数を#Aで表します。
特に、自然数全体の集合の基数を(アレフ・ゼロ)という記号で表します。自然数全体の集合 {1, 2, 3, ・・・} は 記号で表しますので#=です。
無限集合では面白いことに、部分集合が全体と同じ濃度を持っていても不思議ではありません。
事実、自然数全体と正の偶数全体には全単射(n → 2n)があります。明らかに正の偶数全体は自然数の部分集合です。しかし、基数は同じなのです。
さらに驚いたことに整数全体={・・・, -2, -1, 0, 1, 2, ・・・}も自然数={1, 2, 3, ・・・}と同じ基数なのです。たとえば、写像fをの要素zについて、z<=0の時は f(z) = 2|z| ∈ 、z>0の時はf(z) = 2z - 1 ∈と定義すれば、全単射になります。
面白いことに、自然数の2つ組(n, m)の全体を考えても、と基数は変わりません。たとえば、写像をと定めます。逆写像は少々複雑ですが (ただし、はを超えない最大の整数を表す)とおいて、と定義できて、f, gは全単射(1対1対応)となることがわかります。
との基数が等しいことがわかりましたので、もと基数が等しい(たとえば、の最初の2成分を、最初の成分に対応させる)、結局の基数と等しいことがわかります。一般に(mは任意の自然数)も基数はであることがわかります。
またすべての有理数は分数つまり整数の比で表せるのですから、有理数全体は整数の2つ組(n, m)の全体と対応させることができます。単純に(n,m)とn/mを対応させてしまうと、同じ分数を表す、(n,m)が複数あることになってしまいますが、一度出てきたもの(既約分数でないもの)は飛ばして、対応させれば、自然数と1対1対応であることがわかります。