特殊篇章（数学解释）七 (2-1)

“存在强紧基数”→“V≠L[A]”：

我们知道可测基数的定义是“存在正规完备的超滤子 U ”，并且还有一个等价定义“存在非平凡初等嵌入 j：V≺M ”。在超幂模型 M 中 j(κ) 是可测基数，但在集合论宇宙 V 中 j(κ)＜(2κ)⁺并且 U∉M ，因此 Vκ+2⊈M ，因此我们有理由认为可测基数上的超滤诱导出的超幂模型 M 没有充分逼近 V 。如果我们希望 M 足够逼近 V ，我们就必须用更强的大基数公理，那么如何对可测基数进行扩充呢？有两种方法：组合方法和初等嵌入的方法，前者试图推广可测基数的超滤子的组合性质，后者试图让初等嵌入 j 向 M 中加入足够多的集合。本文主要考察前者。

先来看满足 κ 可加性的理想 Pκ(λ)＝[λ]＜κ ，显然 κ⊂Pκ(λ) 。现在我们定义一些新的概念： U⊂P(Pκ(λ)) 是精良测度，当且仅当， U 是 κ 完全的且对于任意序数 α＜λ 都有 {x⊂Pκ(λ)：α∈x}∈U ；称 U⊂P(Pκ(λ)) 是正规测度，当且仅当， U 是精良测度且对于任意 A∈U 和函数 f：A→λ ，都存在 γ＜λ 满足 {x∈A：f(x)＝γ}∈U 。

我们称 κ 是 λ 强紧基数（stong compact cardinal），当且仅当 λ≥κ 且 Pκ(λ) 上存在精良测度；称 κ 是强紧基数，当且仅当对于 λ≥κ ， κ 都是 λ 强紧基数。称 κ 是 λ 超紧基数（supercompact cardinal），当且仅当 Pκ(λ) 存在正规测度；称 κ 是超紧基数，当且仅当对于 λ≥κ ， κ 都是 λ 超紧基数。

在本文中，我们并不会直接使用强紧基数和超紧基数的定义做证明，而是会使用它们的等价形式。

引理 1 ： κ 是强紧基数当且仅当任何集合 X 上 κ 完全的滤子可以扩张为一个 κ 完全的超滤子。

引理 2 ： κ 是超紧基数当且仅当对于任意基数 λ≥κ 都存在非平凡初等嵌入 j：V≺Mλ 满足 j(κ)＞λ 且 Mλ 对长度为 λ 的序列封闭。

Magidor曾经证明了“最小的可测基数可以是最小的强紧基数”，即该命题与 ZFC 是一致的，但强紧基数和超紧基数能推出更强的组合性质，这就是对 κ 上的超滤子的推广到 Pκ(λ) 上的超滤子带来的收益。

定理：如果存在强紧基数 κ ，那么对于任意集合 A 都有 V≠L[A] 。

证明：由于选择公理成立，因此我们不妨假设 A⊂Ord 且 ⋃A≤λ （设 λ≥κ ），令 F＝{x⊆λ⁺：|λ⁺－x|≤λ} ，显然 F 是一个 κ 完全的滤子（其实是 λ⁺ 完全），根据引理 1 ，令 U⊃F 是 λ⁺ 上的 κ 完全的超滤子，因此我们可以根据 U 定义 V 的超幂模型 M 。

下面我们定义 V 的一个新的超幂模型 N ：称 f：λ⁺ → V 满足 |ran(f)|≤λ 性质的函数为“小值域函数”，定义小值域函数上的关系 ∈*_： {α＜λ⁺：f(α)∈g(α)}∈U 当且仅当 [f]_∈*_ [g]_，其中 [f]_＝{h∈Vλ⁺：|ran(h)|≤λ∧f＝*_ h}

。令 N 有全体小值域函数经由 U 诱导出的超幂模型，类似地，我们有 N⊨ψ([f₁]_，⋯，[fₖ]_) 当且仅当 {α＜λ⁺：ψ(f₁(α)，⋯，fₖ(α))}∈U ，其中 f₁，⋯，fₖ 都是小值域函数。进一步地，令 f₁，⋯，fₖ 是小值域函数，那么

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。