見出し画像

「順序数からはじめよう」——カントルと無限の構造をめぐる随想

大学で集合論を学ぶと、たいていの教科書は「集合の濃度とは、大きさの比較である」といった説明から始まります。

写像を使って集合同士を対応づけ、自然数全体と一対一対応できれば「可算」、できなければ「非可算」——そんなふうに分類されていきます。

そして、やがて「基数」や「ℵ₀(アレフ・ゼロ)」といった記号が現れ、無限の大きさを比較する話へと展開していきます。

これらはどれも形式としては美しいのですが、私はいつも、どこかで納得しきれない気持ちを抱えていました。
.

「どうして順序数は、こんなに後のほうで突然現れるのだろう?」

.
そう思いながら、志賀の『集合論30講』や『無限への飛翔』を読み返していました。これらの本は、間違いなく名著です。けれども何かが足りない。順序数の定義や演算はしっかり説明されているのに、「なぜカントルは順序数を考える必要があったのか」という根本の問いには、なかなか触れられていないのです。

そこで私は、少し視点を変えて、AI(ChatGPTやGrok)と対話をしながら考えてみることにしました。すると、思いがけないことに気づきました。

カントルが最初に手をつけたのは、濃度(基数)ではなく順序数だったのです。

きっかけは、リーマンが提起した三角級数の一意性の問題でした。不連続点が有限個ならともかく、可算無限個あった場合にどうするか。そのとき、極限点の極限点…と繰り返していく必要が生じました。そこでカントルは、単なる「いくつあるか」ではなく、「どのように並んでいるか」という視点を持ち込む必要に迫られたのです。

こうして現れたのが、ω(オメガ)に始まる順序数でした。

ω、ω+1、ω×2、ω²、……。これらは無限の並びの“型”を記述するための道具です。

つまり、順序数とは、無限集合の構造に迫るための手段だったのです。

その後になって、カントルは「順序を忘れて大きさだけを比べる」という方向に進み、基数や濃度という概念へと展開していきます。

順序数が「時間」の感覚に近く、基数が「空間」の感覚に近いとすれば、カントルは時間から出発して、空間にたどり着いた人だったのかもしれません。

けれど、私たちが大学で最初に学ぶのは、たいてい空間(基数)のほうです。

構造の前に、数を比べることから入ってしまう。

だからこそ、順序数が何のために必要なのかがわかりにくくなるのです。

私は今、学生や一般読者に向けて、そんな思考の道のりを丁寧にたどる本を作ってみたいと考えています。

順序数の必要性が、歴史の中でどう立ち上がってきたのかを描くことで、数式だけでは伝わらない数学の「納得」が生まれるのではないかと思うのです。

カントルが見ていた無限の風景を、史実に沿って、順序数から眺めてみたいし。


いいなと思ったら応援しよう!

ピックアップされています

ぼくは毎日こんなことを考えている

  • 618本

コメント

コメントするには、 ログイン または 会員登録 をお願いします。
「順序数からはじめよう」——カントルと無限の構造をめぐる随想|KKさん
word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word word

mmMwWLliI0fiflO&1
mmMwWLliI0fiflO&1
mmMwWLliI0fiflO&1
mmMwWLliI0fiflO&1
mmMwWLliI0fiflO&1
mmMwWLliI0fiflO&1
mmMwWLliI0fiflO&1