集合の濃度と可算無限・非可算無限
有限集合の大きさは要素数ではかれる。
無限集合の大きさの表現には濃度を用いる。
無限集合の「大きさ」を表す概念である集合の濃度について,例を使いながらわかりやすく解説します。
集合論における濃度
集合論における濃度
集合 の「大きさ」 について考えます。 が有限集合のときには, の要素数を「大きさ」と考えられますが,無限集合のときは要素数を数えることができません。無限集合の中でも「要素がたくさんある」ものと「要素があまりない」ものを区別するために,集合に対して濃度という概念が定義されます。
集合 の濃度 を以下のように定義する。
-
有限集合 の濃度 は の要素数とする。
-
から への全単射(一対一対応)がある場合(またそのときに限って) とする。
-
集合 から への単射が存在するとき, とする。
- 単射とは ならば となる関数,つまり行き先がかぶらない関数のことです。単射があれば行き先の方が広い(狭くはない)というわけです。
- 定義の2と3について, かつ なら が成立します。当たり前な気もしますが,これはベルンシュタインの定理と呼ばれ,証明はやや大変です。→ベルンシュタインの定理とその証明
無限集合の濃度の具体例
無限集合の濃度の具体例
整数全体の集合 の濃度と正の整数全体の集合 の濃度は等しい。
濃度が等しいというのは全単射が存在するということです。そこで,整数全体の集合と正の整数全体の集合の間の一対一対応を作ることで証明します。
図のように一対一対応を構成できる。
より正確には,整数全体の集合から正の整数全体の集合への関数 を以下のように定める:
例えば などとなり, は から への全単射である。
整数の方が自然数よりもたくさん(二倍くらい)あるじゃないか!と思いますが,濃度という観点から見ると両者は同じです。
偶数全体の集合と整数全体の集合の濃度は等しい。
証明はさきほどと同様に全単射を構成してやればOKです。簡単にできます。
正の整数全体の集合と有理数全体の集合の濃度は等しい。
直感的には有理数の方が圧倒的にたくさんありますが,濃度という観点から見ると両者は同じなのです!
正の有理数全体の集合 と の濃度が等しいことを言えばよい。
正の有理数 を を小さい順に並べて既約分数のみ残して番号を振っていけば, から への全単射が構成できる:
任意の集合 に対して, のべき集合の濃度は の濃度より真に大きい(カントールの定理)。→カントールの定理の証明と対角線論法
実数全体の集合の濃度は有理数全体の集合の濃度より真に大きい。
有理数と実数の間には濃度の意味でギャップがあります。例5の証明にも対角線論法を使います。例4と同じ記事:カントールの定理の証明と対角線論法の末尾で証明しています。
- ここまでの結果から, がわかりました。
- のことを と書くことがあります。「アレフ・ゼロ」と読みます。
- 実は,任意の無限集合 に対して です。つまり, は無限集合の濃度の中で「最小」です。
- また, です。大雑把なイメージですが,小数の2進数表示を考えると,たしかに と が同じ濃度になりそうです。
半開区間 と開区間 の濃度は等しい。
全単射 を以下のように構成できる。
- 基本的には
- ただし,もし なら
つまり, とうつす
可算無限と非可算無限
可算無限と非可算無限
- 正の整数全体の集合 と濃度が等しい集合を可算集合といいます。可算集合の要素は可算無限個などと言います。可算無限とは「無限個あるけど番号をふっていける程度」の無限です。
- 上記の例から分かるように,整数は可算無限個であるのはもちろん,有理数も可算無限個です。
- 可算集合は との間に全単射があるので,要素に から順番に番号をふっていくことができます。そのため可付番集合とも言います。
- 無限集合であり,可算集合でないものを非可算集合と言います。実数全体や複素数全体は非可算無限です。非可算無限とは「番号をふることすらできない」無限です。
整数と有理数の濃度が等しいというのは感覚的に理解しがたいですね。