初めて無限に出会ったのは小学生のときで、分数を小数で表す時である。1/3=0.333…と3が無限に続くというときである。高校時代にも出会った。数学の授業で、先生から教えていただいた「ものの個数が無限個になると、それらは同じと判断するが、無限個の中にも大きい無限個と小さい無限個があるのではないかと数学者カントールは考えた」という話を聞いた時である。
「無限」の世界は、個数・大きさ・長さなどいろいろな場面に現れるが、ここでは個数に焦点を当てて考えてみる。
正の数の無限個の足し算 1+1/2+1/4+1/8+1/16+…を考える。
長さ2の線分ABがある。ABの中点をP1、次に線分P1Bの中点をP2とし、次に線分P3Bの中点をP4とする。以下同様にして無限にP5、P6 、…をとると、
線分ABの長さは2だから、
2=AP1+P1P2+P2P3+P3P4+P4P5+P5P6 +…
即ち、2=1+1/2+1/4+1/8+1/16+… である。
正の数を無限個加えると限りなく大きくなるから、答は無限大と思いがちであるが、そうではないのだ。「無限」の世界の神秘その1である。
自然数の集合(集まり)を、A={1、2,3,4,5,6、…}とし、Aの一つとばしの偶数の集合を、B={2,4,6,8,10、…}とする。集合AとBの個数は、どちらが多いかを考える。
成長した杉の木がたくさんある森林において、杉の木の本数が知りたい時、用意した紐を1本づつ杉の木に結び付けていくと、用意した紐が10000本であり、紐が余った時、余った紐の本数だけ杉の木が少ないことが分かる。この考え方で、集合Aと集合Bの要素を、1-2、2-4、3-6、4-8
…のように一つづつ結び付けていくと、どちらの集合からも余り(ペアの相手が無い)が無いことが分かる。よって、集合BはAの一部分であるから、部分は全体より少ないと思いがちだが、二つの集合AとBの個数は同じであることが分かる。「無限」の世界の神秘その2である。
自然数の集合を、A={1、2,3,4,5,6、…}とし、0より大きくて1より小さい実数の集合をXとする。集合Xの個数が自然数の個数と同じであるとすると、Xの要素に、X1、X2、X3、X4 …と番号を付けることができるはずである。
今、X1=0.1234111… X2=0.1234211… X3=0.1234311… X4=0.1234411…
としたとき、アンダーラインを引いた緑の数1,2,3,4、…に着目して、その数が偶数ならば1、奇数ならば2というようにして、得られた
y=0.2121…という数は、0<y<1 だからXの要素であるが、小数第1位が異なるからy≠X1、小数第2位が異なるからy≠X2、小数第3位が異なるからy≠X3、小数第4位が異なるからy≠X4 …
よってyはXの要素ではないことになる。これは矛盾である。よって集合Xの個数は、集合Aの個数と同じではなく、集合Xの個数の方が多いことが分かるのである。「無限」の世界の神秘その3である。
「無限」の世界は、このように私たちの前にちらほら顔を出すが、全貌は現さず、いつまでもつかみどころが無いものを残して、隠れてしまうのである。正体を暴こうとすると、「無限」という怪物と戦うことになる。