大基数

大基数是无穷的强公理，断言存在如此之大的基数，以至于它们的存在性无法在ZFC中被证明，并且它们形成了一个近似线性的层级，用于衡量数学理论的强度。

Definition

大基数公理断言存在一个具有强闭包或反射性质的基数，通常可以通过宇宙的初等嵌入来表达；此类基数超出了ZFC所能证明的存在范围，因此增加了理论的相容性强度。

Scope

本主题涵盖了主要的大基数概念，例如不可达基数、马洛基数、弱紧基数、可测基数和超紧基数，它们通过反射和初等嵌入的刻画，它们所产生的相容性强度层级，以及它们与决定性理论和内模型理论的联系。

Core questions

• 哪些闭包和反射性质定义了主要的大基数？
• 初等嵌入如何刻画可测基数和更强的基数？
• 为什么大基数形成了近似线性的相容性强度层级？
• 大基数如何与决定性理论和实数结构相互作用？

Key theories

不可达基数和马洛基数

不可达基数是正则的强极限基数，因此无法通过通常的集合运算达到，并提供了一个ZFC的自然模型；马洛基数反映了不可达性，开启了层级。

可测基数和初等嵌入

可测基数带有一个非平凡的可数完备超滤器，等价地，它是宇宙到内模型的初等嵌入的临界点，这与可构造性公理相矛盾。

相容性强度层级

大基数公理按相对相容性排序，使得一个公理的相容性意味着所有较弱公理的相容性，从而提供了一个衡量任意理论强度的标尺。

Clinical relevance

大基数提供了数学中相容性强度的规范尺度：许多陈述被证明与某个大基数的存在是等相容的，而强有力的大基数则意味着实数线的正则性性质，例如射影决定性和可定义集的勒贝格可测性。

History

不可达基数源于策梅洛和谢尔宾斯基-塔尔斯基对集合论模型的研究，而乌拉姆1930年关于测度的研究则引出了可测基数。斯科特在1961年证明可测基数反驳了可构造性公理，随后索洛维、马丁、伍丁等人的工作构建了现代层级及其与决定性理论的联系。

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

为什么ZFC不能证明大基数存在？

一个不可达基数产生了一个ZFC的集合模型，因此根据哥德尔第二不完备定理，ZFC无法在不证明自身相容性的情况下证明此类基数存在，而ZFC无法证明自身相容性。同样的推理，更不用说，也适用于更强的大基数。

为什么要研究无法证明相容性的公理？

大基数提供了一个连贯且有序的尺度，用于比较数学理论的强度，并且它们解决了关于实数可定义集的其他独立问题，使其成为一个核心的组织工具，尽管它们的相容性必须被假定。