実数の個数は無限よりも大きい無限でした【ゆっくり解説】
概要
ゆっくり数学が、集合の濃度から出発して「無限にも大きさの違いがある」ことを解説する回。自然数・整数・有理数は可算で同じ濃度を持つ一方、実数はカントールの対角線論法により非可算と示される。さらに連続体仮説とべき集合を通じて、実数の濃度が自然数全体のべき集合と対応することを整理する。会話形式の軽い例えを使いながら、集合論の基本と「2の無限乗」という直感をつなぐ内容。
要点
- 集合の大きさは要素の内容ではなく、要素数、つまり濃度で比較する。
- 有限集合だけでなく無限集合も、1対1対応を使って大きさを比べられる。
- 自然数に1つ要素を足しても、偶数だけに絞っても、自然数全体と同じ濃度になる。
- 自然数・整数・有理数は、すべて自然数と対応づけられる可算集合。
- 実数は、列挙したつもりでも対角線を反転した新しい実数が作れるため、自然数と1対1対応できない。
- 加算濃度と連続体濃度の間に別の濃度があるかを問うのが連続体仮説。
- 実数全体の濃度は、自然数全体のべき集合の濃度に等しいと説明される。
構造化サマリ
集合と濃度の導入
動画は「仕事が無限に湧く」という会話から、数学では無限にも種類があるという話へ入る。まず集合を「物の集まり」として説明し、集合の大きさは中身の強さや意味ではなく、要素の個数で決まると整理する。
数を数えられない場合でも、2つの集合の要素を1つずつ紐づける1対1対応を使えば、大きさを比較できる。この発想が、後に無限集合の濃度を比べるための基礎になる。
アレフ0と可算集合
自然数全体の集合は無限集合であり、その濃度はアレフ0と呼ばれる。集合論では0を自然数に含める扱いがあることにも触れ、自然数に1つ要素を追加しても、各要素をずらして対応づければ同じ濃度になると説明する。
偶数全体も自然数全体も、自然数nに対して2nを対応させれば1対1対応できるため、同じ濃度を持つ。有理数についても、分子と分母を表に並べ、重複を飛ばしながら斜めにたどることで自然数と対応づけられる。ここから、自然数・整数・有理数はいずれも可算集合だとまとめる。
実数と対角線論法
次に、実数全体が自然数と同じように数えられるかを問う。動画では0と1だけからなる2進小数の列を考え、すべての実数を列挙したと仮定する。
カントールの対角線論法では、列挙された各行の対角成分を取り出し、0と1を反転させた新しい数列を作る。この新しい数列は、1行目とは1桁目、2行目とは2桁目、n行目とはn桁目で必ず異なる。したがって、どれだけ列挙しても含まれない実数が存在し、実数全体は自然数全体より大きい濃度を持つ。
連続体仮説とさらに大きな無限
実数全体の集合は連続体とも呼ばれる。自然数の濃度である加算濃度と、実数の濃度である連続体濃度の間に別の濃度が存在しないという主張が、連続体仮説として紹介される。
動画では、連続体仮説は証明も反証もできない命題として知られると説明する。そのうえで、アレフ0より大きな無限が存在するだけでなく、さらに大きな無限へ進めることを、べき集合を使って導入する。
べき集合と実数の濃度
べき集合は、ある集合のすべての部分集合を集めた集合。3要素の集合なら部分集合は2の3乗個あり、一般にn要素の集合のべき集合は2のn乗個の要素を持つ。
この考えを無限集合に拡張すると、ある集合Xのべき集合はX自身より大きな濃度を持つ。動画では、自然数全体のべき集合の濃度が実数全体の濃度に等しいと説明し、実数の個数を「2の無限乗」と表現する。最後は無限という言葉を軽く使いづらくなったという会話と、チャンネル登録の告知で締める。
登場エンティティ・コンセプト
- yukkuri-suugaku — 数学をゆっくり解説形式で扱うYouTubeチャンネル。
- georg-cantor — 集合論を基礎づけ、無限集合の濃度や対角線論法を示した数学者。
- countable-and-uncountable-sets — 自然数と対応づけられる集合と、対応づけられないより大きな無限集合の区別。
- cantors-diagonal-argument — 実数が自然数では列挙できないことを示す証明法。
- continuum-hypothesis — 自然数の濃度と実数の濃度の間に別の濃度があるかを問う仮説。
- power-set — ある集合のすべての部分集合を要素として持つ集合。
印象的な引用
「数学的にはいろんな種類の無限が存在するんだ」
「どんな数列を引っ張り出してきても、S0とは合わない元が必ず1個あるんだぜ」
「実数の数は2の無限乗というわけだ」