数学の世界では、無限はしばしば魅力的な主題として描かれます。しかし、「超限数」に関しては、この概念の深さと広さが多くの人を混乱させることがよくあります。超限数は、すべての有限数よりも大きい「無限」数です。これには、超限基数 (無限集合のサイズを定量化するために使用される数) と超限順序数 (無限集合を表すために使用される数) が含まれます。ソートされた数)。この記事では、これらの概念を詳しく探り、超限数の魅力を垣間見ることができます。
「超限」という用語は、1895 年に数学者ゲオルク・カントールによって初めて造られました。カントールは、これらの数が本質的に有限ではないにもかかわらず、「無限」という言葉の曖昧な意味合いを避けたいと考えていました。
数学的な定義によれば、有限の自然数は少なくとも 2 つの方法で使用できます。つまり、序数として、および基数としてです。基数は、例えば「5つのビー玉」のように集合の大きさを指定するために使用され、序数は、「左から3番目」や「 「1月」。「27日目」。これらの概念を超限数に拡張すると、両者の間には 1 対 1 の対応はなくなります。超限基数は無限集合のサイズを表しますが、超限順序数は順序付けられた大きな集合内の数字の位置を表します。
超限整数の中で最も有名な序数と基数は、無限の始まりを表す ω (オメガ) と ℵ₀ (アレフゼロ) です。
まず、ω は最小の超限順序数であり、通常は自然数の順序型を表すために使用されます。 ℵ₀は最初の超限基数であり、自然数の基数でもあります。選択公理が成り立つ場合、次に高い濃度は ℵ₁ です。これが当てはまらない場合は、ℵ₁ より大きいが ℵ₀ と等しくない基数が存在する可能性があります。連続体仮説では、ℵ₀ と実数集合の濃度の間に中間の濃度は存在しないと提唱されていることは注目に値します。この仮定は、ツェルメロ-フランケル集合論では、それ自体でもその否定でも証明できません。
具体的な例をいくつか見てみましょう。カントールの順序数論では、すべての整数には次の整数が存在します。すべての通常の整数の後に続く最初の無限整数は ω と呼ばれます。より具体的には、ω+1 は ω よりも大きく、ω·2、ω²、ω^ω もより大きな数です。これらのコンテキストでは、ω を含む算術式は、その数までのすべての整数の集合として見ることができる順序数を指定します。
無限整数の表現については、カントール標準形式では有限データ シーケンスを使用して表現できますが、すべての無限整数をこの標準形式を使用して表現できるわけではありません。
さらに複雑なことに、カントール形式では表現できない無限整数もあり、そのような最初の整数は ω^(ω^(ω...)) であり、ε₀ と呼ばれます。これは自己再帰的な数であり、各解 ε₁、...、εₖ などによって順序数が大きくなります。このプロセスは、極限、つまり ε_(ε_(ε...)) に達するまで続けることができます。これは、ε_α=α の最初の解であり、すべての超限整数を指定する場合、無限名を想像する必要があることを意味します。シーケンス。
要約すると、超限数の概念は、私たちの数に対する理解に挑戦し、無限の性質について考えさせます。数学的なツールを使用するだけでなく、深い哲学的思考も必要です。無限に直面すると、私たちの思考の限界はどこまで及ぶのだろうかと自問せずにはいられません。