序数和基数算术
序数和基数算术将计数和排序的概念扩展到无穷，提供了超限大小和位置的两种互补度量。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
序数是一个通过成员关系良序的传递集，表示一种序类型；基数是一个序数，它不与任何更小的序数存在双射，表示一种大小。它们的算术定义了将有限运算扩展到超限的求和、乘积和幂运算。
Scope
本主题涵盖作为规范良序集的序数及其非交换算术、作为大小度量的基数及其在选择公理下的算术、阿列夫（aleph）和贝斯（beth）等级、共尾性，以及康托尔定理和柯尼希定理等结果。
Core questions
- 序数如何编码所有良序集（在同构意义上）？
- 为什么序数算术是非交换的，而基数算术不是？
- 无限基数如何进行加法、乘法和幂运算？
- 共尾性和柯尼希定理对基数幂运算施加了哪些限制？
Key theories
- 康托尔定理
- 对于每个集合，其幂集的基数严格大于原集合的基数，因此不存在最大的基数，无限大小的等级永不终止。
- 超限归纳法和递归
- 可以通过沿序数排序的归纳法和递归来证明所有序数的性质并定义函数，这是集合论的核心技术引擎。
- 阿列夫等级和基数幂运算
- 在选择公理下，无限基数被良序为阿列夫数；无限基数的和与积会坍缩为最大值，而幂运算受共尾性和柯尼希定理的支配，并且在很大程度上独立于ZFC。
Clinical relevance
超限算术是整个数学中无限集合比较的基础，证明了代数和分析中超限归纳法的合理性，并构成了连续统值等核心独立性问题的框架。
History
康托尔在19世纪80年代和90年代引入了序数和基数，证明了实数是不可数的，并且幂集的基数严格增加。冯·诺依曼将序数定义为通过成员关系良序的传递集，形成了现代的表述，而豪斯多夫和柯尼希则确立了关于基数幂运算和共尾性的关键结果。
Key figures
- Georg Cantor
- John von Neumann
- Felix Hausdorff
- Julius Koenig
Related topics
Seminal works
- jech2003
- enderton1977
- kunen2011
Frequently asked questions
- 序数和基数有什么区别？
- 序数记录了良序集的序类型，区分了大小相同但结构不同的排列，而基数只记录大小。每个基数都是一个序数，即其大小的最小序数。
- 为什么一加ω与ω加一不同？
- 序数加法是通过连接序类型定义的，并且对位置敏感。将一个元素放在自然数之前会得到与自然数相同的序类型，而将其放在自然数之后会增加一个新的最大元素，因此这两个和是不同的序数。