阿列夫数
在数学中,特别是在集合论中,阿列夫数是一个数字序列,用于表示可以有序排列的无限集的基数(或大小)。它们由数学家Georg Cantor 引入,并以他用来表示它们的符号命名,希伯来字母aleph ( ℵ )。
自然数的基数是 ℵ₀ (读作aleph-nought或aleph-zero ;有时也使用术语aleph-null ),可良序集的下一个更大的基数是 aleph-one ℵ₁ , 然后 ℵ₂ 等等。以这种方式继续,可以定义一个基数 ℵ α 对于每个序数 α , 如下所述。
这个概念和符号归功于Georg Cantor,,他定义了基数的概念,并意识到无限集可以有不同的基数。
aleph 数不同于无穷大( ∞ ) 常见于代数和微积分中,因为 alephs 测量集合的大小,而无穷大通常被定义为实数线的极端极限(应用于“发散到无穷大”或“增加而不增加bound"),或作为扩展实数线的极值点。
Aleph-nought
ℵ₀(aleph-nought,也 aleph-zero 或 aleph-null)是所有自然数集合的基数,并且是无限基数。所有有限序数的集合,称为 ω 或者 ω₀ (在哪裡 ω 是小写的希腊字母omega ),具有基数 ℵ₀ . 集合有基数 ℵ₀ 当且仅当它是可数无限的,即它与自然数之间存在双射(一一对应)。这种集合的例子是
所有整数的集合,
整数的任何无限子集,例如所有平方数的集合或所有素数的集合,
所有有理数的集合,
所有可构造数的集合(在几何意义上),
所有代数数的集合,
所有可计算数的集合,
所有有限长度二进製字符串的集合,以及
任何给定的可数无限集的所有有限子集的集合。
这些无限序数: ω , ω + 1 , ω ⋅ 2 , ω² , ω^ω 和 ε₀ 属于可数无限集。例如,序列(具有序数 ω ⋅ 2 ) 所有正奇数后跟所有正偶数
{ 1 , 3 , 5 , 7 , 9 , . . . , 2 , 4 , 6 , 8 , 10 , . . . }
是集合的一个排序(具有基数 ℵ₀ ) 的正整数。
如果可数选择公理(选择公理的弱版本)成立,那麽 ℵ₀ 小于任何其他无限基数。
Alephone
ℵ₁是所有可数序数集合的基数,称为 ω₁ 或者有时 Ω. 这个 ω₁ 本身是一个大于所有可数数的序数,所以它是一个不可数集。所以, ℵ₁ 不同于 ℵ₀ . 的定义 ℵ₁ 暗示(在 ZF 中,没有选择公理的Zermelo-Fraenkel 集合论 )之间没有基数 ℵ₀和 ℵ₁ . 如果使用选择公理,可以进一步证明基数类是全序的,因此 ℵ₁ 是第二小的无限基数。使用选择公理,可以显示集合中最有用的属性之一 ω₁ : 的任何可数子集 ω₁ 有一个上限 ω₁ . (这是因为可数集合的并集本身是可数的——这是选择公理最常见的应用之一。)这个事实类似于 ℵ₀ :每个有限自然数集都有一个最大值,它也是一个自然数,有限集的有限并集是有限的。
ω₁ 实际上是一个有用的概念,如果听起来有点怪异。一个示例应用程序是关于可数操作的“关闭”;例如,试图明确描述由任意子集集合生成的σ-代数(参见Borel 层次结构)。这比代数(向量空间、群等)中对“生成”的大多数明确描述更难,因为在这些情况下,我们只需要对有限运算(求和、乘积等)进行闭运算。该过程涉及通过超限归纳为每个可数序数定义一个集合,该集合通过“抛出”所有可能的可数并集和补集,并採用所有这些的并集 ω₁ .
连续统假设
实数集的基数(连续统的基数)是 2^ℵ₀ . 它不能从ZFC(Zermelo-Fraenkel 集合论增加了选择公理)确定,其中这个数字完全符合 aleph 数层次结构,但从 ZFC 可以得出连续统假设CH等价于恆等式
2^ℵ₀ = ℵ₁ .
CH 指出不存在其基数严格介于整数和实数之间的集合。 CH 独立于ZFC:在该公理系统的上下文中,它既不能被证明也不能被证明(前提是ZFC是一致的)。1940 年, Kurt Gödel证明了CH 与ZFC一致,当时他表明它的否定不是ZFC的定理。Paul Cohen在 1963年证明了它独立于ZFC ,当时他通过(当时新的)强制方法证明了 CH 本身不是ZFC的定理.
阿列夫-欧米茄
Aleph-omega 是
ℵ ω = sup { ℵₙ : n ∈ ω } = sup { ℵₙ : n ∈ { 0 , 1 , 2 , … } }
其中最小的无限序数表示为ω。也就是基数 ℵ ω 是的最小上界
{ ℵ n : n ∈ { 0 , 1 , 2 , … } } .
ℵ ω 是第一个在 Zermelo-Fraenkel 集合论中可以证明不等于所有实数集合的基数的不可数基数;对于任何正整数n,我们可以一致地假设 2^ℵ₀ = ℵₙ , 而且可以假设 2^ℵ₀ 和我们喜欢的一样大。我们只是被迫避免将其设置为具有共定性的某些特殊基数 ℵ₀ , 意味着有一个无界函数 ℵ₀ 到它(见伊斯顿定理)。
一般α的Aleph-α
界定 ℵ α 对于任意序数 α , 我们必须定义后继基数运算,它分配给任何基数 ρ 下一个更大的有序红衣主教 ρ + (如果选择公理成立,这是下一个更大的基数)。
然后,我们可以如下定义 aleph 数:
ℵ₀ = ω
ℵ α + 1 = ℵ α +
对于λ,一个无限极限序数,
ℵ λ = ⋃ β < λ ℵ β .
第 α 个无限初始序数写成 ω α . 它的基数写成 ℵ α . 在 ZFC 中,aleph 函数 ℵ 是从序数到无限基数的双射。
omega的不动点
对于任何序数α,我们有
α ≤ ω α .
在很多情况下 ω α 严格大于α。例如,对于任何后继序数α,这成立。然而,由于普通函数的定点引理,有一些极限序数是omega 函数的不动点。第一个是序列的限制
ω , ω下标ω , ω下标ω下标ω , … .
任何弱inaccessible基数也是 aleph 函数的不动点。这可以在 ZFC 中显示如下。认为 κ = ℵ λ 是一个弱inaccessible基数。如果 λ 是后继序数,那麽 ℵ λ 将是successor基数,因此并非不可达的。如果 λ 是一个极限序数小于 κ , 那麽它的共定性(因此它的共定性 ℵ λ ) 将小于 κ 所以 κ 不会是规则的,因此不是弱不可达的。因此 λ ≥ κ 因此 λ = κ 这使它成为一个固定点。
选择公理的作用
任何无限序数的基数都是阿列夫数。每个 aleph 是某个序数的基数。其中最少的是它的初始序数。任何基数为 aleph 的集合与序数是等数的,因此是良序的。
每个有限集都是可良序的,但没有 aleph 作为其基数。
每个无限集的基数是阿列夫数的假设在 ZF 上等价于每个集合的良序的存在,这反过来又等价于选择公理。包含选择公理的 ZFC 集合论意味着每个无限集合都有一个 aleph 数作为其基数(即与其初始序数相等),因此 aleph 数的初始序数可以作为所有集合的代表可能的无限基数。
当在没有选择公理的情况下在 ZF 中研究基数时,不再可能证明每个无限集都有某个 aleph 数作为其基数;基数为 aleph 数的集合正是可以良序的无限集合。Scott 技巧的方法有时被用作在 ZF 的设置中构造基数代表的替代方法。例如,可以将card( S )定义为具有与S相同基数的最小可能秩的集合。这具有card( S ) = card( T )当且仅当S和T具有相同的基数。(集合card( S )通常与S的基数不同,但它的所有元素都有。)
Worldly基数
在数学集合论中,Worldly基数是基数κ ,因此秩 V κ是Zermelo-Fraenkel 集合论的模型。
与inaccessible基数的关係
根据Zermelo关于inaccessible基数的定理,每个inaccessible基数都是Worldly的。根据 Shepherdson 定理,不可达等同于更强的陈述,即 ( V κ , V κ+1 ) 是二阶 Zermelo-Fraenkel 集合论的模型。Worldly与不可达基数不是等价的;事实上,最小的Wordly基数具有可数共尾性,因此是单数大基数。
以下是严格递增的顺序,其中 ι 是最不可达的基数:
最不Worldly的κ。
V κ和V λ满足相同理论的最不Worldly的 κ 和 λ(κ
最不Worldly的 κ 是Worldly基数的极限(等效地,是 κ Worldly基数的极限)。
最不Worldly的 κ 和 λ 与V κ ≺ Σ 2 V λ(这甚至高于上述项目的 κ 倍迭代)。
最不Worldly的 κ 和 λ 与V κ ≺ V λ。
共定性 ω 1的最不Worldly的 κ (对应于将上述项目扩展到长度为 ω 1的链)。
最不Worldly的 κ 共定性 ω 2(等等)。
最小的 κ>ω 与V κ满足替换用 ( V κ ,∈) 满足关係增强的语言。
L κ ( V κ )中最不可达的κ ;等效地,最小的 κ>ω 与V κ满足替换无限逻辑L ∞,ω中的V κ中的公式。
具有传递模型 M⊂ V κ+1的最小 κ扩展V κ满足Morse-Kelley 集理论。
(不是Worldly的大基数)最小的 κ 与V κ具有与V ι相同的 Σ 2理论。
最小的 κ 与V κ和V ι具有相同的理论。
最小的 κ 与L κ ( V κ ) 和L ι ( V ι ) 具有相同的理论。
(不是Worldly的大基数)最小的 κ 与V κ和V ι具有相同的 Σ 2理论和实参。
(不是Worldly的大基数)最小的 κ 与V κ ≺ Σ 2 V ι。
最小的 κ 与V κ ≺ V ι。
V κ和V ι满足 V κ 中相同的L ∞ ,ω陈述的最小无限κ。
具有传递模型 M⊂ V κ+1的最小 κ扩展了V κ并满足与V κ中的参数相同的句子与V ι+1一样。
最不可达的基数ι。