ℶ (读作Beth数)和阿列夫数类似,也是一系列超穷基数

连续统假设下,阿列夫数与 ℶ 数等价:

  • 可数集(如自然数集)的基数标记为,下一个 ℶ 数被定义为上一个 ℶ 数的幂集的基数,即:
等等

定理

对任意的 α  ,而连续统假设即为 乃至 

 α = 1 的情况,证明分两步:一、ℵ₀  ℵ₁ 之间无其他任何基数;[1]:29二、ℶ₁  ℶ₀ 大(card(2X) > card(X))。[1]:7

常见叫法

在中国大陆,实数集的基数常被记为𝖈 ℵ ,即 ℵ := ℶ₁,这样连续统假设就常常被表述为 ℵ = ℵ₁.阅读相关读物时应避免混淆。人们在学数学分析微积分)时常常以为自己时常遇到的是阿列夫数,事实上他们遇到的是 “”或“𝖈”,即第一个 ℶ 数。

参考

  1. ^ 1.0 1.1 陈建功. 實函數論. 北京: 科学出版社. 1958年9月.