無限に広がる「無限」の世界がヤバすぎる…
概要
無限は一種類ではなく、集合の濃度によって大小を比較できる。ゲオルク・カントールは一対一対応を使い、自然数や偶数、有理数が同じ大きさの無限を持つことを示した。一方、実数は対角線論法により自然数より大きな無限となる。動画は連続体仮説にも触れ、無限の階層を概観する。
要点
- 古代から無限は哲学や神学の対象だったが、カントールは集合論により数学的な比較を可能にした。
- 集合の大きさである濃度は、要素同士を一対一対応させることで比較できる。
- 自然数、偶数、素数、有理数はすべて可算集合であり、濃度はアレフ・ゼロとなる。
- 実数全体は対角線論法により数え上げられず、自然数全体より大きな非可算集合となる。
- 自然数の濃度と連続体の濃度の間に別の濃度があるかという問いが、連続体仮説につながる。
構造化サマリ
哲学から数学へ
古代ギリシャでは、アナクシマンドロスが万物の根源を無限定なもの「アペイロン」と捉えた。アリストテレスは、無限が現実に完成した形で存在するのではなく、どこまでも続けられる可能性として存在するという可能無限を論じた。
中世キリスト教神学では神の無限性と有限な宇宙が対比された。動画は、無限が長く哲学や自然科学の考察対象だった背景を説明する。
集合の濃度と一対一対応
カントールは集合論を使い、集合の大きさである濃度を定義した。要素数が直接数えられなくても、二つの集合の要素を一対一で対応させれば大小を比較できる。
自然数全体の濃度はアレフ・ゼロと呼ばれる。自然数に要素を一つ加えても、偶数だけを取り出しても、自然数全体と一対一対応を作れるため濃度は変わらない。素数や有理数も同様に数え上げられる可算集合となる。
実数と対角線論法
アレフ・ゼロより大きな無限の例が、実数全体の集合である。動画は二進数の無限小数を並べ、対角線上の数字を反転させる方法を紹介する。
作られた実数は、並べたどの実数とも少なくとも一桁異なる。したがって、実数を自然数と一対一対応させて完全に列挙することはできない。このカントールの対角線論法により、実数全体が非可算集合であることが分かる。
連続体仮説と無限の階層
実数全体は連続体とも呼ばれる。自然数全体の濃度アレフ・ゼロと連続体の濃度の間に別の濃度が存在するかという問題が連続体仮説である。動画では、通常の数学体系では証明も反証もできないことが示されていると紹介する。
無限の階層はそこで終わらず、さらに大きな濃度が続く。終盤では、アインシュタインの言葉として宇宙と人間の愚かさに関する引用を紹介し、人間の知性や思考も無限に広がるのではないかと締めくくる。最後にチャンネル登録を案内する。
登場エンティティ・コンセプト
- georg-cantor — 集合論と一対一対応により、無限の大小を数学的に扱った数学者。
- countable-and-uncountable-sets — 無限集合を、数え上げられる集合と数え上げられない集合に分ける区別。
- cantors-diagonal-argument — 列挙に含まれない要素を構成し、実数全体が非可算であることを示す証明法。
- continuum-hypothesis — 自然数の濃度と連続体の濃度の間に別の濃度が存在するかを問う仮説。
印象的な引用
実は現在では、無限は複数存在し、その無限には大小関係があることまで分かっています。
まあ、とにかく無限、奥が深すぎますね。
無限なものは二つあります。それは宇宙と人間の愚かさ。正しい。前者については断言できませんが。