强制与独立性

强制是一种通过添加精心选择的泛型对象来扩展集合论模型的技术，它是证明命题独立于标准公理的主要方法。

Definition

强制是一种方法，它从一个集合论模型和其中的一个偏序开始，构建一个包含泛型滤子的更大模型；通过控制偏序，可以安排预设的命题在扩展中成立或不成立，从而证明它们的一致性或独立性。

Scope

本主题涵盖了强制方法、偏序和泛型滤子、强制关系和泛型扩展的构造、通过链条件保持基数，以及连续统假设和选择公理的规范独立性结果，以及哥德尔的互补可构造宇宙。

Core questions

• 添加泛型滤子如何产生一个新的集合论模型？
• 泛型扩展中的真理如何通过基础模型中的强制关系来控制？
• 强制偏序的哪些组合性质可以保持基数和共尾性？
• 强制和可构造宇宙如何共同确立连续统假设的独立性？

Key theories

泛型扩展和强制定理

给定一个偏序上的泛型滤子，结果扩展中为真的每个命题都被某个条件强制，并且这种强制关系可以在基础模型中定义，从而允许从内部分析扩展。

可构造宇宙和CH的一致性

哥德尔的可构造集内部模型满足选择公理和广义连续统假设，表明这些与其它公理是一致的。

连续统假设的独立性

科恩使用强制向模型中添加了许多实数，使得连续统假设不成立，这与哥德尔的结果一起表明该假设独立于ZFC。

Clinical relevance

强制是当代集合论的核心工具：它被用来证明分析、拓扑和代数中广泛命题的独立性，并校准组合原理的强度，揭示标准公理无法解决的数学问题。

History

哥德尔于1938年引入可构造宇宙，以证明连续统假设和选择公理的一致性。1963年，科恩发明了强制，以证明它们的独立性，他因此获得了菲尔兹奖；斯科特、索洛维等人通过布尔值模型重新阐述了强制，并将其发展成为该领域的标准工具。

Key figures

• Paul Cohen
• Kurt Goedel
• Dana Scott
• Robert Solovay

Seminal works

• kunen2011
• cohen1963
• godel1940

Frequently asked questions

直观地说，什么是泛型滤子？

它是一个理想化的对象，被选择来满足基础模型中可定义的每个要求，因此它足够泛型，以避免被那里的任何单一定义捕获。添加它会产生一个受控的集合宇宙扩展。

强制会改变集合论公理的真值吗？

不会。ZFC模型的一个泛型扩展仍然是ZFC模型；强制只改变公理未确定的命题的真值，例如连续统假设，这正是它成为独立性证明工具的原因。