技术问询：假定ZF与可构造性公理，α>ω时Vₐ=Lₐ等价于α=ℵₐ

嘿，刚学集合论基数算术就碰到这么经典的问题，厉害呀！我来帮你理清楚这个结论的来龙去脉，咱们一步步拆解～

要解决这个问题，首先得把冯·诺依曼宇宙Vₐ和可构造宇宙Lₐ的层级定义搞扎实：

• 冯·诺依曼宇宙Vₐ：
  • 基础层：V₀ = ∅
  • 后继层：对任意序数β，V_{β+1} = P(V_β)（即V_β的所有子集构成的集合）
  • 极限层：对极限序数λ，V_λ = ⋃_{β<λ} V_β（所有小于λ的层级的并集）
• 可构造宇宙Lₐ：
  • 基础层：L₀ = ∅
  • 后继层：对任意序数β，L_{β+1} = Def(L_β)（即L_β中所有能通过一阶逻辑公式定义的子集）
  • 极限层：对极限序数λ，L_λ = ⋃_{β<λ} L_β

我们的前提是ZF公理系统+可构造性公理（V=L），后者意味着整个集合宇宙就是可构造宇宙，这会给我们带来很多有用的性质（比如广义连续统假设GCH自动成立）。

先证必要性：如果Vₐ和Lₐ相等，那么α一定是基数不动点（即α=ℵₐ）。

我们用两个关键性质（在V=L下成立）：

1. 对任意序数β≥ω，|L_β| = |β|（可构造层级的基数大小等于序数本身的基数）。
   • 归纳验证：β=ω时，L_ω是所有有限集合，基数为ℵ₀=|ω|；后继层L_{β+1}是L_β的可定义子集，一阶公式只有可数个，加上参数来自L_β，所以|L_{β+1}|=|L_β|=|β|=|β+1|；极限层的话，|L_λ|是所有|L_β|（β<λ）的上确界，也就是|λ|。
2. 对任意序数β，|V_β| = ℵ_β（因为V=L蕴含GCH，贝塔数beth_β等于ℵ_β）。

现在假设Vₐ=Lₐ，那么它们的基数必然相等：|Vₐ|=|Lₐ|。

• 由性质1，|Lₐ|=|α|（因为α>ω）；
• 由性质2，|Vₐ|=ℵ_α；
• 所以|α|=ℵ_α。

接下来推导α=ℵₐ：

• 首先，ℵ_α是基数（第α个无穷基数），而|α|=ℵ_α说明α的基数等于这个基数，所以α本身必须是基数（否则|α|<α，而ℵ_α>|α|，矛盾）；
• 对于基数α，|α|=α，所以α=ℵ_α，即α是基数不动点。

再证充分性：如果α是基数不动点，那么Vₐ和Lₐ必然相等。

首先，Lₐ⊆Vₐ是显然的，用归纳法就能证：

• L₀=V₀=∅；
• 若L_β⊆V_β，那么L_{β+1}=Def(L_β)⊆P(L_β)⊆P(V_β)=V_{β+1}；
• 极限层L_λ=⋃_{β<λ}L_β⊆⋃_{β<λ}V_β=V_λ。

现在关键证Vₐ⊆Lₐ：
任取x∈Vₐ，那么x的秩rank(x)=γ<α（秩的定义是x所在的最小V层级的下标减一）。
在V=L下，每个集合都属于某个L层级，而且有个重要性质：秩为γ的集合一定属于L_{γ+ω}（可构造层级的“追赶”性质，每个秩有限的集合都能在有限步可构造层级中找到）。

因为α=ℵₐ，α是极限基数（如果α是后继基数，α=ℵ_{β+1}，那么ℵ_α=ℵ_{ℵ_{β+1}}>ℵ_{β+1}=α，矛盾），所以γ<α→γ+ω<α（极限基数大于任意小于它的序数加ω）。
因此x∈L_{γ+ω}⊆L_α，这就说明Vₐ中的所有元素都在Lₐ里，即Vₐ⊆Lₐ。

结合Lₐ⊆Vₐ，可得Vₐ=Lₐ。

内容的提问来源于stack exchange，提问作者Kevin Smith