順序数と基数の算術

順序数と基数の算術は、数え上げと順序付けの概念を無限に拡張し、超限的な大きさと位置の2つの相補的な尺度を提供します。

Definition

順序数とは、包含関係によって整列された推移的な集合であり、順序型を表します。基数とは、それより小さいいかなる順序数とも全単射にならない順序数であり、大きさを表します。それらの算術は、有限の算術を無限に拡張する和、積、および冪乗演算を定義します。

Scope

このトピックでは、正準な整列集合としての順序数とその非可換な算術、選択公理の下での大きさの尺度としての基数とその算術、アレフとベスの階層、共終性、そしてカントールの定理やケーニッヒの定理などの結果について扱います。

Core questions

• 順序数はいかにして同型を除いてすべての整列順序を符号化するのか？
• 順序数算術が非可換であるのに対し、基数算術がそうでないのはなぜか？
• 無限基数はどのように加算、乗算、および冪乗されるのか？
• 共終性とケーニッヒの定理は基数の冪乗にどのような制約を課すのか？

Key theories

カントールの定理

すべての集合について、その冪集合は厳密に大きな濃度を持つため、最大の基数は存在せず、無限の大きさの階層は決して終わりません。

超限帰納法と超限再帰

集合論の中心的な技術的エンジンである順序数順序に沿った帰納法と再帰によって、すべての順序数にわたる性質を証明し、関数を定義することができます。

アレフ階層と基数の冪乗

選択公理の下では、無限基数はアレフとして整列されます。無限基数の和と積は最大値に収束しますが、冪乗は共終性とケーニッヒの定理によって支配され、ZFCからは大部分が独立しています。

Clinical relevance

超限算術は、数学全体における無限集合の比較の基礎となり、代数や解析における超限帰納法による議論を正当化し、連続体の値などの中心的な独立性問題を枠組み化します。

History

カントールは1880年代から1890年代にかけて順序数と基数の両方を導入し、実数が非可算であること、および冪集合が厳密に濃度を増加させることを証明しました。フォン・ノイマンによる順序数の定義（包含関係によって整列された推移的な集合として）は現代的な定式化を与え、ハウスドルフとケーニッヒは基数の冪乗と共終性に関する重要な結果を確立しました。

Key figures

• Georg Cantor
• John von Neumann
• Felix Hausdorff
• Julius Koenig

Seminal works

• jech2003
• enderton1977
• kunen2011

Frequently asked questions

順序数と基数の違いは何ですか？

順序数は整列順序の順序型を記録し、同じ大きさでも異なる構造を持つ配置を区別します。一方、基数は大きさのみを記録します。すべての基数は順序数であり、具体的にはその大きさの最小の順序数です。

1 + ω が ω + 1 と異なるのはなぜですか？

順序数の加算は順序型を連結することによって定義され、位置に敏感です。自然数の前に1つの要素を置くと自然数と同じ順序型になりますが、自然数の後に1つの要素を置くと新しい最大の要素が追加されるため、2つの和は異なる順序数になります。