概要

アレフ・ヌルは、ℵ0 と書かれ、一般には「アレフ・ナウト」または「アレフ・ゼロ」と発音される。これは、自然数と一対一対応をつくることができる集合の大きさを表す基数である。言い換えると、要素を 1, 2, 3, ... のように順に並べられる集合は、可算無限であり、その濃度はアレフ・ヌルである。記号 ℵ0 は、この最小の無限基数を表すのに慣用的に用いられる。

主な特徴

アレフ・ヌルは、並べて列挙できる無限という直観的な概念を捉えている。有限数とは異なり、それに等しい自然数は存在しないが、無限基数の順序づけられた族の中では最小の要素である。基本的な性質には次のようなものがある。

  • 可算性: 濃度が ℵ0 の集合は、可算無限、またはデノメラブルと呼ばれる。
  • 多くの集合演算に対して安定: 可算集合の有限個の直積や有限和集合は可算集合になる。無限回の操作の一部には、追加の仮定が必要になる（後述）。
  • 基数算術: ℵ0 に有限数を加えたり掛けたりしても、また多くの場合それ自身と演算しても、通常の基数算術では一般に ℵ0 になる。

例と非例

見た目には大きく見えても、多くの身近な無限集合は自然数と同じ大きさをもつ。代表例は次のとおりである。

  • 自然数の集合そのもの — 定義上の例: 自然数。
  • 整数と有理数。これらは、各要素を漏れなく列挙するような順序づけができる。
  • 整数係数の多項式方程式の解からなる代数的数の集合 — この集合は可算である。
  • 可算集合の無限部分集合で、重複なく並べられるもの。

これに対して、実数全体は非可算集合であり、その濃度は ℵ0 を厳密に上回る。このより大きな大きさは連続体と結びつけられる。

歴史的背景と命名

アレフ・ヌルの概念は、19世紀後半に無限集合と超限数をめぐる研究の中で生まれた。その発展は集合論の創始者たちに帰され、彼らは無限の大きさの階層を導入し、基数の列に対してヘブライ文字のアレフを採用した。簡潔な歴史的概観については ゲオルク・カントール と超限理論の発展を参照できる。次の無限基数へ進む考えは、直ちに次の記号アレフ・ワンへとつながる: アレフ・ワン、さらに広い 基数 の系列へと続く。

数学的な区別と帰結

基数と順序数の概念を区別することは重要である。アレフ・ヌルは基数（大きさ）であり、自然数の対応する順序型は通常、順序数 ω で表される。両者は異なるふるまいを示す。たとえば、順序数の算術は可換ではないが、無限基数の基数算術にはそれ独自の規則がある。ℵ0 を含む集合論的命題の中には、より深い公理に触れるものもある。たとえば、可算個の可算集合の合併が可算であるという命題は、選択公理のある形と密接に関係しており、すべての集合論的枠組みで自明というわけではない。

重要性と関連概念

アレフ・ヌルは、数学における無限の研究への入り口となる。無限の列という日常的な発想を形式化し、より大きな無限を比較するための基準を与えるからである。他の身近な無限の大きさが特定のアレフと一致するかどうかについての議論や発見、特に実数と 連続体 に関する連続体仮説は、現代集合論に大きな影響を与えてきた。入門的な説明やさらに読むための資料としては、濃度 と可算性に関する一般的な解説や、超限数の標準的概説を参照するとよい。

注目すべき事実: アレフ・ヌルは最小の無限基数であり、多くの無限集合はこれと同濃である。また、可算無限と非可算無限を区別するうえで中心的な役割を果たす。