查看“力迫”的源代码

{{unreferenced|time=2011-11-20T21:26:01+00:00}}
在数学学科[[集合论]]中，'''力迫'''是 [[保罗·寇恩]]（Paul J. Cohen）发明的一种技术，用来证明与[[策梅洛-弗兰克尔集合论|策梅洛-弗兰克尔公理]]有关的一致性和[[独立性]]结果。它在1962年首次被用来证明[[连续统假设]]和[[选择公理]]对[[策梅洛-弗兰克尔集合论]]的独立性。实际上在寇恩正式引入力迫法前，它已经被广泛地应用于[[递归论]]中。寇恩的力迫法最初是建立在分歧分层（ramified hierarchy）上，难于理解。1960年代通过[[索罗维]]（Solovay）与[[斯科特]]（Scott）等人的努力力迫法被相当程度的重做和简化。

力迫法大致是一种扩张模型的方法。给定一个模型<math>M</math>以及模型内一个偏序<math>(P,\leq)</math>，通过构造[[通集]]（generic）<math>G\subseteq P</math>来实现模型的扩张。因为通集不在<math>M</math>内，所以这是一个真正的扩张。记为<math>M[G]</math>。它有以下性质：
# 对于<math>M[G]</math>中所有元素<math>x</math>，都可以在<math>M</math>中找到一个对应的元素<math>\dot{x}</math>，即所谓的名（name）。
# 存在一个<math>M</math>可定义的关系成为力迫(<math>\Vdash</math>)使得对于任何一个命题<math>\varphi(x)</math>，<math>M[G]</math>满足<math>\varphi(x)</math>当且仅当存在<math>p\in G</math>使得<math>p\Vdash \varphi(\dot{x})</math>。即<math>M[G]</math>中的满足关系是可以在<math>M</math>中定义的即使这种定义具有非常强的非一致性（它严重地依赖参数p）。
2是非常重要的一条性质。它说明力迫法对于模型的扩张是“非常小的”。扩张的模型牢牢地被原来的模型控制住，使得我们能够通过原来的模型获得扩张模型的大量的信息。在数学技巧上例如它使得我们能够对扩张模型的基数是否仍然保持住做强有力推断。

索罗维后来对力迫法进行了非常深入地研究。他（与Tennenbaum）引入了迭代力迫并用有限支撑迭代力迫证明了[[苏斯林猜想]]（Suslin hypothesis）。[[勒维]]（Laver）引入可数支撑迭代力迫证明了[[波雷尔猜想]]（Borel's conjecture），从而导致了[[正常力迫]]（proper forcing）的引入。现在力迫法已经成为集合论中不可缺少的工具。而且通过[[乌丁]]（Woodin）等人的工作，力迫的意义也远远不仅是集合论的一项工具。

{{mathstub}}

[[Category:集合论|L]]

{{集合论}}