なぜ集合の濃度を学ぶのか
集合論を学び始めると、「濃度」という概念が登場します。
有限集合であれば、要素の個数を数えれば十分です。
例えば、
$$
A=\left\lbrace1,2,3\right\rbrace
$$
の要素数は 3 です。
また、
$$
B=\left\lbrace a,b,c,d,e\right\rbrace
$$
の要素数は 5 です。
このように有限集合であれば、「どちらの集合が大きいか」を判断することは難しくありません。
では、無限集合の場合はどうでしょうか。
実は、この問いこそが濃度という概念を生み出した理由です。
有限集合では個数を数えればよい
有限集合について考えるとき、私たちは自然に要素の個数を数えます。
例えば、
$$
A=\left\lbrace1,2,3\right\rbrace
$$
と
$$
B=\left\lbrace a,b,c,d,e\right\rbrace
$$
を比べれば、
$$
|A|=3,\qquad |B|=5
$$
なので、
$$
|A|<|B|
$$
であることが分かります。
有限集合では、この方法で何の問題もありません。
無限集合では何が問題になるのか
では、自然数全体の集合
$$
\mathbb N=\left\lbrace 1,2,3,4,\dots\right\rbrace
$$
と偶数全体の集合
$$
2\mathbb N=\left\lbrace 2,4,6,8, \cdots\right\rbrace
$$
を比べてみましょう。
直感的には、「偶数は自然数の一部なのだから、偶数の方が少ない」と思えるかもしれません。
実際、
$$
2\mathbb N \subset \mathbb N
$$
です。
ところが数学者はここで別の見方をします。
数える代わりに対応を考える
無限集合の場合、要素を数えることはできません。
そこで数学者は、「要素を一対一に対応させることができるか」を考えます。
自然数\(n\)に対して、
$$
n \mapsto 2n
$$
という対応を考えると、
$$
1 \leftrightarrow 2
$$
$$
2 \leftrightarrow 4
$$
$$
3 \leftrightarrow 6
$$
のように、自然数と偶数を漏れなく対応させることができます。
つまり、自然数が余ることもなく、偶数が余ることもありません。
この意味で数学者は、
$$
\mathbb N
$$
と
$$
2\mathbb N
$$
は同じ大きさであると考えます。
これが濃度の基本的な考え方です。
無限にも大きさの違いがある
ここで終わりなら、濃度は単なる定義の話で終わってしまいます。
しかし集合論の面白さはここから始まります。
自然数全体の集合と実数全体の集合を比べると、今度は一対一対応を作ることができません。
カントールは対角線論法によって、実数全体の集合は自然数全体の集合よりも大きいことを示しました。
つまり、無限集合であっても、すべてが同じ大きさというわけではないのです。
なぜこれは驚くべきことなのか
私たちは普段、「無限は無限である」と考えています。
しかし集合論は、無限にも様々な大きさが存在するという事実を明らかにしました。
例えば、
- 自然数全体の集合
- 整数全体の集合
- 有理数全体の集合
は同じ濃度を持ちます。
一方で、
- 実数全体の集合
- 区間 ([0,1]) の実数全体
は、それらより大きな濃度を持ちます。
この発見は数学の歴史において革命的な出来事でした。
実数論や解析学への入り口
濃度の概念は集合論だけの話ではありません。
実数論では、「実数は自然数では数え切れないほど多い」という事実が重要になります。
また解析学や測度論では、可算集合と非可算集合の違いが様々な場面で現れます。
集合の濃度を理解することは、これらの分野を学ぶための土台にもなります。
濃度を学ぶ意味
集合の濃度を学ぶ最大の理由は、無限集合の大きさを比較するためです。
有限集合では個数を数えれば十分ですが、無限集合ではそうはいきません。
そこで数学者は、一対一対応という考え方によって集合の大きさを定義しました。
その結果、
$$
\mathbb N
$$
と
$$
2\mathbb N
$$
が同じ大きさであり、さらに実数全体の集合はそれよりも大きいことが分かりました。
濃度の理論は、私たちが当たり前だと思っている「無限」のイメージを大きく変えるものです。
集合の濃度を学ぶことは、無限とは何かを考える第一歩であり、集合論の最も魅力的なテーマの一つなのです。
